武器装备体系建设风险分析及评估模型研究

分析了武器装备体系建设风险的内涵及特点,在此基础上构建了武器装备体系建设风险模型,并运用风险矩阵和网络层次分析法对武器装备体系建设风险模型进行分析,通过算例验证了模型的可行性,为制定科学合理的武器装备体系建设风险管理提供了依据。     

Hilbert空间中次连续拟非扩张映像不动点的迭代方法

首次引用一种迭代算法,用来构造Hilbert空间中次连续拟非扩张映像的不动点;使用新的算法证明了一个强收敛定理,其优点是不要求映像具有次闭性质。     

软件保障性评估在维修性分配和预计软件中的应用

从软件保障性的影响要素——软件生命周期过程、软件自身的设计特性和保障资源出发,阐明了软件保障性评估的原理,提出了一套软件保障性评估方案。通过在某维修性分配和预计软件上的具体实践,充分验证了该评估方案的可行性和实用性。     

有线控制飞行器群脉冲耦合效应及加固方法研究

飞行器在飞行状态时,控制导线在电快速瞬变脉冲群（EFT）作用下,该设备控制指令将会出现控制状态错误翻转、持续无指令输出等故障,产生故障的机理是电磁脉冲（EMP）通过传导方式进入控制箱产生紊乱的回输信号所致,严重时会损坏控制器及起飞装置。在实验基础上,研究了飞行器控制导线对电磁脉冲的防护加固方法,研究结果表明,对控制导线采取屏蔽法能够使飞行器对电磁脉冲具有很好的防护效果。     

多级感应线圈发射器测控系统设计

将电枢加速到较高速度,通常需要多级感应线圈连续加速;而提高多级感应线圈发射器的发射效率,则要求在电枢处于驱动线圈最佳触发位置时,电容器组同步放电。同时,需要采集发射过程中电枢的速度、电源的放电电压和放电电流等数据。因此,研制合理的测控系统是多级感应线圈发射器的关键。     

利用状态机检测JAVA空指针引用故障

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。     

基于多层次Petri网的软件保障流程建模

软件保障流程分析是研究软件保障规律的重要手段。应用多层赋时变迁、随机Petri网技术,逐步细化建立了软件保障流程仿真模型,给出了各层次模型中库所和变迁的含义。结合模型的仿真分析,提出了用"软件使用保障时间比"作为评价软件保障性的参数,给出了软件使用保障时间比的计算方法,并就该计算方法所表达的意义同装备系统进行了比较,指出了软件使用与保障时间分配的特殊性。     

战场通信网络消息处理模型研究*

针对战场通信网络建模需求,基于 EBI建模框架,提出了面向实体的战场通信网络建模方法,探讨了战场通信网络实体模型的组成结构.重点分析了战场通信网络消息处理模型的作用和功能,给出了消息处理模型的仿真工作流程,对消息处理模型中的消息列表、通信事件列表、网络路由算法进行了阐述,并结合通信节点实体模型中的消息缓冲器,探讨了消息处理模型管理和维护通信事件列表的方法.     

舰炮对岸应召射击攻击阵位的选择

为了射击指挥员在组织舰炮对岸应召射击时,射击指挥决策更具科学性,文章提出了基于模糊多目标决策理论的舰炮对岸应召射击阵位生成和优选的方法,研究探讨了阵位生成和优选的实现过程,并通过最后的定量计算求得了相对最优攻击阵位。最终评判结果表明,此方法可以有效提高舰炮对岸作战效能。     

三峡库区水环境污染预警与决策系统设计与实现

以三峡库区重庆段水环境地质调查项目为基础,综合应用数据库,GIS,RS,GPS,计算机网络和现代检测技术及水环境中有机污染物、营养物、重金属污染的研究方法,提出了库区水环境污染物预警与决策支持信息系统总体设计和数据库设计架构。为政府部门科学决策和管理监控提供一个先进的信息平台,也为整个三峡库区水环境可持续发展提供有效的信息参考。