基于虚拟植物生长模型的分布式农业专家系统研究

针对传统农业专家系统存在着缺少动态预测功能及机理性解释的不足和利用率低的缺点,设计了一种虚拟植物生长模型﹑农业专家系统和分布式虚拟现实技术的集成框架。虚拟植物生长模型和农业专家系统的有机集成,可以帮助推理机获得推理决策所必需的数据和降低系统决策的风险性。此外,利用多用户分布式虚拟环境使得基于虚拟植物农业专家系统为用户提供内容更丰富、视觉更直观、方便快捷的服务。     

密码协议的一种基于组合推理的模型验证

将密码协议与协议中用到的密码算法视为一个系统，基于组合推理技术建立了密码协议系统的形式化模型。采用基于假设／保证的组合推理技术提出了新的假设／保证推理规则和假设／保证推理算法，证明了该规则的正确性，实现了密码协议系统的模型验证，并重点解决了系统分解问题、假设函数的设定问题等难题。以kerberos v5密码协议系统为例，利用该组合推理技术对密码协议系统进行了安全验证。     

现代大型设备故障智能诊断技术的现状与展望

智能故障诊断技术为保障现代复杂工程技术系统的可靠性和安全性提供了新途径。非线性系统的故障诊断是该技术领域的热点和难点问题，其中，基于知识的故障诊断技术具有良好的发展前景。由基于规则的系统到基于混合模型的系统，由领域专家提供知识到机器学习，由非实时诊断到实时诊断，由单一推理控制策略到混合推理控制策略，是基于知识的故障诊断发展方向。     

加强农业信息化建设 提高农业现代化水平

论述了农业信息化的重要意义,提出建设农业信息化的原则,农业信息化的软件建设和建立农业专家系统的技术要求,以及农业信息网络技术的开发内容。     

案例推理技术在安全审计系统中的应用

介绍了基于案例推理（Case_Based Reasoning）技术及其应用特点，将CBR技术应用到安全审计系统中，提出了一种以CBR为基础的安全审计系统的功能模型，分析了系统的关键技术。     

电信网维护中的先进信息处理技术

在电信网通用维护系统（ＧＭＳ）中，需要运用先进信息处理技术（ＡＩＰ）例如面向对象建模，基于模型的推理等，提出了在电信网维护中应用这些技术的概念。     

基于实例推理的产品变型设计技术研究

针对传统推理技术在产品设计应用中存在的问题，对基于实例推理的变型设计进行了研究。分析了实例推理的一般过程及其区别于其它推理技术的优点，提出了一种应用于变型设计的实例推理流程。在此基础上，以阀门产品为例，建立了变型设计求解流程和检索流程，为实现阀门产品的变型设计奠定了基础。     

基于本体知识库的语义推理机制研究

语义Web与本体技术的出现为智能搜索问题的实现提供了契机,本文在重点研究基于本体知识库的语义推理机制的基础上,提出一个基于语义推理的智能搜索系统模型,并设计实现了一个改进型IS-Reason推理算法,对语义搜索技术的实现具有积极意义。     

卧式螺旋沉降离心机快速变型设计系统研究

为了提高产品的设计效率和自主创新开发能力,在剖析了卧式螺旋卸料沉降离心机的主要结构和工作原理基础上,提出了基于混合推理的模块化产品变型设计技术。将基于规则推理和基于实例推理技术集成于混合推理机制并应用到产品的整个开发周期中,采用模块化技术将卧螺离心机产品层级模块化,整合设计领域的专家经验和专业知识集成于一套完备、智能的专家系统,开发了卧螺离心机产品变型设计系统。最后,应用实例验证了系统的规范化和智能化。     

深层知识在故障诊断专家系统中的应用

提出了在故障诊断专家系统中应用深层知识实现系统的解释功能和进行深层推理的概念。从根本上给用户提供详尽的说明，增强结论的可信度，并建立了一种深浅层推理相结合的推理机制。     

灵巧BIT的实现技术及其在雷达系统中的应用

介绍了BIT的工作方式和灵巧BIT的类型,重点研究了基于人工神经网络和案例推理在灵巧BIT中的实现技术,分析了人工神经网络在BIT中的特点,提出基于案例推理实现的自提高预测专家系统模型.     

基于Agent的智能决策支持系统

针对传统DSS的不足，把专家系统和范例推理技术以及数据仓库、数据挖掘技术运用于DSS中，把传统的DSS改进为IDSS，鉴于agent技术构件重用等特点，把agent技术运用到IDSS中，提出了一个实现基于agent技术的IDSS框架，最后探讨了系统实现的主要技术。     

移动Agent技术在农业智能决策系统中的应用研究

分析了移动Agent技术在农业领域应用的现状，利用移动Agent技术的优势，将其应用于农业智能决策系统中．构造了一个基于移动Agent的农业智能决策系统框架，为移动Agent技术的应用提供了一个新的研究领域。     

电网调度操作票系统的发展与应用

主要对电网调度操作票专家系统的发展历程作了详细叙述,并对一些新技术在电网调度操作票专家系统中的应用进行了介绍,阐述了操作票专家系统应用的现状和现存的主要问题,并指出了操作票专家系统未来的发展前景。     

Interoperability of Security-Enabled Internet of Things

The future Internet will embrace the intelligence of Web 3.0 and the omnipresence of every day connected objects. The later was envisioned as the Internet of Things. Security and interoperability concerns are hindering the service innovations using the Internet of Things. This paper addresses secure access provision to Internet of Things-enabled services and interoperability of security attributes between different administrative domains. In this paper we proposed a layered architecture of Internet of Things framework where a semantically enhanced overlay interlink the other layers and facilitate secure access provision to Internet of Things-enabled services. The main element of semantic overlay is security reasoning through ontologies and semantic rules. Finally the interoperability of security aspect is addressed through ontology and a machine-to-machine platform. This paper provides implementation details of security reasoning and the interoperability aspects and discusses crucial challenges in these areas.     

机械加工过程的专家诊断系统研究

文章就机械加工过程的专家诊系统进行了研究，设计。通过初步实验证明系统的可靠性。     

中文环境下的模式推理

文章介绍了相关定义及研究现状，然后给出了模式推理的基本机制。给出了模式推理的算法。测试结果表明，本算法可以有效的解决中文环境下的模式推理问题。最后，介绍了该算法在中文问答系统中的具体应用。     

基于Matlab Web Server技术的飞行数据远程综合分析系统的实现

Matlab Web Server技术为基于Internet/Intranet的数据远程分析和二次开发提供了快捷而又强大的实现方法,利用此技术实现了飞行数据远程综合分析系统,并结合实例详细介绍了系统开发过程中的关键技术难点。     

多民族语言农业信息处理平台的构建

提出了构建多民族语言农业信息处理平台的方法,重点介绍怎样把机器翻译与农业信息处理平台结合,在原来的农业信息处理平台的基础上,进行了结构性改造,加入了翻译系统,研制了多语言农业信息处理平台.并以汉蒙双语农业技术咨询系统为例,介绍具体的实现与应用.得出了构建汉语/民族语言农业信息处理平台的一般方法.     

Combining factual and heuristic knowledge in knowledge acquisition

A knowledge acquisition technique that combines heuristic and factual knowledge represented as two hierarchies is described. These ideas have been applied to the construction of a knowledge acquisition interface to OPERA (Expert System Analyst). The goal of OPERA is to improve the operations support of the computer network in the space shuttle launch processing system. The knowledge acquisition bottleneck lies in gathering knowledge from human experts and transferring it to OPERA. OPERA's knowledge acquisition problem is approached as a classification problem-solving task, combining this approach with the use of factual knowledge about the domain. The interface has been implemented in a Symbolics workstation, making heavy use of windows, pull-down menus, and other user-friendly devices.