关于NP完全问题的多项式线路可判定性

在计算复杂性领域里，大多数复杂类都是按照接受它们的图灵机而加以描述的。８０年代初，人们广泛关注被多项式大小的线路可判定的集合类并且得到了许多有趣的结果。但是，迄今是否ＮＰ完全问题是多项式大小的线路可判定的问题仍然是开的。最好的结果是，如果答案是肯定的，则多项式时间的分层便塌方到２级，即，ＰＨ＝Σ２。本文考虑一个特殊的无穷图的集合和讨论它被多项式大小线路逼近接受的问题，且利用紧致性定理和常数扩张法证明了存在集合Ａ∈ＣＯ－ＮＰ＼Ｐ／ｐｏｌｙ。     

MS中的自然数系统

首先给出了中介逻辑ＭＬ的二值子系统Ｆ＾ＩＭＬ，说明了它与经典二值逻辑的子系统Ｆ＾Ｉ同构。其次，利用中介公理集合论ＭＳ的相关理论，构造了ＭＳ中的自然数系统，证明了Ｐｅａｎｏ５条公理为ＭＳ中的定理。最后指出以此五条性质为公理、并以Ｆ＾ＩＭ为配套逻辑，在ＭＳ中可推出自然数的所有性质。     

基于可编程逻辑器件的增量式编码器信号 去抖方法的实现

在伺服系统中,实时、准确地获得编码器反馈信号对伺服闭环控制至关重要.从增量式编码器的结构原理出发,分析引起其输出信号抖动的可能原因.根据D触发器逻辑功能,设计了一种基于可编程逻辑器件的增量式编码器信号去抖方法.实验结果表明,该方法能有效滤除信号的边沿抖动和干扰毛刺.     

直接力/气动力拦截弹复合逻辑与复合控制系统设计

以大气层内拦截弹直接侧向力和气动力的复合控制系统为研究对象,首先设计了轨控复合控制逻辑,然后建立了复合控制模型,并将复合系统分解为直接侧向力子系统和气动力子系统,用经典控制理论设计了气动力子系统,用模糊控制理论设计了直接力子系统。仿真结果表明:所设计的复合控制逻辑合理;基于模糊逻辑的直接力子系统可有效避免点燃发动机数量过多而需要反向点火情况的发生;与气动力系统相比,复合控制系统性能有较大提高。     

基于模糊卡尔曼滤波的内阻尼姿态算法研究

在系统机动性不强的情况下，传统的平台内阻尼算法将系统本身的速度信息通过阻尼网络加到系统中，达到提高姿态角精度的目的。将这种平台内阻尼的思想引入到捷联惯性航姿系统中，在系统加速度较小的情况下，利用加速度计的输出估计系统姿态角，通过卡尔曼滤波的形式补偿系统姿态误差。由于加速度的大小直接影响滤波器精度，本文设计了模糊自适应卡尔曼滤波算法，根据三轴加速度计的输出调整内阻尼量测误差方差阵，从而避免了滤波器的发散。仿真和实验验证，内阻尼算法可明显抑制舒勒周期振荡和傅科周期振荡，避免了系统姿态漂移，有效提高了捷联惯性航姿系统的精度。     

Station-keeping control for a stratospheric airship platform via fuzzy adaptive backstepping approach

This paper presents a novel approach for station-keeping control of a stratospheric airship platform in the presence of parametric uncertainty and external disturbance. First, conceptual design of the stratospheric airship platform is introduced, including the target mission, configuration, energy sources, propeller and payload. Second, the dynamics model of the airship platform is presented, and the mathematical model of its horizontal motion is derived. Third, a fuzzy adaptive backstepping control approach is proposed to develop the station-keeping control system for the simplified horizontal motion. The backstepping controller is designed assuming that the airship model is accurately known, and a fuzzy adaptive algorithm is used to approximate the uncertainty of the airship model. The stability of the closed-loop control system is proven via the Lyapunov theorem. Finally, simulation results illustrate the effectiveness and robustness of the proposed control approach.     

APU空中起动性能及其控制规律试验研究

APU空中起动性能匹配设计是APU系统设计与集成的重要内容。本文提出了一种针对带有冲压进气门的APU系统的空中起动性能匹配试验方法,并结合其在实际工程中的应用,对APU空中起动控制规律的选择进行了验证与分析。     

某型飞机电源系统的故障分析及排除方法

基于某型飞机供电的逻辑关系,分析了电源系统常见故障的基本类型,总结了排除蓄电池、地面电源、发电机常见供电故障的基本方法。     

弹射座椅某型机构撞针组件疑似裂纹故障探析

介绍了火箭弹射座椅某型机构撞针组件功能,对故障零件进行主要尺寸检查、试打火试验,并在体视显微镜、金相显微镜下进行了观察、维氏硬度检测等理化分析,最终确定了故障形成的原因及预防措施,可有效避免此类故障现象的重复发生。     

某型发动机起动电气控制系统检测设备研制

针对发动机系统线束检查的要求,发动机起动电气控制系统检测设备使用分布式的线束测试控制器实现线束的自动快速测试。针对发动机系统起动逻辑和时序检查的要求,检测设备模拟发动机起动条件给出激励信号,采集发动机的输出信号,判断起动逻辑和时序是否正确。检测设备为保护系统安全,采取许多安全性设计方法。检测设备的软件具有实时测试、数据回放、测试通道选择等多种功能。检测设备的设计思想已经通过现场联机测试得到验证。