论文部分内容阅读
阐述了安全性需求的形式化故障树表示技术,给出了一种于形式化故障树最小割集的动态扩展安全性基测试用例结构,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论.
形式化故障树分析建模和软件安全性测试
【摘 要】
：
阐述了安全性需求的形式化故障树表示技术,给出了一种于形式化故障树最小割集的动态扩展安全性基测试用例结构,并对满足安全性需求覆盖准则的测试用例自动生成算法进行了讨论
【机 构】
：
同济大学沪西校区信息与控制工程系
【出 处】
：
同济大学学报：自然科学版
【发表日期】
：
2001年11期
【基金项目】
：
铁道部科技发展基金
其他文献
介绍了电动车辆能源系统监测与控制的总体结构和功能流程,论述了电动车辆能源系统放电控制的基本原理,探讨以电动车辆能源系统能量合理使用为目的的放电控制方法,给出放电智
采用振动理论分析方法分析了两种特殊情况下的低应变测桩的典型曲线,一种是垫层已施工情况,另一种是桩头出露地表较长情况.建议对于某些特殊曲线采用振动理论结合弹性波理论
我国高血压病发病率日趋增高,治疗高血压的目的不仅在于降低血压本身,还应包括影响高血压患者的其他危险因素,以全面降低心血管疾病的发病率和病死率。原发性高血压左室肥厚
我科自2011年1月至2013年12月应用玻璃体切割手术治疗糖尿病视网膜病变患者共166例。现将手术前后的护理报告如下。1资料与方法1.1临床资料：我院行糖尿病性视网膜病变玻璃体切
首先对当前结构动力稳定性的研究状况和已有的判定准则进行了回顾，然后给出了具有几何非线性的杆系钢结构在任意动力荷载（如地震荷载等）作用下的动力稳定性判定方法和准则，并通过
<正> 1 概述客户服务系统以呼叫中心(Call Center)为基础,以电力系统其他后方资源信息(CIS、DMS、SCADA、负荷控制系统等)为依托,为客户提供电话、传真、信函、Internet等多
分析了工程车辆传动系统自激振动产生的原因和机理，并建立了数学模型。经分析，工程车辆传动系统在高滑转率下常会失稳而产生自激振动，对车辆产生不利影响，指出了目前在工程车辆传
通过对目前国内盾构法隧道施工技术水平的研究与分析,指出了现有施工监控与管理中存在的不足之处.本项研究通过采用数据、图像与声音采集及传输技术,建立了一套盾构法隧道施
介绍了工程机械远程监控系统的研制目的和技术方案 .该系统综合了计算机、工程机械性能检测、无线通信和卫星定位等多项技术 .它能够远程检测工程机械的工作状态和位置 ,还能够与驾驶员进行远程对话 ,实现机械化施工的远程调度和指挥 .通过使用该系统 ,工程机械销售、租赁企业可加强对设备的管理和控制 ;工程机械使用企业可提高设备管理和施工组织水平 .
为了确定人血管内皮细胞生长因子在肿瘤生长及转移中的作用。方法：利用ＤＮＡ重组技术表达人ＶＥＧＦ，以其为抗原免疫Ｂａｌｂ／ｃ小鼠，应用杂交瘤技术获得１４株稳定分泌抗ＶＥＧＦ单抗的杂交瘤细胞株。结果ＥＬＩＳＡ测定所分泌