一种基于模型检测技术的复杂机电系统可靠性评估方法专利检索-形式要求受理局第I章专利权专利检索查询-专利查询网

积极推动地理标志专门立法

2022-03-10 地理标志，立法，知识产权
保护知识产权是对创新最大的激励

2022-03-10 保护知识产权，创新，激励
谢商华：加快制定知识产权基本法

2022-03-10 知识产权基本法
擦亮“双奥之城”品牌

2022-03-10 双奥，知识产权
让冰雪运动“热”力全开

2022-03-10 冰雪运动，知识产权
携手共奋进　走好强国路

2022-03-10 强国，知识产权
坚持创新引领　方能稳中求进

2022-03-10 创新，稳中求进，知识产权
答好“两张卷” 奋进新征程

2022-03-10 知识产权
专家解读政府工作报告中的创新和知识产权相关部署

2022-03-10 政府工作报告，创新，知识产权
今年政府工作报告指出：加强知识产权保护和运用

2022-03-10 政府工作报告，知识产权保护

一种基于模型检测技术的复杂机电系统可靠性评估方法

阅读：394发布：2021-02-24

IPRDB可以提供一种基于模型检测技术的复杂机电系统可靠性评估方法专利检索，专利查询，专利分析的服务。并且本发明公开了一种基于模型检测技术的复杂机电系统可靠性评估方法，通过对复杂机电系统进行可靠性分析形式化建模以及可靠性要求的形式化表达，利用模型检测工具由计算机自动判断系统是否满足预期设定的可靠性指标并且求解系统可靠度以及各种故障模式发生的概率。该方法克服了传统机电系统可靠性评价方法建模、评估过程复杂的缺点，提高了复杂机电系统可靠性评估的效率和准确性。，下面是一种基于模型检测技术的复杂机电系统可靠性评估方法专利的具体信息内容。

权利要求

1.一种基于模型检测技术的复杂机电系统可靠性评估方法，其特征在于，包括以下步骤：

1)构建复杂机电系统的状态空间；

2)建立复杂机电系统可靠性分析的形式化模型；

3)复杂机电系统可靠性要求的形式化规约；

4)复杂机电系统各种潜在故障模式的形式化规约；

5)复杂机电系统的形式化验证：根据步骤2)建立的复杂机电系统可靠性分析的形式化模型以及步骤3)、4)建立的可靠性要求的形式化规约、潜在故障模式的形式化规约，输入到模型检测工具，通过计算机自动搜索复杂机电系统的有穷状态空间，判断复杂机电系统是否满足预期设定的可靠性指标并求解复杂机电系统的可靠度以及各种潜在故障模式发生的概率，实现系统的可靠性评估；

步骤1)具体包括以下步骤：首先分析复杂机电系统功能，包括复杂机电系统总功能以及为了实现总功能，复杂机电系统内各组成部分要实现的元功能；其次分析系统的结构组成，对系统进行结构层次划分，研究各层次的结构组成以及子系统内元部件之间以及不同子系统内元部件之间的逻辑关系，通过状态变迁描述系统内不同组成部分为了实现系统总功能而发生的行为过程，形成正常条件下复杂机电系统各种状态及其变迁序列的形式化表达，称为状态及其变迁序列的正常视图；另一方面，考虑复杂机电系统内不同元部件在潜在失效模式下可能发生的状态变迁，建立与失效模式相对应的系统状态及其变迁序列的形式化表达，形成系统状态及其变迁序列的失效视图；最后将复杂机电系统正常工作条件下以及包含潜在故障条件下的状态变迁融合，即将复杂机电系统的故障视图同正常视图相融合，得到复杂机电系统的状态空间；

步骤2)具体包括以下步骤：根据1)中的结果，得到复杂机电系统功能正常条件下的状态变迁序列以及系统内元部件存在故障的条件下的状态变迁序列；再根据复杂机电系统内各种故障发生的概率信息，在系统功能正常条件下的状态变迁序列的基础上增加各种故障状态分支并确定各种故障发生的概率信息，通过反应式模块形式语言构建复杂机电系统可靠性分析的形式化模型；

步骤3)具体包括以下步骤：根据复杂机电系统的功能层次结构与系统正常情况下的行为状态描述，采用自顶向下的策略，确定能反映系统总功能的最高层次的系统行为及其状态，以此表征复杂机电系统功能正常使能条件下的行为和状态，以能够实现这一系统状态的概率作为复杂机电系统的可靠性评价指标；并利用形式化逻辑语言建立系统可靠性要求的形式化规约；

步骤4)具体包括以下步骤：利用风险分析技术辨识复杂机电系统潜在的危险行为和故障模式，针对系统的潜在故障模式，分析能反映潜在故障模式的最高层次的行为与状态，以此表征与潜在故障模式对应的异常行为和状态，以能够实现这一系统状态的概率作为潜在故障模式发生的概率；最后利用形式化逻辑语言建立各种故障模式的形式化规约。

说明书全文

一种基于模型检测技术的复杂机电系统可靠性评估方法

【技术领域】

[0001] 本发明属于机电系统领域，特别涉及一种复杂机电系统可靠性评估方法。【背景技术】

[0002] 目前国内外在复杂机电系统可靠性评估中最为常用的方法是故障树(FTA)分析方法以及失效模式和效应(FMEA)分析方法。但值得注意的是：1)FMEA需要分析基本单元(系统元件)失效模式可能导致的系统故障(潜在故障)，但这一分析过程是定性的、借助领域专家的经验完成的，不仅容易出错，而且对由大量元件组成的复杂机电系统显得非常繁琐和耗时；2)FTA分析方法首先需要建立故障树(FTA本身并不能帮助研究故障原因及其相互关系，进而构建故障树)，而建树过程复杂，不仅需要完整地确定各个故障事件及其原因事件，还要求准确描述各事件间的逻辑关系。如果故障树节点中的故障事件(故障模式)事先辨识不正确，或故障事件之间的因果关系不准确，则基于故障树的可靠性评估将失去意义。【发明内容】

[0003] 本发明的目的在于提供一种基于模型检测技术的复杂机电系统可靠性评估方法，通过计算机技术自动而详尽的搜索系统的有穷状态空间进而判断其是否满足预期设定的可靠性要求并识别各种故障模式发生的概率，进而实现复杂机电系统的可靠性评估。

[0004] 为了实现上述目的，本发明采用如下技术方案：

[0005] 一种基于模型检测技术的复杂机电系统可靠性评估方法，包括以下步骤：

[0006] 1)构建复杂机电系统的状态空间；

[0007] 2)建立复杂机电系统可靠性分析的形式化模型；

[0008] 3)复杂机电系统可靠性要求的形式化规约；

[0009] 4)复杂机电系统各种潜在故障模式的形式化规约；

[0010] 5)复杂机电系统的形式化验证：根据步骤2)建立的复杂机电系统可靠性分析的形式化模型以及步骤3)、4)建立的可靠性要求的形式化规约、潜在故障模式的形式化规约，输入到模型检测工具，通过计算机自动搜索复杂机电系统的有穷状态空间，判断复杂机电系统是否满足预期设定的可靠性指标并求解复杂机电系统的可靠度以及各种潜在故障模式发生的概率，实现系统的可靠性评估。

[0011] 优选的，步骤1)具体包括以下步骤：首先分析复杂机电系统功能，包括复杂机电系统总功能以及为了实现总功能，复杂机电系统内各组成部分要实现的元功能；其次分析系统的结构组成，对系统进行结构层次划分，研究各层次的结构组成以及子系统内元部件之间以及不同子系统内元部件之间的逻辑关系，通过状态变迁描述系统内不同组成部分为了实现系统总功能而发生的行为过程；另一方面，考虑复杂机电系统内不同元部件在潜在失效模式下可能发生的状态变迁；最后将复杂机电系统正常工作条件下以及包含潜在故障条件下的状态变迁融合，得到复杂机电系统的状态空间。

[0012] 优选的，步骤2)具体包括以下步骤：根据1)中的结果，得到复杂机电系统功能正常条件下的状态变迁序列以及系统内元部件存在故障的条件下的状态变迁序列；再根据复杂机电系统内各种故障发生的概率信息，通过反应式模块形式语言构建复杂机电系统可靠性分析的形式化模型。

[0013] 优选的，步骤3)具体包括以下步骤：根据复杂机电系统的功能层次结构与系统正常情况下的行为状态描述，采用自顶向下的策略，确定能反映系统总功能的最高层次的系统行为及其状态，以此表征复杂机电系统功能正常使能条件下的行为和状态，以能够实现这一系统状态的概率作为复杂机电系统的可靠性评价指标；并利用形式化逻辑语言建立系统可靠性要求的形式化规约。

[0014] 优选的，步骤4)具体包括以下步骤：利用风险分析技术辨识复杂机电系统潜在的危险行为和故障模式，针对系统的潜在故障模式，分析能反映潜在故障模式的最高层次的行为与状态，以此表征与潜在故障模式对应的异常行为和状态，以能够实现这一系统状态的概率作为潜在故障模式发生的概率；最后利用形式化逻辑语言建立各种故障模式的形式化规约。

[0015] 与现有技术相比，本发明具有以下有益的技术效果：

[0016] 本发明提出一种基于模型检测技术的复杂机电系统可靠性评估方法，用形式化语言描述描述复杂机电系统在运行过程中的状态变迁，并通过模型检测工具Prism转化为对应的数学模型。同时，利用时序逻辑公式表达机电系统的可靠性要求指标以及各种潜在故障模式的状态组合。通过模型检测可以自动的求解系统的可靠度以及各种故障模式发生的概率。具体来讲具有以下有益效果：

[0017] (1)、模型检测是一种自动化的验证手段，通过模型检测可以利用计算机自动搜索系统状态空间，提高了可靠性评估的效率。

[0018] (2)、利用形式化语言描述系统模型而省去了建立系统数学模型的过程，简化了系统建模过程。利用时序逻辑语言描述各种可靠性指标，简化了可靠性评估过程。

[0019] (3)、通过形式化的方法建模，确保了模型无二义性，同时依赖于模型检测工具精确的数值求解能力使得求解结果更精确可信。

[0020] (4)、通过模型检测可以求解各种故障模式发生的概率随时间变化关系以及系统内零部件故障对系统可靠性的影响，克服了FMEA定性分析的缺点。【附图说明】

[0021] 图1为基于模型检测技术的复杂机电系统可靠性评价方法流程图；

[0022] 图2为复杂机电系统功能正常与故障的表征示意图；

[0023] 图3为复杂机电系统状态变迁概率分支表征示意图。【具体实施方式】

[0024] 下面对本发明进行详细的说明，所述是对本发明的解释而不是限定。

[0025] 请参阅图1至图3所示，本发明一种基于模型检测技术的复杂机电系统可靠性评估方法，通过建立复杂机电系统可靠性分析的形式化模型以及可靠性指标的形式化规约，通过模型检测工具进行形式化验证，能够实现复杂机电系统的可靠性评估，具体包括以下步骤：

[0026] 1)构建复杂机电系统的状态空间

[0027] 1.1)根据功能-行为-状态(FBS，Function-Behavior-State)建模理论，功能是由系统的行为来实现的，而行为可以离散化为系统的一系列状态及其变迁。为此首先结合复杂机电系统的功能层析结构(总功能-子功能-元功能)，采用自顶向下、逐层分解的方法分析系统内各层次的结构组成单元为了实现相应的功能而发生的行为过程及状态变迁，形成正常条件下复杂机电系统各种状态及其变迁序列的形式化表达，在本发明中称为状态及其变迁序列的正常视图，用SV0表示。该视图表示系统正常行为过程中的各个状态。

[0028] 1.2)考虑复杂机电系统不同层次的结构组成单元可能发生的故障模式，并建立失效模式相对应的系统状态及其变迁序列的形式化表达，形成系统状态及其变迁序列的失效视图，用SVi表示。失效视图反映了功能失效情况下系统行为过程中的各个状态。并将复杂机电系统的故障视图SVi同正常视图SV0相融合，如图2所示，得到复杂机电系统运行过程的状态空间。

[0029] 2)建立复杂机电系统可靠性分析的形式化模型

[0030] 机电系统在工作、运行过程中是一离散事件动态系统，系统内元部件的正常状态到故障状态变迁是一随机过程。根据步骤1)得到的复杂机电系统的状态空间，在系统功能正常条件下的状态变迁序列的基础上增加各种故障状态分支并确定各种故障发生的概率信息，如图3所示，通过反应式模块形式语言(reactive module formalism)构建复杂机电系统可靠性分析的形式化模型，以便由模型检测工具转化为对应的数学模型。为了简化用户建模过程，反应式模块形式语言在描述复杂机电系统时可以将其分割成若干个较为简单的独立进程模块，每个模块包含一组状态变量和一组命令。每个命令的形式如下所示[0031] []guard->prob_1:update_1+…prob_n:update_n；

[0032] 式中，守卫条件guard用来表示对应的行为变迁发生的条件；prob_1、prob_n用是一个表示状态转移率的非负实数；update_1、update_n用于描述模型变量的更新过程。因此通过该建模语言可以描述复杂机电系统在运行过程中的状态变迁以及各种变迁发生的概率，从而由模型检测工具转化为对应的数学模型，如离散时间马尔科夫模型(DTMC)、连续时间马尔科夫模型(CTMC)等。

[0033] 3)复杂机电系统可靠性要求的形式化规约

[0034] 根据复杂机电系统的功能层次结构与系统正常情况下的行为状态描述(正常视图中的)，采用自顶向下的策略，确定能反映系统总功能的最高层次的系统行为(通常为系统的最终执行动作)及其状态，以此表征复杂机电系统功能正常使能条件下的行为和状态，以能够实现这一系统状态的概率作为复杂机电系统的可靠性评价指标。并通过形式化逻辑语言建立系统可靠性要求的形式化规约。复杂机电系统的行为过程是一连续时间离散状态随机模型，因此用连续随机逻辑(CSL)形式化语言来描述可靠性评价要求，根据CSL语言逻辑公式的巴克斯范式定义，可以将复杂机电系统的可靠性要求转换成CSL逻辑公式，例如[0035] P＝？[true G≤T(system normal)]

[0036] 表示在时间T内，状态“system normal”一直保持的概率是多少。

[0037] 4)复杂机电系统各种潜在故障模式的形式化规约

[0038] 利用风险分析技术(如故障树分析(FTA)、故障模式影响及危害分析(FMECA))辨识复杂机电系统潜在的危险行为和故障模式，针对复杂机电系统的潜在故障模式，分析能反映潜在故障模式的最高层次的行为与状态，以此表征与潜在故障模式对应的异常行为和状态，以能够实现这一系统状态的概率作为潜在故障模式发生的概率。最后利用形式化逻辑语言建立各种故障模式的形式化规约。同步骤3)一样，可以用CSl语言描述各种故障模式发生的概率，例如

[0039] P＝？[true F≤T(system error)]

[0040] 表示在时间T内，状态“system error”发生的概率是多少。

[0041] P＝？[system normal U≤T motor error]

[0042] 表示在时间T内系统处于状态“system normal”直到状态“motor error”发生的概率是多少。

[0043] 5)复杂机电系统的形式化验证

[0044] 根据步骤2)建立的复杂机电系统可靠性分析的形式化模型以及步骤3)、4)建立的可靠性要求的形式化规约、潜在故障模式的形式化规约，输入到模型检测工具Prism，通过计算机自动搜索复杂机电系统的有穷状态空间，判断其是否满足预期设定的可靠性指标并求解系统的可靠度以及各种潜在故障模式发生的概率，实现系统的可靠性评估。

标题	发布/更新时间	阅读量
一种根据用户要求在一个网站内多种形式切换兼容的技术-专利编号CN110489113A	2020-05-11	938
大环喹唑啉衍生物及其作为MTKI的用途-专利编号CN102532163A	2020-05-13	714
大环喹唑啉衍生物及其作为MTKI的用途-专利编号CN102532163B	2020-05-12	577
可用作香草素拮抗剂的色酮衍生物-专利编号CN1993344A	2020-05-11	312
新型β-氨基酸衍生物-专利编号CN1076200A	2020-05-13	925
用作组织蛋白酶S抑制剂的化合物和组合物-专利编号CN101671310A	2020-05-11	472
信息处理装置、资源提供装置和信息处理系统-专利编号CN102937917A	2020-05-11	630
大环喹唑啉衍生物及其作为MTKI的用途-专利编号CN101072781B	2020-05-13	410
大环喹唑啉衍生物及其作为MTKI的用途-专利编号CN101072781A	2020-05-12	491
用作组织蛋白酶S抑制剂的化合物和组合物-专利编号CN101035768A	2020-05-12	514

一种基于模型检测技术的复杂机电系统可靠性评估方法

一种基于模型检测技术的复杂机电系统可靠性评估方法

IPRDB

热门服务

关于我们

友情链接

联系方式