基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

火灾调查推理模式探讨

火灾调查是一种回溯推理。根据蕴涵关系的逻辑性质和异因异果原理,可建构正确的火灾调查推理模式。由这种推理模式可明确火灾调查结论正确与否的事理根源,从中会得到许多有益启示。     

模糊聚类分析在舰炮射击目标处理中的应用

舰炮对岸射击中射击目标选取比较复杂,用基于AFS逻辑的模糊聚类分析数学方法对射击目标进行处理,是一种评估战场目标选取的新方法。基于AFS逻辑的模糊聚类分析不仅与人类的思维逻辑类似,而且便于计算机将数据库中的记录转化为人类容易理解和操作的模糊集。作为在数据挖掘中的应用,又给出了基于AFS模糊逻辑的一个新的模糊聚类方法,通过具体的数学模型仿真表明这是一种行之有效的方法。     

大气层内燃气动力与气动力复合控制方法探讨

对采用燃气动力(直接力)与气动力复合控制技术的控制方式、姿控发动机控制周期、点火逻辑及姿控发动机启控策略等进行了初步探讨。重点对采用燃气动力/气动力复合控制方式中舵系统的工作模式进行了探讨及仿真研究,对姿控发动机控制周期及控制回路工作周期对制导精度的影响进行了初步仿真研究。通过仿真研究表明:在末制导阶段,采用燃气动力/气动力复合控制方式可提高导弹的快速性,进而提高导弹的制导控制精度。     

基于模糊时间Petri网的决策融合模型及时间推理

针对常规导弹旅作战指挥决策过程中伴随大量随机、并发情况的特点,提出利用线性逻辑给出的模糊时间Petri网来描述作战指挥决策融合过程。通过建立相应的FTPN模型,并利用时间推理的方法来分析模糊时间Petri网的运行行为,说明其在作战指挥决策融合中的应用。     

多制式调制模块的原理与设计

分析了多制式调制的原理 ,提出并实现了一种基于PCI总线的多制式调制模块的设计方案。它采用正交调制与数字上变频方法 ,可以生成多种中频调制信号。它的另一个特点是将基带处理单元用PCI总线隔离开来 ,可以结合通用计算机或商用DSP处理模块 ,构成一结构灵活而又具有实时处理能力的多制式调制系统。     

液体火箭发动机故障诊断的命题逻辑方法

为对液体火箭发动机诊断知识的表达和组织提供一种简洁有效和易于处理的方式 ,通过以命题逻辑公式和子句的形式对系统观测信息和定性特征加以描述建立定性诊断模型 ,同时诊断问题基于归结原理和假言推理规则的演绎推理方法求解。基于试车数据的诊断结果表明方法具有较强的诊断能力。     

导弹系统安全性分析中的引发事件鉴别方法

引发事件鉴别是基于事故机理安全性分析的首要任务。鉴别结果是否全面、完整直接影响最终分析结果的有效性。导弹系统安全风险涉及面广、影响因素多,需要系统的可操作方法来指导引发事件的鉴别工作。针对导弹工作特点,提出考虑导弹任务剖面,运用主逻辑图对导弹进行系统性的层次化描述,对引发事件进行整理和归纳。将危险与可操作性分析引入导弹系统安全性分析中进行引发事件鉴别,结合故障模式影响分析,支持对单一故障类和参数异常类引发事件的鉴别。结果表明,所提框架为解决导弹系统安全性分析中引发事件鉴别的系统性完整性提供了可行的思路。     

控制系统故障的智能诊断技术

综述和讨论了故障诊断的模糊逻辑法、神经网络法和模糊神经网络法,并对其研究情况作了展望。     

模糊控制与其它控制技术的融合研究

介绍了模糊控制技术针对复杂控制对象进行的控制规则和隶属度函数算法的改进,以及与其它控制技术的融合研究,总结出多种控制融合方式,并在此基础上讨论了对更加复杂的研究对象的分析方法的可行性。