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

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

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

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

基于神经网络的弹药消耗预测

针对弹药消耗预测问题,运用一种改进的BP神经网络预测方法。预测时对样本数据进行了预处理,并在时序训练样本中引入了遗忘因子,以提高当前预测的精度,以及在权值调整过程中,引入"惯性项",以改善学习收敛过程。     

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

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

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

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

网络中心战及其对装备精确保障的几点启示

介绍了网络中心战的产生背景及发展历史,研究归纳了网络中心战的概念及内涵,分析了网络中心战原理,探讨了网络中心战对实现装备精确保障的一些启示,提出了我军在实现装备精确保障过程中借鉴网络中心战理论的构想及应注意的问题.     

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

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

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

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

IP组播在实时网络中的应用

本文简要介绍了IP组播的有关内容,通过试验总结了IP组播在实时网络中的硬件设置和软件编程,并结合Cisco交换机列举了实时网络抑制IP组播泛洪的一种方法,最后指出了IP组播技术的难点及应注意的事项。     

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

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