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

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

多空域窗射击技术研究

未来空域窗射击体制相对集火射击体制,提高了对机动目标的拦截概率,能够对付有限机动目标,然而依然难以对付具有高度机动能力的目标,尤其是有人驾驶飞机,如果在射弹飞行时间内进行拐弯、爬升、俯冲等强机动.为了进一步提高对目标的拦截概率,提出了多空域窗射击体制,即在传统火控系统中增加目标实时态势估计模块,实时预测目标在射弹飞行时间内的可能机动模型,并根据预测结果进行多个未来空域窗射击.     

欠驱动再入飞行器的抗饱和姿态控制器设计

针对只有两个舵的欠驱动再入飞行器,设计了具有抗饱和功能的姿态跟踪控制器.控制器的设计过程中,首先将姿态运动学与动力学模型分解成慢回路和欠驱动的快回路,然后分别针对快回路和慢回路设计了超扭曲滑模控制器和分层滑模控制器,最后通过仿真验证了该方法的有效性.     

航天装备大数据资源平台构建技术研究

航天装备研制涉及论证、研制、生产、试验、综合保障等各个环节,所产生的数据具有种类多、数据量大、异构性强等特点,且数据资源分散于各科研机构院所,形成一个个数据孤岛,严重制约了型号数据的统一管理和协同应用。为了建立“逻辑统一、物理分散”的航天装备统一大数据中心,本文提出一种航天装备大数据资源平台构建技术,该平台基于统一的数据编目规范,综合利用云计算、微服务、区块链等技术,可实现多维异构数据深度融合管控,实现基于型号科研生产活动下的数据逻辑统一管理和实体分布式存储,能够解决航天装备整个研制活动全要素全过程的数据采集和可控共享的现实需求,为各业务场景下的数据分析奠定基础。     

《中国近现代史纲要》模块化教学改革探索

突出＂中国近现代史纲要＂思想政治理论教育的主题和优势,增强思想政治教育的针对性、实效性,要求教师在教育教学中始终坚持以学生为本的教育理念,不断改进教学方法、增强教育亲和力;不断改革传统的课堂教学单一模式,加强实践教学,建立注重学习过程和环节考核的模块化教学模式。     

移动式雷达网的建立与优化

提出了移动式雷达网的概念和移动式雷达网的4种作战模式:环形模式、伞形模式、宽正面模式和纵深模式,对每种模式的优缺点进行了探讨。具体研究了宽正面移动式雷达网模式的优化问题,建立了相应的优化数学模型,并简单介绍了最优化模型的灵敏度分析问题。     

无人作战飞机通信延时仿真

通信作为无人作战飞机任务控制站与无人作战飞机之间的纽带,在无人作战飞机系统中起着至关重要的作用。简要阐述了引起无人作战飞机通信延时的具体因素,分析了无人作战飞机使用的几种通信方式,提出并运用网络仿真工具NS2(networksimulation-2)针对视线通信方式和不同中继方式下的通信延时进行了仿真,最后对仿真作了分析和解释。     

基于事件的系统可靠性参数仿真算法

介绍了可以用扩展可靠性框图表示的系统的可靠性参数的仿真算法。首先,对扩展可靠性框图进行了介绍,提出了利用树状结构来描述扩展可靠性框图的结构。其次,对基于扩展可靠性框图的系统行为进行了分析。然后,依据离散事件系统仿真思想,分别给出了计算可修系统可靠性参数的仿真算法与不可修系统可靠性参数的仿真算法。最后,给出了计算实例。该仿真算法不仅可以对状态独立系统进行可靠性参数计算,而且可以对具有冷储备关系以及冷储备嵌套关系的状态相关系统进行可靠性参数计算,具有很强的通用性与实用性。     

加快院校初级指挥人才培养模式转变的思考

加快武警院校初级指挥人才培养模式转变,既是贯彻落实胡主席主题主线重大战略思想的客观要求,也是适应建设现代化武警需要,不断提高院校人才培养质量的迫切要求。客观分析了以往武警院校初级指挥人才培养模式所取得的主要成绩、存在问题及原因;从适应武警部队现代化建设现实需要等方面,阐述了转变人才培养模式的必要性;从服务部队建设、培养合格人才的高度,提出了加快初级指挥人才培养模式转变的六项基本对策。     

计算机网络级联失效建模与分析

针对以往级联失效模型负载局部重分配规则与现实计算机网络全局路由特点不吻合的缺陷,模拟网络中信息流传输过程。定义路由器的失效条件,建立基于负载全局重分配的级联失效模型,并在此基础上提出基于连通和性能两方面的级联失效影响评价参数,进而分析用户流量和攻击方式对计算机网络级联失效的影响。结果表明,随着流量的增大,级联失效存在相变行为,相变点刻画了网络在不会发生级联失效前提下的最大传输能力。此外,针对网络中高度节点的攻击,更为容易引发大规模的级联失效,应予以重点保护。