由PETRI网模型求系统最小割集的自顶向下法

来源 :航天控制 | 被引量 : 0次 | 上传用户:zlh888617
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
研究了系统逻辑的关系的Petri网表示,基于Petri网上的建模方法,采用Petri网模型求系统最小割集的自顶向下法,与故障树方法相比,这种方法可同时获得系统的最小割集和最小路集,且求解的效率高,实例分析证实了这一点.
其他文献
五轴数控机床加工复杂曲面的过程中,合理的进给速度是影响工件加工质量、加工过程稳定性和加工效率的重要参数。通用CAD/CAM做编程后置处理时需要设置机床结构、单轴行程限位
中共中央政治局委员、国务院副总理曾培炎主持召开会议,贯彻落实胡锦涛总书记、温家宝总理重要批示精神,研究发展替代能源有关问题。国务院副秘书长张平,发展改革委、科技部、财
自2003年对钢铁、电解铝、水泥行业实施宏观调控以来,国家陆续对一些产能过剩行业提出了加快推进结构调整的一系列政策措施。国务院《关于发布实施(促进产业结构调整暂行规定)的
发展循环经济是落实科学发展观,转变经济增长方式、社会消费方式和文化思维模式的重要途径,它不仅会促进人与自然关系的和谐,还会影响到人与人、人与自然关系的和谐。
在美丽的黄海之滨,辽阔的苏北平原,闻名遐迩的丹顶鹤和麋鹿之乡,也是新四军重建军部所在地的英雄城市,有一所年轻而充满活力的全日制本科院校——盐城工学院。这是一所以工为主,工
本文着重论述了波兰高等教育质量认证体系形成的背景、历史及其所包括的主要内容,并评论了其成绩和存在的问题,总结了建立和完善高等教育质量监控体系方面可借鉴的经验。
2006年我国的节能减排目标没有实现,加大了实现“十一五”节能减排总体目标的难度。面对严峻的形势,国家今年将采取哪些措施推动节能降耗和污染减排工作?国家发展改革委副主任解
我国高等教育的高速扩张,在缓解民众旺盛的教育需求的同时,也引发了毕业生就业的结构性失衡与教育过度发展的潜在危机和负面影响,其主要原因是高等教育结构与产业结构不相吻合,专
本文介绍苏联“萤光屏”系列地球同步卫星的姿态控制系统以及在稳态运行时姿态控制系统俯仰通道的稳定性分析,分析中考虑了太阳帆板的挠性。飞行实验表明,文中所介绍的方法在
本文讨论了Gamma失效分布/Gamma维修分布下单元有效度置信下限,综合论述了Bayes,Fiducial和Frequency三种方法的优劣,该文结论适用于一般电子部件(整机)的有效度评定。