基于VC的故障树晚期不交化.pdf
由于故障树底事件之间的相容性，必须对定性分析所求的最小割集进行不交化才能进行定量分析。我们引进了状态空间的概念，定义cube子集的运算并结合递归Sharp算法获得故障树的不交化蕴涵族，并加以VC实现。
作者：SUXiaoqin 苏晓勤
作者单位：CollegeofInformationEngineeringatTianjinUniversityofCommerce,Tianjin300134天津商业大学信息工程学院,天津,300134
母体文献：第18届全国计算机新科技与计算机教育学术大会论文集
会议名称：第18届全国计算机新科技与计算机教育学术大会
会议时间：2007年8月13日
会议地点：太原
主办单位：全国高等学校计算机教育研究会,中国计算机学会,全国计算机继续教育研究会
语种：chi
分类号：
关键词：程序语言 故障树 定性分析 不交化蕴涵族 递归算法
在线出版日期：2013年5月28日
基金项目：
相似文献
相关博文
- 文件大小:
- 168.61 KB
- 下载次数:
- 60
-
高速下载
|
|
