作者：高建平,陈宗基 单位：北京航空航天大学 出版：《北京航空航天大学学报》1999年第02期 页数：5页  （PDF与DOC格式可能不同） PDF编号：PDFBJHK902.0050 DOC编号：DOCBJHK902.0059 下载格式：PDF + Word/doc 文字可复制、可编辑

    • 结合混合系统的研究对余度管理系统进行了形式化的分析和验证．采用的手段是时段演算技术及其扩展．首先进行形式化的需求分析，需求及其假设用时段演算表示，其次严格化地描述算法和参数的选取．在验证过程中，首先应用程序逻辑验证算法，算法的不变量以时段演算表示，最后在时段演算中验证整个系统的行为满足给定的需求．

    📙 相关资料

    1. 《混合系统的形式化开发——故障检测与隔离算法的严格化设计》PDF+DOC 本文对飞行余度管理系统中的故障检测和隔离算法进行严格化开发，包含对并发行为的处理方法、需求的形式化描述和参数的形式化设计、算法的形式化描述以及最后的形式化验证．该算法是飞行控制系统中常用的余度管理算法．整个系统可建模成有多个元件并行构成网络的混合系统，其中系统的需求可由时段演算来表示．文中采用传统的......
    2. 《基于物联网的微型四旋翼飞行器的设计》PDF+DOC 针对微型四旋翼飞行器在小型无人机领域中独具的优点，提出并采用多种传感器、蓝牙无线通信、嵌入式微控制器等物联网技术，设计出一款基于物联网的微型四旋翼飞行器。详细阐述了其系统架构、硬件设计以及四元数算法、PID控制算法等。实践表明，基于物联网的微型四旋翼飞行器具有易于控制、飞行姿态稳定、转向灵活等优点。...
    3. 《直升机飞控系统的计算机冗余设计》PDF+DOC 本文以某直升机飞控系统为对象，以飞控计算机为中心，围绕系统的余度配置、容错设计原则、中断处理算法、重构、故障检测和灾难性故障的钝化处理等方面的内容，展开讨论。双余度直升机数字飞行控制系统的安会可靠度，是通过硬件和软件实现的容错技术而获得，它根据系统实际需求。采用硬件和软件相似余度设计，最大限度利用飞......
    4. 《多余度计算机控制系统的余度管理》PDF+DOC 本文论述了一种不同于计数监控法的余度管理新算法，即排序跨道监控法，对四余度信号的2：2不确定故障采用标准变化量的排序监控算法，定点数运算在特定点的溢出保护，和故障监控的可变门限设计，且通过数学推导，得出“均衡监控等价于选取合适的门限直接对采样信号监控”的结论，为取消均衡提供了理论依据。采用此算法。比......
    5. 《余度结构和余度管理方式对飞行控制系统可靠性的影响》PDF+DOC 在余度飞行控制系统特别是主动控制系统的研究中，为了探讨余度系统的设计优化问题，需要从可靠性预测和分析，余度管理策略和管理方式以及系统部件的电路学等多方面着手。这些复杂的研究内容可以概括为...
    6. 《波音777飞机高升力控制系统余度管理分析》PDF+DOC 飞行控制系统普遍采用余度技术来提高自身的任务可靠性。余度部件效能的发挥程度主要取决于余度管理策略和方法。根据波音777飞机高升力控制系统的基本构架，通过在线监控与信号表决相结合的方法对系统余度管理方法进行研究。在余度管理方法的设计过程中，充分考虑了布线技术、硬件设计技术及与软件相结合的方法，不但简化......
    7. 《飞控系统传感器故障诊断的神经网络方法研究》PDF+DOC BP神经网络对于飞行控制系统传感器故障诊断是一种有效的故障模式识别方法；在标准BP神经网络的基础上，提出了一种新的BP改进算法——自适应FMBP算法(SAFMBP)，用以消除标准BP网络收敛速度慢及易陷入局部极小等缺点，并且建立了飞行控制系统仿真模型和传感器常见故障模型，采用基于神经网络模式分类的故......
    8. 《基于Object-Z的WSN路由算法的形式化研究》PDF+DOC 由于无线传感器网络(WSN)带来的新特点，需要开发更多区别于传统网络的路由协议。形式化方法Object-Z是建立在严密数学基础之上的开发方法，其形式化规约语言的测试和设计工作可以同时开始，适用于新网络、新算法的研究开发。文章提出了运用形式化方法Object-Z对flooding算法建模的方法。建模结......
    9. 《植保四轴飞行器的模糊PID控制》PDF+DOC 针对当前植保四轴飞行器在作业过程中自身载荷发生改变后的飞行控制性能下降、抵抗环境扰动能力差的问题，该文改进了传统比例积分微分(proportion，integration，differentiation，PID)控制算法，提出了一种模糊PID控制算法。该文通过研究四轴飞行器的姿态解算和飞行原理，设计......
    10. 《基于VxWork的高度容错技术的应用》PDF+DOC 容错技术能够提高飞行控制系统的可靠性及安全性。主要介绍飞行控制系统的容错技术，针对嵌入式实时操作系统VxWork的特点，进行系统设计，并以高度测量为对象，探讨了一种三余度高度传感器，给出了余度配置、故障检测、任务设置等关键技术，优化及完善了Kalman故障检测。经过大量的测试及半实物仿真试验，该余度......

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