论文部分内容阅读
虽然ＭｃＩｌｒａｉｔｈ和Ｒｅｉｔｅｒ对基于模型诊断的测试进行了阐述，但他们的工作限定条件过于严格，该文放宽了相关测试定理的限定条件，给出了修正后的相关测试定理及其证明，作为对ＭｃＩｌｒａｉｔｈ工作的推广，对鉴别诊断原理的测试条件进行了扩充，提高了鉴别测试的适应性。
对基于模型诊断测试理论的修正与扩充
【摘 要】
：
虽然ＭｃＩｌｒａｉｔｈ和Ｒｅｉｔｅｒ对基于模型诊断的测试进行了阐述，但他们的工作限定条件过于严格，该文放宽了相关测试定理的限定条件，给出了修正后的相关测试定理及其证明，作为对ＭｃＩｌｒａｉｔｈ工作的推广，对鉴别诊断原理
【机 构】
：
吉林大学计算机科学系
【出 处】
：
软件学报
【发表日期】
：
2000年7期
【基金项目】
：
国家自然科学基金!(Nos.69783009,69873047,6 9903005)资助
其他文献
糖尿病酮症酸中毒（DKA）和高血糖高渗状态（HHS）均是糖尿病的急性并发症,二者合并临床上极少见,发病率为15%～20%,病死率高达40%～70%,而在此基础上并重症肺炎,从而明显增加糖尿病的死
工程管理专业是工程学和管理学的交叉学科,双语课程是在专业课程和专业英语等先行课程的基础上设置的,从本专业的特点看双语课程可以选择《国际工程管理》。《国际工程管理》
期刊
本文运用文献法、比较分析法等研究方法,对影响径赛分道跑项目比赛成绩的因素进行深入的探讨。旨在促进运动员比赛时水平的发挥,提高比赛的观赏性,同时也为径赛的公平性提供
房地产项目设计过程，重设计、轻管理的现象比较普遍，对项目运作的有效性造成影响，如何从设计定位、思路、选才、交流等方面加强设计过程的有效管理，成为房地产项目运作的重要课题
数据库技术的广泛应用以及数据仓库技术的出现为决策支持系统提供了新的发展方向。联机分析处理（ｏｎｌｉｎｅ ａｎａｌｙｔｉｃａｌ ｐｒｏｃｅｓｓｉｎｇ，简称ＯＬＡＰ）正是在数据仓库的基础上发展起来的一门崭新的决策支持技术，在给出用于
本文阐述了目前安全工程专业课程考核方式的弊端,进而根据安全工程专业的一些特点提出了符合该专业实际的课程考核方式,并提出了具体的实施方案,为安全工程及其他类似工科专