位置：成果数据库 > 期刊 > 期刊详情页
基于算子矩阵模型的程序诊断方法
  • ISSN号：1671-4512
  • 期刊名称：《华中科技大学学报：自然科学版》
  • 时间：0
  • 分类：TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构：[1]中山大学,信息科学与技术学院,广东,广州,510275 中山大学,信息科学与技术学院,广东,广州,510275
  • 相关基金：国家自然科学基金资助项目(69873047);教育部科学技术研究重点项目(02149).
作者： 范昭赋[1], 姜云飞[1]
关键词： 基于模型的诊断, 程序诊断, 算子矩阵, 同构假定
中文摘要：

提出了用算子矩阵对程序进行建模的一般方法.在此模型上,使用合理的同构假定,运用基于模型的诊断方法对程序进行逻辑错误的诊断,并与经典的诊断模型作了比较.显示了该方法对的适用性,并可以在诊断过程中,有机地结合关于问题的知识和关于程序的知识,使得诊断范围缩小,从而使诊断更精确,效率更高,显示了该方法的优越性.

同期刊论文项目
基于模型的诊断研究及其应用
期刊论文 6
同项目期刊论文
对基于模型诊断测试理论的修正与扩充
用对分HS—树计算最小碰集
一种基于规划知识图的规划识别算法
期刊信息
  • 《华中科技大学学报：自然科学版》
  • 中国科技核心期刊
  • 主管单位:中华人民共和国教育部
  • 主办单位:华中科技大学
  • 主编：丁烈云
  • 地址：武汉珞喻路1037号
  • 邮编：430074
  • 邮箱：hgxbs@mail.hust.edu.cn
  • 电话：027-87543916 87544294
  • 国际标准刊号：ISSN：1671-4512
  • 国内统一刊号：ISSN：42-1658/N
  • 邮发代号:38-9
  • 获奖情况:
  • 全国优秀科技期刊,首届国家期刊奖,第二届全国优秀科技期刊评比一等奖,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:21013