基于本体的语义相似在维修案例推理中应用

案例推理(CBR,Case-Based Reasoning)方法基于历史经验对新问题进行求解,适于飞机维修保障的知识表达和应用.针对飞机维修保障过程中涉及故障记录、诊断分析、维修处理等诸多方面和专业的特点,对相关信息和专业知识的分类方式及相互关系进行了讨论,给出维修保障领域知识和案例知识定义.通过面向对象分析方法建立了产品、故障模式、故障原因和数据字典等领域知识的本体模型,实现知识的一致性描述;重点对案例本体构建和检索进行了研究,基于领域本体结构的深度和出度计算案例特征的语义相似性,给出维修保障案例匹配方法,在此基础上开发了飞机维修保障知识管理系统并给出应用实例.     

深度web资源搜索关键技术

深度web资源是指通过web搜索等形式能够访问的网络数据库资源,由于它与静态网页存在着一些差异,传统的搜索引擎技术不能够很好的实现深度web资源搜索.研究了深度web资源搜索中的若干关键技术,包括深度web资源的自动发现和基于本体的深度web数据抽取.通过实验验证了所提出技术的可用性与高效性.设计和实现了一种新的针对深度web资源的搜索引擎系统,能够获取深度web资源信息,并且利用这些信息抽取出结构化数据,从而为用户或者其他应用系统提供服务.已经应用在国家重大工程项目"国家科技基础条件平台门户应用系统"中,并取得了很好的应用效果.     

基于Event-B的SpaceOS2操作系统任务管理需求形式化建模与验证

随着中国航天技术的发展,航天器系统的软件规模越来越大、复杂度越来越高,对航天软件的正确性、可靠性、安全性等提出了更为严格的要求.形式化方法是提高软件可信性的一个重要途径.利用形式化方法 Event-B对嵌入式操作系统SpaceOS2的任务管理模块的进行需求建模,依靠不变式来保证模型的正确性,并且在Rodin平台上对模型进行了形式化验证,结果表明模型是正确的.     

基于条件随机场的遥感图像语义标注

遥感图像包含的信息丰富,纹理复杂,而遥感图像语义标注又为后续的目标识别、检测、场景分析及高层语义的提取提供了重要信息和线索,这使其成为遥感图像理解领域中一个关键且极具挑战性的任务。首先针对遥感图像语义标注问题,提出采用条件随机场(CRF)框架对遥感图像的底层特征和上下文信息建模的方法,将Texton纹理特征与CRF中的自相关势能结合来捕捉遥感图像中的纹理信息及其上下文分布,采用组合Boosting算法进行Texton纹理特征选择和参数学习;然后将Lab空间中的颜色信息与CRF中的互相关势能结合来描述颜色上下文;最后用Graph Cut算法对CRF进行推导求解,得到图像自动语义标注结果。同时,建立了可见光遥感图像数据库Google-4,并对全部图像进行了人工标注。Google-4上的实验结果表明:采用CRF框架与Texton纹理特征和颜色特征相结合对遥感图像建模的方法与基于支持向量机(SVM)的方法相比较,能够取得更准确的语义标注结果。     

一种基于P2P网络的语义Web服务发现机制

针对如何高效而又准确地发现分布于各地Web服务的问题,基于P2P网络和语义描述提出一种新型服务发现机制,将服务按照语义动态地注册于由委托(broker)管理的不同节点簇,并将语义相似的节点簇组成虚拟语义网,提高了查询效率;采用反馈机制主动监测拓扑节点,和利用节点簇之间的分裂与聚合机制来保证该模型的有效性和性能.最后通过对原型系统的实现证明了该机制的合理性与有效性.      

一个确定汉语句子主干的递归模型

汉语句子主干识别对于整个句子的语义理解起着重要的作用,汉语语义分析在确定一个多动词句子的句子主干等方面有一定的困难.提出了句子的完整语义性概念,通过对语义完整性在句子中的具体表现形式--语义完整块的介绍,分析了句子的完整语义性的特点,尝试利用语义完整性在汉语的多动词句中找出句子的主干,并提供一个递归算法加以描述,并据此建立了一个基于语义完整性的递归模型.     

非单调语义网络中继承的信任理论

描述了一种新的具有例外的多继承语义网络推理方法--继承的信任理论,这是一种很具有吸引力的可废止继承方法.它应用于非循环语义网络的继承的分析,能够产生适合于继承直觉的非多义性结论.文中还讨论了Etherington的基于缺省逻辑的继承理论,提出了继承信任理论和继承信任缺省逻辑.给出了继承信任逻辑的性质,并且证明了构造继承信任缺省逻辑理论的唯一扩张是递推过程.信任理论的扩张能够快速求解.这种快速推理算法可以应用于专家系统推理.     

面向语义的C4ISR/Sim集成系统设计

采用面向服务的体系结构(SOA, Service-Oriented Archilecture)的C4ISR/Sim集成系统可以借助其体系结构的优势,达到信息获取方式和信息表示语法上的一致.提出的面向语义的C4ISR/Sim集成系统通过扩展SOA,采用系统的层次化的语义体系不仅改善了系统构建的灵活性、可重用性和可扩展性等问题,而且实现了集成系统的语义互通.该体系结构以核心服务层的领域本体模型为基础,扩展定制服务层的模型服务语义描述,通过语义服务匹配,实现应用层的需求描述到系统组成之间的自动映射.原型系统的实现证明了设计方法的正确性和可行性.