基于定性模型的定性仿真方法

定性仿真在定性推理中起着核心作用．本文将介绍基于定性模型的定性仿真法的基本内容，讨论支持其走向实用的主要方法和技术，并展示其在若干领域中的应用．     

复杂系统的定性仿真

回顾复杂系统定性仿真的发展历程;阐述复杂系统定性仿真的基本原理,将定性仿真方法归纳为非因果关系推理、因果关系推理和元胞自动机三类;评述三类方法的研究和应用进展;探讨管理系统复杂性的特征,介绍本文作者及其合作者的管理系统定性仿真研究工作;给出复杂系统定性仿真下一步需要解决的关键问题。     

定性控制综述

首先介绍了定性推理，定性控制的产生背景，发展状况及已取得的成就，然后给出了定性控制的三种基本方法，并依次举例做了较为详细的说明，最后对定性控制的优点，缺点及发展趋向做了探讨。     

复杂性和意义含糊问题的定性仿真和控制

许多系统是高阶、时变、非线性，传统的模型分析方法不容易应用。定性推理能避免复杂的数学计算，定性推理有吸引力是因为它涉及到物理系统一般原理的描述，这意味着一个特殊的定性模型能用于描述一个大范围的起作用的条件。在工程上定性推理用于监控和诊断。本文阐述如何用定性推理技术去仿真和控制液位系统的问题。     

基于定性状态模型的定性控制方法研究

针对某些复杂系统难以获得精确数学模型来实现有效控制这一问题,采用定性状态模型来描述含有不确定性的非线性系统,提出了一种定性控制方法。首先通过对系统状态的定性划分,采用基于定性推理的自动机建立被控系统定性状态模型,然后设计基于系统定性状态模型的定性控制器,并给出了控制器设计的一般步骤。最后以液位控制系统为例,建立了液位对象的定性状态模型并设计了定性控制器,仿真结果表明该方法的有效性及其理论价值和应用前景。     

基于Voronoi图的定性路径推理

动态空间知识的表示与推理是定性空间推理研究的重要内容.基于Voronoi图及其动态变化,提出运动路径定性表示与推理方法.先根据Voronoi图空间邻近关系定义Voronoi图生成子空间关系,进一步定义定性位置及概念邻域,并应用概念相邻的定性位置序列给出定性路径表示.再由动态Voronoi图的边集变化和给出的概念邻域中定性位置间最短路径的启发式算法,设计并实现具有观察者角度的定性路径推理算法.最后,实验分析并验证该方法的有效性.     

定性代数的形式框架FAQA

本文首先讨论了定性推理系统和一量推理系统的描述，进而给出了定性代数的一种形式框架ＦＡＱＡ，提出了定性、定量是不同层次观察结果的观点，并对定性（混合）结构进行了分析描述。ＦＡＱＡ框架是Ｗｉｌｌｉａｍｓ等人工作理论上的完善及统一基础。     

基于Voronoi图的定性路径

定性路径是定性空间推理的一个基本概念。给出了一个基于Voronoi图的定性路径表示与推理方法。该方法应用Voronoi图的邻近关系来表示定性位置和定性路径,即用运动点所在Voronoi区域的邻域来表示定性位置,用运动点所经过的定性位置序列来表示定性路径。设计并实现了一个定性路径推理算法,基于初始Voronoi图及不同时刻所有Voronoi区域的边数来动态更新Voronoi图邻近关系,可识别出运动点并找出定性路径。实验结果表明,该方法是可行的。     

智能模拟之定性定量仿真的发展

本文主要介绍在定性定量仿真方面发展相对成熟的一些研究成果, 并重点介绍了灰色定性仿真理论及其在故障诊断方面的应用。     

基于方向关系组合运算表的定性推理

方向关系的定性推理是GIS中的一个重要的理论问题。本文介绍基于井字空间的方向关系定性表示。着重讨论基于方向关系组合运算表的定性推理，最后给出一个基于方向关系组合运算表的定性推理算法。     

THE SCOPE OF DIMENSIONAL ANALYSIS IN QUALITATIVE REASONING

Dimensional analysis, traditionally used in physics and engineering to identify quantitative relationships, has recently been applied to qualitative reasoning of physical systems. We illustrate some problems of this approach. In the light of this, we reexamine the fundamentals of dimensional analysis in order to more precisely characterize its scope and limitations as a tool in qualitative reasoning. We also explore its relationship to state equation representations of physical systems. In particular, we describe its value in providing a set of constraints to reduce the ambiguity that bedevils qualitative reasoning schemes. We argue that dimensional analysis should not be seen as a substitute for knowledge about the physics but rather a supplement to other sources of knowledge.     

Qualitative economic reasoning: a disequilibrium perspective

Extending a qualitative simulation of a market-based equilibrium model, this paper demonstrates the technical applicability of partial simulation from a more realistic disequilibrium viewpoint, where a market cannot be cleared promptly and it is subject to quantity constraints of spillover from other imbalanced markets. Some well-known observations of disequilibrium economics such as the effectiveness of policy change in relation with disequilibrium regime are proven to be correct in qualitative reasoning and simulation.     

方向关系的定性表示与推理

方向关系是GIS中的一个重要的理论问题。本文重点讨论方向关系的定性表示与推理。文章首先讨论了基于井字空间的方向关系定性表示,然后介绍了基于方向关系组合运算表的方向关系定性推理,最后对我们现在和将来的一些研究进行了叙述,并对我们的工作做了总结。     

QUBICS: A general quantity base management system

The problem of ambiguities has presented an obstacle to the practical use of qualitative simulation in dealing with real-life dynamic systems. One of the dominant causes of these prevailing ambiguities is the parsimonious use of information by current qualitative simulation models. Humans seem to utilize more quantity information to produce less ambiguous predictions when reasoning on dynamic mechanisms. To cover such human algebraic reasoning, the representation and processing of quantity information should be extended. This paper presents an inference system specialized for processing quantity information in order to support qualitative simulation. The system stores the information in the form of constraints into a quantity base, a notion that is parallel to the symbolic fact base, and processes queries based on linear programming techniques and goal-tree search. Temporal reasoning is also facilitated through an improved utilization of derivative information.     

定性空间推理的分层递阶框架

定性空间推理是定性推理和空间推理的重要组成部分 .拓扑和形状是定性空间推理研究的关键问题 .针对定性空间推理已有一般框架存在的问题 ,提出了定性空间推理的分层递阶框架 ,并结合拓扑和形状方面的定性空间推理研究工作阐述了所提出的框架的有效性和合理性 .最后总结了分层递阶框架的要点并提出了基于该框架的进一步研究工作 .     

定性仿真和功能推理在系统故障诊断中应用

针对电路系统的特点,提出一种基于定性仿真和功能推理的故障诊断方法。在对电路系统进行简化与拆分的基础上,建立元件的定性仿真模型,对拆分后的电路系统进行定性仿真和推理,确定系统中功能执行元件的工作状态,并与实际的电路进行比较,从而将故障进行隔离定位。仿真实例说明了该方法的有效性。