论文部分内容阅读
根据计算机联锁软件失效危险严重性等级的不同，科学地建立了安全性评估指标，介绍了重要抽样的基本原理．以及利用层次分析法确定抽样概率。重点研究了基于重要抽样方法在计算机联锁软件测试和评估中的具体应用。实验证明，该方法在不影响评估结果的准确性情况下，解决了传统联锁软件测试效率低的问题。
基于重要抽样的联锁软件安全性评估
【摘 要】
：
根据计算机联锁软件失效危险严重性等级的不同，科学地建立了安全性评估指标，介绍了重要抽样的基本原理．以及利用层次分析法确定抽样概率。重点研究了基于重要抽样方法在计算机联
【机 构】
：
同济大学电子与信息工程学院,青岛科技大学信息科学技术学院
【出 处】
：
微电子学与计算机
【发表日期】
：
2007年11期
【基金项目】
：
国家自然科学基金项目（60674004）
其他文献
在分析了STL（StereoLithography）数据特点的基础上，针对STL数据冗余，不适合直接网上传输的特点．设计了网络传输文件T文件，减少了网络数据传输量。研究了STL数据到T文件的转换方法，并
我院2002年1月至2003年6月经治小儿注射性性坐骨神经损伤15例,笔者对其临床特点及神经传导速度检查的价值进行分析,报告如下.
采用宏观分析、化学成分分析、金相及硬度检验、力学校核及工况条件分析等方法对某采煤机二轴齿轮片状剥落与断裂的原因进行了分析。结果表明：由于加工工艺不当导致齿轮齿面存
通过对锈蚀穿孔的天然气用不锈钢焊管进行化学成分分析、硬度检测、金相高倍检验以及焊管腐蚀形貌观察,结合钢管的使用环境,分析和讨论了不锈钢焊管锈蚀穿孔的性质和原因。结