基于形式化模型的系统安全性分析与验证方法研究

来源 :南京航空航天大学 | 被引量 : 3次 | 上传用户：xgw111

【摘要】

：

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield

【作者】

：

王明明

【出处】

：

南京航空航天大学

【发表日期】

：

2018年01期

【关键词】

：

安全关键性系统 RSML-e 模型检验故障扩展 MBSA 故障树分析 FMEA

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

回回产卜爹仇贱回——回日E回。”。回祖一回“。回干肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》砧叫]们羽制作:陈恬’＃陈川个美食 Back to yield Buddy revenge - back to Japan E back. “Back once again.” Back to the dried meat in the magic N_. NH lP7-ewwe - “a” $ MN.W; - __._ - ------ "anvil called] feather production: Chen Tian

其他文献

固结灌浆期间盖重抬动对混凝土应力的影响研究

本文采用三维有限元方法,通过施加压力和位移两种方式模拟固结灌浆过程中的盖重上抬,并以黄登水电站11#坝段为工程实例,对混凝土在固结灌浆期间的开裂进行了研究。针对固结灌

期刊

固结灌浆盖重抬动表面裂缝开裂机理

客服中心话务量预测方法对比分析

话务量是客服中心运营管理中的一个重要指标。此文尝试利用某通信运营商客服中心呼叫话务量的历史数据,选用多种方法进行建模和预测;通过与真实数据的校验分析表明,多项式拟

期刊

客服中心话务量时间序列预测方法

虚假报道背后政府、媒体和市场三者的话语权博弈:基于对“陈永洲虚假报道事件”媒体文本的话语分析

会议

五氟磺草胺防治水稻移栽田稗草试验研究

为明确五氟磺草胺（25克/升）可分散油悬浮剂（OD）在寒冷稻作区对水稻移栽田稗草的防除效果以及对水稻的安全性,对该药剂进行防除水稻移栽田稗草的药效试验.结果表明第1次施药后21

期刊

五氟磺草胺稻田聛草防效

学术道德与学术尊严——兼谈伪学术

黄宏演小品，扮一个钉皮鞋的大爷．专说“啥行业都得有自己的道儿”，钉皮鞋的就坚决不卖钉子。这“道儿”，其实就是“职业道德”，那个行业都有。正当行业有自己正当的道儿，甚至非法行

期刊

学术道德学术共同体盗亦有道学术尊严

叫魂

乌塔在客厅外面的走廊上坐下来。透过敞开的门窗 ,从远处公民馆方向传来了广播体操的音乐声。她鄙夷地笑了笑 ,注视着院子里被朝露打湿的绿叶。在朝阳的映照下 ,绿叶青翠欲滴

期刊

寄居蟹

基于形式化模型的系统安全性分析与验证方法研究

其他学术论文