论文部分内容阅读
根据计算机联锁安全软件的特点，提出了一种基于人工智能技术的计算机联锁安全软件分级测试案例自动生成策略和算法。自动生成的测试案例集能够用于对被测软件联锁功能的完备测试以及安全防护功能的充分测试。
计算机联锁安全软件测试案例自动生成专家系统
【摘 要】
：
根据计算机联锁安全软件的特点，提出了一种基于人工智能技术的计算机联锁安全软件分级测试案例自动生成策略和算法。自动生成的测试案例集能够用于对被测软件联锁功能的完备测
【机 构】
：
铁道大学电信工程系
【出 处】
：
第八届全国容错计算学术会议
【发表日期】
：
1999年10期
其他文献
本文通过采用水热晶化合成法制备β沸石样品,经XRD和IR光谱进行表征,考察了β沸石的特征其用于高中油型加氢裂化催化剂的催化性能,通过β沸石结构和光谱特性的分析,说明β沸
本文研究了废工业CN-16催化剂再生过程中表面镍的状态变化.通过采用TPR、氢脉冲吸附等表征手段及气相色谱在线分析催化剂、活性实验表明,再生温度在850℃以上时,再生效果较好
在我国,结构轻骨料混凝土应用的历史已经40年,但是对于它的性能大部分人们缺乏认识,在工程建筑上难于接受和采用.在软弱地基上的建筑和桥梁、大跨度土木工程是轻骨料混凝土最
本文对轻骨料混凝土结构构件抗震设计中的几个问题进行了探讨。文章围绕混凝土框架柱轴压比限值、粱柱节点、剪力墙结构进行了论述。
本文分析了语音转换系统中使用高斯混合模型转换声学特征时预测的特征出现过平滑的问题,认为由于协方差估计不准确导致的转换特征细节信息的丢失是过平滑问题的主要原因,因此
本文研究了儿童语音识别和成人语音识别的差异,并总结了儿童的发音特点以及儿童的说话特点,介绍了我们在儿童语音库,数据库方面的一些工作,针对儿童语音识别给出了提高识别率
氢能及燃料电池技术作为先进能源技术领域的重要方向，是当今国际能源科技与产业开发的焦点内容之一。以燃料电池为基础的移动动力和分布式供能系统具有清洁、高效、灵活的特征
采用生物质制氢不仅能够有效利用我国丰富的生物质资源，而且可以实现CO2 的近零排放及能源的可持续发展。生物质制氢主要包括热化学法和生物法两种途径。本文着重介绍了生物质
采用FLUENT 流体力学软件对甲烷水蒸气重整过程进行了热力学计算。重点研究了不同水碳比S/C 以及平衡温度T 对平衡组成的影响。结果显示，在S/C＝4 左右，T>700℃条件下，重整气中H2
电化学阻抗谱是研究电极过程动力学和界面反应的重要手段。采用等效电路分析交流阻抗图谱，对PEMFC 的机理解析具有较大的促进作用。本文测量了单蛇形流场质子交换膜燃料电池在