基于逻辑映射的时空本体构造

时间和空间的表示和推理是人工智能研究中重要的组成部分。随着时空信息在地理信息系统、时空数据库、CAD/CAM等领域的重要应用,时空信息的本体表示越来越受到人们的重视。目前时空本体的构造都是基于一阶谓词逻辑,不能直接应用最新的OWL本体语言描述,不利于其在语义Web上的表示和应用。为解决这一问题,该文研究了使用一阶谓词逻辑到描述逻辑的逻辑映射构造的时空本体,给出了基于Web本体语言OWL的时空本体在Protégé环境中的具体实现。     

Web本体服务器及其查询接口

提出了一种基于Web的本体服务器设计,描述了其内部体系结构和与外部交互的过程,在此基础上深入介绍了其查询接口.该本体服务器能够同时为Web用户和软件agent提供本体的查询、编辑和推理等功能.为解决Web环境中大量的异构数据源之间的互操作问题提供了技术方案.     

PCB常见问题排查及解决方法

高速PCB设计是一个非常复杂的设计过程,随着电子技术的飞速发展变化必然会给板级设计带来许多新问题和新挑战,目前电子器材用于各类电子设备和系统仍然以印制电路板为主要装配方式。实践证明,即使电路原理图设计正确,印制电路板设计不当,也会对电子设备的可靠性产生不利影响。所以PCB设计显得极其重要。很多厂家使用的芯片组是相同的,逻辑连接也是相似的,唯一的不同就是各自的PCB设计水平的高低,产品的差异性主要就是体现在PCB的漫计上了。对公司的所有产品进行排查,找出PCB存的问题并找出相应的解决方法,使PCB绘制工作更专业,设计出更经济,稳定,可靠的产品。