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

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

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

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

基于语义的仿真网格模型资源发现技术

针对现有网格资源管理中间件缺乏对仿真模型资源语义层次的描述和发现匹配这一问题,引入本体概念,定义了仿真模型描述本体,实现了对仿真模型的语义描述;提出了基于本体推理的仿真模型语义匹配算法,将仿真模型语义匹配的量化程度映射到了 上的连续值域,并且支持仿真模型输入/输出的组合匹配;将研究结果应用于仿真网格的仿真模型匹配发现服务的实现中,通过典型的应用实例,有效地验证了提出的仿真模型描述本体和语义匹配算法.      

基于两层元数据与本体的异构数据共享技术

针对多源、多类、异构数据难以同时共享的问题,提出了一种两层元数据结合本体的信息共享技术.首先,分析了两层元数据的结构,介绍了如何通过两层元数据统一描述多类异构数据.其次,针对元数据缺乏语义信息不能描述数据类别之间的隐含关系的问题,在元数据之上建立本体层,对元数据进行语义描述和本体推理.最后,在数据检索方面,利用Lucene全文检索引擎与SPARQL(Simple Protocol and RDF Query Language)本体查询语言相结合,在关键词查询过程增加了SPARQL检索操作,提高了查全率,并优化了检索时间.实验选取了2014-2015赛季欧洲足球冠军联赛数据作为测试数据,证明了本文方法在异构数据共享上的有效性和元数据查询性能的改进.      

KEDE—一个集成化的知识工程开发环境

KEDE是一个知识工程开发环境,它将框架、语义网路、生产式规则、逻辑及面向对象等知识表示有机地结合在一起,具有多种推理机制和程序设计风格,提供友好的用户界面,从而构成一个功能强、使用方便的集成化知识工程开发环境,用于开发各种复杂知识的大型专家系统。本文概述了KEDE系统的总体框架,并讨论了集成化的知识表示方法和实现策略。     

基于XML的自动测试系统资源描述方法

针对当前自动测试系统(ATS,Automatic Test System)信息共享和互操作能力差的问题,应用XML(eX lensibleMarkup Language)语言实现了ATS的模型化描述,模型化的信息包括测试设备、接口连接装置ICA(Interface ConnectorAssembly)、测试适配器和被测设备UUT(UnitUnder Test).对测试设备的性能和UUT测试需求采用统一的信号与测试定义标准STD(signal and test definition)进行描述,实现了测试设备性能与UUT测试需求的自动匹配.通过引入逻辑资源的概念对测试设备性能与仪器通道之间的动态映射关系进行描述,以实现测试过程中仪器资源的合理分配.采用XML作为ATS的建模语言,提高了ATS资源建模的开发效率和系统内信息的互操作程度.     

组合服务控制流测试

结合Web服务本体语言(OWL-S,Web Ontology Language for Services)和线性时态逻辑理论(LTL, Linear Temporal Logic),研究用于测试的组合服务流程形式化描述方法和动态测试信息分析方法.将OWL-S作为组合服务的需求参考模型,采用组合服务标准和形式化描述方法相结合的方式,用线性时态逻辑刻画OWL-S控制结构的动态语义,明确地表示出控制结构中各成分的执行顺序.进一步用线性时态逻辑公式集合描述组合服务的控制流需求,从而使原子服务的交互模式有了明确的表示.基于这种交互模式表示,采用LTL在有限状态序列上的语义,对组合服务实现执行过程中获取的动态信息进行分析,测试组合服务实现的执行过程与组合服务控制流需求的一致性.     

基于本体映射的产品概念设计方案生成新方法

将本体与本体映射引入产品概念设计方案生成领域,提出了一种基于本体映射的产品概念设计方案生成新方法,有助于解决传统概念设计方案生成算法中由于知识描述不一致而导致的产品设计知识重用困难,以及设计方案生成准确性低的问题.该方法使用本体知识表示方法建立产品设计知识库;使用本体映射算法自动地搜索产品设计知识库中符合设计需求的产品概念设计方案.通过起重机起升机构驱动装置设计实例,验证了基于本体映射的产品概念设计方案生成新方法的正确性和有效性.     

MBD模型本体建模及检索技术研究与应用

针对产品全三维数字化研制中产生的MBD历史建模数据重用性需求,提出了一种基于本体技术的MBD模型知识表达与管理方法,综合考虑几何信息与非几何信息进行检索应用。首先,根据MBD数据集规范性要求,以模型检索为目的,构建本体结构,分为几何信息层与非几何信息层进行具体阐述;其次,根据已构建本体结构,给出几何信息层与非几何信息层相似性对比方法;最终,综合几何信息与非几何信息,实现MBD模型检索。本文方法通过本体技术,将MBD模型数据进行结构化、语义化表达和存储,在此基础上,综合考虑几何信息相似度及非几何信息相似度,进行相似模型检索,实现MBD模型信息重用。     

基于本体的仿真系统全生命周期管理

建模与仿真(M&S)作为一门新兴的综合性技术,已成为继理论分析和实验实践之后第3种认识和改造客观世界的方法.首先针对M&S的需求,提出了仿真系统全生命周期管理(SSLM)的概念,进而指出SSLM作为仿真系统支撑环境的一项关键技术,能对仿真系统全生命周期中的过程和信息进行全面管理,实现目前产品全生命周期管理(PLM)尚未实现的功能.建立了基于本体的面向全生命周期三维模型,提出了基于本体论的SSLM内容管理方法,定义了面向SSLM的本体,它包括基本本体、领域本体和应用本体.在此基础上,用SSLM本体定义中的谓词构成查询语句,实现了基于语义的模型查询.      

基于WordNet本体和PLSA的语义Web服务发现

提出了一种基于WordNet本体标注和概率潜在语义分析(PLSA,Probabilistic Latent Semantic Analysis)的语义Web服务发现方法OntoPLSA.首先使用WordNet本体标注Web服务的操作名、参数以及用户请求,以经过标注后的输出参数集合为词汇集,服务描述文档集合为文档集,组成词汇-文档矩阵,以该矩阵为输入,使用PLSA方法对服务集进行分类,并将用户请求带入PLSA模型,确定其所属的类;然后在类中以标注后的输出参数为键,含有这个输出的服务的列表为键值,建立一个映射表,查找与用户请求的输出相似的映射表键,进而找出对应的键值,即服务列表;最后根据QoS(Quality of Service)和用户请求中的输入参数确定满足条件的服务结果集合.在415个Web服务组成的数据集上的测试结果表明,性能较其他方法有优势,召回率和R准确率也得到了改善.     

基于能力的工作流任务组织化

为解决一般工作流模型中"活动-成员"的紧耦合链,改进任务分配的柔性和适应性,提出了工作流活动和成员的能力概念.描述了能力本体模型和基于能力的任务组织化原则,建立了"活动-能力-成员"三层结构的过程元模型,给出了一系列能力匹配策略的形式化描述.上述概念和方法在开放边界工作流系统ABCflow中得到应用和验证.      

计算机辅助FMECA软件模型

从CAD框架和软件体系结构的角度出发分析、建立计算机辅助FMECA软件模型.首先分析研究了FMECA软件的目标和设计思想,进而重点描述FMECA软件应用OTO-D语义模型建立数据模型和软件框架结构;产品描述关系型数据库模型和可视化形式、上下自动转换的FMECA和信息查询自动化等的实现技术.