四变量模型相关论文
石油化工生产中通常采用湿式冷却塔来冷却循环水。湿式冷却塔水量损失一般约占冷却水总量的1.6％。其中，蒸发损失占到整个水量损耗的4......
相对于传统的安全性分析方法,系统理论过程分析(STPA)对于复杂组件交互系统的安全性分析具有更强的危害识别能力。迄今为止STPA已......
基于质量守恒和能量守恒原理,以出塔水温作为冷却塔冷却性能的评价指标,建立了大型冷却塔热力计算的湿差模型,并与目前常用的焓差......
本文针对的主要工作是在系统需求层面以及设计层面上基于轻量级形式化方法对飞行管理系统的系统需求进行分析与研究并且建模,研究......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
描述了形式化方法的定义、目的、作用和软件开发流程。以发动机仪表盘显示布局风格需求为例,通过四变量形式化方法对需求进行形式......
近年来，基于模型的系统需求分析是实时嵌入式安全关键系统工程领域中的一个重要研究方向，得到了工程师的广泛关注。其基本思想是在设......
文章针对软件安全性需求的提取,提出了基于四变量模型的安全性需求提取方法。分析了现有四变量模型的不足,改进了现有四变量模型的......
近年来,基于模型的系统安全性分析与验证方法是安全关键系统工程领域中的一个重要研究方向。提出了一种基于四变量模型的系统安全......
