基于Java平台的专家系统

介绍了开发专家系统的相关技术,探讨了如何利用Jess灵活的推理机制和功能强大的Java语言相结合来开发专家系统。     

专家系统中基于Jess的推理研究

介绍了专家系统开发平台Jess,并把Jess运用到民航机务维修差错预警专家系统中进行研究.该系统中维修差错以规则形式表示,推理机使用基于规则的不确定性推理方法进行推理,使系统达到有效预测和控制可能发生的维修差错,从而保证飞行安全.     

基于规则的专家系统推理框架JESS应用研究

首先介绍专家系统推理框架Jess的知识表示、基本组成、工作原理和开发环境,然后以人工智能经典游戏难题——野人传教士过河问题为例,用Jess实现了问题描述、知识抽取、结构定义、应用程序实现,进一步探索利用Jess的知识库和推理机分离特点,逐步扩充和更新知识库,不断增强和完善应用程序功能,最终实现一个复杂智能问题求解的新方法。     

Prolog与Jess推理算法比较

随着语义网和专家系统的发展,产生了许多基于逻辑表示的推理机,比如Jess、Prolog等.对于推理机来说,推理的能力和效率至关重要,Jess采用rete算法,Prolog采用深度优先算法,针对这两种推理算法进行比较,以便能够对推理机有更深入的了解.     

基于Jess和Java混合编程的楼宇温度控制系统仿真实现

要求控制一幢大楼各个楼层温度,使其都保持在温度设定值附近的一个小的偏移量范围之内。针对此非线性温度控制系统,分析比较其它高级语言及PLC在实现此类控制方面的算法特点,最终采用上位机控制,选用Jess语言和Java语言混合编程,设计开发了一个楼宇温度控制仿真系统。选用Jess语言编写控制规则,控制空调机在多个状态之间的切换,控制通风口在打开和关闭两状态之间的切换;使用Java语言扩展Jess的功能函数,创建仿真器对象,搭建监控GUI界面,为诸多被控对象开辟新线程,提高控制效率等。针对不同环境温度和系统扩容的仿真实验测试结果表明,该仿真系统是正确的和高效的,为实际系统的正确搭建奠定了坚实的基础。     

基于规则引擎的计算机故障智能诊断系统的研究与实现

针对现有计算机故障诊断系统的不足,利用Jess规则引擎开发核心推理模块,遵循JSR 94标准,采用Java语言构建整体框架,并使用Web页面作为人机交互的平台,实现了具有可扩展性的计算机故障智能诊断系统。     

一种计算机编程辅助教学专家系统的构建

计算机编程辅助教学专家系统是一种应用于程序设计课的专家系统，它是教学专家系统在高等学校的高级程序设计语言课上的应用，其目的是帮助学生快速检测、纠正程序中的错误，以减轻教师的负担。文中提出了一种计算机编程辅助教学专家系统的总体设计，并从它的知识库的构建、推理机制的算法实现等方面进行了分析。     

柴油机故障诊断专家系统

本文讨论了柴油机故障诊断专家系统的总体结构。着重讨论其知识库结构，推理方法，利用该专家系统，装入领域知识的相应规则集，即可用于不同型号，不同用途柴油机的故障诊断，此专家系统采用C语言编写。     

基于Jess的智能诊断系统的设计与实现

介绍了基于Jess的智能诊断系统在矿井局部通风故障领域的设计和实现。简析了如何将规则引擎Jess引入到智能诊断系统的开发当中,同时将统计学原理引入推理机来实现不确定条件下的推理,使系统可以快速、准确地进行故障诊断,对减少瓦斯爆炸事故发生以及提高煤矿通风安全具有积极意义。     

融合案例与规则推理的故障预测专家系统

根据故障预测的特点和要求，将案例推理引入到故障预测专家系统的设计中，阐述了案例的描述和检索方法。并以全新的角度提出了基于案例与规则的故障预测推理机制，对二者的结合方式作了阐述，给出了专家系统的整体实现结构。     

基于Mediator的Web Services无回溯反向链动态合成

提出了一个基于Medoator的Web services无回溯反向链动态合成框架,在该框架下提供了一种产生式建模方法和一种用于消除合成语义冲突的参数级本体,然后使用一种无回溯反向链算法进行合成．该合成方法避免了对合成方案的优化,它的参数级本体在合成语义处理上也比前向链合成中的属性级本体的效率高,特别适合于对同样的用户输入和Web services进行多次合成以生成相同的或者不同的输出．     

Automated generation of readable proofs with geometric invariants

We present a set of rules based on full-angles as the basis of automated geometry theorem proving. We extend the idea of eliminating variables and points to the idea of eliminating lines. We also discuss how to combine the forward chaining and backward chaining to achieve higher efficiency. The prover based on the full-angle method has been used to produce short and elegant proofs for more than one hundred difficult geometry theorems. The proofs of many of those theorems produced by our previous area method are relatively long.This work was supported in part by the NSF Grants CCR-9117870, CCR-9420857 and the Chinese NSF.     

流处理器延迟隐藏机制的优化及实现

流体系结构在新兴的高性能计算机体系结构中备受关注,通过多种技术途径,流处理器能广泛深入地挖掘程序各种并行性。本文首先介绍流处理器访存延迟隐藏的技术,然后引入“链接”思想以进一步优化访存延迟隐藏机制,最后讨论了“链接”机制在流处理器上的实现。     

事件挖掘综述

事件挖掘就是从大量的、不完全的、人们事先不知道的,但同时又是潜在有用的信息中提取有用信息并概括为事件的过程。由于事件挖掘相对于话题检测与跟踪、信息检索、信息抽取等自然语言处理具备许多共性,并且具备预测事件发展的优越性,因此逐渐成为当前事件识别领域的研究热点。本文介绍事件挖掘相关研究的历史发展与应用背景,全新定义事件挖掘的概念与任务,并详细介绍事件挖掘任务相关的各种关键算法,尤其是语义链算法。指出事件挖掘的重要意义及其未来的发展趋势。     

基于Spark的大规模语义规则后向链推理系统

近年来,语义网数据快速增长,适合于处理静态小规模语义数据的前向链语义推理技术暴露出了需对数据进行频繁更新等问题。面对大规模动态语义网数据,对数据更新不敏感的后向链语义推理开始成为新的研究热点。后向链语义推理由查询目标驱动,在查询时根据规则集推理出查询结果。后向链语义推理具有推理过程复杂、规则扩展深度大等特点,在大规模语义数据上推理的效率和可扩展性上有一定的挑战。该文立足于已有的后向链推理技术,详细分析了语义推理规则集的特点,并结合当前主流的大数据处理平台Spark,设计了一套较为高效并且可扩展的大规模并行化语义规则后向链推理系统。该文的主要研究工作分为三个部分: (1)采用预计算本体数据闭包的方法,避免了本体模式在实时推理阶段的重复推理; (2)在后向链语义推理的逆向推理和查询阶段设计了优化措施,进一步提高了推理效率; (3)设计实现了一种基于Spark平台的大规模分布式RDFS/OWL后向链语义推理系统。实验数据显示,该文提出的RDFS/OWL后向链语义推理系统在合成数据集LUBM和真实数据集DBpedia上都表现出了良好的推理性能,在亿条三元组上的推理开销是几秒到几十秒,并且表现出了良好的数据可扩展性和节点可扩展性。     

探讨工业设计教育与企业人才需求的链接

工业设计教育的发展与经济的发展有着紧密的关系,探讨工业设计人才的培养与企业需求的链接至关重要。工业设计自上个世纪80年代被引入中国以来,其发展的历程可谓十分艰难,对于工业设计方面的研究主要在高等院校和学术圈内进行。另一方面,由于经济危机而引发的这一轮全面产业升级与转型使得企业对工业设计发展和对设计人才的需求明显增加。高等院校每年众多的工业设计毕业生与企业在这方面适合性人才需求的匮乏形成鲜明的对比,这之间缺少的不仅仅是沟通,更是教育与企业需求之间的链接。     

基于树链认证的一种组播源认证方案

简要介绍了现存的组播源认证方案,指出其优点和缺点。同时,基于树链认证技术提出了一种新的组播源认证方案,该方案中,不同数据块的摘要之间采用类似于T-CSA的方法串联起来,扩展了T-CSA的优越性,减少了延迟;而且随着数据流的不断增大,数据包的平均认证代价呈下降趋势,这对于资源有限的成员机器来讲非常重要。     

服务链中可认证的组密钥管理方案*

针对不依赖于专用的硬件设施、网络拓扑结构易变化的服务链进行了研究,提出一种适用于服务链的可认证组密钥管理方案。该方案基于双线性映射的密码体制并结合 门限的思想,采用身份认证的方法,提高了协议的效率和安全性。该方案在实现组密钥更新的同时也实现了服务链中虚拟网络功能间的连接安全,并对其正确性和安全性进行证明。分析结果表明该方案在保证服务链中各实例一定安全的同时,具有轮数少、通信和计算开销小的优点,适合用于服务链的动态密钥管理。     

工作于CBC模式的AES算法可重配置硬件实现

分组加密算法的工作模式选择对于敏感信息的安全至关重要。文中采用可重配置硬件设计了一个工作于CBC模式的AES核,并对关键单元的硬件设计进行了优化。仿真和实验测试结果表明,设计的AES核能够稳定地工作于CBC模式,实现对敏感信息的高速加密处理。     

FC-normal and extended stratified logic program

This paper investigates the consistency property of FC-normal logic program and presents an equivalent deciding condition whether a logic program P is an FC-normal program. The deciding condition describes the characterizations of FC-normal program. By the Petri-net presentation of a logic program, the characterizations of stratification of FC-normal program are investigated. The stratification of FC-normal program motivates us to introduce a new kind of stratification, extended stratification, over logic program. It is shown that an extended (locally) stratified logic program is an FC-normal program. Thus, an extended (locally) stratified logic program has at least one stable model. Finally, we have presented algorithms about computation of consistency property and a few equivalent deciding methods of the finite FC-normal program.