删除或更新信息，请邮件至freekaoyan#163.com(#换成@)

混合系统的形式化开发——故障检测与隔离算法的严格化设计

北京航空航天大学 辅仁网/2017-07-06
文献详情


混合系统的形式化开发——故障检测与隔离算法的严格化设计
文献类型期刊
作者高建平[1];徐启文[2];陈宗基[3]
机构
来源信息年:1999期:03页码范围:2-11
期刊信息计算机学报ISSN:0254-4164
关键词混合系统;形式化方法;时段演算;飞行余度管理系统
摘要本文对飞行余度管理系统中的故障检测和隔离算法进行严格化开发，包含对并发行为的处理方法、需求的形式化描述和参数的形式化设计、算法的形式化描述以及最后的形式化验证．该算法是飞行控制系统中常用的余度管理算法．整个系统可建模成有多个元件并行构成网络的混合系统，其中系统的需求可由时段演算来表示．文中采用传统的程序逻辑，并作了适当的扩展，来验证离散控制器的一些性质，最后由这些性质出发可以证明系统满足给定的需求．
收录情况PKUCSCD
所属部门自动化科学与电气工程学院
人气指数6
浏览次数6


全文|
影响因子：


暂无成果共有人
dc:title:混合系统的形式化开发——故障检测与隔离算法的严格化设计
dc:creator:高建平;徐启文;陈宗基
dc:date: publishDate:1999-03-12
dc:type:期刊
dc:format: Media：计算机学报
dc:identifier: LnterrelatedLiterature：计算机学报.1999,2-11.
dc:identifier:DOI：
dc: identifier:ISBN:0254-4164
相关话题/系统 北京航空航天大学 设计 自动控制 软件
  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...
    考试优惠券 本站小编 Free壹佰分学习网 2022-09-19
  • 基于面向对象的BPMS软件的设计与实现
    文献详情基于面向对象的BPMS软件的设计与实现文献类型期刊作者闪四清[1];夏国平[2];刘希仁[3]机构[1]北京航空航天大学管理学院!北京,100083,北京航空航天大学管理学院!北京,100083,北京航空航天大学管理学院!北京,100083[2]北京航空航天大学管理学院!北京,100083, ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 电力远动NT网络数据管理及MIS网负荷预报系统的设计与实现
    文献详情电力远动NT网络数据管理及MIS网负荷预报系统的设计与实现文献类型期刊作者陈安[1];陈宁[2];缪建民[3]机构[1]北京航空航天大学管理学院,中国科学院数学研究所,山东省滨州市电业局[2]北京航空航天大学管理学院,中国科学院数学研究所,山东省滨州市电业局[3]北京航空航天大学管理学院,中 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • ONTOSDB数据库模式设计与组织结构──主论OODBMS的对象持久机制和库的组织结构
    文献详情ONTOSDB数据库模式设计与组织结构──主论OODBMS的对象持久机制和库的组织结构文献类型期刊作者董剑利[1];刘又诚[2];高伸仪[3]机构[1]兰州军区,北京航空航天大学[2]兰州军区,北京航空航天大学[3]兰州军区,北京航空航天大学↓来源信息年:1999期:02页码范围:83-86 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 舱外航天服温控系统的研究现状与展望
    文献详情舱外航天服温控系统的研究现状与展望文献类型期刊作者赵朝义[1];孙金镖[2];袁修干[3]机构[1]北京航空航天大学,航天医学工程研究所[2]北京航空航天大学,航天医学工程研究所[3]北京航空航天大学,航天医学工程研究所↓来源信息年:1999期:02页码范围:74-78期刊信息航天医学与医学 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 采用碟型砂轮的圆锥面刃磨机原理设计——非直线主刃刃磨
    文献详情采用碟型砂轮的圆锥面刃磨机原理设计——非直线主刃刃磨文献类型期刊作者吕彦明[1];江洪道[2];陈五一[3];陈鼎昌[4]机构[1]北京航空航天大学７０５教研室[2]北京航空航天大学７０５教研室[3]北京航空航天大学７０５教研室[4]北京航空航天大学７０５教研室↓来源信息年:1999期:01 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 超/跨音风扇气动设计体系有关流动模型改进探讨
    文献详情超/跨音风扇气动设计体系有关流动模型改进探讨外文标题AMODIFIEDMODELOFSUPERSONIC/TRANSONICFANAERODYNAMICDESIGNSYSTEM文献类型期刊作者赵拥军[1];邢秀清[2];周盛[3]机构[1]北京航空航天大学[2]北京航空航天大学[3]北京航空 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 改进的车载DR系统自适应扩展卡尔曼滤波模型及仿真研究
    文献详情改进的车载DR系统自适应扩展卡尔曼滤波模型及仿真研究文献类型期刊作者房建成[1];王庆[2];吴秋平[3];万德钧[4]机构[1]北京航空航天大学第五研究室,东南大学仪器科学与工程系[2]北京航空航天大学第五研究室,东南大学仪器科学与工程系[3]北京航空航天大学第五研究室,东南大学仪器科学与 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 敏捷性飞机飞行控制系统设计方法研究
    文献详情敏捷性飞机飞行控制系统设计方法研究文献类型期刊作者徐军[1];张明廉[2];屠巴宁[3]机构[1]北京航空航天大学,自动控制系[2]北京航空航天大学,自动控制系[3]北京航空航天大学,自动控制系↓通讯作者Xu,Jun来源信息年:1999卷:25期:01页码范围:16-19期刊信息北京航空航天 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 基于Visual　C++5.0下多媒体程序设计新方法
    文献详情基于Visual　C++5.0下多媒体程序设计新方法文献类型期刊作者江加和[1];宋子善[2]机构[1]北京航空航天大学!1－95信箱，北京,100083,北京航空航天大学!1－95信箱，北京,100083[2]北京航空航天大学!1－95信箱，北京,100083,北京航空航天大学!1－95信 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 多台斗轮堆取料机联网通信系统设计
    文献详情多台斗轮堆取料机联网通信系统设计文献类型期刊作者刘任平[1];宗光华[2];李国平[3]机构[1]北京航空航天大学机器人研究所,沈阳大学计算机系[2]北京航空航天大学机器人研究所,沈阳大学计算机系[3]北京航空航天大学机器人研究所,沈阳大学计算机系↓来源信息年:1999期:02页码范围:42 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06

Free考研考试FreeKaoYan.Com
欢迎来到Free考研考试，"为实现人生的Free而奋斗"

© 2020 FreeKaoYan! . All rights reserved.