基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述,给出了资源泄漏缺陷状态机,定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中,按照资源泄漏缺陷状态机给出的转换条件进行状态计算,如果计算结果为故障,则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试,发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。     

无人机携行备件品种确定方法

无人机在战场的应用日趋频繁,因此对其备件的保障日益迫切.在携行标准下,备件的品种大多采用定性的分析和逻辑判断法来确定.针对无人机的特点,建立无人机携行备件品种评价指标.通过层次和TOPSIS评价方法进行定量计算,得出无人机各备件的排序,以间接确定其备件的品种.该数学模型为携行备件品种的确定提供了一种更为科学、合理的方法.     

粟裕军事谋略的方法论意义

在中国革命战争实践中产生的粟裕军事谋略,是独树一帜的。其主要内涵包括立足战争全局,善于发挥整体作战功能;关注过程,精心谋划对抗最佳战机;力争主动,及时掌握有利战场态势;有效聚集优势战斗力,以克敌制胜。粟裕军事谋略对今天以至未来的战争谋划仍具有重要的方法论意义。     

基于决策树的装甲兵登陆突击仿真试验数据挖掘

介绍了项目的研究平台--数字化装甲营仿真系统,依据装甲兵登陆突击的作战想定进行了多次仿真试验,在对数据进行概化后,利用ID3算法构造了决策树,并从中挖掘出12条规则,总结出适用于数字化装甲分队在登陆突击阶段应采用"先期压制、全速突击、分波上陆、多路通行"的战法.     

灰色层次分析决策方法在坦克评估中的应用

给出了利用灰色层次分析决策方法进行评估的一般步骤,并以坦克为例,构建了基于坦克的机动性、防护性、火力性、信息性、可靠性的评估模型。     

谈公安边防部队信息网络建设

公安边防信息网络建设的水平是公安边防部队科技强警工作的一个重要方面。目前 ,公安边防信息网络建设和管理中还存在重建设轻管理 ,信息安全管理控制不够严密及信息网站建设和管理不规范等问题 ,必须按照公安部的有关要求 ,认真落实全国边防信息化工作会议精神 ,全面加强信息网络的规范化建设和管理 ,提高和推进公安边防部队科技强警工作的质量和水平。     

一种克服火控系统假定误差的方法

阐述了假定误差是当前高炮火控系统的最大误差 ,也是最难克服的误差 ,借鉴航空火控的热线原理 ,利用人对机动目标的模糊预测能力 ,提出了一种人机结合的火控系统工作原理。这是高炮火控系统克服假定误差的一种途径     

基于Linux文件检索方法的改进研究

随着磁盘容量的急剧增大,文件系统的性能以及文件系统的效率会急剧下降,这是因为文件列表过于庞大,传统的文件系统在检索文件时采用的线性搜索方式带来的检索效率低下导致。对Linux虚拟文件系统进行深入剖析,阐述了VFS打开以及新建文件的机制,指出其存在的缺陷及问题。在Linux文件系统的基础上,参考暴雪游戏公司解决hash冲突的blizzard算法,提出一种通过在磁盘上建立文件目录项的哈希表来提高文件查找效率的方法。     

基于Pareto排序法的战时装备维修任务多目标调度方法

针对战时武器装备维修保障问题,建立了包括最大完工时间、延迟时间和维修单元负荷在内的多目标优化调度模型。为提高解的多样性和收敛性,构建了一种基于Pareto排序法和小生境技术相结合的遗传算法用于模型求解,引入Pareto排序和拥挤距离进行适应度计算,通过混沌系统随机生成权重系数,并使用小生境技术改进选择方式。通过实例验证表明,该方法能够有效地解决装备维修多目标调度问题。     

基于自适应二阶终端滑模的航天器有限时间姿态机动算法

针对航天器有限时间姿态机动问题,提出一种自适应二阶终端滑模控制算法。设计一种终端滑模面,保证系统状态能够在有限时间内沿滑模面收敛到系统原点;为克服系统抖振,设计了二阶终端滑模控制器,并采用参数自适应估计项补偿系统中的外部干扰力矩。基于Lyapunov函数法证明了二阶自适应终端滑模控制器能够保证闭环系统实际有限时间稳定。仿真结果表明,提出的姿态机动算法响应速度快、精度高,能够有效实现对系统抖振和外部干扰的抑制,具有重要的科学意义和工程应用价值。