位置：成果数据库 > 期刊 > 期刊详情页
抽象和求精过程中用算子标识约束信息
  • 期刊名称：计算机科学﹒
  • 时间：0
  • 作者或编辑：3448
  • 第一作者所属机构：吉林大学
  • 页码：2001.09,28（9）﹒66-75
  • 语言：中文
  • 相关项目：基于模型的诊断推理
作者： 程晓春||欧阳丹彤|
同期刊论文项目
基于模型的诊断推理
期刊论文 23 会议论文 3
同项目期刊论文
Kernel Model-based Diagnosis
不确定因果理论诊断的测试
对基于模型诊断过程的形式化
基于模型诊断的元件替换与替换测试
用辩论刻画含约束的诊断空间
基于模型的网络故障诊断方法
不确定因果理论的基于模型诊断
基于模型诊断的研究与新进展
广义因果理论上基于模型诊断过程的形式化
拓展溯因逻辑程序设计的辩论理论基础
基于模型的实质诊断
基于模型诊断方法的系统替换修复与重新配置
抽象算子逻辑及其自然演绎系统
对基于模型的诊断过程的形式化
合成状态图中非预期状态转换路径的确认
用聚类分析方法挖掘Aspect
一种自动化软件设计改进方法
基于模型的动态分层诊断技术
基于模型诊断中计算碰集的方法
面向Java语言的设计模式抽取方法的研究