基于知识本体的资源管理平台框架设计与实现

针对大量领域信息资源缺乏有效内容分析这一问题,设计、开发了通过构建领域本体来充分发掘信息资源之间内在关系,实现信息资源增值服务的原型系统.首先构造了服装知识本体CO(Costume Ontology)用来表示服装领域知识.利用CO对被管信息资源进行语义描述,在描述数据库的基础上,实现基于语义的信息检索.讨论了服装知识本体的建模过程,本体的形式化表示以及存储方式.实验系统采用J2EE架构,开发了存储组件、语义查询接口组件、语义分析组件和语义推理组件.通过使用资源描述框架RDF,实现被管信息资源到知识本体层的映射.通过语义分析和语义推理,可以充分利用信息资源之间的关系实现相关信息资源检索与语义融合.     

组合服务控制流测试

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

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

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

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

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

可视化建模语言编辑器的自动生成和配置技术

可视化建模语言是采用图形方式对系统/软件进行描述的语言,可视化建模语言编辑器为其使用提供了工具支持.不同编辑器存在的共性使得可视化语言编辑器自动生成和配置成为可能.基于理论研究和编辑器开发的实践经验,提出了自动生成和配置相结合的可视化建模语言编辑器开发的总体框架以支持编辑器的快速开发,定义了一套支持静态语义的可视化建模语言描述方法RM.RM采用基于规则的形式化描述方法来描述可视化建模语言的语法和编辑器的特性,采用MOF(Meta Object Facility)来描述可视化语言的静态语义.最后,设计实现了可视化建模语言编辑器开发环境Veda,验证了总体框架和描述方法的可行性.      

一种面向最终用户的图形建模语言规范

图形语言形式化描述体系由于需要一定的理论背景而不适于最终用户,为了满足最终用户对领域建模语言进行规范描述的需求,提出了一种可以描述图形语言二维语法结构的语言(EUVDL,End-User Visual Definition Language),分别从设计范型、抽象语法和具体语法3个方面考虑了最终用户的支持,并且给出支持最终用户使用的具体设计策略、设计了基于EUVDL的图形建模语言环境开发平台.通过和其他图形语言描述方法的比较以及实例演示,可以看出利用EUVDL描述图形建模语言具有语法结构简单、描述能力较强、支持描述重用的特点,适于最终用户使用.      

基于Petri网的UML状态图的形式化模型

提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net.首先给出了UML状态图的形式化语法定义,其中用状态集合、转移集合、事件集合、条件集合、活动集合、对象集合和变量集合,定义了一系列辅助函数描述UML状态图特征,用确定目标状态和受限源状态表示层次关系,用开放事件和封闭事件表示对象之间的消息.基于C_Net定义了描述UML状态图动态语义的Petri网模型SC_Net,既能描述状态图中的控制部分,又能描述状态图中的数据处理部分,并给出了从UML状态图到SC_Net的转换步骤,便于实现自动转换过程.最后以柔性制造系统的一个实例说明SC_Net能用于分析UML状态图的性质.      

基于动态语义记忆网络的长尾图像描述生成

图像描述生成任务旨在基于输入图像生成对应的自然语言描述。现有任务数据集中大部分图像的描述语句通常包含少量常见词和大量罕见词，呈现出长尾分布。已有研究专注于提升模型在整个数据集上的描述语句准确性，忽视了对大量罕见词的准确描述，限制了在实际场景中的应用。针对这一问题，提出了基于动态语义记忆网络(DSMN)的长尾图像描述生成模型，旨在保证模型对常见名词准确描述的同时，提升模型对罕见名词的描述效果。DSMN模型能够动态挖掘罕见词与常见词的全局语义关系，实现从常见词到罕见词的语义知识迁移，通过协同考虑全局单词语义关系信息及当前输入图像和已生成单词的局部语义信息提升罕见词的语义特征表示能力和预测性能。为了有效评价长尾图像描述生成方法，基于MS COCO Captioning数据集定义了长尾图像描述生成任务专用测试集Few-COCO。在MS COCO Captioning和Few-COCO数据集上的多个量化实验表明，DSMN模型在Few-COCO数据集上的罕见词描述准确率为0.602 8%，召回率为0.323 4%，F-1值为0.356 7%，相较于基准方法提升明显。      

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

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

基于XML的EtherCAT工业以太网协议解析技术

重点研究了基于可扩展标记语言(XML,eXtensible Markup Language)的EtherCAT工业以太网协议解析器技术和实现方法.介绍了EtherCAT协议报文格式和特点,分析了以太网数据侦听器和协议解析器的结构,针对通用以太网解析器在工业以太网领域应用的局限性,提出使用XML语言描述协议报文的方法,在此基础上开发出一种开放式、可重构的EtherCAT协议解析器.实验结果表明基于XML的协议报文描述方法及解析器能够有效地描述和解析EtherCAT协议报文,使用者可以根据解析对象格式使用XML语言自定义、修改和扩展协议解析规则,获得清晰、直观的解析结果.      

XML数据安全系统的研究与实现

可扩展置标语言(XML,eXtensible Markup Language)正逐渐成为分布式计算的通用语言.随着XML的广泛应用,尤其是XML在电子商务中的广泛应用,XML数据的安全问题已成为关注的重点.分析了XML数据安全的特殊性,并在XML数字签名和XML加密技术的基础上,设计和实现了XML数字签名和XML加密系统.该系统能够对XML文档、XML元素以及任意二进制数据加密、签名,保证了XML数据的安全.      

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

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

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

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

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

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

一种XML相似重复数据的清理方法研究

针对半结构化数据XML在数据清理中的重要性,研究了如何清理XML相似重复数据,主要工作有:提出一种有效的XML相似重复数据清理方法,该方法具有较强的适应性,任何XML相似检测算法都适用于此;给出一种基于树编辑距离的相似检测算法,该算法能有效地检测XML相似重复数据;采用树编辑距离的上下限优化基于树编辑距离的相似检测算法,避免了不必要的树编辑距离计算,降低了相似检测计算的复杂度,提高了运算效率.此工作为研究XML相似重复数据清理打下基础.      

飞机复合材料构件设计、分析和制造数据集成

实施复合材料构件数字化定义是实现复合材料构件设计、分析和制造数据集成的基础.复合材料构件数字化定义包括几何建模和材料结构建模.总结了材料结构建模过程和材料铺放数据的组成,指出当前复合材料构件分析无法基于最终的真实纤维路径进行,采用离散三角形单元的真实纤维路径来近似铺层纤维的最终状态,并利用可扩展标记语言(XML,Extensive Markup Language)文件对材料铺放数据进行了描述,探讨了通过纤维路径数据到有限元网格的自动映射实现材料铺放数据的自动传递.最后,研究了设计数据到排样下料系统和激光投影系统的集成和接口数据组织方法.      

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

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

面向航天型号软件的混成建模语言研究

随着我国航天事业的快速发展，软件在航天器中的作用和地位越来越突出，航天软件逐渐成为航天型号任务成败的关键之一.航天型号软件普遍具有实时性高、可靠性要求高、运行环境复杂以及航天器结构复杂、资源受限等特点，这给航天型号软件的描述、设计、分析和实现带来了巨大的挑战.嵌入式周期控制系统语言(SPARDL)仅关注了离散时间的动力系统，为了描述物理世界的连续行为，希望发展一种面向航天型号软件建模特征的混成描述语言(HSPARDL)，使其能够统一地描述其运行的物理过程与软件的控制行为，以及它们之间的协同交互机制，同时，为其提供严格的形式语义模型确保嵌入式软件设计的正确性和可靠性，最终为航天型号软件的设计和实现提供坚实的理论基础和方法支撑.