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

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

基于边界域的知识粗糙熵与粗集粗糙熵

传统的知识粗糙熵表征了知识整体的统计特征,是总体的平均不确定性的量度,知识和粗集的不确定性值被放大。从Pawlak拓扑的角度,给出了一种基于边界域的知识粗糙熵新定义,并修正了粗集粗糙熵的定义,集合的不确定性可以通过边界域来描述,能更精确的度量知识不确定性;证明了知识粗糙熵和修正后的粗集粗糙熵都随着信息粒度的变小而单调减少等重要结论。最后,通过弹簧振子系统定性仿真例子,结合定性推理技术,构造属性约简的启发式算法,消去定性描述中的冗余,获得了其系统的定性微分方程,说明了粗集理论在定性推理与定性仿真技术中的重要应用价值。

基于定性和半定性方法的故障检测与诊断技术

首先介绍了基于定性和半定性方法的故障检测与诊断技术的产生背景和发展状况 ,然后分基于定性方法和基于半定性方法 .———两大类介绍了主要的故障检测和诊断技术 ,讨论了各种方法的优缺点 ,介绍了一些典型的应用实例 ,并对发展的趋向进行了探讨 .

定性仿真技术及应用

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

研发团队绩效转换过程的定性模拟研究

本文分析了团队绩效的各类影响因素,将其分为结构变量、过程变量和状态变量三类。结构变量决定了群体的潜在绩效,过程变量和状态变量则影响着团队绩效在运行过程中发生的增量和减量。本文运用定性推理技术,建立了研发团队绩效转换过程的定性模拟模型,并提供了模拟结果。

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

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

国外定性仿真应用评述

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

动态系统的定性推理：定性模型的建立与定性仿真方法

本文首先介绍了动态系统的定性推理（ＱｕｌｉｔａｔｉｖｅＲｅａｓｏｎｉｎｇ）的产生背景，发展概况以及定性推理的实际应用前景，然后以Ｋｕｉｐｅｒｓ的定性仿真理论为中心介绍了定性推理的基本原理及方法，其中重点介绍了动态定性仿真算法ＱＳＩＭ和定性推理的最新发展，并对存在的问题进行了探讨。

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

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

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

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

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

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

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

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

定性推理在潜在电路分析中的应用

将人工智能中的定性推理技术应用于潜在电路分析 ( Sneak Circuit Analysis SCA)。提出了一种直观的权电阻网络形式的电路定性建模方法 ,给出了相应的仿真算法 ,研究了基于状态的功能标记并将其与定性仿真相结合进行潜在电路分析。最后以某导弹点火控制系统为例进行分析 ,结果证明了所述方法的有效性。

企业员工-管理者互动行为的定性模拟实现

采用定性模拟方法研究了企业员工-管理者互动行为.根据定性模拟和组织行为学相关理论,将管理者任职后与下属员工相处的过程视为相互影响的动态变化过程,建立了能够表达这种动态变化的定性状态变量和作用规则;采用C++语言实现了定性模拟程序QSHR;通过一个例子的有效性验证说明所设计程序能够表达互动行为的定性模型,所得结论符合管理原则.通过一个对比不同状态下管理者和员工群体行为表现实际应用,论述了QSHR的应用方法和对管理实践的重要参考意义.

几何因果定性推理的基本原理和算法

因果定性推理是一种通过分析描述物理系统行为和关系的约束找出系统内部各个成分之间的因果结构的推理方法．本文提出一种基于约束和变量分析的因果定性分析模型和算法．该方法在产品设计中有广泛的应用，利用这个模型和算法可较好地解决参数化设计中的几何推理问题，还可用作概念设计的工具，用于完成复杂系统设计任务的划分及定序、设计变量之间相互依赖关系分析等工作．算法具有应用性强、效率和稳定性好。

煤电企业间模糊定性仿真自动谈判模型研究

根据煤电双方谈判的特点和要求,利用模糊定性仿真技术构建了煤电企业间模糊定性仿真自动谈判模型,将定性推理、约束影响理论、相对数量级、模糊集等方法和理论应于模型的构建,省去对谈判问题建立复杂的解析和结果映射模型,重点关注谈判局势的关键状态转移点,消除了定量表示中遇到的模糊性和不确定性等问题。通过实例仿真可以看出,仿真过程完全符合煤电双方谈判的实际,极大地提高了谈判的效率和成功率,仿真结果具有较高的科学性和合理性,能够为谈判各方谈判报价决策提供指导性支持。

一类离散系统的定性仿真

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

结合定量信息的定性仿真方法

在定性模拟算法（ＱＳＩＭ）中，时间被表示为由一些抽象的特异时点组成的集合，这些特异时点本身不含有任何具体的时域信息．由于缺乏时域信息，人们常常无法对带有时间延迟特性的系统进行仿真，因此必须充分利用一切可以利用的信息．根据区间约束传播思想，在ＱＳＩＭ算法基础上，本文提出了一种充分考虑时域信息的半定量方法（Ｓ－Ｑ），它是对ＱＳＩＭ算法的一个改进．本文还通过对离散经济系统ＣＯＢＷＥＢ模型的定性模拟。

参数化设计的定性建模与仿真

对参数化设计问题提出了一种新的基于DOF(Degrees of freedom)的定性建模与仿真方法。在几何约束求解的过程中,通常的定量数值化方法由于解空间的巨大而显得低效。通过定义基本约束簇类型和规则,新方法引入定性图对几何约束进行定性建模及模型求解。经过一系列基于DOF的定性图推理过程,几何约束的定性模型被规约为一个单节点后得出一系列的构造步骤。在这个推理阶段中得出的构造步骤被确定为以后精确定量计算的次序。结合了定性推理方法的高效性以及定量方法的精确性,初步实验表明新方法能够提高约束求解的效率。

定性推理综述（Ⅰ）──常识知识推理和因果性解释以及传统定性推理方法

在人工智能的今天，知识已被认为是任何智能系统的集成元件。对常识知识推理和这种推理所需实践知识的研究已是并将在一段时间内仍会是人工智能研究的中心问题。本文在讨论常识知识推理和因果性解释两个概念的基础上，较详细地介绍了传统定性推理中三种主要方法：定性微分方程法、定性进程理论和定性模拟方法，并对它们的特点和共同之处予以总结。