基于随机Petri网的分层航空操作系统HM/FM建模与评价方法专利登记公告

专利名称：基于随机Petri网的分层航空操作系统HM/FM建模与评价方法

摘要：基于随机Petri网的分层航空操作系统HM/FM建模与评价方法，包括以下步骤：首先，建立所有组件的随机Petri网模型，包括被监控对象模型、HM模型以及FM模型，其次，进行模型的组合，构建完整的随机Petri网模型；然后，对完整的随机Petri网模型进行化简求解，得到分离的Petri子模型的稳态概率分布和压缩的Petri子模型的稳态概率分布；最后对模型进行分析与评价，本发明建立了系统组件的子模型，可根据实际系统的体系结构，灵活的将子模型进行组合，得到系统的完整模型，即“灵活性”，本发明对模型进行近似求解，

专利类型：发明专利

专利号：CN201110456648.6

专利申请（专利权）人：清华大学

专利发明（设计）人：林闯;万剑雄;向旭东;孔祥震;李建祥;白晓颖

主权项：基于随机Petri网的分层航空操作系统HM/FM建模与评价方法，其特征在于，包括以下步骤：步骤1，建立所有组件的随机Petri网模型，包括被监控对象模型、HM模型以及FM模型，其中，被监控对象模型分为简单对象与耦合对象，简单对象是指独立被监控对象，由一个亮状态Petri网进行表示，working变迁的时延参数设置为该对象的平均无故障时间，一旦对象进入发生故障的状态，在没有外部干预的情形下，它无法返回正常工作状态；耦合对象分为AND/OR耦合对象与传播耦合对象，AND/OR耦合对象的working变迁为立即

专利地区：北京