双接口电子存储设备技术的研究

由于嵌入式设备应用的特定环境,在实时系统运行时产生的关键数据很难捕捉。为了更好地组织和分析系统参数,研发了一种既能挂载到嵌入式计算机系统总线,又能方便地支持调试设备下载数据的基于USB和PCI双接口电子存储设备,能使维护人员准确地把握设备的动态信息,从而进一步提高设备运行的稳定性。     

飞行综合控制系统空战决策方法

控制决策方法是飞机综合控制系统根据空战对策状态、双方的运动及性能参数等信息产生出机动策略的一种数学方法，是飞机综合控制系统决策层数学模型的重要组成。以空战攻防力学准则建立起的捕获临界条件作为评价函数，采用矩阵博弈数学方法求出离散化机动策略。主要内容：相对运动方程的建立；矩阵博弈策略算法；评价函数的建立等。     

无人作战飞机自主控制分级递阶控制结构

把智能控制领域的分级递阶控制结构应用于无人作战飞机(UAV)自主控制的结构设计,根据"精度随智能降低而提高(IPDI)"的原则,把该控制系统分为3个层次:执行级、协调级和组织级。执行级完成高精度的局部控制任务;协调级产生航迹及导航信号,并对子系统的工作进行协调;组织级提供决策支持。提出了通过内外回路的方法来实现整个控制系统的硬件。根据每一级的功能需求,提炼出在多任务模式下各级的关键技术,进行了模块化分解,并分析了它们之间的逻辑关系。重点阐述了协调级和组织级的约束条件及实现过程。     

高超声速飞行器地面颤振评估技术研究

针对高超声速飞行器飞行过程中颤振边界变动范围大、试验测试难的问题,本文开展了考虑气动热效应的翼面结构地面颤振试验技术研究。首先基于工程法对结构所受的气动加热进行了分析,在此基础上开展了结构的热颤振特性评估并作为地面颤振试验结果的参考标准。考虑实际飞行中结构温升效应影响,建立了基于多工况点的气动力综合优化降阶算法,确保了整个温升过程的气动力模拟的精度。通过建立基于模糊逻辑比例、积分和微分（Proportional integral derivative,PID）控制的多点协调控制系统,实现了温升过程中时变系统的激振力控制器设计。最终搭建了地面颤振试验系统,按照典型飞行状态对结构的热颤振特性进行了测试,试验测试结果与仿真结果对比相对误差约10%。     

独立函数及其R/W谱在逻辑设计中的应用

本文提出基于独立函数的逻辑设计方法,即如何利用独立函数和它的Rademacher/Walsh谱系数进行组合逻辑设计。这是组合逻辑设计方法的另一新途径。它有利于数字系统的模块化。     

关于模糊逻辑系统及其建模函数的数学描述

模糊逻辑系统按真值化处理与推量规则导出最优系统数学表达式。在线性定常状态下,分别建立起连续与间断系统的数学模型,归纳出模糊控制的等效解法。并应用模糊数学算法,对一非线性实例绘制出双模控制框图。     

新的面向对象编程语言Ada95

介绍了Ａｄａ９５的主要面向对象特征，分析了Ａｄａ９５对面向对象模型和面向对象逻辑设计的支持。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

与-或/异或型逻辑函数的化简

本文提出求找逻辑函数系中独立函数的新方法,揭示了它的实质;同时利用“异或”的特殊性质,提出了“与-或/异或”型逻辑函数的化简方法。为数字系统中该类型逻辑函数的化简提供了理论依据及完整方法,同时也为模块的逻辑设计提供新的途径。     

航空客运超售风险研究

对航空客运超售风险管理进行了研究.在分析航空客运风险处理措施基础上,提出采用风险价值(VaR)方法进行超售风险管理.给出了单航班不同舱位超售量的计算方法及多航班VaR值的计算方法.实例表明VaR方法在航空客运风险管理中是十分有效的.