【摘 要】
：
为克服传统动态可靠性分析方法的不足,提出基于概率模型检测的机电系统动态可靠性评价方法。介绍了概率模型检测的概念及概率模型检测工具PRISM。用形式化建模语言描述系统单
【机 构】
：
西安交通大学机械工程学院,西北工业集团有限公司计量理化一中心
【基金项目】
：
国家自然科学基金资助项目(51375365)
论文部分内容阅读
为克服传统动态可靠性分析方法的不足,提出基于概率模型检测的机电系统动态可靠性评价方法。介绍了概率模型检测的概念及概率模型检测工具PRISM。用形式化建模语言描述系统单元的状态变迁过程,建立了机电系统的形式化模型。利用连续随机逻辑对机电系统可靠性评价指标进行形式化描述,建立了可靠性指标的规约表达式,借助概率模型检测工具自动解算可靠性指标,实现了基于概率模型检测的机电系统动态可靠性评价。所提方法建模过程简单,能有效提高机电系统动态可靠性分析的效率。
其他文献
采用国家统计局颁布的工业企业经济效益考核指标体系,以《中国工业经济统计年鉴(2006,2007)》的数据为基础,运用主成分分析法综合评价了我国各地区国有工业企业的经济效益;并
2009年国家实施基本药物制度后,国内医药行业经营环境正发生着巨大的变化,行业内市场竞争急剧加强,消费者的砍价议价能力大大提高,对产品和服务的要求愈加苛刻,受医药市场供
见义勇为是中华民族的传统美德,是人类社会精神文明的展现,一直以来倍受人们的推崇与赞扬。然而,在现实生活中,因见义勇为而受到伤害的见义勇为者的生活却并非这样地光鲜,事
研究目的：研究以游戏形式对智障儿童进行感觉统合训练干预，通过对干预前后智障儿童感觉统合能力的变化及社会适应能力的变化的评价，分析探讨感觉统合训练对促进智障儿童感觉统合
本文立足催化裂化装置实际，深入剖析了催化裂化装置的能源影响因素，全面探讨了针对性的催化裂化装置节 能措施，以实现对催化裂化装置节能效果的增强，切实提升整体经济效益，为整
人体血液的有形成分包括红细胞、白细胞与血小板。上述3个组成成分发生变化,均会不同程度地影响人体器官功能的改变以及疾病的发生与发展。因此,在临床治疗各种疾病过程中,有
我国传统的税务管理思想是规制导向，即依据税法规定，实施强制监管。随着新公共管理运动的发展，“纳税服务”写入《中华人民共和国税收征收管理法》，税务机关的职能也由强制监管转
《天天向上》以青少年为主要目标受众,以多种元素建构的表现形式来呈现“礼仪文化”、“青春励志”的节目主题,打造出国内第一支“男子偶像主持团体”,节目嘉宾身份多样,以差
目的观察耳穴压豆治疗失眠的临床疗效。方法 30例患者进行耳穴压豆治疗。单侧取穴,两耳轮换,每次贴压后保持3天。连续1~2个疗程均可见效。结果好转28例,无效2例。结论耳穴压