基于中介逻辑的多模态逻辑系统

多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础。中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用。为将中介逻辑进行时态和动态扩充，本文构造了一种基于中介逻辑的多模态逻辑系统ＭＭＫ，讨论了它的推理规则和语义解释，并证明了ＭＭＫ的可靠性和完备性，在此基础上给出了一种基于中介逻辑的时态逻辑系统ＭＴ，对它的可靠性和完备性进行了讨论。最后，分析了相应的经典多模态逻辑系统与ＭＭＫ系统及经典时态逻辑系统和ＭＴ系统之间的关系。     

基于模糊逻辑的航空发动机虚拟传感器

在双通道的发动机控制系统中，未超过故障阈值的传感器慢漂移故障难以隔离，且在故障检出前影响控制系统的反馈信号。引入机栽自校正实时模型作为第三通道的虚拟传感器，并提出模糊隶属度加权和动态阈值技术以获得可靠的传感器适应值，实现双余度系统中失效传感器的检测和隔离。仿真结果表明，这种方法能可靠地改进适应信号，将由于传感器故障引起的发动机控制系统扰动抑制到0．2％以内，并能避免失控。     

ZVS双正激直/直变换器

提出了一种ZVS双正激直/直变换器拓扑，该拓扑不仅保留了双管正激变换器开关电压应力低、可靠性高的优点，而且较普通的交错并联双管正激变换器减少了两个箝位二极管。电路不仅实现了原边开关管的零电压开通和关断，而且副边整流二极管不存在电压尖峰。文章详细分析了该变换器的工作原理，给出了变换器的输出特性和实现ZVS开通的条件，并用一个2kW的原理样机进行了验证，最后给出实验结果。     

开关磁阻调速电动机

开关磁阻电机是由功率开关电路、双凸极磁阻电机及控制器构成的新型调速电动机系统。本文阐述该系统的组成,结合所研制样机的实践,介绍它的基本工作原理和控制方式,并扼要归纳基本特点。研究和实践表明,这是一种结构简单、性能优良的机电一体化调速电动机系统。     

一种新型软开关推挽三电平直流变换器

由于传统推挽直流变换器中开关管的电压应力高（输入电压的两倍），故该变换器的应用范围受到限制。本提出了一种新型的零电压零电流开关PWM推挽三电平直流变换器，其中开关管的电压应力为输入电压。对该变换器采用移相控制，可以发现超前管只能实现零电压开关。加入阻断电容和阻断二极管可以使滞后管实现零电流开关。在这种控制方式下该变换器克服了传统推挽变换器存在的偏磁现象，开关损耗大，开关管有电压尖峰等缺点，使得其变换效率更高，有更广的应用范围。该变换器的工作原理在一个600W，50kHz的实验样机上得以分析和验证。最后，本还提出了另外几种零电压零电流开关PWM推挽三电平直流变换器。     

无刷直流电动机的新型自适应模糊神经控制

 为无刷直流电动机提出了一种自适应模糊神经控制方法.这是一种建立在开关控制、模糊控制和自适应控制相结合基础上的控制方法,并用神经网络实现了模糊控制器和自适应机构.在无刷直流电动机的双闭环调速系统中,电流控制器是PI控制器;转速控制器是由1个开关控制器和1个包括自适应机构在内的模糊控制器相结合组成的,且用1个3层前向神经网络离线学习实现了模糊控制器,学习算法采用的是改进的BP算法.用1个单神经元通过在系统运行过程中的动态学习实现了自适应机构,学习算法选用了有监督的Hebb学习算法.由电机所处的运行阶段决定哪一个控制器工作.此控制算法的仿真结果说明,它使系统具有良好的动、静态特性和自适应性.     

基于S4000P的军用飞机预防性维修任务优化研究

预防性维修是恢复和保持飞机安全性和可靠性的主要措施,其优化一直以来都是飞机制造商和使用 方共同关注的问题。本文调研国际上主流的预防性维修任务优化方法及主要应用对象,并以适用于装备的 S4000PISMO 流程为基础,结合军用飞机的特点,对原流程进行调整和个性化设计,构建预防性维修任务优化 的逻辑流程。结果表明:该任务优化流程可用于军用飞机预防性维修任务的优化分析。     

MP＊中的等值完全析取范式

讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全板范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。     

军用装备大规模可编程逻辑器件设计计价方法

大规模逻辑编程器件已在军用装备中得到了广泛应用,但目前为止国家还没有相关文件和标准明确其价格评估.长此以往对军用装备的质量必将产生一些不利影响.同时,缺乏科学成本预测工具和价格审核手段的现状,对装备经费资源也会造成很大浪费.根据实际工作经验,分析了影响大规模逻辑编程器件设计价格的主要因素和注意事项,提出了一套大规模逻辑编程的新评估计价方法.