位置：成果数据库 > 期刊 > 期刊详情页
Deriving all minimal consistency-based diagnosis sets using SAT solvers
  • ISSN号：1002-0071
  • 期刊名称：Progress in Natural Science
  • 时间：0
  • 页码：489-494
  • 相关项目：模型不完备情形下离散事件系统诊断方法的研究
作者： Zhao, Xiangfu|Zhang, Liming|Ouyang, Dantong|Jiao, Yu|
同期刊论文项目
模型不完备情形下离散事件系统诊断方法的研究
期刊论文 82 会议论文 12 专利 1
同项目期刊论文
基于GPU的混合精度平方根共轭梯度算法
基于缩减信念状态的Conformant规划方法
基于路标隐式分解的前向搜索规划方法
广义KRA抽象模型
基于GPU的稀疏矩阵向量乘优化
扩展的G-KRA抽象模型
An artificial bee colony approach for clustering
离散事件系统的同步诊断算法
混成系统的分布式诊断方法
基于GPU的共享信息素矩阵多蚁群算法
不完备模型下的离散事件系统诊断方法
智能世界的建模与诊断
基于本体的分层抽象模型
基于系统中心本体的分层抽象模型
结合约束满足消除误判的等价性验证方法
一种约束粒子群优化的无线传感器网络节点定位算法
基于因果关系的模型诊断
结合增量与启发式搜索的多目标问题处理方法
不确定区域间方向关系的相似性度量方法
三个简单区域间的拓扑关系的推理及应用模型
基于具有自适应与自学习能力的粒子群优化算法的车间调度算法
使用SAT求解器产生所有极小冲突部件集
一种改进的基于结构抽象的分层模型诊断方法
一种双嵌套区域与简单区域间的拓扑关系模型
Formal model extraction for combinational equivalence checking
基于动态值启发式的约束满足求解算法
基于模型诊断的抽象分层过程
混合语义约简和选择估值优化SPARQL
一个结合多方面定性空间信息的新方法
凹形区域和带单洞区域间拓扑关系的表示
Integrity maintenance of continually changed OWL ontology
一种动态定性空间关系自动规划方法
基于动态极大度的极小碰集求解方法
动态不确定环境下多目标路径规划方法
一种用于常识空间信息处理的定性空间关系模型
电子细胞模型Analog-Cell中前体mRNA剪接过程的模拟与研究
The Parallel Theorem Proving Algorithm Based on Semi-Extension Rule
利用标志传播求解基于模型的故障诊断
结合look-ahead值排序的自适应分支求解算法
基于极性的非循环术语集调试
路标计数启发式引导的分解规划方法
基于分割的超树分解方法
通用化和个性化在线学习新模式的研究与探讨
一种基于环切割的约束满足问题求解算法
一种基于冲突的增量诊断方法
基于等价类划分的配置求解与解释计算
改进求解约束满足问题粗粒度弧相容算法
Mapping integrity constraint ontology to relational databases
基于语义的主题爬行策略