排序方式: 共有10条查询结果,搜索用时 0 毫秒
1
1.
2.
3.
4.
5.
为让计算机智能地处理物流应急预案,将每个物流应急预案表示为一个应急预案本体,通过计算概念和应急预案本体的相关程度,从而找到所需物流应急预案。用OWL:imports和Jena规则可连接应急预案本体,从而形成内容更全面的预案,但会破坏原有应急预案本体语义,产生不一致问题,所提出的约束原则有效避免了这一问题。应用SPARQL查询应急预案本体,并通过自定义原语和规则弥补应急预案本体在表达能力上的不足,以有效地对应急预案本体进行推理,从而找到所需结论,进而实现了基于本体的物流应急预案的表示和应用。利用本体的语义表 相似文献
6.
原子分解是理解本体内部模块结构的有效途径。以局部化模块抽取为基本操作的原子分解方法可用于强表达力的SROIQ本体,但效率较低。基于有向超图的本体模型能够显式地反映原子的依赖关系,但只局限于弱表达力的EL本体。提出一种混合的原子分解算法,首先利用有向超图表示EL子本体,形成部分原子分解,利用模块抽取方法添加剩余非EL公理,得到本体的全部原子分解。以生物医学本体作为测试数据,实验表明,这种混合的原子分解算法能够有效减少运行时间。与传统的基于模块抽取的方法相比,原子分解效率平均提高6.7倍。 相似文献
7.
针对城市大量供热企业能耗高、缺乏统一有效的节能检测及监控技术的现状,为降低研发和运维成本,设计并实现了一种基于多租户模式的节能检测及监控系统.采用隔离数据库,共享应用实例的体系架构以及基于元数据驱动的策略,设计了支持多租户的数据存储模型与多租户个性化定制的核心机制,实现系统的可配置,为租户按需提供服务.在此基础上,针对多数据源间的动态选择以及数据安全问题给出了一套解决方案,从而使得一套应用程序可以同时为多个租户提供服务,在保证数据安全的同时又提高了资源利用率. 相似文献
8.
变量消除算法作为一种重要的预处理算法已经应用于多种预处理器中。对比研究了在不同约束条件下,变量消除算法对简化性能和求解性能的影响,提出了基于子句文字长度动态约束的变量消除算法。该算法只允许当变量分解后的子句文字长度比原有子句文字少时,执行变量消除替换操作。在此基础上实现了一个基于Mini Sat开源代码的可满足性问题预处理器Mini Sat BFS。实验结果表明,与现有的基于子句数目约束的算法相比,新算法不仅降低了子句、变量和文字的数目,而且缩短了预处理过程和求解过程的时间消耗。更重要的是,改进后的算法在限定时间内可以求解更多的可满足性问题。 相似文献
9.
在研究多种Agent系统的体系结构的基础上给出通用的多Agent系统平台和移动Agent的体系结构,并在开源的JADE上实现了一个通用的移动Agent系统快速集成开发环境原型,采用“Framework-plugin”和分层的设计模式,通过对配置文件的动态加载可以快速灵活地建造适用不同要求和具有不同属性的移动Agent系统。 相似文献
10.
1