暂无评论
为了判定描述逻辑SHIN的ABox一致性，提出了一种Tableau算法。给定TBox T、ABox A和角色层次H，该算法通过预处理将A转换成标准的ABox [A]，按照特定的完整策略将一套Table
针对周期控制系统的时序一致性进行研究, 提出基于SPARDL(space aircraft description language)的模型和程序一致性测试方法, 通过模型抽取获取模式迁移图和控制流程
论文研究-基于自然语言符号表示的比较矩阵的一致性及排序方法.pdf, 基于自然语言符号表示的比较矩阵 (简称为语言比较矩阵 )是决策者针对有限方案集给出的一类两两方案比较的偏好信息形式 .本文从理论
一致性Hash算法的原理及实现
AHP中专家判断信息的提取及一致性调整的方法,王国华,熊立,本文探讨了层次分析法中专家判断信息的提取以及判断矩阵一致性调整的一种方法,其主要思想是通过提取专家判断矩阵中具有相关逻辑�
首先分析了本体创建的一般过程,定义了一组时间关系的表示函数及通用的时间限制性公理;在此基础上设计一个面向带时间特征的概念属性逻辑关系一致性分析算法;最后,直接针对本体概念的时间属性,设计了一个时间属性
针对特征模型的演化导致特征间的冲突问题,从特征模型的演化方面进行研究,提出了一种基于本体的特征模型演化的一致性验证方法。首先采用本体理论方法对特征模型的演化进行分析和建模,建立本体的特征模型元模型;其
Raft公式算法的思维导图
随机抽样一致性matlab代码,初学者可以多看看,不错的资料。
IEC61850一致性测试概要
暂无评论