一类离散系统的定性仿真

分析了一类具有离散时间分析和延时特性的离散系统定性仿真方法。通过将离散系统的不精确或不完备知识抽象为定性值、规则和约束,运用定性差分方程式形式定性建模,结合QSIM算法中的约束传播定量信息进行定性定量集成仿真,并给出仿真实例。     

定性建模、仿真和控制

概括介绍了定性建模、仿真和定性控制的产生和发展,以及理论研究现状,并说明了在国外的应用情况,最后对该领域的发展前景作出评述。     

基于定性推理与定量仿真集成的故障诊断推理

阐述了故障诊断推理过程中知识的概念、类别和关系，从知识的获取、组织和表示等方面对定性和定量知识的集成进行了研究，并提出了基于定性推理和定量仿真集成的综合诊断推理方法，结合复杂系统试车数据的仿真诊断结果表明，该方法能有效地消除推理结果中的奇异性，从而改善了定性推理方法的性能。     

机械装置的定性空间推理与仿真

对定性空间推理机械装置的配置给出了一个全新的途径，使得计算机能通过定性空间推理理论，初步判断人类对某个机械装置设计的概念思路是否合理。此方案在推理过程中运用了约束传播和符号代数的方法，预测所有可能合理的配置信息。其推理机制主要定位于机械装置的空间信息描述和其相关的定性动力学描述。对每个构成一般机械装置的基础机械部件提供其定性配置信息和动力学约束。通过有机的推理机械部件信息，得到复杂机械部件综合定性描述，从而对整个系统的有个形象直观的定性认识。     

国外定性仿真应用评述

概括介绍了国外定性仿真在各个领域内的应用情况,并从应用理论和方法、应用领域、应用效果、发展方向等多方面加以评述。     

基于定性推理的开关/继电器电路故障诊断

为实现开关/继电器电路的故障诊断,考虑将人工智能中的定性推理技术应用于电路故障分析.通过建立简单直观的权值电阻网络形式的电路定性模型,并研究了相关的算法进行静态、动态的定性仿真,再根据仿真结果判断系统是否发生故障,并利用元器件的状态信息通过推理方式实现故障定位.最后以某大型测试设备紧急断电电路为例进行了分析,结果证明了所述方法的可行性、有效性.     

基于定性推理的开关∕继电器电路故障诊断

为实现开关/继电器电路的故障诊断,考虑将人工智能中的定性推理技术应用于电路故障分析。通过建立简单直观的权值电阻网络形式的电路定性模型,并研究了相关的算法进行静态、动态的定性仿真,再根据仿真结果判断系统是否发生故障,并利用元器件的状态信息通过推理方式实现故障定位。最后以某大型测试设备紧急断电电路为例进行了分析,结果证明了所述方法的可行性、有效性。     

定性仿真技术及应用

定性仿真以非数字化手段处理信息输入、建模、行为分析和结果输出等仿真环节,通过定性建模推导系统的定性行为描述。定性仿真是处理不完备信息的有效方法。定性仿真方法产生了多种流派,如模糊仿真法、归纳推理法、非因果关系推理方法、基于因果关系的推理方法、基于图表的推理方法、基于数据的结构化建模方法、基于定性空间的推理方法等。近年来,定性仿真已应用到故障诊断、生态和环境学、机械制造业和工业系统、医学研究、混杂非线性系统、教育系统、人类社会与经济、人工智能等领域中。最后从整体上简要评述了定性仿真的发展。     

考虑参数变化的定性仿真

考虑了系统参数变化时,系统定性行为变化的定性仿真问题,作者结合ＱＳＩＭ算法得 种新的仿真算法,使用该算法对上抛小球以及绝热的气体容器从高温的热热爱热量的系统进行了定性仿真其,其结论与直观结果完全一致。     

复杂武器系统定性建模与仿真探析

分析复杂武器系统仿真具有的结构特性、人的行为特性、环境特性、交互特性和集成特性,结合定量建模,研究复杂武器系统仿真中适合定性建模与仿真的特点所在,指出武器系统仿真不同于一般民用系统仿真的时序性区别,最后探讨复杂武器系统仿真中定性建模的局限性及其今后的研究方向。     

概念设计中机械行为方案的定性推理

定性推理是定性仿真的关键步骤之一,采用定性符号构成的矩阵来表示机械基础单元（BMU）的功能转化,用定性向量表示输入及输出状态,并通过定性状态功能矩阵的组合、推理和仿真从而帮助设计师完成机械概念设计的构思及创新工作。在此方案中把基础单元作为一个研究对象,通过定性代数、逻辑组合、分形法和定性状态推导法从而全面掌握和预测复杂机械的组成结构,并选出符合设计要求的合理方案,最后通过对缝纫机刺布机构概念设计的推导实例验证了方案的合理性和可行性。     

定性仿真中的一种因果关系分析方法

因果关系是人类思维中的一个很重要的概念，在人们进行推理、作出判断、认识周围世界这些过程中，因果关系都起着基础性的作用。本文阐述了人工智能和定性仿真中因果关系的重要地位，分析了当前的研究进展。从因果序理论出发，研究了运用因果关系来定性地分析系统的方法。并用例子证明了这种方法的在系统仿真、分析中的有效性     

定性仿真中摆动变量的研究

摆动变量是OSIM产生奇异行为分支的主要原因之一，辨识摆动变量并利用有效的方式消除变量的摆动是提高OSIM运算效率和预测准确度的一个关键技术，这个问题一直是定性仿真的一个难题。认真分析了Kuipers的相关理论后，发现其判定摆动变量的判据与变量的摆动没有直接的因果关系。因此一套摆动变量辨识和利用变量的高阶导数约束变量摆动的改进方法被提出，并以两级级联水箱和多级级水箱系统为例对该方法进行了说明。改进的方法有效地利用了系统常识和QDE中蕴含的定性信息，对系统常识与QDE的结合进行了有益的探索。     

基于模型的定性推理故障诊断方法研究

提出了一种基本模型的定性推理故障诊断方法 ,其基本思想是以定性推理方法为基础 ,并结合系统的模型知识进行故障诊断。首先通过建立系统部件模型的正常和故障工作模式库 ,以及用有向连接图和支路关联矩阵来建立系统的结构描述 ,然后在部件模式库中搜索满足已知条件的模式 ,来诊断出故障的部件     

用于定性推理的智能化空间方法研究

在已设定智能化空间概念的前提下 ,提出了赋值单形与判断的定义。探讨了客体、表观指标与判断之间的相互关系 ,提出了用于定性推理的智能化空间方法。同时 ,根据智能化空间的网络结构特点 ,借助于机器人路径规划的势函数思想 ,设计了一种用于推理的特别算法。最后 ,通过一个求重问题 ,说明了定性推理的实质是一个用定量手段处理定性问题的智能行为过程。     

定性仿真与人工智能的关系及计算机化解法体系

定性仿真是采用定性推理方法建立和求解定性代数方程或定性微分方程模型,得到被仿真对象的定性行为和展望的预测过程。定性仿真(QSIM)和基于深层知识的人工智能技术,在其核心内容上看是属于同一科学领域。图论方法是求解复杂定量或定性仿真模型的实用且有效的计算机化方法。提出了有关定量和定性仿真计算机化的解法体系,给出了一种计算机求解实例。     

集成化SDG建模、推理与信息处理软件平台

过程工业的安全问题正日益引起公众及政府的关注和担忧。大量的人力物力被投入到过程风险评价(PHA)中，而它们的大多数依靠人工完成。近年来，通过引入符号有向图(SDG)，基于计算机的自动PHA成为了可能。这项工作的首要任务是建立一个实用的SDG建模、推理平台。我们基于对HAZOP评价方法的研究，根据操作的步骤和需要，最终设计、开发了一个图形化、层次化、支持组件可复用的SDG软件平台，以供建模、推理和数据后处理使用。该平台基于自主开发的SDG推理引擎和图形建模环境，其设计充分考虑技术研究的持续和渐进性，利用迭代开发和面向对象的技术，支持多种算法的混合使用和组件的复用，从而在SDG的图形建模、推理引擎构架和双向推理方面做出了有益的探索。     

一种新的交交变频器仿真建模方法

以余弦交截法的触发机理为依据，确定了6脉冲单相交交变频器中各晶闸管触发时刻的准确逻辑关系。在此基础上，编制了基于Simulink S-function的仿真程序，应用该程序对6脉冲单相交交变频器的输出谐波电压进行了仿真分析，分析结果与理论计算结果吻合良好，证明了所建模型的正确性。交交变频器模型的正确性是对交交变频调速系统进行深入分析的必备条件。     

驾驶员行为的Kuipers定性仿真算法

定性推理的目标就是寻求一种计算理论来模拟人处理定性知识的方法。驾驶过程就是驾驶员把通过其五官和其它渠道获得的道路信息和汽车的有关运动状态等定性信息传递到大脑加工后反馈给手脚执行操纵的过程。由于传统的数字仿真是建立在精确系统数学模型基础上的仿真,因此,使用传统的数字仿真技术模拟驾驶员的驾驶过程是困难的。本文依据Kuipers的定性仿真方法对熟练驾驶员和刚学会开车的驾驶员,在具有不同曲率半径和路面情况的一段道路上所做出的车速选择做了定性推理,给出了两类不同驾驶员驾车行为的定性状态描绘图和相应的车速曲线变化图。     

网络的一种类比仿真建模方法

针对一般流体网络,本文提出了类比仿真数学建模方法,与其它建模方法相比,它既有很高的逼真度,又保证了仿真系统的实时性。本文用汽轮机润滑油系统这一实际例子的仿真结果,验证了所提出建模方法的正确性和实用性。