基于范畴论的多TBox整合研究

在语义Web环境下,单一和分散的知识库会引发数据的冗余和不一致性,且严重影响知识库智能化查询,降低知识库中数据的重用性和可操作性.文中提出一种基于范畴论的多TBox整合方法来整合知识库,旨在解决上述者类问题.此方法具有高度抽象性和强大表达能力的范畴论是多知识库整合的理想工具.将TBox作为操作对象,范畴论中"态射"功能可实现TBox的映射,"外推"功能可实现TBox的整合,最后通过实验验证方法的可行性和有效性,实验结果基本符合要求.     

基于GIS的导弹目标分配智能决策支持系统

在传统智能决策支持系统(IDSS)中引入地理信息系统(GIS),形成“四库一机”的系统框架模式,在此基础上设计开发导弹目标分配智能决策支持系统,实现IDSS、GIS以及决策分析模型的紧密耦合集成,并提出一个包含知识库子系统的编队目标分配智能决策模型,采用推理机原理对专家知识进行表示与处理。模拟计算表明,该模型计算时间短,结果合理,能满足战场环境动态性、实时性的特点。     

基于本体的业务流程知识库的研究与设计

为解决业务流程管理在跨组织应用中面临的知识概念、术语不一致等问题,研究了构建旅游领域业务流程本体知识库的方法.在知识库中对可变业务流程的各个基本元素进行本体描述,实现旅游领域业务流程术语的规范化,设计本体约束规则并给出知识库中业务流程信息管理、分析的方法.实例结果表明,知识库的设计实现了业务流程术语的规范化及对流程知识的方便管理.     

汉语框架语义角色的自动标注

基于山西大学自主开发的汉语框架语义知识库(CFN),将语义角色标注问题通过IOB策略转化为词序列标注问题,采用条件随机场模型,研究了汉语框架语义角色的自动标注.模型以词为基本标注单元,选择词、词性、词相对于目标词的位置、目标词及其组合为特征.针对每个特征设定若干可选的窗口,组合构成模型的各种特征模板,基于统计学中的正交表,给出一种较优模板选择方法.全部实验在选出的25个框架的6 692个例句的语料上进行.对每一个框架,分别按照其例句训练一个模型,同时进行语义角色的边界识别与分类,进行2-fold交叉验证.在给定句子中的目标词以及目标词所属的框架情况下,25个框架交叉验证的实验结果的准确率、召回率、F1-值分别达到74.16%,52.70%和61.62%.     

陪护机器人口语对话系统设计与实现

针对陪护机器人口语对话系统的难点给出了相应的解决方案：以话题为单位的聊天机器人知识库构建规则、简单有效的句子相似度计算方法、准确高效的答案检索模块。通过对78个回合的实际聊天结果的统计分析,验证了解决方案的有效性;同时分析了方案的局限性。     

基于测评知识库的自动评价系统研究

等级测评的技术测评报告是国家信息安全职能部门监督、检查信息系统运营使用单位执行信息安全等级保护制度情况的重要参考。本文设计了一个等级测评自动评价系统,该系统采用面向对象的知识分析方法,构建了等级测评知识库体系。同时,提出了拓扑结构展示和业务流程展示方法,并给出了基于知识库的等级测评自动评价系统的基本规则。该系统给出了一种等级测评自动评价过程,弥补了人工主观评价测评结果的缺陷,能够利用事实型知识、过程型知识以及规则型知识自动形成单个测评项的测评结果,结合业务流程与渗透测试情况进行关联分析和自动处理,进而得到单个测评项的关联分析结果和安全控制测评结果,并形成等级测评结论,实现了测评结论的准确性、可重现性和客观性。     

基于独立知识库的产品建模系统

与传统的面向几何的产品建模技术相比,面向知识的产品建模技术更适应现代设计的发展需要,可在相当程度上解决产品设计的智能化和自动化问题.针对该技术应用中存在的问题:1)国内的主流CAD系统尚不具备知识融合与知识驱动的能力;2)面向知识的产品建模依附于某个CAD软件,提出以独立知识库驱动为核心的产品建模新体系,该体系分解为核心层、用户层和几何建模层,通过核心层将用户需求和CAD软件集成,实现智能化设计,为不同行业的产品数字化设计提供可行的解决方案.     

扩展角色表达能力的描述逻辑

针对角色描述能力较弱的问题,在现有描述逻辑SHIQ中增加角色表达式对角色进行描述,形成描述逻辑SHIQb。给出SHIQb的相关定义,并证明若SHIQb知识库中所有角色表达式都是安全的,那么该知识库在现有的推理机KAON2上的推理仍然是Polynomia Time这一定理。在此基础上,提出一种能够判断角色表达式是否安全的算法。     

基于Simfusion和本体的视频语义提取

目前大多数的视频语义概念提取研究没有考虑到视频多模态之间的关联共生特性,而在样本的标注方面采用自定义的概念进行标注,会影响语义概念提取的准确率。针对上述问题,提出结合Simfusion算法和用本体知识库标注样本的方法提取视频的语义概念,该方法根据镜头内容变化提取关键帧,在提取出镜头内容时,有效地利用镜头多模态之间的时序关联共生特性,同时运用本体知识库中的概念标注样本、训练分类器,弥补传统方法在标注样本时存在的主观、不规范等不足。实验结果表明,该方法在视频语义概念提取的研究中,有较高的准确度、可操作性强。     

基于ICD配置的航电总线测试软件自动生成方法研究

为了提高航空电子总线数据采集软件的开发效率和可靠性,降低测试和仿真工作的复杂度,对当前主要的软件自动生成方法进行了分析比较和研究,并将其应用到航电总线数据采集软件中.设计了接口控制文档(ICD,interface control document)数据库、知识库、类型库和词法分析器,采用XML模板生成、XSD模板验证和...