流体力学方程组人为解应用研究

流体力学方程求解的应用程序已成为众多重大工程理论研究与设计的重要工具,其应用程序的正确性验证已成为研究的重要问题.人为解验证技术是基于偏微分方程建模与模拟、很难解析求解的复杂工程应用程序正确性验证的重要手段.文章对流体力学方程组人为解构造方法及在应用程序正确性验证方面的研究进行了综述总结.利用李群约化理论得到流体力学方程几类精确解,给出了人为解构造的准则及流程,三维理想流体力学方程组的人为解,二维平面、柱坐标系下流体方程组的人为解及在欧氏应用程序验证中的应用,流体力学拉氏方程组人为解及在拉氏应用程序验证中的应用.     

μClinux的移植及应用程序固化方法

主要介绍了μClinux在LPC2294上的移植过程,详述了利用RAM DISK构建μClinux 根文件系统及添加应用程序的步骤,并通过测温程序验证了方法的正确性.最后介绍了在Red Hat 9中利用NFS(Net Files System) 调试应用程序的方法.本文μClinux的移植及其应用程序的固化方法已被应用于我公司自主研发的多轴运动控制系统的开发过程中.     

基于MATLAB GUI的研究生学业评估系统设计

为了设计一个研究生学业评估系统,提出了一种基于MATLAB GUI的系统设计方法。Matlab不仅具有的强大科学计算功能,而且具有满足一般要求的数据处理以及界面设计开发功能。利用Matlab这些功能,实现一个具有科学计算功能、简单易用、具有开放式可扩展环境的研究生学业评估系统设计。     

铁路道口事故经济损失评估的探讨

针对长期以来我国铁路道口安全管理中所存在不能科学计算和评估道口事故所造成的经济损失这一问题,首次提出和论证了铁路道口事故损失的基本概念,提出了一套铁路道口事故经济损失的定量评估方法.这套方法不仅适用于评估道口事故损失,也可做为评估其它铁路行车事故经济损失的参考.     

数值模拟应用中科学数据的组织与管理

数值模拟应用中大规模科学数据的组织与管理已经成为影响科学计算性能的一个重要瓶颈问题.针对数值模拟计算程序多维、多物理量、时空相关等复杂的数据特征和在应用程序、平台间所存在的数据交换与共享问题,提出了组织科学数据的层次化数据模型;引入数据语义信息实现了有效的数据管理方式,并向科学计算、可视化和数据分析等应用程序提供统一的高层数据访问程序接口;通过典型程序的实际应用,验证了层次化数据组织模型的有效性;同时还设计了一个数值模拟科学数据管理原型系统,利用元数据技术,整合高性能文件系统和数据库管理系统,以期在效率和易用性取得平衡.     

适用于云取证的证据数据完整性评估方法

针对证据数据完整性的问题,指出证据数据完整性评估的意义和重要性.通过考察信息系统在物理环境、网络传输、主机与系统、应用程序、管理和时间这六个方面对于证据数据完整性的影响和作用,提出了一种评估证据数据完整性的框架.运用数据融合方法对评价结果进行量化,通过分别对传统终端取证方法和面向云的取证方法的实例进行评估与量化,证实了该框架对证据数据完整性评估具有切实有效的指导作用及可操作性,结果表明使用传统终端取证工具所获取证据数据的不确定性在云环境下是传统终端取证的5倍.     

基于校园网格的多学科计算及协同可视化

针对浙江大学各高性能计算资源过于分散、无法充分利用的问题,提出一种校园网格的架构.通过使用Globus Toolkit和Sun Grid Engine两种网格中间件,部署层次化结构的校园网格,并在此基础上提供科学计算、生物信息、流体力学等服务.通过在不同节点数的网格中的应用程序运行情况的测试,表明校园网格能够提供高效、稳定的计算能力.提供了在校园网格环境下本地绘制和服务器绘制两种可视化服务,用户可以针对不同的数据和计算环境,选择不同的可视化方法;用户可对可视化结果进行协同操作,便于联合研究和分析.     

在VB中制作报表

在VB应用程序的开发中,报表制作是非常重要的一环.本文介绍了在VB应用程序中制作报表的两种方法及其实现步骤,一种方法是通过使用数据报表设计器,另一种方法是通过使用Excel或者Word.     

民用飞机安全性分析研究

该文对民用飞机研制过程中的安全性评估过程进行了研究。在民用飞机研制过程中,安全性评估包括支持飞机研制活动的各项要求的产生和验证,提供对飞机功能以及执行这些功能的设计进行评价的方法,以确认相关的危害被正确的提出,通过适当的安全性分析和评估方法进行验证,并对安全性分析结果进行反馈,从而对飞机设计进行修改以及重新验证的迭代过程。安全性评估过程对于建立系统的相应安全性目标和确定设计以满足这些目标非常重要。     

网络化高等教育评估系统中的设计与实现

本文介绍了在互联网环境下,采用ASP技术,开发研制的高教评估系统的设计与实现过程,并在系统中采用了一种新的评估方法——基于AHP的模糊评估法来进行评估。     

基于Hadoop建立云计算系统

云计算是2007年底正式提出的一个新概念,本文分析了云计算的特征和Hadoop的作用地位.针对Hadoop这样一个在集群上运行大型数据库处理应用程序的开放式源代码框架进行了云计算平台的实现,并进行了实验验证.     

一种基于Concurrent Apla语言的共享内存并发分布式算法2层验证方法

形式化验证共享内存并发分布式算法已成为当前极具挑战性的问题之一,尤其是在云计算、多核、无线传感器网络、分布式数据库、区块链环境下.该文基于研究团队在形式化规约语言和方法、算法形式推导和验证方面的已有工作,以自定义泛型抽象顺序设计语言Apla为基础,进一步研究并提出简明、高抽象用于并发分布式计算的Concurrent Apla语言,使其既支持顺序算法的验证又能有效地验证并发分布式算法.在依赖-卫式推理的基础上,提出一种新颖的2层并发分布式算法形式化验证方法,其中系统层用于处理并发级验证,而组件层用于处理顺序级验证.最后,通过2个实例验证了该方法的有效性和可行性.     

一种(71,36,11) QR码的快速代数译码算法

在平方剩余(quadratic residue,QR)码的译码过程中,当接收码字中出现的错误个数较多时,未知校正子的计算非常困难,计算量与复杂度都很高,因此增加了解码过程所需要的时间.鉴于此,在(71,36,11)QR码的错误模式权重为4时,通过对牛顿恒等式的数学推导,在不需要计算未知校正子的情况下,导出了其错误位置多项式的系数,简化了(71,36,11)QR码中出现4个错误时的判断条件,并对所有可纠错的错误图案进行了穷举验证.仿真结果表明,提出的算法在解4个错与5个错时,分别提高了56.12％与18.19％的解码效率,验证了算法的正确性与有效性.     

基于云端计算架构的恶意代码联合防御机制

为了解决恶意代码防御软件存在的滞后性问题,提出一种可普遍适用于互联网和内联网的基于云端计算架构的恶意代码联合防御机制.首先将传统的云计算拓展成新型云端计算,发挥云端计算环境中的集群服务器端和用户终端各自的优势以及两者的联动作用,有效地利用云端计算环境中的服务器集群集成多种恶意代码防御引擎,同时联合海量用户终端节点来主动...     

MCNP与DORT耦合计算方法研究

 基于蒙特卡罗方法的MCNP程序和离散纵标法的DORT程序, 在解决辐射屏蔽设计过程中确定屏蔽方案时, 单独使用MCNP或DORT计算屏蔽效果的两个粒子输运程序各自存在某方面缺陷的问题.通过研究MCNP与DORT两个程序的功能与特点, 编写接口程序, 实现了MCNP与DORT的耦合计算, 弥补各自运算中的缺陷, 扩展了程序的适用范围.通过验证, 表明自主开发的接口程序能够完成两个程序输入输出文件的相互转化, 耦合计算精度满足要求, 且对各类问题有较好的处理能力, 该耦合接口程序已初步应用于工程计算.     

基于RANS和DES法船体绕流模拟及不确定度分析

基于计算流体力学（CFD）不确定度分析的推荐规程,对采用雷诺平均的纳维 斯托克斯方程(RANS)和分离涡模拟(DES) 2种模型预报的船舶阻力和波形结果分别进行CFD不确定度分析. 数值不确定度主要考虑网格尺寸,按照加细比为42生成3套网格进行计算,并估计网格误差和不确定度. 研究分析表明了验证和确认规程对CFD不同数学模型的实用性,建立了基于2种数学模型下模拟结果的验证和确认等级.     

一种基于代码隔离的大程序迭代编译优化方法

提出了一种轻权的大程序优化方法--基于代码隔离的迭代编译优化方法，并采用该方法对程序的性能进行测试，结合代码隔离技术，从大程序中分离若干以循环结构为主、性能不相关或相关度较低的核心代码片断，逐个对其进行迭代编译优化搜索，进而更加有效地优化核心代码段.结果表明，所提出的方法可以提高整个程序的性能，可将一个高维的优化空间转换为多个低维优化空间而降低迭代编译的优化开销，是一种易于实现且适合通用代码迭代编译的大程序优化方法.     

基于损伤理论的钢筋混凝土结构裂缝分析

依据裂缝开展与受拉损伤演化之间的内在联系,提出了基于损伤变量估计裂缝宽度的基本方法.将模型与损伤本构关系以及非线性有限元方法结合,可以精细地描述钢筋混凝土构件在外力作用下的非线性行为,特别是裂缝开展规律.与试验结果的对比表明,该方法不但具有良好的精度,而且能够描述构件非线性发展全过程中裂缝产生和扩展的规律.基于该方法精细分析混凝土结构中裂缝产生和发展的过程,可以为实际工程的分析和设计提供有力的依据.     

一种改进的Reed-Muller码递归构造方法

一般对Reed-Muller码的递归构造方法是对长码进行递归分解,直到不能再分解为止,即出现无冗余码和重复码时结束分解.提出了一种针对Reed-Muller码的递归构造改进方法,该改进方法比常规方法在递归分解的两端均提早一步结束对码字的分解,即出现双正交码和单奇偶校验码时结束分解,并对单奇偶校验码采用系统形式.对于双正交码,利用快速哈达玛变换实现快速的最大似然译码;对于单奇偶校验码,利用该码系统形式的特殊构造实现了简化的最大似然译码算法.对改进的译码算法的复杂度进行了详细的分析,并与其他已有的算法进行对比,结果表明,该算法具有更低的复杂度,尤其对于高码率的码型.此外,性能仿真结果表明,该译码算法具有更低的误码率.     

面向移动云计算的轻量级数据完整性验证方法

研究了面向移动云计算的数据完整性验证技术,依托BLS短签名算法和Merkle哈希树,提出了一种适合在移动云计算环境中部署的数据完整性验证方案.该方案针对移动云计算环境中的移动设备计算能力较低和通信传输能力较弱的情况进行设计,能以相对较少的计算量和较低的数据通信量完成可信度较高的数据完整性验证.该方案还具有支持验证外包、无需源文件块直接参与验证、验证中无状态信息保存、以及支持对云端数据的动态操作等特性,适合于移动云计算环境中面向数据的应用.