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

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

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

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

基于模糊逻辑的航空发动机虚拟传感器

在双通道的发动机控制系统中，未超过故障阈值的传感器慢漂移故障难以隔离，且在故障检出前影响控制系统的反馈信号。引入机栽自校正实时模型作为第三通道的虚拟传感器，并提出模糊隶属度加权和动态阈值技术以获得可靠的传感器适应值，实现双余度系统中失效传感器的检测和隔离。仿真结果表明，这种方法能可靠地改进适应信号，将由于传感器故障引起的发动机控制系统扰动抑制到0．2％以内，并能避免失控。     

回归设计铝合金7075微弧氧化形膜控制及膜特性

通过二次回归通用旋转组合设计了铝合金7075微弧氧化实验,建立了回归模型,量化了对陶瓷膜的多变量互约组合的影响趋势,解决了对生长陶瓷膜可预测、可控制的工艺。通过工艺特性曲线、金相分析、X射线衍射、扫描断层分析、摩擦磨损实验等手段,对形成的陶瓷膜特性进行了分析。结果表明:采用回归设计铝合金7075微弧氧化工艺是可行有效的,可在很大范围内调节陶瓷膜的微观和宏观结构,调节陶瓷膜相的比例关系,获得防腐、耐磨、电绝缘等高品质陶瓷膜。     

用最大熵谱法估计大气湍流谱

最大熵谱分析方法是一种非线性的新的谱分析方法。其基本原理可浅近地解释为:对一个所考虑的时间系列,它的前 m 个自相关系数已知,要求构造其后的自相关系数,但不损失系列的熵即不损失其信息。实际的处理过程是:用自回归方法在最小二乘原则下对系列作最佳拟合,然后求拟合系列的理论谱。最大熵谱法不要求对原始系列的滤波和对粗谱的平滑整理。本文从实际应用的角度,简述了该方法的过程,介绍了编程计算的方法和步骤,并结合实例计算了几组大气湍流谱。文章认为最大熵谱分析方法是一种值得推广应用的优秀的谱分析方法。     

喷气公务机总体参数和性能统计分析

按照飞机设计的基本原理，通过对现有喷气公务机总体参数和性能数据的统计分析，寻找它们之间可能存在的内在关系，得到了10个经验公式，包括使用空重与起飞重量、燃油重量与起飞重量、着陆重量与起飞重量、机翼面积与起飞重量、机翼面积与使用空重、机身长度与使用空重、内部容积与人重以及推力、巡航速度、后掠角、展弦比等一些组合参数之间的数学关系。另外还得到了推重比、翼载荷等常用参数的取值范围。这些统计结果为公务机概念设计提供了一些有用的数据。     

AR与ARMA有色噪声的生成方法

基于自回归与自回归滑动平均模型。讨论了两种有色噪声的软件生成方法，可使输出序列无起始瞬为现象，给定功率谱函数结构时采用递推算法。给定滤波器系数时采用步降法。分别给出了滤波器的两种设计流程。通过设置滤波器的初始状态，使得在白噪声激励下滤波器的输出序列稳定，无起始瞬变现象。     

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

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

旋转弹气动力建模与飞行轨迹仿真

运用一种自回归滑动平均(ARMA)的时域气动力建模方法,以计算流体力学与刚体动力学(CFD/RBD)耦合仿真的输出结果为样本,对旋转弹的非定常气动力进行建模。利用建立的气动力模型与刚体动力学方程求解模块耦合,实现了旋转弹轨迹的快速仿真,并讨论了不同的建模方式对仿真精度的影响。算例结果表明:采用气动力模型与刚体动力学方程耦合仿真技术可以在不同初始发射条件下进行旋转弹飞行姿态与运动轨迹预测,且与CFD/RBD仿真结果吻合较好,证明ARMA气动力建模方法可以在保证旋转弹轨迹预测精度的同时大幅缩短仿真时间,节省计算资源。     

民航机场行李分拣系统的技术与应用

一、概述近年来,随着国内经济改革开放的不断深入,国内民航事业也获得了空前的发展,各地民航机场的基础设施的新建或改建也进入了新的阶段,许多大型的、现代化的机场不断地涌现出来。机场行李自动分拣系统近年来凭借其自动化程度高、处理量大、分拣准确、减少分拣人员工作强度等优点,逐渐在国内各民航机场中得到了广泛应用。行李自动分拣系统是一套面向大中型机场,对旅客行李进行集中统一的传送、分拣与处理的一套自动化系统,集计算机、工业控制网络、PLC及电