设计型专家系统中的基于事例推理技术研究

本文根据设计活动的特点，着重从设计事例的表示，组织，检索，修改等方面对设计型系统中的基于事例推理机制作了深入探讨研究，并且详细介绍了这种方法在飞机起落设计专家系统ＬＧＤＥＳ上的具体实现。     

火炮系统总体优化设计的形式方法探讨

提出了一个用于总体优化设计的形式方法──设计方案空间方法，形式地描述地面火炮系统设计过程，找出总体设计、评价、优化的关系，以形成集成ＣＡＤ系统，支持地面火炮系统总体优化设计。实验系统用ＦＯＲＴＲＡＮ和Ｃ语言编写，运行在ＳＧＩ工作站上。     

基于CBR与神经网络的摩托车智能设计系统研究

针对摩托车总体设计过程依据相似性进行局部创新设计的特点,提出了基于CBR与神经网络的摩托车智能设计系统结构。采用面向对象方法对摩托车实例知识进行表示与组织,并将神经网络引入到实例推理中,利用ART1网络实现基于特征的动态层次聚类,通过BP网络实现从聚类模板到每一实例的索引,从而提高系统的推理效率与质量,形成有效的推理系统。     

基于框架与规则相结合的棉纺工艺专家系统知识库的设计

本文讨论了棉纺工艺专家系统及其知识表示方法。在介绍棉纺工艺专家系统体系结构的基础之上，重点探讨了利用框架表示棉纺工艺的领域知识的具体方法、框架结构以及用框架一规则形式来表示推理规则及原理。并简要介绍了本系统基于事例的推理过程。     

基于规则和事例混合推理的设计型专家系统模型研究

该文根据设计活动的特点，在综述设计事例表示，组织与检索模型基础上详细讨论了基于规则混合推理专家系统结构模型，以及在收音机起落架起落机设计系统ＬＥＤＥＳ上具体应用。     

嵌入元级结构的基于事例推理研究

元级推理是智能软件系统中的一种重要机制。本文首先讨论元级推理的作用,原理以及实现策略,然后重点介绍了我们新近的一个面向事例诊断的推理器ＭＧＣＢＤ。本文各节介绍了ＭＧＣＢＤ的知识表示,元级推理框架以及事例检索,匹配和适配过程的设计方法和技术特点,并用一个具体裕列来说明ＭＧＣＢＤ的推理功能。     

基于描述逻辑的事例推理综述

基于描述逻辑的事例推理(CBR)是当前CBR研究的热点之一。首先介绍了CBR的起源,然后回顾了基于描述逻辑的CBR的发展历史,接着从4个方面:事例表示与组织、事例检索、事例修正和事例库维护综述了基于描述逻辑的CBR的研究工作,最后指出了基于描述逻辑的CBR目前存在的问题并相应地提出了未来的研究方向。     

基于案例的信息系统总体设计方法研究

目前缺乏系统、科学的方法支持信息系统总体设计,实践中系统设计人员通常利用以前的经验去完成。论文提出的基于案例的信息系统总体设计方法将基于案例的推理应用到信息系统总体设计中,利用面向对象技术建立了信息系统总体设计模型并进行案例表示,利用人工神经网络实现了案例检索,利用约束规则和遗传算法实现了案例组合。     

作战计划推理分析方法与系统实现

目前,作战计划分析主要采用仿真方法,由于较少考虑人的作用,可信度受到影响,解决的办法就是充分考虑指挥员的作用,文章据此提出了一个将仿真技术和专家系统技术有机结合的推理分析方法,并以空中进攻作战计划分析为例建立了一个实验系统COARAS,给出了总体设计,事件结果推理算法,并介绍了系统中计划表示方法和知识库组织方法。     

信息系统总体设计中案例推理与规则推理集成方法的研究

通过对信息系统总体方案设计任务特点的分析和对案例推理与规则推理优、缺点的比较，提出一种信息系统总体设计的案例推理与规则推理相结合的集成推理方法，可以提高信息系统总体设计的效率和质量。     

事例组织的抽象层次方法及实现

在ＣＢＲ系统中，事例的表示、组织和管理是其中的关键。结合语义模型和存储组织包结构，文中提出了一种通用的事例组织方法，即事例组织的抽象层次方法。并针对该方法给出了软件实现的主要数据结构和实现算法。     

Case Representation in Rapid Response Variant Design

A new case representation is proposed. Design process is included in this case representation. The record of design process provides designers with rationale and assumptions behind design solutions. This kind of case representation not only provides better understanding of design solutions among designers, but also helps designers create new solutions in case modification stage.     

机床控制流程的一种有限状态机表达方法

面向过程的IEC-1131-3规范已难以满足机床 控制流程表达新的应用需求,为了更好地支持控制器开放式体系结构设计和面向对象系统实 现技术,我们扩展了有限状态机的基本概念,提出了一种机床控制流程表达的分层式有限状 态机(FSM)方法．本文首先对分层式FSM的组织方法、特性、形式定义等进行了详细讨论;为 了进一步阐明这种方法的表达特性,我们介绍了一种分层式FSM表达的机床控制器总体结构 ,并讨论了这种结构下的开放性设计表达和系统实现等相关问题．     

一种基于改进设计性能指标的模型预测控制器性能监控方法

受随机噪声的影响,传统的设计性能指标是一个自相关的随机变量,传统的统计过程控制方法无法对其进行有效的监控。针对此问题,本文提出一种基于改进设计性能指标的模型预测控制器性能监控方法。为了对控制系统一段时间内的整体性能做出有效评价,首先将性能指标转化为平均形式,建立该性能指标的时间序列模型并对其进行预测,对预测误差进行统计过程控制,包括对预测残差及其累积和的监控,实现了对控制系统总体性能的实时评价。当检测出控制系统性能出现下降时,通过基于距离的判别分析方法快速定位性能下降源。在Wood-berry塔上的仿真研究验证了方法的可行性与有效性。     

Priorities on defaults with prerequisites,and their application in treating specificity in terminological default logic

In a recent paper we have proposed terminological default logic as a formalism that combines means both for structured representation of classes and objects and for default inheritance of properties. The major drawback that terminological default logic inherits from general default logic is that it does not take precedence of more specific defaults over more general ones into account. This behavior has already been criticized in the general context of default logic, but it is all the more problematic in the terminological case where the emphasis lies on the hierarchical organization of concepts.The present paper addresses the problem of modifying terminological default logic such that more specific defaults are preferred. We assume that the specificity ordering is induced by the hierarchical organization of concepts, which means that default information is not taken into account when computing priorities. It turns out that the existing approaches for expressing priorities between defaults do not seem to be appropriate for defaults with prerequisites. Therefore we shall consider an alternative approach for dealing with prioritization in the framework of Reiter's default logic. The formalism is presented in the general setting of default logic where priorities are given by an arbitrary partial ordering on the defaults. We shall exhibit some interesting properties of the new formalism, compare it with existing approaches, and describe an algorithm for computing extensions. In the terminological case, we thus obtain an automated default reasoning procedure that takes specificity into account.This is an extended version of a paper presented at the13th International Joint Conference on Artificial Intelligence, August 1993, Chambery, France.     

基于语义Web的案例表示和CBR系统结构研究

文中基于语义Web技术，从应用实例出发，提出一种基于语义Web的案例表示方法和对应的CBR系统结构，以适应目前Internet环境下的知识共享、知识管理工具和知识应用的发展。     

知识表示及企业本体建模研究

在企业建模领域引入本体思想,介绍了企业本体的概念、作用和意义,然后阐述了企业知识表示和组织策略。最后通过一个实例给出了本体建模的详细步骤和方法体系。基于本体的企业建模从根本上解决了企业的知识共享和重用问题。     

基于HLA的多重表示建模

HLA的发展,促进了不同层次、不同分辨率的仿真的互连互操作和重用。多分辨率建模是一种在不同分辨率或抽象层次上一致的描述同一系统或现象的建模技术或方法。在形成的几种方法中多重表示建模方法较好地解决了暂态一致性、链式解聚、网络拥塞、并发交互和映射一致性等问题,成为多分辨率建模方法与技术的发展方向。该文以多分辨率建模的有效性要求为基础,分析了各种方法在一致性联合执行上的差异,指出了多重表示建模方法的优势,应用HLAOMT作为多分辨率模型设计工具,给出了实现多重表示建模的四个步骤,为基于HLA的多分辨率建模提供一个框架。     

模具设计案例知识管理系统的研究与开发

结合模具设计的特点以及PDM系统在管理产品生命周期方面的功能,设计了模具设计案例知识的存储框架并在Smar Team系统中加以实现.为实现案例知识的快速搜索匹配,采用基于案例推理(Case-based Reasoning,CBR)技术开发了案例知识的搜索匹配系统,采用向导式的模具案例模糊查询功能,快速确定出查找范围,供设计人员参考.     

基于镜头和情节的视频非线性组织

提出了一种新的基于视频单元的视频非线性组织方案,该方案通过将视频分为情节,镜头,视频流三层,以支持视频的高效摘要、存储和浏览。视频组织采取由下而上的方法,首先通过对镜头单元的检测和镜头关键帧的提取,将视频流按镜头进行组织;然后对情节单元划分的基础上,根据所提出的镜头代表性准则,确定情报的代表帧,达到了将镜头按情节组织的目的。文中着重介绍了所提出的采用分级聚类和模糊和分类选取情节代表帧的算法。根据上