-
题名基于模型的复杂系统安全分析综述
被引量：15
- 1
-
-
作者
陈磊
焦健
赵廷弟
-
机构
北京航空航天大学可靠性与系统工程学院
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2017年第6期1287-1291,共5页
-
文摘
基于模型的安全分析(model-based safety analysis,MBSA)的最终目的是以复杂的安全关键性系统的形式化和半形式化模型为基础,实现自动化的安全分析。MBSA的方法众多,涵盖了用以实现对复杂的安全关键性系统进行建模、安全分析和验证的所有理论、技术、工具及语言。根据MBSA技术在安全分析过程所使用的模型的不同,即安全模型与系统设计模型之间的不同关系,将MBSA的实现手段分为两类:一类是基于系统扩展模型(extended system model,ESM)的MBSA方法;另一类是基于故障逻辑建模(failure logic modelling,FLM)技术的MBSA方法。文中对这两种方法的实现过程分别进行了描述,并分别对每种方法的优点和局限性进行了分析说明,最后对两类MBSA方法可做的改进进行了分析。
-
关键词
基于模型的安全分析
复杂安全关键性系统
系统扩展模型
故障逻辑建模
-
Keywords
model-based safety analysis （MBSA）
complex safety-critical system
extended system model（ESM）
failure logic modelling （flm）
-
分类号
N945.12
[自然科学总论—系统科学]
-
-
题名一种基于主体的可信网构软件设计方法
被引量：3
- 2
-
-
作者
张大鹏
王文杰
史忠植
-
机构
中国科学院计算技术研究所智能信息处理重点实验室
中国科学院研究生院
燕山大学信息科学与工程学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2010年第11期2523-2528,共6页
-
基金
国家863高技术研究发展计划(No.2007AA01Z132)
国家自然科学基金(No.60775035
+3 种基金
No.60970088)
国家973重点基础研究发展规划(No.2007CB311004)
国家科技支撑计划(No.2006BAC08B06)
中国科学院研究生院院长基金(No.O85101JM03)
-
文摘
本文提出了一种基于主体的网构软件设计方法ABDPI,该方法对传统的多主体系统设计方法进行了扩展,支持网构软件的分析、设计、实现和部署等各个阶段.该方法建立了一个通用的信任模型来描述网构软件中各个软件实体间的信任关系,并通过定制灵活的信任评价反馈策略来体现信任值的动态变化;该方法还使用有限状态自动机对网构软件中软件实体的正常行为和故障行为进行建模,并通过动态描述逻辑DDL加以描述,在网构软件运行的时候能够通过系统观测和DDL推理机动态地诊断出故障;结合具体的案例对网构软件系统的设计过程给出详细的介绍.
-
关键词
网构软件
ABDPI
信任模型
故障诊断
动态描述逻辑DDL
-
Keywords
Internetware
agent based design process for Internetware（ABDPI）
trust model
failure diagnose
dynamic description logic
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于失效逻辑建模的轨道交通信号系统安全评估方法
被引量：2
- 3
-
-
作者
刘超
唐涛
李开成
-
机构
北京交通大学电子信息工程学院
北京交通大学轨道交通控制与安全国家重点实验室
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2014年第6期1208-1216,共9页
-
基金
国家863计划(2012AA112801)
高速铁路运行控制系统安全分析及设计平台
+1 种基金
国家国际科技合作专项项目(S2012GR0192)
高速铁路信号系统安全认证和评估技术研究
-
文摘
轨道交通信号系统在架构设计阶段为了制订细化的安全需求,需要分析组件中导致系统危险源发生的组件失效事件最小割集。为了提高危险源分析结果的一致性和重用性,提出了一种基于失效逻辑建模技术的轨道交通信号系统的安全评估方法。通过设计失效逻辑模型的元模型和配置方法,基于信号系统功能设计,建立了Cecilia OCAS平台下的组件失效分析模型,使用AltaRica数据流语言描述了组件的失效逻辑行为,通过模型仿真获得了危险源的最小割集。基于通信的列车控制系统CBTC车载设备的案例研究证明:失效逻辑建模技术实现了复杂系统功能故障树的自动生成,保证了安全分析结果与系统设计变更的一致性,提高了危险源分析流程的效率。
-
关键词
失效逻辑建模
CBTC
危险源分析
最小割集
AltaRica
Cecilia
OCAS
-
Keywords
failure logic modeling
CBTC
hazard analysis
minimal cut set
AltaRica
Cecilia OCAS
-
分类号
U284
[交通运输工程—交通信息工程及控制]
TP319
[自动化与计算机技术—计算机软件与理论]
-
-
题名从Slutsky分析法看需求法则的本质
被引量：1
- 4
-
-
作者
张颖
-
机构
中南工业大学工商管理学院
-
出处
《中南大学学报（社会科学版）》
1999年第2期37-39,共3页
-
文摘
通过对Ｓｌｕｔｓｋｙ的替代效应和收入效应的数学分析。
-
关键词
lutsky分析法
替代效应
收入效应
需求法则
-
Keywords
Mathematical model, economic management, language value logic, failure diagnosis
-
分类号
F014.32
[经济管理—政治经济学]
-
-
题名集成时间信息的液体火箭发动机故障诊断推理
- 5
-
-
作者
刘洪刚
吴建军
陈启智
-
机构
国防科技大学航天与材料工程学院
-
出处
《推进技术》
EI
CAS
CSCD
北大核心
2004年第2期97-100,129,共5页
-
基金
国家自然科学基金资助项目(59806014)。
-
文摘
提出一种液体火箭发动机集成时间信息的定性建模和故障诊断推理方法。该方法以谓词逻辑公式和子句的形式对发动机定性特征和试车过程中的观测信息加以描述,同时基于归结原理和假言推理规则的演绎推理方法进行诊断问题求解。结合实际试车数据的检验结果表明,该方法为液体火箭发动机试车过程中动态诊断知识的表达和组织,提供了一种简洁有效的方式,计算量小,检测速度快,且具有较强的诊断能力。
-
关键词
液体火箭发动机
故障诊断
知识库
-
Keywords
Dynamics
failure (mechanical)
Information analysis
Liquid propellants
logic programming
models
-
分类号
V434
[航空宇航科学与技术—航空宇航推进理论与工程]
-
-
题名国家治理的理论逻辑、价值取向与中国经验
被引量：2
- 6
-
-
作者
后小仙
-
机构
南京审计大学公共经济学院
-
出处
《南京审计学院学报》
2016年第1期68-76,共9页
-
基金
江苏高校哲学社会科学研究重大项目(2014ZDAXM004)
国家社会科学基金(12BJY001)
+2 种基金
教育部人文社会科学项目(12YJA790047)
江苏省新型城镇化与社会治理协同创新中心项目
江苏高校优势学科建设工程项目
-
文摘
国家治理一般性规律、中国传统治理思想和中国特色社会主义基本国情是推进国家治理现代化不可忽视的约束条件和治理资源。中国国家治理具有理论体系上的复合性、价值取向上的多维性、主体结构上的层次性特征,正确回应现代国家治理的一般观念和历史惯性下现实中国的特殊国情,将社会和市场有机地纳入政党领导与政府主导的治理框架,构建符合中国实际情况的"政党—政府—市场—社会"激励相容的国家治理体系,是中国国家治理的成功经验。
-
关键词
国家治理体系现代化
理论逻辑
价值取向
中国经验
市场失灵
善治
元治理
治理模式
政府治理
公共管理
治理风险
-
Keywords
modernization of national governance system
theoretic logic
value orientation
Chinese experience
market failure
good governance
meta-governance
governance model
government governance
public administration
governance risk
-
分类号
F20
[经济管理—国民经济]
D63
[政治法律—中外政治制度]
-
