论文部分内容阅读
在概述了离散事件系统产生与发展近况的基础上，主要综述了描述离散事件系统逻辑行为的常用工具，如自动机、形式语言和Petri网，给出监控器设计的基本思路，并举例说明基于自动机模型的监控理论在飞行器中的最新应用，这些应用不仅证明了离散事件监控理论的正确性，而且拓宽了该理论的应用领域。
离散事件系统监控理论及其在航天领域的应用研究
【摘 要】
：
在概述了离散事件系统产生与发展近况的基础上，主要综述了描述离散事件系统逻辑行为的常用工具，如自动机、形式语言和Petri网，给出监控器设计的基本思路，并举例说明基于自动机模
【机 构】
：
北京航空航天大学宇航学院
【出 处】
：
航天控制
【发表日期】
：
2009年3期
其他文献
为了满足航天应用高可靠性的要求，实现对航天器FPGA生产和使用过程中可能发生的永久故障的及时检测，文章提出了一种基于测试块滚动的FPGA自测试方法，该方法采用内建自测试的思想
道德与法治是社会生最为关注的问题,中学阶段的道德与法治学科是一门生活性较强的学科,在初中阶段占据着十分重要的地位[1]。运用生活化情境,联系社会生活,是构建道德与法治
在瑞士，从2007年开始，瑞士药品管理局Swissmedic将改变对已经完成注册药品的管理条例，Swissmedic只负责在旧药品重新注册之前检测这些药品。这些规则的修订意味着Swissmedic将评
在航空航天系统中,可修复单元的故障密度和修复密度并非总是服从指数分布,实际存在着正态分布情况,不能采用马尔可夫状态转移方法处理.文章以故障密度和修复密度都服从正态分
阐述了高炉乏汽消白技术的基本原理,介绍了高炉冲渣乏汽回收供暖技术在泰钢2座1780 m^3高炉上的应用,以及供暖的方案及工艺流程。利用乏汽余热后,增加城镇供暖面积32万m^2,1
随着我国现代化建设的不断推进,公路工程数量越来越多,给公路施工技术提出了更多更高要求,必须注重可靠性、安全性、合理性等,才能真正提高公路工程的施工质量,促进国家经济
介绍了一种小卫星的星务计算机系统硬件设计方案,并结合应用的要求给出了容错体系结构的设计方案,从冗余结构到容错管理模式,从故障检测和诊断到系统重构,多视角多层面地展现
目的：探讨培哚普利联合吲达帕胺对原发性高血压治疗的降压作用与不良反应。方法：选择我科2009年7～12月确诊为原发性高血压的患者90例,随机分为治疗组46例和对照组44例,排除继发
美国FDA要求国家卫生研究院（NIH）对Pfizer公司的偏头痛治疗药Relpax（eletriptan，依来曲普坦）和心脏保护剂Zinecard（dexrazoxane，右雷佐生）进行儿科研究。
文章以高职学生为研究对象,对其就业压力与职业认同进行问卷编制与信效度分析,正式测试采用整群抽样方式,在安徽省8所高职院校抽取已经定岗实习的二、三年级学生进行调查、研