基于本体和规则的物流知识表示与推理

为了解决物流领域相关概念的共享和信息集成问题,研究了物流配送过程中相关知识的表示以及基于知识的推理．应用本体论方法分析配货规则,使用本体中表示的概念和属性制定配货规则库．运用Jena推理子系统,对本体和配货规则进行推理,开发了一套基于本体和规则的自动配货系统．由于本体是共享概念模型明确的、形式化的规范描述,可以利用本体强大的语义表达能力、本体所描述的共享知识以及自动推理机制,实现物流企业之间以知识集成为基础的业务集成．     

基于结构的本体模块化方法

本体模块化是本体融合的关键技术之一.现有的模块化方法有的只考虑了本体中有限的关系的概念、并未考虑其它的逻辑关系;有的对内部概念,涉外概念的定义很难找界定.传统的模块化方法中把所有的谓词看做同一类,忽略了谓语动词对主体的影响差别.为解决以上问题,把本体三元组中的谓词划分为A类谓词和B类谓词,以三元组中的主体以及客体为节点,谓词为边生成本体结构图,然后定义边的权重,将本体模块化问题转换为聚类问题,再结合CH(Calinski Harabasz)聚类评估函数提出了基于本体结构的模块化算法.该方法不但考虑了谓语关系对本体影响的大小,而且把较为模糊的模块化分类转化为明确的聚类问题,更清楚的定义了边界,从而使模块化结果更精确.最后用该方法对Pizza本体划分模块,证明了该算法的有效性和精确性.     

一种不一致本体的可废止推理系统

利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统（简称为DeRS）.DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质.     

基于认知图谱的智能问答系统推理模型研究

目前现有问答系统模型大多数都采用模板匹配的方式进行推理,对问题推理不够充分,因此,提出基于认知图谱的问答系统推理模型.依据专业领域知识作为知识源构建本体;并基于该认知图谱构建了"问题-关系"一对一的认知图谱问答系统模型.最后通过将问答问题划分为简单问题与复杂问题分别对问题进行处理,其中简单问题运用BERT+ CRF(Bidirectional Encoder Representations from Transformers+Conditional Random Field)模型进行模板匹配;针对复杂问题运用Node2vec生成子图后用GCN(Graph Convolutional Network)推理模型进行推理,将得出的答案作为输出结果.最后对所提出的模型通过井下作业领域进行了实验,结果表明认知图谱问答模型优于其他算法模型.     

基于无线射频识别技术的数字化物流仓储管理系统

当前基于B/S的数字化物流仓储管理系统设计方法,通过对系统的功能结构和业务流程的设计,和相关技术与开发工具完成该系统的实现,其中仓储管理系统运行能耗偏大,且运行效率低。为改善该种情况,提出一种基于无线射频识别技术的数字化物流仓储管理系统设计方法,以系统总结构为依据,将仓储管理系统网络拓扑结构划分为物理层次、网络层次、数据层次与应用层次,在物理层次中工作人员可利用手持设备迅速扫描电子标签,既可以提升系统运行效率,还能够降低系统运行能耗;在入库管理程序中采购部和供应商对货物的需求进行确定,利用物流把货物传输到仓库,并对货物进行清点;在出库管理程序中仓储管理系统确定货物货位,通过RFID阅读器采集出库的货物内部数据,使用搬运工具将拣出的货物传输给出库处,同时将数据处理的结果报给仓储管理体系;用户的管理模块中,主要是对用户登录与用户管理进行控制;库存的统计管理,即为对货物进行清理盘点。结果表明,该方法下的仓储管理系统不仅运行效率高,而且能耗低,可为数字化物流仓储领域的研究提供依据。     

结合优先级和可信度的非单调真值维护系统

不精确推理和非单调推理是人工智能中两个重要的研究方面．分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性,将论据的优先级和可信度引入ＡＴＭＳ,提出了结合优先级和可信度的非单调真值维护系统,并给出其算法．它能有效地处理不完全领域知识下的推理,结合不精确推理和非单调推理的优点,克服两者的局限性．     

组合机床模块化设计CAD系统

根据组合机床设计特点，将模块化设计技术应用于组合机床CAD系统。以分级模块化为主导思想，在功能分析的基础上划分组合机床的各级模块并按照面向装配设计的原则设计了模块接口。以三维设计软件UG为开发平台，针对组合机床的每一级模块建立相应的全参数化三维模型库，开发出支持模块化设计的组合机床CAD系统。     

基于流体网络模块的模块化建模方法

热力系统图形化建模是电站仿真领域中的前沿课题。该文针对热力系统的特点，并考虑实时仿真的要求，进一步完善了流体网络模块的概念，使之物理概念和数学独立性更完整。由此系统地提出了一个基于流体网络模块的模块化建模方法。该方法面向对象的概念更完整，模块划分及连接方法更简单、统一。所介绍的模块化建模方法已在为韩国三星重工（ＳＨＩ）开发的图形建模系统ＧＮＥＴ中得到验证。     

基于KBE和CAE结合的液压机结构柔性模块创建

以广义模块化设计理论为基础，结合液压机身结构的特点，将知识工程和有限元分析应用于液压机柔性模块创建，并以三梁四柱式锻造液压机为例，介绍了一种基于VisualC 语言开发液压机本体设计专家系统的方法，建立了一套基于KBE和CAE技术的液压机机身计算机辅助设计系统。实践证明，将KBE技术和CAE技术集于一体，能够较好地解决液压机的模块化快速响应设计问题。     

城市基础设施项目群集成控制系统评价与优化

为了实现系统模块的合理划分和科学评价,采用设计结构矩阵(design structure matrix,DSM)的理论和技术提出了城市基础设施项目集成控制系统模块化评价方法,包括系统功能依赖强度、数量的确定以及传递成本和聚类成本的计算等.针对该类系统的更新提出将遗传算法应用到DSM聚类算法中以寻找最优更新方案.以长春基础设施项目群集成控制系统作为典型案例,比较了更新前后两阶段系统版本的模块化程度,并提出了新一代系统的更新方案,该案例验证了DSM方法在系统模块划分、评价和方案优选方面的可行性和有效性,为同类大型集成控制系统的开发和维护提供了理论和实践参考.     

产品原型虚拟装配系统结构及技术

讨论了对零部件繁多、大型或精密产品进行原型展示、功能分析和虚拟装配时的功能需求;针对这些功能需求设计了一种虚拟现实系统结构.基于模块化的思想提出一种既可以分布处理又可以集成整合的系统框架.对其中主要功能模块——控制核心模块、装配控制模块、图形引擎模块、文件服务模块、数据服务模块和应用服务模块的功能进行了详细的讨论.详细研究了本系统关键技术中的三项:主动立体显示技术、可装配性评价和实时碰撞检测方法.     

基于本体的案例表示和CBR系统结构研究

本体作为一种新的知识组织体系,具有良好的概念层次结构和对逻辑推理的支持.在分析了本体的表示方式和推理基础上,将本体理论应用于CBR中,提出了基于本体的案例表示和基于本体推理的CBR系统,以提高CBR系统的性能.     

应用B/S结构的模块化网络教学系统设计

设计了一个模块化网络考试系统.该系统根据用户类型分为管理员模块、教师模块和学生模块,在功能上包括考试、答疑和教学评估等子系统.介绍了系统开发过程中所应用的关键技术.     

基于BSSEVD的可搜索加密方案原型系统设计与实现

针对大型数据集条件下，安全索引文件过大而导致可搜索加密方案的关键字搜索时间复杂度过高、效率低的问题，提出了大型数据集下支持布尔搜索的可搜索加密方案(BSSEVD).方案采用三层间接寻址块状存储安全索引的方法优化安全索引存储结构，通过增加关键字交集安全索引解决多关键字布尔搜索导致的泄露增加问题.并在该方案基础上，设计与实现可搜索加密方案原型系统.该系统主要包括文件预处理模块、初始化模块和关键字搜索模块等三大模块.通过实验测试对系统的性能进行分析，实验结果表明该方案计算效率得到了较大的提升.     

基于UG的组合机床多轴箱模块化设计

根据模块化设计原理,在功能分析的基础上划分了组合机床多轴箱的各级模块.将三维CAD技术与模块化技术相结合,以UG(Unigaphics)为软件开发平台,利用其强大的三维造型功能和装配功能,建立了组合机床多轴箱参数化三维造型模板库,同时还建立了存放设计过程中所需数据的数据库.设计人员在系统界面的引导下可完成模块选择、模块组合和设计计算等环节,从而实现了计算机辅助组合机床多轴箱三维模块化设计,提高了设计效率.     

经济学知识网格的构建

通过对相关工作的研究,结合经济学知识网格的实践,设计和实现了一个ESWP平台来辅助开发者以半自动方式构建知识网格.该平台包括三个主要的功能模块:本体构建模块、语义标注模块和进化管理模块.它们分别采用基于角色的用户管理和多版本机制来支持多用户协同的本体开发;采用支持向量机(SVM)和一组标注规则来支持文档级标注和词汇级标注;采用边标注边进化的方法来支持资源的进化管理.目前该平台已成功地应用于一个经济学知识网格原型———经济学学科知识检索系统.     

水下自重构机器人的自动对接控制

讨论了平面内水下自重构机器人的2个模块间的对接控制问题. 根据传感器信号强度与模块相对坐标的误差之间的关系,给出了对接控制问题的优化目标函数. 考虑到模块的运动学方程可逆,将该问题分解成了3个自由度上的子优化问题. 依据对中法思想,给出了各自由度上自动搜索的优化目标函数,并设计了相应的调整控制律. 建立了模块的逆运动学离散方程,并设计了一种稳定化修正格式以提高数值计算精度. 仿真实验结果表明,所提出的自动对接控制算法能够很好地实现模块之间的对接.     

横纵向工作台控制系统模块化软件设计

讨论了用单片机为主控制器,通过采用模块化软件设计方法,对横纵向工作台控制系统程序可细分成多个模块,并指出了各模块的具体程序设计思路及步骤.     

数据质量约束规则的本体描述及推理研究

针对数据质量中约束规则描述的语义复杂性、 快速提取等问题, 引入本体技术描述数据质量约束规则等 要素的语义关系, 提出了元本体的思想, 对数据质量领域的核心词汇进行了提练, 并依据相关标准, 构建了与 领域无关的数据质量元本体模型。 在应用中, 特定领域可根据需求将该元本体模型实例化为用于描述本领域 的数据质量本体, 不仅解决了数据质量领域词汇共享与明确描述问题, 而且使数据质量复杂约束规则语义描述 得以解决。 同时, 以石油领域数据为例, 依据提出的质量本体元模型实例化出石油领域的质量本体模型, 定义 了各种推理规则, 并基于 Jena 推理机验证了构建的数据质量本体的合理性, 极大地提高了数据质量评估中约 束规则提取的效率。