论文部分内容阅读
本文讨论了基于系统级故障诊断矩阵方法的软件集团测试，定义了测试矩阵和邻接矩阵，由此能直观、简便地生成集团和极大独立点集．本文为软件集团测试算法作了准备．
基于系统级故障诊断矩阵方法的软件集团测试
【摘 要】
：
本文讨论了基于系统级故障诊断矩阵方法的软件集团测试，定义了测试矩阵和邻接矩阵，由此能直观、简便地生成集团和极大独立点集．本文为软件集团测试算法作了准备．
【机 构】
：
长沙通信职业技术学院,邵阳学院计算机系
【出 处】
：
邵阳学院学报：自然科学版
【发表日期】
：
2007年3期
【基金项目】
：
湖南省教育厅一般项目“基于模型检测的程序测试”（湘财教指2005[46]号）部分成果
其他文献
本文阐述了聚类分析和分支分析的理论和方法。对我国学者提出的三种分支分析方法进行了比较,利用金花茶组七个种的35个性状进行了聚类分析,并认为七个种都是成立的。利用KEXU
本文综述了用HPLC拆分手性胺类药物对映体的三种方法,即手性衍生化法、手性流动相添加剂法和手性固定相法。
各位领导、各位来宾、各位会员、理事、常务理事：大家上午好!河北省遥感应用协会自2005年7月21日成立至今，已经走过了十年不平凡的历程。十年来，在上级主管部门河北省地矿局的关
随着沿海工业、农业的迅速发展,赤潮作为海洋灾害之一出现频率越来越大,造成的损失也日益严重,已经引起人们的特别关注。本文拟就赤潮的特点与产生机理进行分析并结合实例及
文章从变压器的最基本原理进行分析,找出导致变压器损耗的因素,并据此分析了370MW电力变压器的效率特性,并从其效率特性出发,找出减少变压器损耗的方法和途径,以实现变压器运
准确判定结构超静定次数，是正确选择结构设计方法的前提条件．本人在结构力学教学实践中发现许多同学在这一问题上困惑不解，往往判定结果出现偏差．本文试就这一问题加以浅析．
商场属于人员密集型场所,是火灾防控的重点难点所在。火灾发生后提高火灾调查能力,有利于明确火灾发生的原因,为火灾的预防提供依据。商场火灾频发也对商场自身防火性能提出
文章通过对五间房煤田的勘查，从地质勘探、地质构造、煤层的划分及煤质分析和煤资源量估算，充分细致地作了分析研究及探讨，从而为我区煤炭事业的发展，提供了可靠依据。