排序方式: 共有67条查询结果,搜索用时 93 毫秒
11.
13.
分析了本体重用的研究现状和目前重用方法只适用于单个独立本体的不足,以ε-Connections语言构建的模块化本体库为研究对象,基于保守扩充理论提出了本体模块知识完整性概念,并证明了知识完整性的相关性质.在此基础上,给出了一种针对模块化本体库的保守扩充重用算法ERMMO(extracting reused modules from modularontologies),讨论了该算法的两种子算法EMMOIK和EMOIK的特点及适用条件.分析并验证了ERMMO算法的可行性和正确性.ERMMO算法是当前保守扩充重用算法的一般化扩充,对模块化思想应用于本体重用问题有所启示. 相似文献
14.
多点传输过程中存在靠近协作基站窃听威胁,导致网络资源传输安全性差问题。为此提出基于云计算虚拟资源增强型多点安全传输方法。通过虚拟化技术将物理资源抽象为相同的虚拟资源,构建云计算资源管理框架平台,将用户的数据信息存储在资源服务器数据库内。采用安全保护域增强型多点协作传输机制,以微基站作为中心建立安全防护域,判断在传输过程中是否存在监听设备。通过在传输信息时发送人工噪声,减少协作微基站附近的监听威胁,实现增强型多点安全传输。仿真结果表明:所提方法能有效降低信息被窃取概率,提高数据传输速度和吞吐量,加强数据传输的安全性。 相似文献
15.
16.
分析描述逻辑循环术语集的研究现状和存在的问题,在F.Baader和S.Brandt的基础上进一步研究带RVM的描述逻辑εL混合循环术语集的语义及推理问题.给出带RVM的εL混合循环术语集的语法和语义.针对带RVM的εL混合循环术语集包含推理的需要,提出TBox-完全的概念,并重新定义描述图,使用描述图之间的模拟关系和TBox-完全给出最大不动点语义和描述语义下带RVM的εL混合循环术语集的概念包含推理算法,证明推理算法的正确性,并证明推理算法是多项式时间复杂的. 相似文献
17.
描述逻辑εL混合循环术语集的LCS和MSC推理 总被引:2,自引:0,他引:2
分析了描述逻辑循环术语集的研究现状和存在的问题,在F.Baader工作的基础上进一步研究了描述逻辑εL混合循环术语集的LCS(least common subsumer)和MSC(most specific concept)推理问题.给出了εL混合循环术语集的语法和语义.针对εL混合循环术语集LCS和MSC推理的需要,提出了TBox-完全的概念,并重新定义了描述图.使用描述图和TBox-完全给出了最大不动点语义下εL混合循环术语集LCS和MSC的推理算法,证明了推理算法的正确性,并证明了推理算法是多项式时间复杂的.该推理算法为εL混合循环术语集的LCS和MSC推理提供了理论基础. 相似文献
18.
分析了描述逻辑与信息集成的关系,以及描述逻辑在信息集成中的研究现状和存在的问题。在DCal-vanese的工作基础上,进一步研究了P2P环境下基于描述逻辑DLR的信息集成机制,提出了基于DLR的P2P信息集成系统的形式化定义,重点研究了如何将P2P信息集成系统转化为一个统一的描述逻辑系统GDL,并证明了该转化方法的正确性,给出了P2P环境下基于DLR的信息查询方法及其实现方法。 相似文献
19.
一种基于本体的主体服务快速匹配算法 总被引:2,自引:0,他引:2
分析了目前主体服务匹配中存在的问题,研究了目前主体服务匹配算法效率低的原因。为了提高主体服务匹配的效率,提出了主体服务本体的概念,研究了如何根据主体服务本体来组织主体服务,提出了一种基于本体的主体服务快速匹配算法,从理论上分析了该服务匹配算法的性能特点,并用仿真实验验证了该服务匹配算法的有效性。 相似文献
20.
QoS驱动的主体服务匹配 总被引:9,自引:1,他引:9
分析了目前主体服务匹配的研究现状和存在的问题,为了正确匹配到用户最满意的主体,提出了一个服务质量(Quality of Service,QoS)模型,该模型比较客观的反映了主体服务非功能属性的特征,并研究了该QoS模型上的各种计算和评价方法,在QoS模型的基础上,重点研究了一种QoS驱动的主体服务匹配算法,该算法克服了KSycara,K Arisha、G J Wickler和Z Zhang等人提出的主体服务匹配算法中存在的不足,最后用仿真实验验证了提出的主体服务匹配算法的有效性。 相似文献