CN110083611A - 一种基于统计模型检测的随机混成系统安全性分析方法 - Google Patents
一种基于统计模型检测的随机混成系统安全性分析方法 Download PDFInfo
- Publication number
- CN110083611A CN110083611A CN201910387073.3A CN201910387073A CN110083611A CN 110083611 A CN110083611 A CN 110083611A CN 201910387073 A CN201910387073 A CN 201910387073A CN 110083611 A CN110083611 A CN 110083611A
- Authority
- CN
- China
- Prior art keywords
- dynamic
- logic gate
- random
- random hybrid
- dynamic logic
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
- 238000004458 analytical method Methods 0.000 title claims abstract description 31
- 238000001514 detection method Methods 0.000 title claims abstract description 27
- 238000013179 statistical model Methods 0.000 title claims abstract description 22
- 238000000034 method Methods 0.000 claims abstract description 22
- 238000004422 calculation algorithm Methods 0.000 claims abstract description 18
- 238000000354 decomposition reaction Methods 0.000 claims abstract description 4
- 239000000203 mixture Substances 0.000 claims description 6
- 230000008450 motivation Effects 0.000 claims description 6
- 238000004445 quantitative analysis Methods 0.000 abstract description 12
- 238000004880 explosion Methods 0.000 description 8
- 230000000007 visual effect Effects 0.000 description 4
- 230000003247 decreasing effect Effects 0.000 description 3
- 230000008014 freezing Effects 0.000 description 3
- 238000007710 freezing Methods 0.000 description 3
- 230000007257 malfunction Effects 0.000 description 3
- 238000010207 Bayesian analysis Methods 0.000 description 2
- 238000004364 calculation method Methods 0.000 description 2
- 238000004891 communication Methods 0.000 description 2
- 239000004744 fabric Substances 0.000 description 2
- 238000007689 inspection Methods 0.000 description 2
- 238000003012 network analysis Methods 0.000 description 2
- 230000003068 static effect Effects 0.000 description 2
- 238000012360 testing method Methods 0.000 description 2
- 238000000342 Monte Carlo simulation Methods 0.000 description 1
- 238000003745 diagnosis Methods 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 230000006870 function Effects 0.000 description 1
- 230000010354 integration Effects 0.000 description 1
- 238000011835 investigation Methods 0.000 description 1
- 238000012544 monitoring process Methods 0.000 description 1
- 238000012545 processing Methods 0.000 description 1
- 238000004451 qualitative analysis Methods 0.000 description 1
- 238000004088 simulation Methods 0.000 description 1
- 238000007619 statistical method Methods 0.000 description 1
- 238000012795 verification Methods 0.000 description 1
Classifications
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B64—AIRCRAFT; AVIATION; COSMONAUTICS
- B64D—EQUIPMENT FOR FITTING IN OR TO AIRCRAFT; FLIGHT SUITS; PARACHUTES; ARRANGEMENT OR MOUNTING OF POWER PLANTS OR PROPULSION TRANSMISSIONS IN AIRCRAFT
- B64D15/00—De-icing or preventing icing on exterior surfaces of aircraft
- B64D15/20—Means for detecting icing or initiating de-icing
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
- G06F16/22—Indexing; Data structures therefor; Storage structures
- G06F16/2228—Indexing structures
- G06F16/2246—Trees, e.g. B+trees
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
- G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
- G06F16/24—Querying
- G06F16/245—Query processing
- G06F16/2458—Special types of queries, e.g. statistical queries, fuzzy queries or distributed queries
- G06F16/2462—Approximate or statistical queries
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- Software Systems (AREA)
- Probability & Statistics with Applications (AREA)
- Data Mining & Analysis (AREA)
- Databases & Information Systems (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Fuzzy Systems (AREA)
- Mathematical Physics (AREA)
- Computational Linguistics (AREA)
- Aviation & Aerospace Engineering (AREA)
- Data Exchanges In Wide-Area Networks (AREA)
- Complex Calculations (AREA)
Abstract
本发明公开了一种基于统计模型检测的随机混成系统安全性分析方法,属于大数据技术领域,首先通过DFT分解算法将DFT分解为动态逻辑门、基本构件、门与门和门与构件间的逻辑关系,然后将动态逻辑门与基本构件转换为随机混成自动机,在然后对随机混成自动机进行重构,形成随机混成自动机网络,最后将规约性质与随机混成自动机网络模型输入到统计模型检测工具Uppaal‑SMC中,得到随机混成系统动态故障树模型定量分析的结果,解决了现有DFT定量分析方法难以解决随机混成系统的安全性分析的技术问题,本发明可以解决传统DTF分析方法仅能针对于失效概率服从指数分布的系统的情况。
Description
技术领域
本发明属于大数据技术领域,特别涉及一种基于统计模型检测的随机混成系统安全性分析方法。
背景技术
动态故障树分析方法(Dynamic fault tree,DFT)作为经典的安全性分析方法,被广泛的应用在各个领域,通过定量定性分析,实现对安全关键系统的故障诊断、排查和维护。然而由于随机混成系统的混合随机特性,目前已有的动态故障树定量分析方法已经不足以对随机混成系统进行安全性分析。
统计模型检验(SMC)是一种作为测试和经典形式化方法之间的折衷方案,是适用于大规模复杂系统的新验证技术。SMC的核心思想是对系统进行一些模拟(包括顺序假设检验或蒙特卡罗模拟),监控系统的运行轨迹和结果,然后使用统计学方法(例如贝叶斯区间估计等),判断系统是否满足规约属性。
1992年,Dugan教授结合静态故障树和马尔可夫链的优点,定义了一组动态逻辑门来描述系统构件故障之间的时序相关、功能依赖相关以及多备件冗余等动态关系,并提出用马尔科夫链模型进行动态故障树定量分析。目前对DFT的分析方法主要可以分为四个类别:状态空间分析法,代数解析法,仿真方法和贝叶斯网络分析法。
状态空间分析法的可以结合BDD和马尔科夫链模型进行DFT定量分析,这一方法只能处理组件失效时间服从指数分布并且存在共因失效和状态空间爆炸的问题。
Somani提出对具有失效相关性的系统进行一种层次故障树分析,检测故障树的独立子树并分层求解,子树由父树中的单个事件替换,其出现概率表示子树出现的概率,只需要将适当的子系统分析为马尔可夫模型即可。Boudali提出一种特殊的马尔可夫模型I/O-IMC,其具有精确的语义,是具有输入和输出动作的连续时间马尔可夫链的扩展。可以适当缓解CTMC状态空间爆炸问题。Ammar M结合概率模型检测将静态逻辑门转换成相应的马尔可夫链,然后基于概率模型检测工具PRISM进行自动化计算,但以上方法没有考虑复杂的动态逻辑门的情况。
代数解析法理论性强,无工具支撑,建模工作量大、易出错,并且无法应用于大型复杂的随即混成系统的安全性分析。Amari S等人出了一种求解动态门的数值积分技术。虽然这种方法解决了状态空间问题,但它不能应用于混合概率分布的系统和可修复的系统中。
仿真方法可以处理任意失效分布,但计算精度不高。
贝叶斯网络分析法避免了全局状态空间爆炸,但存在条件概率表的参数组合爆炸和备件节点失效时间仅能是指数分布。
发明内容
本发明的目的是提供一种基于统计模型检测的随机混成系统安全性分析方法,解决了现有DFT定量分析方法难以解决随机混成系统的安全性分析的技术问题。
为实现上述目的,本发明采用以下技术方案:
一种基于统计模型检测的随机混成系统安全性分析方法,包括以下步骤:
步骤1:创建动态故障树,根据DFT分解算法通过广度优先搜索的思想自顶向下遍历整棵动态故障树,对动态故障树进行分解,其具体步骤如下:
步骤S1:将整棵动态故障树分解为数个仅具有单个动态逻辑门的动态故障子树;
步骤S2:存储每一个动态故障子树中的基本构件信息和动态逻辑门信息,生成基本构件信息集合和动态逻辑门信息集合;存储动态逻辑门与基本构件之间的关联关系,生成动态逻辑门与基本构件之间的关联关系集合;
步骤S3:根据动态故障子树之间在整棵动态故障树中的关联,得到并存储动态逻辑门与动态逻辑门之间的关联关系,生成动态逻辑门与动态逻辑门之间的关联关系集合;
步骤2:根据离散分布算法、均匀分布算法、指数分布算法、故障率递减的威布尔分布算法和故障率递增的威布尔分布算法,将基本构件描述为离散的第一类随机混成自动机,用于表示具有一定概率发生故障的基本构件;
建立基于SHA的形式化规约,基于SHA的形式化规约包括AND门的形式化规约、OR门的形式化规约、PAND门的形式化规约、CSP门的形式化规约、WSP门的形式化规约、HSP门的形式化规约、FDEP门的形式化规约和SEQ门的形式化规约,根据基于SHA的形式化规约将动态故障子树中的动态逻辑门转换为离散的第二类随机混成自动机,用于表示动态故障树中的动态逻辑门;
步骤3:将第一类随机混成自动机和第二类随机混成自动机组合为完整的随机混成自动机网络,具体步骤如下:
步骤A1:根据动态逻辑门与基本构件之间的关联关系集合,生成构件随机混成自动机模型;根据动态逻辑门与动态逻辑门之间的关联关系集合,生成动态逻辑门随机混成自动机模型;
步骤A2:在构件随机混成自动机模型和动态逻辑门随机混成自动机模型上均添加Synchronisation同步标记;
步骤A3:通过信道同步将动态逻辑门随机混成自动机模型与构件随机混成自动机模型组合,生成动态故障树的完整的随机混成自动机网络;
步骤4:将基于SHA的形式化规约和随机混成自动机网络一同输入到统计模型检测工具Uppaal-SMC中,计算处于整棵动态故障树的树顶的事件在一定时间内发生的概率。
优选的,所述基本构件信息包括构成所示动态故障树中的基本硬件组件的名称和编号;所述动态逻辑门信息包括动态逻辑门的类别。
优选的,在执行步骤A2时,Synchronisation同步标记是时间自动机里面的一个信号名称,表示发送同步信号或接收同步信号,当同时具有发送和接收方的时候,两个时间自动机继续运行,否则持续等待。
本发明所述的一种基于统计模型检测的随机混成系统安全性分析方法,解决了现有DFT定量分析方法难以解决随机混成系统的安全性分析的技术问题,本发明可以解决传统DTF分析方法仅能针对于失效概率服从指数分布的系统的情况,通过统计模型检测进行动态故障树的定量分析可以解决状态空间分析法存在的状态空间爆炸和贝叶斯分析方法的件概率表的参数组合爆炸,避免了马尔可夫计算方法无法解决的共因失效问题,与代数解析方法相比,具有支持统计模型检测的Uppaal-SMC工具支持自动计算,得到一定时间区间内系统可能发生的故障概率。
附图说明
图1随机混成系统安全性分析框架;
图2服从离散分布的构件失效SHA表示;
图3服从均匀分布的构件失效SHA表示;
图4服从指数分布的构件失效SHA表示;
图5服从故障率递减的威布尔分布的构件失效SHA;
图6服从故障率递增的威布尔分布的构件失效SHA;
图7基于SHA的AND门的形式化规约;
图8基于SHA的OR门的形式化规约;
图9基于SHA的PAND门的形式化规约;
图10基于SHA的CSP门的形式化规约;
图11基于SHA的WSP门的形式化规约;
图12基于SHA的HSP的形式化规约;
图13基于SHA的FDEP门的形式化规约;
图14基于SHA的SEQ门的形式化规约;
图15飞机结冰系统的系统框架图;
图16飞机结冰系统的动态故障树框架图;
图17结冰探测系统动态故障树的完整的随机混成自动机网络图。
具体实施方式
如图1-图17所示一种基于统计模型检测的随机混成系统安全性分析方法,包括以下步骤:
步骤1:创建动态故障树,根据DFT分解算法通过广度优先搜索的思想自顶向下遍历整棵动态故障树,对动态故障树进行分解,其具体步骤如下:
步骤S1:将整棵动态故障树分解为数个仅具有单个动态逻辑门的动态故障子树;
步骤S2:存储每一个动态故障子树中的基本构件信息和动态逻辑门信息,生成基本构件信息集合和动态逻辑门信息集合;存储动态逻辑门与基本构件之间的关联关系,生成动态逻辑门与基本构件之间的关联关系集合;
步骤S3:根据动态故障子树之间在整棵动态故障树中的关联,得到并存储动态逻辑门与动态逻辑门之间的关联关系,生成动态逻辑门与动态逻辑门之间的关联关系集合;
步骤2:根据离散分布算法、均匀分布算法、指数分布算法、故障率递减的威布尔分布算法和故障率递增的威布尔分布算法,将基本构件描述为离散的第一类随机混成自动机,用于表示具有一定概率发生故障的基本构件;
建立基于SHA的形式化规约,基于SHA的形式化规约包括AND门的形式化规约、OR门的形式化规约、PAND门的形式化规约、CSP门的形式化规约、WSP门的形式化规约、HSP门的形式化规约、FDEP门的形式化规约和SEQ门的形式化规约,根据基于SHA的形式化规约将动态故障子树中的动态逻辑门转换为离散的第二类随机混成自动机,用于表示动态故障树中的动态逻辑门;
步骤3:将第一类随机混成自动机和第二类随机混成自动机组合为完整的随机混成自动机网络,具体步骤如下:
步骤A1:根据动态逻辑门与基本构件之间的关联关系集合,生成构件随机混成自动机模型;根据动态逻辑门与动态逻辑门之间的关联关系集合,生成动态逻辑门随机混成自动机模型;
步骤A2:在构件随机混成自动机模型和动态逻辑门随机混成自动机模型上均添加Synchronisation同步标记;
步骤A3:通过信道同步将动态逻辑门随机混成自动机模型与构件随机混成自动机模型组合,生成动态故障树的完整的随机混成自动机网络;
信道同步是指使用Synchronisation同步标记来表示一个通信信道,两者满足条件:一个时间自动机发送同步信号,另外一个接收这个同步信号;
这样可以将多个独立的时间自动机模型联系起来,也就是形成一个具有通信和同步关系的时间自动机网络。
步骤4:将基于SHA的形式化规约和随机混成自动机网络一同输入到统计模型检测工具Uppaal-SMC中,计算处于整棵动态故障树的树顶的事件在一定时间内发生的概率。
优选的,所述基本构件信息包括构成所示动态故障树中的基本硬件组件的名称和编号;所述动态逻辑门信息包括动态逻辑门的类别。
优选的,在执行步骤A2时,Synchronisation同步标记是时间自动机里面的一个信号名称,表示发送同步信号或接收同步信号,当同时具有发送和接收方的时候,两个时间自动机继续运行,否则持续等待。
如图2-图14中,P1表示系统发生故障的概率,P2表示持续正常工作的概率
k/10和rn都为指数分布的系数0表示此构件正常工作,1表示此构件发生故障,例如S10表示构件A故障构件B正常工作。
本实施例采用飞机结冰系统作为典型的安全关键随机混成系统,飞机结冰系统可以在飞机结冰的情况下及时探测并将结冰信息传送给飞行机组人员。使得飞行机组人员可以及时打开机翼或者尾翼防除冰系统,或者及时躲避结冰气象区域,能够规避由于结冰现象带来的巨大风险。
当发生结冰事件时,结冰探测器将结冰告警信号发送给系统数据接收计算机SDAC,SDAC的英文全称为System Data Accept Compute,同时也可以通过硬线将结冰告警信号直接传输给飞行告警计算机FWC,FWC的英文全称为Flight warning computer。
SDAC接收到结冰告警信号后通过总线将结冰告警信号传送给FWC。FWC会将结冰告警信号以文字或语音等方式传递给机组人员。其中SDAC和FWC作为关键构件,采用冗余配置,分别有一台备用,即,图中所示的SDAC1、SDAC2、FWC1和FWC2。
飞机结冰系统的系统动态故障树中,基本构件包括SDAC1、SDAC2、FWC1、FWC2、ID硬线1、ID硬线2、ID左总线、ID右总线、电源、指示灯ICE-IN和控制开关;动态逻辑门的种类包括HSP门、AND门、PAND门、OR门和CSP门;
在飞机结冰系统的系统动态故障树中,动态故障子树包括SDAC动态故障子树、ID硬线动态故障子树、ID总线动态故障子树、FWC动态故障子树、视觉探测子系统动态故障子树、结冰告警子系统动态故障子树和结冰探测系统动态故障子树;
SDAC动态故障子树由SDAC1、SDAC2和HSP门构成,其输出结果为SDAC失效概率X4;
ID硬线动态故障子树由ID硬线1、ID硬线2和AND门构成,其输出结果为ID硬线失效概率X5;
ID总线动态故障子树由ID左总线、ID右总线和AND门构成,其输出结果为ID总线失效概率X6;
FWC动态故障子树由FWC1、FWC2和CSP门构成,其输出结果为FWC失效概率X7;
视觉探测子系统动态故障子树由电源、指示灯ICE-IN、控制开关和OR门构成,其输出结果为视觉探测子系统失效概率X3;
结冰告警子系统动态故障子树由SDAC失效概率X4、ID硬线失效概率X5、ID总线失效概率X6、FWC失效概率X7和OR门构成,其输出结果为结冰告警子系统失效概率X4;
结冰探测系统动态故障子树由结冰告警子系统失效概率X4、视觉探测子系统失效概率X3和PAND门构成,其输出结果为结冰探测系统失效概率X1。
如表1所示,本实施例中,飞机结冰系统的系统动态故障树中的每一个基本构件的失效事件均会福成一个指数分布的失效概率。
基本事件 | 故障原因 | 故障概率 |
X8 | 电源故障 | 1.8E-05 |
X9 | ICE-IN失效 | 2.79E-03 |
X10 | 控制开关失效 | 7.2E-03 |
X11 | SDAC1失效 | 2.7E-04 |
X12 | SDAC2失效 | 2.7E-04 |
X13 | ID硬线1失效 | 1.21E-04 |
X14 | ID硬线2失效 | 1.21E-04 |
X15 | ID左总线失效 | 9.7E-04 |
X16 | ID右总线失效 | 9.7E-04 |
X17 | FWC1失效 | 3.36E-04 |
X18 | FWC1失效 | 3.36E-04 |
表1
根据步骤1的方法将飞机结冰系统的系统动态故障树进行分解,得到动态逻辑门集合GateList[N]、基本构件集合BsedEvent[N]、动态逻辑门与动态逻辑门之间关联关系集合G2GList[N]、动态逻辑门与基本构件之间的关联关系集合G2EList[N];其中N取值正整数。
在通过步骤2的方法,根据SHA的形式化规约,将动态逻辑门集合GateList[N]转换为转换为离散的第二类随机混成自动机;将基本构件集合BsedEvent[N]转换为第一类随机混成自动机;
将第一类随机混成自动机和第二类随机混成自动机组合为完整的随机混成自动机网络,具体步骤如下:
步骤A1:根据动态逻辑门与基本构件之间的关联关系集合,生成构件随机混成自动机模型;根据动态逻辑门与动态逻辑门之间的关联关系集合,生成动态逻辑门随机混成自动机模型;
步骤A2:在构件随机混成自动机模型和动态逻辑门随机混成自动机模型上均添加Synchronisation同步标记;
步骤A3:通过信道同步将动态逻辑门随机混成自动机模型与构件随机混成自动机模型组合,生成动态故障树的完整的随机混成自动机网络;
动态故障树的完整的随机混成自动机网络建立完成后,需要定义定量分析属性公式,本实施例中,处于动态故障树顶部的逻辑门的输出为系统故障,为导致系统故障的直接关系门,即动态故障树顶部的PAND门。
定义属性规约公式:Pr[≤bound](<>PAND.Fail),表示在bound小时范围以内,顶事件故障发生的概率。
将基于SHA的形式化规约和随机混成自动机网络一同输入到统计模型检测工具Uppaal-SMC中,得出系统失效概率区间。
本发明所述的一种基于统计模型检测的随机混成系统安全性分析方法,解决了现有DFT定量分析方法难以解决随机混成系统的安全性分析的技术问题,本发明可以解决传统DTF分析方法仅能针对于失效概率服从指数分布的系统的情况,通过统计模型检测进行动态故障树的定量分析可以解决状态空间分析法存在的状态空间爆炸和贝叶斯分析方法的件概率表的参数组合爆炸,避免了马尔可夫计算方法无法解决的共因失效问题,与代数解析方法相比,具有支持统计模型检测的Uppaal-SMC工具支持自动计算,得到一定时间区间内系统可能发生的故障概率。
Claims (3)
1.一种基于统计模型检测的随机混成系统安全性分析方法,其特征在于:包括以下步骤:
步骤1:创建动态故障树,根据DFT分解算法通过广度优先搜索的思想自顶向下遍历整棵动态故障树,对动态故障树进行分解,其具体步骤如下:
步骤S1:将整棵动态故障树分解为数个仅具有单个动态逻辑门的动态故障子树;
步骤S2:存储每一个动态故障子树中的基本构件信息和动态逻辑门信息,生成基本构件信息集合和动态逻辑门信息集合;存储动态逻辑门与基本构件之间的关联关系,生成动态逻辑门与基本构件之间的关联关系集合;
步骤S3:根据动态故障子树之间在整棵动态故障树中的关联,得到并存储动态逻辑门与动态逻辑门之间的关联关系,生成动态逻辑门与动态逻辑门之间的关联关系集合;
步骤2:根据离散分布算法、均匀分布算法、指数分布算法、故障率递减的威布尔分布算法和故障率递增的威布尔分布算法,将基本构件描述为离散的第一类随机混成自动机,用于表示具有一定概率发生故障的基本构件;
建立基于SHA的形式化规约,基于SHA的形式化规约包括AND门的形式化规约、OR门的形式化规约、PAND门的形式化规约、CSP门的形式化规约、WSP门的形式化规约、HSP门的形式化规约、FDEP门的形式化规约和SEQ门的形式化规约,根据基于SHA的形式化规约将动态故障子树中的动态逻辑门转换为离散的第二类随机混成自动机,用于表示动态故障树中的动态逻辑门;
步骤3:将第一类随机混成自动机和第二类随机混成自动机组合为完整的随机混成自动机网络,具体步骤如下:
步骤A1:根据动态逻辑门与基本构件之间的关联关系集合,生成构件随机混成自动机模型;根据动态逻辑门与动态逻辑门之间的关联关系集合,生成动态逻辑门随机混成自动机模型;
步骤A2:在构件随机混成自动机模型和动态逻辑门随机混成自动机模型上均添加Synchronisation同步标记;
步骤A3:通过信道同步将动态逻辑门随机混成自动机模型与构件随机混成自动机模型组合,生成动态故障树的完整的随机混成自动机网络;
步骤4:将基于SHA的形式化规约和随机混成自动机网络一同输入到统计模型检测工具Uppaal-SMC中,计算处于整棵动态故障树的树顶的事件在一定时间内发生的概率。
2.如权利要求1所述的一种基于统计模型检测的随机混成系统安全性分析方法,其特征在于:所述基本构件信息包括构成所示动态故障树中的基本硬件组件的名称和编号;所述动态逻辑门信息包括动态逻辑门的类别。
3.如权利要求1所述的一种基于统计模型检测的随机混成系统安全性分析方法,其特征在于:在执行步骤A2时,Synchronisation同步标记是时间自动机里面的一个信号名称,表示发送同步信号或接收同步信号,当同时具有发送和接收方的时候,两个时间自动机继续运行,否则持续等待。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910387073.3A CN110083611B (zh) | 2019-05-10 | 2019-05-10 | 一种基于统计模型检测的随机混成系统安全性分析方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910387073.3A CN110083611B (zh) | 2019-05-10 | 2019-05-10 | 一种基于统计模型检测的随机混成系统安全性分析方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN110083611A true CN110083611A (zh) | 2019-08-02 |
CN110083611B CN110083611B (zh) | 2021-04-06 |
Family
ID=67419544
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201910387073.3A Active CN110083611B (zh) | 2019-05-10 | 2019-05-10 | 一种基于统计模型检测的随机混成系统安全性分析方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN110083611B (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN114357768A (zh) * | 2022-01-04 | 2022-04-15 | 华东师范大学 | 基于sha的信物融合智能系统的原型生成方法及系统 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20070011113A1 (en) * | 2005-03-17 | 2007-01-11 | Ali Mosleh | System and methods for assessing risk using hybrid causal logic |
CN104392072A (zh) * | 2014-12-12 | 2015-03-04 | 北京交通大学 | 一种基于动态故障树的设备集成系统可靠性分析方法 |
CN108183897A (zh) * | 2017-12-28 | 2018-06-19 | 南京林业大学 | 一种信息物理融合系统安全风险评估方法 |
CN108563142A (zh) * | 2017-12-11 | 2018-09-21 | 南京航空航天大学 | 一种基于sha的航天器acs任务寿命预测方法 |
-
2019
- 2019-05-10 CN CN201910387073.3A patent/CN110083611B/zh active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20070011113A1 (en) * | 2005-03-17 | 2007-01-11 | Ali Mosleh | System and methods for assessing risk using hybrid causal logic |
CN104392072A (zh) * | 2014-12-12 | 2015-03-04 | 北京交通大学 | 一种基于动态故障树的设备集成系统可靠性分析方法 |
CN108563142A (zh) * | 2017-12-11 | 2018-09-21 | 南京航空航天大学 | 一种基于sha的航天器acs任务寿命预测方法 |
CN108183897A (zh) * | 2017-12-28 | 2018-06-19 | 南京林业大学 | 一种信息物理融合系统安全风险评估方法 |
Non-Patent Citations (1)
Title |
---|
FERDINANDO CHIACCHIO,ET AL.: "SHyFTA, a Stochastic Hybrid Fault Tree Automaton for the modelling and simulation of dynamic reliability problems", 《EXPERT SYSTEM WITH APPLICATION》 * |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN114357768A (zh) * | 2022-01-04 | 2022-04-15 | 华东师范大学 | 基于sha的信物融合智能系统的原型生成方法及系统 |
Also Published As
Publication number | Publication date |
---|---|
CN110083611B (zh) | 2021-04-06 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN104932519B (zh) | 基于专家知识的无人机飞行指挥辅助决策系统及其设计方法 | |
CN106021062A (zh) | 关联故障的预测方法和系统 | |
Zhao et al. | Text mining based fault diagnosis of vehicle on-board equipment for high speed railway | |
EP3511224A1 (en) | Dynamic analysis method of operating safety risks for a high-speed train operating control system | |
CN104134010A (zh) | 一种基于朴素贝叶斯算法面向离散型数据的卫星故障诊断方法 | |
CN104820953A (zh) | 一种配电网运行安全评估及报警系统 | |
US20120259587A1 (en) | Method and Device for Determining Diagnoses | |
CN104504248A (zh) | 一种基于设计数据分析的故障诊断建模方法 | |
CN105955233A (zh) | 一种基于数据挖掘的车辆故障诊断方法及系统 | |
CN103901320A (zh) | 一种计及多源数据的电力系统故障诊断方法 | |
CN101339700A (zh) | 一种基于免疫算法的机场航班延误预警系统 | |
CN106296440A (zh) | 基于ann和es集成的变电站告警信息分析决策系统和方法 | |
CN110083611A (zh) | 一种基于统计模型检测的随机混成系统安全性分析方法 | |
Edifor et al. | Using simulation to evaluate dynamic systems with weibull or lognormal distributions | |
Jensen et al. | Optimal stopping by means of point process observations with applications in reliability | |
CN104879295A (zh) | 一种基于多层流模型和故障树最小割集的大型复杂系统故障诊断方法 | |
Liu | Polynomial-time verification of diagnosability of fuzzy discrete event systems | |
CN110322977A (zh) | 一种核电堆芯水位监测系统的可靠性分析方法 | |
Geng et al. | Dynamic fault tree analysis approach to safety analysis of civil aircraft | |
CN106371030A (zh) | 一种非确定性推理的新能源汽车电池故障诊断方法 | |
Gao et al. | A dynamic fault tree based CBTC onboard ATP system safety analysis method | |
Shi et al. | Hazard recognition and reliability analysis of CTCS-3 on-board subsystem | |
牛军锋 et al. | Analysis of Aviation Human Factors Based on ATHEANA-STPA Hybrid Method | |
CN114239538A (zh) | 断言处理方法、装置、计算机设备及存储介质 | |
Bharadwaj et al. | Vehicle integrated prognostic reasoner (vipr) final report |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |