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

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

一种新的灰色决策模型及其数值仿真(英文)

针对一类权重完全未知且属性值为区间灰数的多指标灰色决策问题,根据灰色理论思想,提出了一种灰色多阶段决策方法。首先给出了一种基于可能度的灰数大小比较方法,然后利用灰色关联分析法对多位专家关于权重的评分结果进行计算得到各指标权重,进而分阶段对指标值以区间灰数的形式进行评分,根据灰色系统新信息优先原理给出了各个阶段评价值的赋权公式。实例验证了该决策方法的可行性。研究结果为求解灰色决策问题提供了一种新思路。     

着舰引导系统“软故障”研究初探

给出了着舰引导系统“软故障”的定义,对其特点进行了深入的分析,并对着舰引导系统“软故障”进行了分类,阐述了各种“软故障”对着舰安全的影响,以及预防和解决“软故障”的技术方法.最后预测了着舰引导系统“软故障”的研究方向.     

机载用电设备的供电适应性试验系列标准制定与实施

机载用电设备的供电适应性试验是对各类机载用电设备在各种供电状态下的性能以及用电设备工作对供电系统影响的验证，是保证用电设备（尤其是大功率电子设备）与飞机供电系统相兼容的重要措施和方法。本文阐明了我国机载用电设备的供电适应性试验系列标准的组成和相互关系，着重对供电适应性试验方法标准的定位、框架、结构要素的确定和主要内容进行了分析，并提出实施供电适应性方法标准的建议。     

基于ATML标准的ATS软件建模技术

论述了国外ATML标准体系结构和构成ATML标准所有子模型的描述方法,提出了在现有ATS软件平台基础上,实现兼容ATML标准所需的建模流程设计、模型识别及模型运行流程设计等技术途径,为实现ATS软件平台的通用性、开放性及武器装备各种维护级别的测试资源的共享奠定了技术基础。     

大展弦比运输机标模高升力构型设计与评估

介绍了中国航空工业空气动力研究院基于分层策略遗传算法的多段翼型优化设计工具和高升力构型计算评估方法,参照国内外大展弦比运输机指标为FL-9增压风洞设计了高升力构型标模,为检验标模气动性能,在法国ONERA F1风洞进行了一系列风洞试验和采用UNSMB平台进行了数值模拟。结果显示计算结果与试验结果有着较好的一致性,设计方案具有较好的增升效果。     

机载单站只测向定位最优机动研究

概述了机载单站只测向定位最优机动求解算法，研究了基于最大方位角变化率准则下的观测机机动轨迹，得到理论上的最优定位机动，并结合实际运用，分析出两种近似最优的机动：“一”形（直线形）机动和S形机动，通过仿真，验证了这2种机动方式在一定条件下可以等效于最优机动，具有良好的定位效果。     

大航向角误差情况下飞行中对准研究

为了解决飞行器在大航向角误差的情况下进行飞行中对准的难题,将一种线性大航向角误差模型应用于飞行器飞行中对准的过程.详细推导了线性大航向角误差模型,设计了飞行器在大航向角误差情况下进行飞行中对准的卡尔曼滤波模型,并进行了数字仿真.仿真结果表明,线性大航向角误差模型应用于飞行器飞行中对准,能够很好地解决飞行器在大航向角误差情况下进行对准的难点,并给出了适合于大航向角误差模型的机动方式.最后,提出了线性大航向角误差模型在工程应用中的几点建议     

基于AMESim的某型客机舵面液压系统仿真分析

当某型客机飞控舵面作为液压能源系统的用户时,应用AMESim仿真软件,在相应的载荷作用下,对液压系统所需压力、流量以及相关液压附件参数的设置进行分析,并对舵面的仿真运动结果进行动画演示。     

分子筛氧浓缩器非等温吸附模型

介绍了机载分子筛产氧系统OBMSOGS(OnBoard Molecular Sieve Oxygen Generating system)的工作原理和变压吸附PSA(Pressure Swing Adsorption)的基本理论,建立了分子筛氧浓缩器MSOC(Molecular Sieve Oxygen Concentrator)的数学模型.模型考虑了筛床的传热传质、压力变化和吸附热引起的吸附等温梯度的变化等因素对吸附性能的影响.动力方程采用线性推动力方程,采用混合Langmuir吸附等温理论计算吸附量.用所建立的数学模型对MSOC的吸附过程进行了模拟并对结果进行了分析.