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

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

基于事件本体的CGF飞机实体作战计划模型

以海空作战仿真中的CGF为研究对象,在分析BDI Agent中的信念、愿望、意图与作战计划之间关系的基础上,分析了其中的动作序列的关系问题,利用时间关系公理对作战实体的思维状态进行了刻画,以CGF飞机Agent实体编队进行对海突击为想定,建立了基于事件本体的CGF飞机Agent实体作战计划模型,并利用Protégé本体建模工具进行了实现。应用实践证明,虚拟海战场中的CGF作战计划本体模型,可以为虚拟海战场综合环境建模和仿真中的作战实体作战计划提供语义上的支持,提高了作战实体的智能水平和对战场环境的认知能力,为CGF实体智能建模提供了新的手段和途径。     

C4ISR系统的非功能需求建模与分析

为了实现C4ISR系统功能需求与非功能需求分析的统一,提出一种C4ISR系统能力非功能需求的分析和建模方法,首先构建C4ISR系统能力元本体,在元本体的引导下,领域专家从任务分析入手,围绕目标构建C4ISR系统能力的功能和非功能需求模型.同时采用本体描述语言精确描述能力非功能模型,并借助逻辑推理的手段,有效判断能力非功能需求对使命任务的支持程度.结果表明该方法自动化程度较高,是对现有效能评估技术的有益补充.     

面向空管安全系统中人为因素的本体建模分析

人为因素在空管安全系统中是导致不安全事件发生的关键因素;本体作为一种概念化的明确的规范说明,是对客观存在的概念和关系的描述,本研究将本体建模引入空管安全系统中,提出了一种基于本体的提取关键因素的分析方法,对影响空管安全的关键因素——人为因素,进行了本体形式化的描述,构建了人为因素本体模型,并通过实验对不安全事件中的人为差错进行本体模型分析;通过本体建模挖掘出不安全事件内在的、隐舍的逻辑关系,从而为降低或避免不安全事件的发生提供了科学依据。     

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

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

基于本体的软件安全性需求建模和验证

由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"建立了本体模型,利用本体模型中的概念和关联来形式化地描述规则以支持验证;同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型,并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验.实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法,同时工具原型具有良好的易用性.     

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

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

面向战例知识图谱的本体构建

为构建合理的战例知识图谱,提出了一种面向领域知识图谱的工程化本体构建方法。基于该方法,构建了战例领域本体模型,建立了战例本体与实体的映射机制。检验实证,该方法构建的本体合理有效,能够为战例领域知识图谱构建提供有效的模型支撑。     

知识管理综述

随着知识经济的发展,知识管理作为管理科学和信息科学交叉研究领域引起越来越多的关注.在对知识管理与知识工程,以及知识管理与信息管理等相关概念进行阐述的基础上,描述了知识管理的实施现状及其存在的问题,并从信息处理技术角度对知识采集、知识表示和知识应用等知识管理的三大要素以及制造业企业实施知识管理的关键技术进行了论述,最后对知识管理相关技术的研究方向进行了展望.     

有限元网格模型装配技术研究

针对复杂装配体有限元网格模型手工装配难度大的问题,提出了CAE环境下基于工程语义的带装配约束关系的有限元网格装配方法。对有限元网格模型进行自动分组,通过建立CAD装配本体和CAE装配本体之间的映射关系,将CAD的装配约束类型转换为几何位置关系,将这些关系转换为网格模型的装配定位变换矩阵,在对PATRAN二次开发的基础上,通过实例验证了方法的有效性。