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

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

一类非完整系统的输出反馈控制问题研究

针对一类具有虚拟控制方向和非线性不确定项的非完整系统,研究了其输出反馈控制器的设计问题。采用状态转换技术和反推方法,设计了只依赖于输出值的输出反馈控制器。同时为了处理初值为零的情况,提出了基于第一个子系统输出值的切换控制策略,通过仿真算例说明了控制器的有效性。     

基于本体的Legacy知识系统集成

大量Legacy知识系统在语义层上的冲突阻碍着相互间的集成与互操作,影响了我军一体化知识处理平台的实现.将一个分布异构的知识系统视为多主体系统,提出了一种通过中介主体来实现Legacy知识系统集成的软件框架,分析了中介主体的结构;在这一结构中,通过明确表达Legacy知识系统的本体、借助战场空间领域共享本体、本体映射规则来解决语义冲突,实现了Legacy知识系统之间的语义集成.     

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

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

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

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

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

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

空化射流喷嘴流场的数值模拟

根据角形喷嘴结构特点,建立了喷嘴的物理模型和数学模型.选用к-ε紊流模型,并采用SIMPLEC算法进行数值计算.模拟计算表明,射流进入扩散段后与周围介质发生强烈的剪切作用产生明显的负压,有利于空化气泡的产生.扩散角对喷嘴内部流场影响较大,存在最佳值30°;扩散段长度对喷嘴内部流场也存在影响,初始取值为12 mm;圆柱段长度对喷嘴内部流场影响较小,其取值有一范围2～10 mm,初始取值为4 mm.采用相关的实验数据验证了本模型的可行性.     

火灾对埋地输油管道温度场影响的数值研究

地面发生火灾时,将对土壤、地下管道及输送的油品温度产生影响,原有的热平衡被破坏,建立新的温度场;即便在火灾被扑灭后,一段时间内土壤、管道温度会继续升高,仍有可能造成管道失效。针对此情况建立了非稳态传热模型,进行了数值模拟,并对结果进行了分析。这一模型的建立,为后续的管内输送介质温度分布的研究提供了科学的依据。     

作战仿真实验数据关联规则挖掘研究

作战筹划人员可以利用作战仿真系统进行大量可重复的仿真实验,并积累大量实验数据.本文运用关联规则数据挖掘方法对作战仿真实验数据进行分析,"提炼"出作战中各种事件与作战效果之间的联系,以辅助作战筹划人员获取对作战行动的新认识,把握作战行动的关键环节,为作战筹划提供决策信息.     

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

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