浅议儒家德育思想对现代公民道德教育的几点启示

深化对儒家德育思想本体论、认识论、实践论的认识,用儒家德育思想指导社会公德、职业道德、家庭美德建设,提高现代公民道德水平.     

组合服务控制流测试

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

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

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

领域本体的自动维护研究

针对领域本体维护的重要性与合并本体存在的异构本体及不一致性错误等问题,提出了一种基于本体合并的领域本体自动维护方法,对相关实现过程作了详细介绍,重点给出了概念的相似性匹配算法.该算法通过计算概念的定义、实例、属性、关系及推理的相似度,得到了本体中概念之间的相似度.本文还探讨了本体不一致性的错误,分析了概念间的上下位关系、非通用关系及相关特性的不一致,并给出了解决方案.实验结果表明,该方法具有一定的实用性和可靠性,能够得到较正确的领域本体的维护结果,并能够解决相关不一致的错误.     

基于本体的制造能力P-P-R建模及其映射

在网络化制造环境下.为了盟主企业更好管理复杂零件、工艺、设备资源信息,实现制造任务和制造资源合理匹配,提出了制造任务和制造资源的匹配框架.首先,建立了基于本体的复杂零件加工特征、加工工艺、设备资源P-P-R模型,在此基础上构建P-P-R映射关系;然后,通过可拓理论实现随时添加新的零件特征和零件的工艺特征来完成制造任务-资源的匹配.最后,开发了协同制造资源配置原型系统.通过实例表明,该方法能克服Web制造资源描述差异,实现异构平台的数据统一,对提高企业间的协同效率具有显著效果.     

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

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

面向Web的知识描述语言

提出了Web知识描述层次模型,采用本体论技术从类、槽和槽约束3方面对领域知识建模,结合描述逻辑、框架系统建立了基于XML(eXtensible Markup Language)和本体论技术的知识描述语言(KDL).然后,介绍了KDL的扩展语法,并从一阶逻辑的角度对KDL的语义特征进行分析,提供KDL到FOL(First-Order Logic)的映射方法以完成KDL语言和FOL表达式之间的转化.实践证明KDL具有规范的语法和精确的语义,具有较强的逻辑推理能力.      

基于5W1H的教育信息查询技术研究

针对教育信息基于互联网络的快速增长以及检索日趋复杂等问题,构建了基于领域本体的四层查询体系结构,采用5W1H分析法归纳了领域本体中的概念和关系,建立了基于5W1H的领域本体概念模型,重点研究了基于Jena的领域本体持久化技术和领域本体规则推理技术,设计了基于SPARQL查询规则和基于Jena推理规则的领域信息查询算法。以教师信息为例,采用Jena开发平台和MySQL数据库,实现了教师信息领域本体查询系统的精确查询、模糊查询和语义查询等功能。     

基于语义描述的资源协同机制

为进一步提高资源协同的效率,从资源的静态功能特性出发,定义了相似度函数,给出了基于功能的资源协同算法;从资源的实时状态信息出发,给出了基于运行时QoS特性的资源协同算法.建立了综合考虑资源的功能特性和运行时QoS特性的资源协同机制,通过基于功能的资源协同工作,提供满足用户静态功能要求的资源候选集;通过基于运行时QoS特性的资源协同工作,从满足用户静态功能要求的资源候选集中实时动态地选择满足用户QoS要求的优质资源.实验结果表明,提供的基于语义描述的资源协同机制提高了资源协同的成功率、服务质量和运行效率.