范昭赋
- 作品数：4 被引量：8H指数：1
- 供职机构：中山大学更多>>
- 发文基金：国家自然科学基金教育部科学技术研究重点项目更多>>
- 相关领域：自动化与计算机技术机械工程更多>>
- 关于智能诊断中模型的构建和应用被引量：7
- 2006年
- 在基于模型的诊断中,模型起着关键性的作用,模型的质量直接影响诊断的准确度和诊断的效率.因此诊断模型也成为人工智能研究青普遍关注的热点问题。长文对基于模型的诊断方法和该领域的最新研究成果做了全面的综述,重点介绍了构建诊断模型方面的研究成果,其中包括分级结构抽象方法、基于状态转换的历程重构方法、依赖于任务的定量抽象方法以及利用过程代数的描述方法等。此外,本文还对诊断模型的构建的研究提出了自己的观点和建议。
- 姜云飞范昭赋
- 关键词：智能诊断模型构建
- 基于算子分量矩阵模型的IMP程序诊断
- 本文致力于将基于模型的诊断方法应用在程序诊断上,以一种简单的命令式程序语言IMP编写的程序为诊断对象,提出了一种以算子分量矩阵为模型的程序诊断方法。算子分量矩阵模型将一个程序表示为在特定的状态空间下的若干个以算子分量来描...
- 范昭赋
- 关键词：遗传编程
- 文献传递
- 基于算子矩阵模型的程序诊断方法被引量：1
- 2005年
- 提出了用算子矩阵对程序进行建模的一般方法.在此模型上,使用合理的同构假定,运用基于模型的诊断方法对程序进行逻辑错误的诊断,并与经典的诊断模型作了比较.显示了该方法对的适用性,并可以在诊断过程中,有机地结合关于问题的知识和关于程序的知识,使得诊断范围缩小,从而使诊断更精确,效率更高,显示了该方法的优越性.
- 范昭赋姜云飞
- 关键词：算子矩阵
- 对“公平交易系统”的开发与研究
- 2002年
- 为了适应世界发展的大趋势,支持国家建设电子政府,深圳市工商管理局与中山大学信息科学与技术学院IBM实验室共同研究开发了“公平交易系统”。本文通过对系统的功能和设计思想的描述,介绍了本系统特有的复杂流程设计和权限控制以及两种数据库协同使用涉及的结构化与非结构化数据存储的转换。
- 钟琳常会友范昭赋
- 关键词：办公自动化系统工作流数据共享软件开发
