【摘 要】
：
将概率模型检测方法运用到机电系统可靠性评价中,可以有效提高可靠性分析特别是FMEA分析的准确性与效率。利用概率模型检测对机电系统进行可靠性评价需要对机电系统进行形式
【基金项目】
：
国家自然科学基金—基于形式化技术的复杂机电系统可靠性评价方法研究(51375365)
论文部分内容阅读
将概率模型检测方法运用到机电系统可靠性评价中,可以有效提高可靠性分析特别是FMEA分析的准确性与效率。利用概率模型检测对机电系统进行可靠性评价需要对机电系统进行形式化建模,直接利用模型检测语言对系统进行形式化建模直观性较差,建模难度大。对机电系统的概率行为树建模进行了介绍,分析了概率模型检测工具PRISM提供的形式化建模语言,定义了从概率行为树模型到PRISM形式化模型的转换规则,实现了机电系统概率行为树模型向模型检测形式化模型的转换。以数控机床工作台系统为例验证了转换方法的可行性。
其他文献
目的：研究非瓣膜性房颤阿司匹林抵抗可能的影响因素及预测指标。方法：既往服用过阿司匹林的非瓣膜性房颤患者共48例，合并脑梗死20例，为阿司匹林抵抗（AR）组，无脑梗死组28例，为阿司匹林
探讨了辊子式直角输送机构的输送参数对小规格瓷砖输送质量的影响,通过仿真优化得到最优输送参数.首先基于多刚体动力学理论,在ADAMS中建立了辊子式小规格瓷砖直角输送多体模
染色质高级结构在基因调控中起到不可忽视的作用,染色质结构的形成与调控机制受到广泛关注。"相分离"理论近年来受到较多关注,异染色质与转录因子在其中的作用引人瞩目。但是
桂林有着上万年的历史,在这段历史的背后传承着属于它的城市印记,在这里有漓江,独秀峰、靖江王府等独一无二的风景,这些风景承载了桂林人的记忆与情怀;城市印记与风景蕴藏着
目的：观察有氧运动对2型糖尿病患者的疗效。方法：通过对社区35～70岁常住居民的问卷调查，随机选出2型糖尿病患者21例为实验组，进行为期1年的有氧运动治疗。另随机选18例2型糖尿病患