SDG标准测试图及推理引擎论证

来源 :系统仿真学报 | 被引量 : 26次 | 上传用户:maxyz
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
应用SDG技术对复杂系统进行安全分析推理,其引擎的性能测试至关重要。我们提出了采用系统标准的SDG测试图,对引擎进行测试。论述了测试所需的规模和指标,并针对应用领域特点,通过改变节点与支路规模、状态、关联关系、排列等因素,提出了一整套针对安全问题的SDG标准测试图。在此基础上,我们提出了极端与平均的性能测试方法。并运用SDG测试图对我们开发的SDG引擎进行完备性和运算能力的测试,效果达到实用水平。最后,我们对测试过程中暴露的问题,提出改进措施。
其他文献
"万开云"板块一体化发展,是秦巴山集中连片贫困地区脱贫攻坚的迫切需要,是重庆融入长江经济带建设和成渝城市群发展的战略举措。开州区作为板块中的重要组成部分,要充分发挥
研究了虚拟人的行走模型和基于逆运动学的运动控制方法。首先对虚拟人的行走模型进行了分析,然后对运动学和逆运动学中的核心问题雅可比矩阵的构建及其伪逆矩阵的求解进行了探讨,最后结合关键帧技术实现了虚拟人行走运动控制的仿真系统。
燃气透平稳态全工况特性通用模型卢韶光,林汝谋(中国科学院工程热物理研究所北京100080)关键词燃气透平,全工况特性,通用模型主要符号表Cd假想速度0透平设计点参数、F喷管截面积喷管入口参数
工会在推动构建和谐劳动关系中承担着重要的责任,企事业单位建立独立的工会网站平台变得越来越普及。My SQL是一个开源的小型关系型数据库管理系统,它体积小、速度快、总体拥
为测试星载计算机软硬件实时性能,本文基于dSPACE多处理器设计了由模拟星载计算机和星载计算机外部实时仿真环境两子系统构成的卫星姿态控制实时仿真系统。介绍了该系统硬件和Simulink模型总体结构。重点介绍了两子系统间的串口通信接口模型的建模方法。仿真结果证明了星载计算机外部实时仿真环境子系统的可信性和串口通信接口模型的有效性。
非绝热壁叶栅的粘性流动王正明(中国科学院工程热物理研究所北京100080)关键词非绝热壁;叶栅;粘性流动1引言近年来,随着计算机运算速度的提高,叶轮机械内部粘性流动的数值解法发展很快,对于
离心泵叶轮中固液两相紊流计算戴江,吴玉林,孙自祥,梅祖彦(清华大学水利水电工程系北京100084)关键词固液两相流,紊流数值模拟,离心叶轮1引言离心泵在固体物料的输送中起着很重要的作用。Roco和
利用低焓能的压缩—喷射制冷系统的研究方承超,赵军,徐律,郑宗和,齐锡龄(天津大学热能工程系天津300072)关键词:压缩-喷射制冷循环,喷射制冷循环,喷射器。ANINVESTIGATIONONCOMPRESSIONENHANCEDEJECTORREF...
摘 要:近年来,频发的高校突发事件让高校突发事件应对机制备受关注。一些高校虽已在应对突发事件时发挥了学生干部的作用,但未真正利用好学生干部队伍。针对这一问题,笔者通过查阅资料、调查研究等方法,以高校学生干部的视角,从突发事件的类型及原因、学生干部参与高校突发事件应对可行性、现状分析以及學生干部在突发事件应对中的角色扮演等方面出发,提出更好地发挥高校学生干部应对突发事件策略。  关键词:高校突发事件