【摘 要】
：
随着工业系统规模和复杂性的增加,系统安全性建模和分析技术在关键安全系统中得到了广泛应用。AltaRica是用于安全性分析的高级建模语言,现将AltaRica与计算机可视化建模技术
【机 构】
：
中国电建集团华东勘测设计研究院有限公司
论文部分内容阅读
随着工业系统规模和复杂性的增加,系统安全性建模和分析技术在关键安全系统中得到了广泛应用。AltaRica是用于安全性分析的高级建模语言,现将AltaRica与计算机可视化建模技术相结合,开发了支持AltaRica语言的可视化分层建模工具原型,并基于此工具原型开展系统安全性建模和分析工作。结果表明,该工具原型可以很好地支持AltaRica建模语言,建模过程正确,系统分层结构展示清晰,用户使用方便,可以有效地支持系统安全性的建模和分析工作。
其他文献
小小乘车码能撬动公共服务供给侧改革，这启示我们，在万众创新的新时代，政府重视创新在市政民生工程上的应用，充分发挥企业的自主创新潜能，能够最大程度释放出科技创新的社会效益。
<正> 纵观中国文学史,革新运动此起彼伏,然而成功者却屈指可数。宋代的诗文革新运动就属这可数之列。为什么别朝的诗文革新运动失败了,而宋代的却能独成?为什么与之孪生的宋
民间慈善组织是社会慈善事业的一支重要生力军,公信力是其关乎存亡的生命线。通过对具有代表性的广州乐助会公信力现状的调查,本研究发现民间慈善组织的公信力严重不足。主要
随着我国海水、淡水养殖集约化程度的提高,水产养殖中疾病的危害出现了日益严重的趋势.为了对各种暴发病、流行病进行深入研究和监控,将现代生物技术应用于各种病原诊断和防
从cry基因的分类、cry 基因与转座因子的关系、cry基因的表达调控以及cry基因的作用机理等4个方面综述了cry基因的研究进展,并简要展望了其研究和应用前景.
新华社洛杉矶6月13日电美国民间环保组织“环境工作组”13日发表报告说，美国蔬菜和水果的农药残留现象比较普遍，共有12种 水果和蔬菜被列入该组织的农药残留“黑名单”。报告说
越南人爱唱中国歌曲来已久.早在上世纪五六十年代,就有不少激情昂扬的中国革命歌曲传到越南.在今天的越南,无论是青少年还是中老年,无论是外来华人还是越南本地人,都喜欢哼上
城市供水企业长期以来的公用性质和垄断地位,导致经营管理者缺乏责任感和紧迫感,人才结构不合理,人力资源投资严重不足,对人力资源进行科学整合、规划成为必须直面的新课题。
文章基于冷冻脱盐机理,利用六西格玛的方法论设计并研究了冷冻时间、冷媒温度对悬浮法冷冻结晶过程的影响。结果表明,随着冷冻时间的增加、冷媒温度的降低,产冰率增加,脱盐率
刘唐工为北宋中下层官员,《宋史》本无传,今据《刘唐工墓志铭》之详细记载,可考知其生平主要履历。墓志内容可信度较高,是研究宋代职官制度的第一手资料。刘唐工的恩荫入仕之