-
题名事件故障状态量子博弈过程的参与者收益研究
被引量：1
- 1
-
-
作者
崔铁军
李莎莎
-
机构
辽宁工程技术大学安全科学与工程学院
辽宁工程技术大学工商管理学院
-
出处
《运筹与管理》
CSSCI
CSCD
北大核心
2023年第1期116-120,共5页
-
基金
国家自然科学基金资助项目(52004120)
辽宁省教育厅科学研究经费项目(LJ2020QNL018,LJKQZ2021157)
辽宁工程技术大学学科创新团队项目(LNTU20TD-31)。
-
文摘
为了解事件故障状态量子博弈过程中参与者收益随各影响因素的变化情况,提出在空间故障树(Space Fault Tree, SFT)框架内,以事件故障状态为对象,对参与者收益进行研究。事件故障状态使用量子态表示,管理者和操作者的不同行为对事件故障状态的作用使用博弈表示。考虑因素包括安全产出价值、安全收益分配系数、安全措施成本。研究了事件故障状态与量子博弈的关系;纠缠与非纠缠态下的参与者收益;参与者收益受到各因素影响的特征等。研究得到了管理者和操作者考虑纠缠和非纠缠态的收益函数。结合SFT理论方法,提出了针对收益的因素重要度、因素联合重要度、收益风险区和安全区、因素区域重要度。理论上SFT可用于量子博弈参与者收益的分析。也论述了使用因素空间理论解决该问题的可能性。
-
关键词
安全系统工程
空间故障树
事件故障状态
量子博弈
参与者收益
-
Keywords
safety system engineering
space fault tree
event fault state
quantum game
participant income
-
分类号
F224.32
[经济管理—国民经济]
-
-
题名一种状态事件故障树的定量分析方法
被引量：22
- 2
-
-
作者
徐丙凤
黄志球
胡军
魏欧
肖芳雄
-
机构
南京航空航天大学计算机科学与技术学院
南京大学计算机软件新技术国家重点实验室
广西财经学院信息与统计学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2013年第8期1480-1486,共7页
-
基金
江苏省研究生培养创新工程(No.CXZZ11-0218)
中央高校基本科研业务费专项资金(No.CXZZ11-0218
+5 种基金
No.NS2012129)
国家自然科学基金(No.61272083
No.61170043
No.61100034
No.61262002)
回国留学人员科研启动基金(2012)
-
文摘
状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术,对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化模型,需先精确描述其语义才能进行定量分析.为此,本文提出一种基于交互马尔可夫链的状态事件故障树定量分析方法.首先,通过将交互马尔可夫链的交互动作精化为输入和输出动作,提出接口交互马尔可夫链模型用于状态事件故障树的形式语义描述.然后,在此形式语义的基础上设计了一种状态事件故障树定量分析方法.最后给出了一个飞机起落架收放系统的状态事件故障树建模及概率特性定量分析的实例研究.
-
关键词
安全性分析
状态事件故障树
交互马尔可夫链
定量分析
形式化方法
-
Keywords
safety analysis
state/event fault tree
interactive Markov chain
quantitative analysis
formal method
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种状态事件故障树的时间特性分析方法
被引量：10
- 3
-
-
作者
徐丙凤
黄志球
胡军
魏欧
李伟湋
-
机构
南京航空航天大学计算机科学与技术学院
计算机软件新技术国家重点实验室(南京大学)
南京航空航天大学航天学院
-
出处
《软件学报》
EI
CSCD
北大核心
2015年第2期427-446,共20页
-
基金
国家自然科学基金(61272083
61170043)
+3 种基金
回国留学人员科研启动基金(SEM 2012)
中央高校基本科研业务费专项资金(CXZZ11_0218
NS2012129)
江苏省普通高校研究生科研创新计划(CXZZ11_0218)
-
文摘
状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术,其顶层事件描述失效发生的结果.对顶层事件发生的平均时间进行分析,是获得系统平均失效时间参数的一种有效方法,可为系统的安全性评估提供支持.由于状态事件故障树缺乏严格语义,使得必须先对其进行形式化描述才能进行定量分析.为此,提出了一种基于交互马尔可夫链的状态事件故障树时间特性分析方法.首先,精化交互马尔可夫链的交互动作,建立接口交互马尔可夫链模型,并基于该模型对状态事件故障树的构件和逻辑门进行形式语义描述;其次,通过并行组合构件与逻辑门的形式语义模型,得到整个状态事件故障树的形式语义模型,并在该过程中使用弱互模拟对状态空间进行约简;然后,基于状态事件故障树的形式语义给出顶层事件发生的平均时间计算方法;最后,给出飞机着陆雷达控制系统和喷淋防火系统的状态事件故障树时间特性分析的实例研究.为构件化系统失效时间特性的分析提供了一种新方法.
-
关键词
状态事件故障树
交互马尔可夫链
平均时间分析
形式化方法
-
Keywords
state/event fault tree
interactive Markov chain
mean time analysis
formal method
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于状态事件故障树的信息物理融合系统风险建模
被引量：7
- 4
-
-
作者
徐丙凤
何高峰
张黎宁
-
机构
南京林业大学信息科学技术学院
南京邮电大学物联网学院
-
出处
《计算机科学》
CSCD
北大核心
2019年第5期105-110,共6页
-
基金
国家自然科学基金青年科学基金项目(61802192
61702282)
+4 种基金
江苏省高等学校自然科学研究项目(18KJB520024
17KJB520023)
南京林业大学校青年创新基金(CX2016026)
南京邮电大学引进人才科研启动基金(NY217143)
省教改项目(164070911)资助
-
文摘
信息物理融合系统(Cyber-physical Systems)中嵌入式系统网络的应用使其容易遭受网络攻击,攻击者可能会利用软件和通信组件中的漏洞获取系统的控制权,从而导致系统失效。现有的信息物理融合系统安全风险建模方法主要基于静态故障树进行,不考虑软件控制系统特有的动态性和时序依赖性,无法推导出网络攻击所导致的最终影响。因此,文中基于状态事件故障树提出一种信息物理融合系统风险建模方法。首先,针对状态事件故障树(Stata/Event Fault Trees,SEFTs)模型进行攻击步骤集成,提出Attack-SEFTs模型;在此基础上,给出信息物理融合系统的常见漏洞模式,并基于Attack-SEFTs对各种漏洞模式进行建模;接着,给出Attack-SEFTs模型的失效路径分析方法;最后通过一个案例说明了所提方法的可行性。
-
关键词
信息物理融合系统
防危性
安全性
状态事件故障树
攻击树
-
Keywords
Cyber-physical systems
Safety
Security
State/event fault trees
Attack trees
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名一种基于状态事件故障树的软件安全性分析方法研究
被引量：5
- 5
-
-
作者
王思琪
黄志球
黄传林
陈光颖
潘诚
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2016年第1期12-17,共6页
-
基金
国家自然科学基金项目(61100034
61170043)资助
+1 种基金
江苏省普通高校研究生科研创新计划资助项目
中央高校基本科研业务费专项资金项目(CXZZ11_0218)资助
-
文摘
目前,能够对航空航天、核电等领域中复杂嵌入式系统安全关键软件功能建模和故障分析的方法尚未得到统一;致使功能模型分析中缺乏安全属性来源,故障分析得到的危害无法在功能设计中得到避免.状态事件故障树是一种适合描述复杂系统中功能失效因果关系的建模技术,统一了功能建模和故障分析;但是,由于其缺乏精确语义,难以直接进行软件的安全性分析.为此,提出一种基于状态事件故障树的软件安全性分析方法:首先,通过元素映射以及逻辑门转换,将状态事件故障树扩展为附加故障语义信息的故障状态机;然后,将故障状态机转换到时间自动机;最后,在模型检测工具UPPAAL下进行安全性测试反例分析.本文使用燃气灶控制系统的实例进行分析.
-
关键词
安全关键软件
状态事件故障树
状态机
时间自动机
-
Keywords
safety-critical software
state/event fault tree
state machine diagram
timed automaton
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于时序关系的系统失效可达图生成方法
- 6
-
-
作者
范亚琼
陈海燕
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《计算机科学》
CSCD
北大核心
2017年第12期169-174,共6页
-
基金
十三五重点基础科研项目(JCKY2016206B001)
江苏省六大人才高峰项目(XXRJ-004)
软件新技术与产业化协同创新中心资助
-
文摘
针对状态事件故障树生成系统可达图过程中存在的状态空间爆炸问题,提出了一种基于时序关系的系统失效可达图生成方法。通过分析触发和被触发类型事件的时序关系,对存在时序关系的事件进行排序,根据时序关系获得系统构件间的所有不可同时到达状态对,对构件间的可同时到达状态建立笛卡尔积,获得系统的所有可同时到达状态对,根据连接表和最小割集获得系统失效的状态可达图,从而有效解决系统失效可达图生成过程中存在的状态空间爆炸问题。应用基于时序关系的系统失效可达图方法生成鱼攻系统失效可达图,实验结果验证了该方法的可行性与稳定性;同时也为表明其能有效地缓解状态空间爆炸问题,为状态事件故障树生成系统可达图提供了一种新的方法。
-
关键词
状态事件故障树
时序关系
系统失效可达图
状态空间爆炸
-
Keywords
State/Event fault tree
Temporal relation
System failure reachability graph
State space explosion
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
