一致性判定相关论文
描述逻辑(DL)作为一类用于知识表示的形式化工具,具有较强的表达能力和可判定性。近年来,随着语义Web的兴起,描述逻辑成为了知识表......
Markov跳变线性系统(MJLss)是一类具有Markov跳变参数的线性系统．它的建模动态包含两种形式：一种为模态，具有Markov特性；另一种为状态，......
介绍了条件函数依赖理论及如何用于检测不一致数据。首先介绍了条件函数依赖的概念及其推理系统，以及如何通过依赖传播实现视图的规......
分布式程序目前被大量使用.由于并发的存在,测试分布式程序需要采用事件约束来判定运行事件序列的正确性,事件约束之间需要判定一......
利用模糊层次分析法（FAHP）评测Web资源质量时,模糊逻辑的引入使成对比较矩阵的一致性判别成为难点。为此,设计最大隶属度元素值替代......
