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

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

三维有限元网格的自动划分

本文作者从研究结构的数学模型入手,讨论了建立三维结构有限元计算模型的方法。成功地获得了一些具有应用代表性的三维板壳和块体结构有限元计算网格的自动划分原理和算法。     

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

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

热交换器动态特性研究

本文从飞机空凋系统温度调节的需要出发,首先以集中参数模型的形式,用理论推导的方法,求得热交换器的动态数学模型的结构形式。然后,为了使热交换器的动态数学模型更加符合实际热交换器,文中提出不用理论推导的方法求得热交换器动态数学模型的模型参数,而用辨识实验的方法求得热交换器动态数学模型的模型参数。文木提出了热交换器动态特性的计算方法,即微分方程数值计算方法在其模型参数是状态参数函数的热交换器动态特性计算中的具体应用。并且以欧拉法为例,论述了热交换器动态特性计算的具体公式和步骤。     

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

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

浅析航材承修商多维度管理

在深航近年来使用的承修商管理模式的基础上,通过实践不断修正,新增可视化质量评估平台,使深航的承修商管理形成一个完整的闭环监控,本文对这一可视化质量评估模型进行了详细介绍,以期为业内航材承修商管理工作提供参考。     

数理统计方法在部件故障控制中的应用研究

机载部件的可靠性直接影响航空器的安全运行。本文通过对机载部件使用寿命的统计和失效分析,对部件的故障提出了有效的控制方法,并举例说明了此方法在维护中的使用。     

三维自适应终端滑模协同制导律

针对多枚导弹协同作战的问题,且多枚导弹之间保持有向拓扑通信的条件下,基于终端滑模法设计了视线方向及视线法向的双层协同制导律。其中,视线方向的制导指令能够保证导弹同时完成拦截任务;视线法向上的三维制导律能够保证每枚导弹以期望的视线角攻击目标,从而发挥各枚导弹的最大杀伤力,并且视线角的约束相当于规划了末制导段导弹的弹道问题,在一定程度上避免攻击目标前导弹间发生碰撞。同时,针对所设计的滑模制导律设计了新的自适应律,从而加快了滑模面的收敛速度并且削弱了由符号函数引起的系统抖振现象。基于李雅普诺夫稳定性理论,证明了所设计制导律的正确性,并在最后给出了数学仿真实验,验证了所设计制导律的有效性及优越性。     

高精度可编程流量积算仪的设计

本文介绍了一种高精度可编程流量积算仪的设计方法，包括该系统的测量数学模型建立，测量原理，硬件设计及软件设计。该系统可实现流量的高精度积算（优于１‰），软件校准，多种报警及掉电保护。     

某型号机襟翼机构摩擦磨损可靠性分析与计算(英文)

本文应用空间机构的建模方法建立了某型号机襟翼机构运动的数学模型。当给出输入参数时，可通过此数学模型求出襟翼机构的理论输出参数。输入参数相同时，通过引入摩擦磨损量至数学模型可获得襟翼机构的实际输出参数，并在此基础上求得襟翼机构的摩擦磨损可靠性。