作者：高建平,徐启文,陈宗基 单位：中国科学院计算技术研究所;中国计算机学会 出版：《计算机学报》1999年第03期 页数：10页  （PDF与DOC格式可能不同） PDF编号：PDFJSJX903.0000 DOC编号：DOCJSJX903.0009 下载格式：PDF + Word/doc 文字可复制、可编辑

    • 本文对飞行余度管理系统中的故障检测和隔离算法进行严格化开发，包含对并发行为的处理方法、需求的形式化描述和参数的形式化设计、算法的形式化描述以及最后的形式化验证．该算法是飞行控制系统中常用的余度管理算法．整个系统可建模成有多个元件并行构成网络的混合系统，其中系统的需求可由时段演算来表示．文中采用传统的程序逻辑，并作了适当的扩展，来验证离散控制器的一些性质，最后由这些性质出发可以证明系统满足给定的需求．

    📙 相关资料

    1. 《混合系统的形式化验证》PDF+DOC 结合混合系统的研究对余度管理系统进行了形式化的分析和验证．采用的手段是时段演算技术及其扩展．首先进行形式化的需求分析，需求及其假设用时段演算表示，其次严格化地描述算法和参数的选取．在验证过程中，首先应用程序逻辑验证算法，算法的不变量以时段演算表示，最后在时段演算中验证整个系统的行为满足给定的需求．...
    2. 《基于VxWork的高度容错技术的应用》PDF+DOC 容错技术能够提高飞行控制系统的可靠性及安全性。主要介绍飞行控制系统的容错技术，针对嵌入式实时操作系统VxWork的特点，进行系统设计，并以高度测量为对象，探讨了一种三余度高度传感器，给出了余度配置、故障检测、任务设置等关键技术，优化及完善了Kalman故障检测。经过大量的测试及半实物仿真试验，该余度......
    3. 《基于物联网的微型四旋翼飞行器的设计》PDF+DOC 针对微型四旋翼飞行器在小型无人机领域中独具的优点，提出并采用多种传感器、蓝牙无线通信、嵌入式微控制器等物联网技术，设计出一款基于物联网的微型四旋翼飞行器。详细阐述了其系统架构、硬件设计以及四元数算法、PID控制算法等。实践表明，基于物联网的微型四旋翼飞行器具有易于控制、飞行姿态稳定、转向灵活等优点。...
    4. 《基于改进鲁棒自联想神经网络的传感器故障诊断新方法》PDF+DOC 本文首次提出一种传感器故障检测和信号恢复的改进鲁棒自联想神经网络新方法。文中阐述了改进鲁棒自联想神经网络的结构和算法，总结和归纳了传感器的六类故障模式.仿真了这些传感器故障模式的信号表现形式，并采取改进鲁棒自联想神经网络检测和恢复此六类传感器故障。本方法具有易于实时实现，结构简单的优点，计算机实验表......
    5. 《一种非线性系统的传感器故障检测与诊断新方法》PDF+DOC 基于一种非线性系统的伪偏差分离估计算法和贝叶斯分类算法，给出了一种非线性系统的传感器故障检测与诊断的新方法．对一个大型造纸机采用实际模型进行的数值仿真表明，该方法非常适用于工业系统传感器的在线故障检测与诊断．...
    6. 《动态系统的故障检测与容错控制》PDF+DOC 本文详尽地论述了各种容错控制方法，讨论了动态系统的各种故障检测技术及系统重构技术。...
    7. 《基于检测滤波器的俯仰角速率传感器故障检测研究》PDF+DOC 针对飞控系统俯仰角速率传感器故障情况复杂以及故障检测困难的问题，通过分析飞控系统俯仰角速率传感器的故障种类和故障模式，建立不同情况相关数学模型；依据检测滤波器法检测系统故障的原理，设计飞控系统俯仰角速率传感器故障检测的滤波器；在某飞机处于Ma=0.8，H=50m的飞行状态，利用Matlab和Simu......
    8. 《飞控系统传感器故障诊断的在线方法研究》PDF+DOC 传感器是飞行控制系统当中的一个重要组成部分，在系统中往往利用传感器的各个输出来建立飞机的动态状态；因此，实时准确的对传感器进行故障检测和识别可有效地提高系统的安全可靠性；提出一种带有可变遗忘因子的BP神经网络在线递推学习算法，应用改进的算法对飞行控制系统的传感器故障进行实时在线的检测和识别，且利用神......
    9. 《基于小波神经网络的空调系统传感器故障诊断》PDF+DOC 详细阐述了小波神经网络(WNN)的原理、结构，并对传统的BP算法进行了改进。以空调系统传感器故障检测问题为目标，提出了基于WNN的故障诊断方法。通过采集天津博物馆中的传感器数据，对训练好的WNN进行了传感器故障诊断能力的验证，对温度传感器的1℃偏差故障、0.05℃/s速率漂移故障、完全故障、与不同方......
    10. 《植保四轴飞行器的模糊PID控制》PDF+DOC 针对当前植保四轴飞行器在作业过程中自身载荷发生改变后的飞行控制性能下降、抵抗环境扰动能力差的问题，该文改进了传统比例积分微分(proportion，integration，differentiation，PID)控制算法，提出了一种模糊PID控制算法。该文通过研究四轴飞行器的姿态解算和飞行原理，设计......

    提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。