中介谓词演算系统ME与ME之间的化归算法及其应用

在经典二值逻辑中，带等词的谓词演算系统Ｆ１与Ｆ１＊的函词系统等价，在互推关系下这两个系统也等价，然而在中介逻辑中，带等词的中介谓词演算系统ＭＥ与ＭＥ＊函词系统不等价，本文定理１指出，在互推关系下，任何ＭＥ＊中的公式均可化为ＭＥ中的标准前束范式，因此在互推意义下两系统等价，在中介逻辑中，ＭＥ是一个较为特殊的子系统，它具有许多与二值逻辑相类似的性质，本文的结果为将这些性质进一步推广到ＭＥ＊上提供了基础     

超视距空战的威胁估计

针对现有超视距空战威胁估计模型的不足,提出了一种新的基于模糊逻辑的超视距空战威胁估计模型。该模型以机载中远程空空导弹攻击区、雷达搜索区性能参数以及双方战术几何关系、相对运动趋势作为评估对象进行模糊化,设计了角度优势、距离优势推理模块,并以二者的加权和作为当前空战态势的优势指数。模型较为全面反应了空战态势与参战飞机的作战能力,可为超视距多机协同攻击多目标空战时的目标分配、战术选择提供参考。仿真结果验证了模型的有效性。     

某航空发动机喘振控制系统设计与验证

针对航空发动机易出现喘振误报、误判和消喘失败等问题,对某单轴带核心机驱动风扇（CDFS）的航空发动机对比分析不同的测点位置、信号处理、消喘控制逻辑设计下的消喘效果,并在高空模拟试验台上进行燃油阶跃逼喘验证。结果表明,测点2的A值脉动幅值是测点1的4倍,采用的硬件判喘准确率达到100%,制定的燃油阶跃供油控制方法可成功实现发动机逼喘,制定的消喘控制逻辑可成功使发动机退出喘振并恢复到目前状态。     

基于CPLD的计算机组成原理实验仪的开发

引入具有硬连软化，灵活组态的CPLD将会引起计算机组成原理实验教学的一次革命，文中介绍了实验仪的硬件设计。编程语言的选择，完成的实验以及开发中使用的关键技术。     

美国会计准则制定模式的形成逻辑

资本市场的竞争促使各公司对外披露会计信息。为规范会计信息披露 ,保证会计信息质量 ,产生了对会计准则的需求。会计准则的制定方法主要有归纳法和演绎法。从技术角度看 ,由于美国FASB缺乏必要的强制力 ,无法形成完善及权威的概念框架体系 ,因此准则制定中主要采用归纳法 ,这是美国形成以具体规则为基础的准则制定模式的内在逻辑。     

Singularity problem of control moment gyro cluster with vibration isolators

As powerful torque amplification actuators, control moment gyros (CMGs) are often used in the attitude control of many state-of-the-art high resolution satellites. However, the distur-bance generated by the CMGs can not only reduce the attitude stability of a satellite but also dete-riorate the performance of optic payloads. Currently, CMG vibration isolators are widely used to target this problem. The isolators can affect the singularity of the CMG system as they are placed between the CMGs and the satellite bus and provide additional freedoms to the CMG system due to their flexibility. The formulation of the output torque of a CMG is studied first considering the dynamic imbalance of its spin rotor and then the deformation angle as a result of the isolator’s flex-ibility is calculated. With the additional freedoms, the influence of isolator on the singularity problem is studied and a new steering logic to escape from the singular states is proposed.     

基于模糊逻辑的交互式多模型滤波算法

针对交互式多模型（IMM）滤波算法在对反舰导弹的"蛇形"机动方式进行跟踪时收敛速度慢、滤波精度低的问题。在三维空间内,假定目标以匀速直线和"蛇形"机动2种方式进行运动,以相对距离和视线角为观测信息,对IMM滤波算法的模型概率更新模块进行改进,提出了基于模糊逻辑的交互式多模型（FLIMM）滤波算法。通过仿真对比分析,改进后的算法能够有效地提高收敛速度,进而获得更高的跟踪精度。      

结合逻辑和决策论方法的Agent模型研究

分析了目前Agent模型与实现相分离的原因,将逻辑与决策论方法相结合,以自主为前提,面对个体自主性和群体交互的社会性要求,研究如何建立理性Agent以及理性Agent构成的多Agent社会。对Agent的信念、愿望、效用、约定和意图等心智状态之间的关系进行了直观的描述,阐明了理性行为的决策过程,并采用量化多模态逻辑对该模型进行了形式化描述。完善了Cohen和Levesque的BDI模型理论,使其能更准确地反映理性A-gent的行为,为多Agent系统设计与实现提供了理论基础。     

基于模糊逻辑的再入RCS控制方法

针对 RLV (Reusable Launch Vehicle)的再入控制提出了一种基于模糊逻辑的RCS(Reaction Control System).详细分析了RCS控制特性,建立了基于效率系数以及继电特性的RCS模型,提出了一种基于Mamdani模型的模糊逻辑三通道RCS控制器,该控制器利用专家控制经验,根据姿态角及角速率的偏差,产生不同的RCS控制指令输出给三通道对飞行器进行姿态控制.通过六自由度非线性仿真,验证了该控制系统与PID(Proportional-Integral-Differential)控制器相比具有更好的跟踪性能,且RCS的控制输出效率也更高.      

过失速机动的模糊逻辑建模仿真

对模糊逻辑建模方法进行了深入的研究,讨论了非定常气动力的模糊逻辑建模与参数辨识方法,针对其在飞机非定常气动力建模与辨识中的应用提出新的思路,使之更具有实用性,并应用于实际算例的计算分析中.利用振荡三角翼的试验数据建立了非定常气动力的两种模糊逻辑模型:一种采用减缩频率进行建模,另一种考虑时间历程对非定常气动力的影响.结果表明,所建立模糊逻辑模型的计算结果与实验数据结果符合较好.采用这两种不同的模糊逻辑模型对飞机的眼镜蛇机动进行了模拟、仿真,检验了模型的实用性.