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

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

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

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

用于纯方位目标跟踪的修正极坐标自适应卡尔曼滤波算法

针对纯方位被动目标跟踪中,直角坐标系下的扩展卡尔曼滤波器容易发散而导致滤波精度很差的问题,提出了一种修正极坐标系下的自适应卡尔曼滤波算法,对虚拟系统噪声进行估计,动态补偿模型线性化误差,对其滤波理论及算法进行了研究和仿真。仿真结果表明,该算法提高了滤波的稳定性、快速性和精确性,优于一般的扩展卡尔曼滤波算法。     

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

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

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

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

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

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

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

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

综合显示与加固平板显示器的技术发展

简要阐述了综合显示与加固平板显示器技术发展概况,并对综合显示体系结构及三种平板显示器加固方法、应用场合进行了探讨。     

用遗传算法实现雷达网目标分配

通过对雷达网目标分配问题的深入研究,建立了数学模型.为了获得发现概率最大的目标分配方案,引入了遗传算法来对模型求解,并给出了实现的步骤和方法.最后经过验证,证明该方法应用在雷达网目标分配问题上切实可行.     

论武警法是独立的部门法

武警法究竞是否独立的部门法,是由来已久且必须回答的重要命题。《中华人民共和国人民武装警察法》的颁布为武警法的独立性提供了实证。武警法与相关法律部门,如军事法、行政法、警察法有本质的区别。武警法是我国法律体系中具有独立地位的部门法。