仿真网格的初步实践

描述了仿真网格的技术内涵、体系结构和功能,以及实现过程中的关键技术等,并以美国的SF Express项目为例介绍了网格技术如何在功能和性能上发展分布式仿真技术。最后,介绍了所参与完成的一个仿真网格实验系统,包括其工作目标、应用模式和解决的关键技术等。     

轴对称物体空泡流动的数值计算

基于势流理论和边界元方法,对水下运动的回转体的空泡流进行了数值模拟.将半经验空泡封闭模型由平面流动推广至轴对称流动.对头部为圆锥的圆柱体空泡流动进行了数值计算.分析了空化数、半锥角、空泡长度间的关系.计算与实验结果符合较好.     

参数法确定舰船增压锅炉的蒸发量

对于新制造或中修后的蒸汽动力装置的锅炉来说,研究其热平衡、确定其热效率以及检验增压锅炉出力,都必须知道锅炉的蒸发量.针对传统方法确定锅炉蒸发量的不足,运用流体力学基本原理,用参数法推出确定舰船增压锅炉蒸发量的计算公式.只需要在稳定工况下通过记录蒸汽参数(pk和pgr、tgr及B),并在计算机上编程计算即可得到蒸发量Dk.     

一种可实现TF/TA2的无人飞行器三维航迹规划方法

从规划空间的有效表达着手对无人飞行器三维航迹规划展开研究,基于地形和威胁提出的飞行器航迹规划方法将航迹规划分为学习阶段和查询阶段,环境信息和飞行器的大部分约束条件结合在路线图的构造过程中,航迹搜索在此路线图中进行并最终实现全部约束条件.试验结果显示,该方法可以实时获得实现TF/TA2的三维航迹.     

时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

基于现场总线的设备自动化监控系统

从设备信息管理系统的升级和业务功能扩展的角度,阐述了采用现场总线技术构成的设备监控系统的必要性和作用,并结合某工程背景,介绍了基于现场总线设备自动化监控系统的体系结构、网络拓扑结构及应用软件设计等关键技术。     

基于排队论的油料供给最优化分析

通过有限源排队系统的理论,分析油料供给工作中在满足一定的可靠性要求下的最优设计与最优分配问题,同时结合计算机技术,提出了求数值解的方法。     

一种强噪声背景下语音增强方法的研究与实现

提出了一种基于传统谱相减语音增强算法的改进方法,加强了其滤除噪声的功效,提高了强噪声背景下语音信号的信噪比和可懂度。实验表明,该算法能够很好地滤除强噪声,增强语音,甚至对于滤除与语音频段几乎重叠的噪声信号,效果也十分显著。最后与传统减谱法相比较,分析了该算法的优缺点。     

集对分析法在作战仿真结果分析中的应用研究

提出了集对分析法的概念,详细讨论了集对分析法对多指标问题的评估步骤、方法及特点.文章最后运用该方法对一个分队作战仿真实例进行了综合分析评估,证明了集对分析法简单、实用、有效.     

多重网格法求解静电像管三维电场的若干问题研究

详细讨论了多重网法数值求解三维静电场的若干数学问题,诸如三维多重网格法的限制与延拓公式推导、确定静电像管三维电子光学系统中的锥面电极、圆筒电极、球面电极、圆孔膜片电极、孔电极等的空间位置及范围的方法、以及迭代计算的逻辑尺编码方法等,为像管电子光学系统设计及优化设计奠定了良好基础.