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

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

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

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

基于信息技术的装备保障业务流程再造研究

将业务流程再造理论应用到装备保障领域,结合装备保障的相关概念进行研究。阐述了装备保障业务流程再造的本质,系统分析了业务流程再造和信息技术之间相互依存、相互促进的关系,在此基础上,提出了装备保障业务流程再造的要求和步骤,通过器材请领流程再造的实例进行了验证。     

一种新的火炮武器系统射击精度试验方法

射击精度是反应火炮武器系统性能的最重要技术指标,通过对以往射击精度试验中采用的建立在大子样统计理论基础上的传统评定方法进行了分析,对目前采用的序贯截尾原理和方法进行阐述,并指出前两种方法没有利用验前信息,试验次数和试验风险比较大等缺点,由此提出一种新的贝叶斯截尾序贯检验法。这种小样本统计推断方法的基本思想是充分利用已有的验前信息,实现了多阶段试验信息的综合利用,能够减少试验次数,缩短试验周期,节约试验经费。     

军用嵌入式软件结构覆盖测试技术

基于军用实时嵌入式软件的测试经验,针对实时嵌入式软件特点,研究了各种平台软件尤其是嵌入式强实时软件的插装策略,分析了写文件、写内存、按位记录特征值、使用硬件的插装方式的优缺点。提出了有效的结构覆盖测试技术和测试方法。对实时嵌入式软件的测试,具有实际参考价值。     

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

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

无源单站定位技术研究

无源定位技术已成为现代化战争中对抗"四大威胁"的关键技术。在研究目标来波方向(DOA)与多普勒频率的基础上,提出一种基于最小二乘估计的运动目标单站定位跟踪方法。经计算机仿真表明,该方法不仅能对运动目标进行定位,而且能对运动目标的速度、航迹等进行估计。     

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

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

舰艇编队防空火力射击冲突问题研究

从建立编队内统一的坐标系入手,利用编队中武器的位置、战术参数和来袭目标的信息,采用系统建模仿真的思想,建立火力射界冲突分析模型。借助于这个模型,通过解命中计算等方法,计算编队中武器的可抗击航路以及连续射界,进而得出其可抗击射界,与武器固有安全射界叠加,确定编队中可以参与抗击来袭目标的武器,并为进一步地探讨编队火力兼容问题,进行火力兼容控制奠定基础。     

军用数据库安全审计系统的设计

在指控系统应用过程中,需要审查与系统安全相关的所有操作,并对不安全的操作行为进行报警。根据指控系统中数据库审计四要素的要求,提出将应用系统级审计与数据库级审计相结合的方法,最终实现两种级别审计的统一。解决了以往指控系统审计方式单一的问题,满足了军用数据库安全防护的要求。