位置：立项数据库 > 立项详情页
基于模型的诊断若干关键问题研究及其在配置中的应用
  • 项目名称：基于模型的诊断若干关键问题研究及其在配置中的应用
  • 项目类别：面上项目
  • 批准号：60873148
  • 申请代码：F020509
  • 项目来源：国家自然科学基金
  • 研究期限：2009-01-01-2011-12-31
  • 项目负责人：李占山
  • 负责人职称：教授
  • 依托单位：吉林大学
  • 批准年度：2008
中文摘要：

基于模型的诊断作为人工智能领域一个十分重要的研究方向，受到学术界与产业界的密切关注。近年来，其研究的新理论和新技术为诊断在工农业生产、航空航天等领域的应用提供了强有力的技术支持；反之，基于模型的诊断方法在实践中产生的新问题又对学术界提出新的课题，需要新的理论与方法加以解决，因此基于模型的诊断研究具有极其重要的理论与现实意义。本项目主要研究1研究一项动态确定分层描述的诊断技术，降低问题复杂性，提高诊断效率；2研究一种静态与动态相结合的诊断分解方法,减小问题求解规模，达到提高诊断效率的目的；3研究通过替换测试的方法进行候选诊断的鉴别以及系统的修复,并把研究结果应用到重新配置与产品设计中；4研究把基于模型的诊断分解理论应用到配置求解的方法，达到提高配置求解效率的目的；5研究利用诊断的冲突计算方法进行配置求解中冲突的解释与择优蕴涵处理，把诊断方法应用到新的问题领域。

中文主题词： 基于模型的诊断；分层描述；诊断分解；替换测试；配置求解
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 65
  • 6
  • 0
  • 0
  • 0
期刊论文
基于GPU的混合精度平方根共轭梯度算法
不完备模型下的离散事件系统诊断方法
Optimize Diagnosability and Sensor Placement in Discrete Event System
A Novel Hybrid Differential Evolution and Particle Swarm Optimization Algorithm for Unconstrained Op
Deriving all minimal consistency-based diagnosis sets using SAT?solvers
基于等价类划分的配置求解与解释计算研究
产品配置器的设计
图分割在Singleton弧相容算法中的应用
在离散事件系统中寻找诊断路径的方法
基于模型诊断的改进贝叶斯方法
离散时间系统的同步诊断算法
Model Counting with Boolean algebra and Extension Rule
结合增量与启发式搜索的多目标问题处理方法
基于具有自适应与自学习能力的粒子群优化算法的车间调度算法
使用SAT求解器产生所有极小冲突部件集
基于ATMS的冲突识别及诊断测量方法
基于动态值启发式的约束满足求解算法
基于模型诊断的抽象分层过程
间接使用扩展规则求解#SAT问题
混合语义约简和选择估值优化SPARQL
Dynamic Theorem Proving Algorithm for Consistency-based Diagnosis
无环配置问题研究
一个结合多方面定性空间信息的新方法
一种动态定性空间关系自动规划方法
电子细胞Analog-Cell的并发机制
The Modeling Procedures for Model-Based Diagnosis of Slowly Changing Fault in Hybrid System
An Efficient Lightweight RFID Authentication Protocol for Low-cost Tags
Verilog Combinational Equivalence Checking based on SMT Constraint Solver
A new qualitative spatial reasoning model for natural language understanding
基于动态极大度的极小碰集求解方法
基于模型的混杂系统中控制器故障诊断方法
关于改进求解约束满足问题粗粒度弧相容算法的研究
约束分解技术回顾与展望.
一种基于环切割的约束满足问题求解算法.
Eliminating Repeated Constraint Checks in MaxRPC Algorithms.
基于AC-4的动态值启发式约束满足问题求解算法.
动态不确定环境下多目标路径规划方法
A Self-adaptive Differential Evolution Algorithm for Binary CSPs
Translation of SPARQL to SQL based on Integrity Constraint
一种用于常识空间信息处理的定性空间关系模型
利用标志传播求解基于模型的故障诊断
基于分割的超树分解方法
一种基于环切割的约束满足问题求解算法
基于等价类划分的配置求解与解释计算
改进求解约束满足问题粗粒度弧相容算法
Mapping integrity constraint ontology to relational databases
一种基于图形处理器的频繁模式挖掘算法
一种基于图形处理器的压缩单纯形方法
基于语义的主题爬行策略
会议论文
Key Value Ordering Heuristic for Solving Algorithm Based on the AC-4
Value Ordering Heuristic for Solving Algorithm Based on the AC-4 Algorithm
Computing minimal diagnosis with binary decision diagrams algorithm
On Research Of Optimization Strategy For Dynamic Backtracking
maxRPC algorithms based on bitwise operations.
Singleton Arc Consistency Based On Failure-First Principle
相关项目
模型不完备情形下离散事件系统诊断方法的研究
期刊论文 82 会议论文 12 专利 1
基于模型的诊断推理
期刊论文 23 会议论文 3
基于模型的结构性程序错误的诊断方法研究
期刊论文 36 会议论文 5
离散事件系统基于模型的分布式在线诊断方法研究
期刊论文 35 会议论文 3 著作 1
李占山的项目