【摘 要】
：
提出了用算子矩阵对程序进行建模的一般方法.在此模型上,使用合理的同构假定,运用基于模型的诊断方法对程序进行逻辑错误的诊断,并与经典的诊断模型作了比较.显示了该方法对
【基金项目】
：
国家自然科学基金资助项目(69873047),教育部科学技术研究重点项目(02149).
论文部分内容阅读
提出了用算子矩阵对程序进行建模的一般方法.在此模型上,使用合理的同构假定,运用基于模型的诊断方法对程序进行逻辑错误的诊断,并与经典的诊断模型作了比较.显示了该方法对的适用性,并可以在诊断过程中,有机地结合关于问题的知识和关于程序的知识,使得诊断范围缩小,从而使诊断更精确,效率更高,显示了该方法的优越性.
其他文献
目的构建小鼠Ipr1(intracellular pathogen resistance 1)基因真核表达载体。方法从C57BL/6J小鼠胸腺组织提取总RNA,以RT-PCR法调取Ipr1基因编码序列,克隆至pMD19-Tsimple载
电能不能直接储存的特点，与用电设备和用电的随意性之间存在着不协调笥和不一致性，电网中形成峰谷负荷即是必然的结果：它促使电力工作者对调峰问题必须给予充分地重视。本文主要
目的研发一种血吸虫病快速诊断试剂。方法应用血吸虫病病人和健康人血清测试胶体金免疫层析法（GI-CA）试剂的敏感性、特异性、交叉反应、重现性和稳定性;并与DIGFA及IHA方法比较
目的制备特异性抗旋毛虫的鸡卵黄免疫球蛋白,研究其免疫应答规律及其稳定性。方法用纯化的旋毛虫幼虫免疫育龄种鸡,经水稀释法初步纯化浓缩后获得卵黄抗体。应用酶联免疫吸附
分析了多路共享可以改善长相关特性的自相似业务模型在长队列缓存模型下的排队性能,有效降低Hurst参数.在长期相关(LRD)和短期相关(SRD)的混合业务流模型下,提出了采用少量光
目的了解浙江地区肺炎链球菌临床菌株对临床常用抗生素耐药性以及肺炎链球菌对大环内酯类抗生素耐药机制。方法从浙江省不同地区病人临床标本中分离并鉴定肺炎链球菌138株。
采用κ-ε方程湍流模型和有限体积法,对轴对称回转体绕流场和表面压力分布进行了数值模拟,并与有关文献给出的计算结果和实测值进行了比较和验证.结果表明,表面压力沿船长的
本文提出,“跟踪改革,对立体制”是解决外贸问题的出路所在,也是外贸体制进一步改革所具有的特殊形式。作者认为,对应体制的关键是建立新型调控体系,重点是调动企业积极性,加强企业之间的横向经济联系。文章特别指出,近期外贸体制对应改革能否成功,很大程度上取决于出口生产体系的建立与否。外贸体制进一步改革的当务之急是必须做好下述几个方面的工作:总体设计;定量分析;政策配套;宣传教育;干部素质;管理体制。
通过理论分析和测试发现,对大多数字符串而言,按某个方向搜索文本总是会比按另一个方向的搜索速度快.提出了新的预处理算法,在使用Boyer-Moore算法之前先确定一个较优的搜索