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

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

低湍流度磁悬浮风洞的气动和结构设计

对磁悬浮风洞的历史、现状作了简要回顾和介绍 ,提出了建造 30 0mm× 30 0mm磁悬浮低速风洞 (简称MSWT 30 0 )的设计思想 ,给出了MSWT 30 0主要部件 ,包括离心式鼓风机、过渡段、大角度扩散段、稳定段、收缩段、实验段。MSWT 30 0的建立将结束我国没有磁悬浮风洞的历史     

电子干扰对低可观测飞行器飞行路径规划的影响

为了提高巡航导弹的低空突防能力,在分析电子干扰对雷达网威胁区域的影响后认为:在多重干扰条件下,雷达探测空间会顺着干扰方向产生内凹和偏移,因此,建立了新的雷达探测空间模型.采用空间对象间拓扑关系推理方法建立了飞行器飞行路径规划目标函数中雷达威胁指数模型,然后改进了飞行器飞行路径规划模型,并在此基础上进行了巡航导弹飞行路径规划的软件仿真.仿真结果表明:考虑电子干扰对雷达威胁区域的影响情况下规划的飞行路径能够回避雷达威胁,有效提高飞行器低空突防能力.     

一种新颖组合变换器拓扑研究与应用

基于电源模块并联和串联的思想，提出了一种新颖双管正激组合变换器拓扑，克服了双管正激变换器副边二极管电压应力过高，输出电压和电流脉动大，只能应用于输出中低压场合的缺点，具有副边二极管电压应力低，可靠性高，原边开关管电流应力低，输出电压和电流脉动小，磁芯元件体积小等优点，本文对该新颖组合变换器进行分析，仿真和实验，表明适合应用于输入中，高电压，输出高压，大电流场合，并成功应用于某型飞机6KVA逆变器前级变换器，各项技术指标均符合设计要求。     

中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。     

一种用于可靠性参数指标分配的新方法

提出了一种按组成系统的各单元任务失效率比例，并考虑各单元的重要度来分配系统可靠性参数指标的新方法；给出了分别以失效率、平均故障间隔时间表达的分配比例因子及分配公式。该方法是ＡＧＲＥＥ分配法的改进。文末举例说明该方法的应用及其分配结果的合理性     

空空导弹模型参考变结构飞控系统设计

应用模型参考变结构最终滑态控制方案设计了某型中距拦射空空导弹变结构自动驾驶仪。理论分析证明，该方案有效地改善了系统的动态品质，并且对系统的不确定性因素具有较强的鲁棒性，数字仿真结果表明，所设计的变结构自动驾驶仪具有良好的指令跟踪性能，对于系统参数的变化不敏感。     

过程控制机

过程控制机由数据采集系统、智能控制器、控制过程量输入输出部件和标准接口等组成。数据采集系统采集测力天平和压力传感器的输出信号,它的模拟量输入通道32路,采集速度5万次/秒,系统精度0.04%。模拟量输出控制调压阀系统,频率量输出控制模型姿态角系统,标准接口 IEEE-488和上位机通讯,传送命令和数据,所有软件固化在智能控制器的 ROM 中,它分析上位机送来命令指挥各部件工作。文章还介绍过程控制机在风洞测控系统中的工作过程以及使用后取得的良好效益。     

符合CCSDS标准的RS(255,223)码译码器的FPGA实现及其性能测试

RS（Reed-Solomon)码是差错控制领域中一种性能优异的非二进制分组循环码，由于它具有很强的随机错误和突发错误的纠错能力，被CCSDS，NASA，ESA等空间组织接受，广泛应用于深空探测中．本文采用改进的Berlekamp算法，用FPGA实现了符合CCSDS标准的RS(255，223)码译码器；介绍了该译码器的实现流程、性能测试方法和基于PCI总线接口的测试平台；给出了测试结果，并且对理论上RS(255，223)译码器的误码性能与实际测试的误码率结果进行了比较和分析．验证结果证明该译码器能工作在400Mbps以上的码率，使用FPGA资源180000门，译码效果与理论上译码效果一致．     

A coupling VWM/CFD/CSD method for rotor airload prediction

A coupling fluid-structure method with a combination of viscous wake model(VWM),computational fluid dynamics(CFD) and comprehensive structural dynamics(CSD) modules is developed in this paper for rotor unsteady airload prediction. The hybrid VWM/CFD solver is employed to model the nonlinear aerodynamic phenomena and complicated rotor wake dynamics;the moderate deflection beam theory is implemented to predict the blade structural deformation; the loose coupling strategy based on the ‘delt method' is used to couple the fluid and structure solvers.Several cases of Helishape 7A rotor are performed first to investigate the effect of elastic deformation on airloads. Then, two challenging forward flight conditions of UH-60 A helicopter rotor are investigated, and the simulated results of wake geometry, chordwise pressure distribution and sectional normal force show excellent agreement with available test data; a comparison with traditional CFD/CSD method is also presented to illustrate the efficiency of the developed method.