知识库中假言推理命题的Fuzzy表达及其求值

本文给出了另一类近似推理命题——假言命题的Fuzzy表达及其求值算法,并提出语言真值的“动词化”设想。作者认为在专家系统中采用语言真值的“动词化”方法可能更有效。     

模糊缺省推理的理论和方法研究

在一种含有补余律的模糊抽象代数系统（即ＦｕｚｚｙＢｏｏｌｅ代数）上，利用模糊逻辑公式与布尔函数的相互转换性，构造了具有模糊非单调推理能力的推理机制；从可应用性出发对模糊缺省规则进行了深入的讨论。该推理机制不仅增加了在量的描述方面的知识表达能力，而且在一定程度上解决了扩张存在性问题，提高了推理的效率。     

大坝变形分析的模糊似然推理方法

作为模糊似然推理方法的扩展，在多输入因子情况下，推演出水位、温度、时效因子交替固定或变化而似然推理大坝位移的规则，并以刘家峡大坝的水平位移为例，导出了模糊演算预测模型。     

基于物理过程描述的诊断推理

本文提出了一种基于对复杂系统中各种相关过程描述的诊断知识模型.该模型具有如下几个方面的特点:a.它是一种基于复杂系统中各种相关的物理过程描述的较深程度的知识模型;b.它是基于约束传播原理,采用定性推理和定量计算两种方式,实现对各子系统的正常与异常行为的描述;c.它本身包含了复杂系统中多种因果关系知识.文中以发动机化油器为具体诊断对象,讨论了该模型的实现与应用中的有关问题.     

植物种群分布格局的动态变化规律

本文从植物种群个体分布格局在时空系列上动态变化规律的研究,探讨植物种群结构的演变特点。种群分布格局与种群数量动态密切相关,种群数量的消长造成了种群分布格局类型(typc),格局规模(scale)、格局强度(intensity)、格局纹理(grain)的相应变化。在时间,空间梯度系列上,随着环境旱化程度的加强。旱中、中旱生类型的种群或消失,或种群分布格局的规模逐浙缩小,格局强度加强,格局纹理变粗;早生类型的种群分布格局观模则有扩大的趋势,格局强度减弱,格局纹理变细,可见,环境因子的改变,特别是水分状况的改变,是种群分布格局变化的主要影响因素。     

用于平面布局的专家系统

本文提出了平面布局的一个拓扑模型——方图,方图侧重于表达平面布局的拓扑属性.文中阐述了基于方图的平面知识表达、平面知识的推理方法与布局的智能生成原理和平面知识的获取方法,设计了平面布局专家系统的一种结构框图.     

格型模糊谓词逻辑与推理

本文研究真值取在布尔格上的模糊逻辑与推理。讨论了布尔格的结构性质及其构造、模糊语言的格型模糊谓词逻辑描述和消解法模糊推理。     

基于模糊推理的边缘检测

针对传统基于边缘邻域的一阶或二阶导数的图像边缘检测方法对模糊边缘图像不敏感的问题,提出了基于模糊推理的边缘检测算法.根据边缘点附近灰度分布的特征确定模糊规则,用min-max重心法模糊推理该点的边缘隶属度,实现边缘检测.实际图像处理结果表明,与传统算法相比较,新算法检测边缘效果明显.     

时态信息与时态信息管理研究

时态信息和时态信息管理是数据库技术和信息管理技术的一种新的研究领域,对于信息的时态要求是信息应用需求多元化的必然.本文概括了时态信息管理中的经典模型,研究了时态信息管理的常用软件,并对其相关的时态支持进行了分析归纳.     

基于XYZPADL 的Web 服务体系结构形式描述

在对时序逻辑语言XYZ/E进行扩展的基础上,对服务、合成服务、面向服务的体系结构以及系统的活性、正确性以及安全性等核心概念进行了形式定义,并对整个Web服务体系结构进行了形式化的描述与实现过程的分解与逐步求精,指出了在该体系结构框架下,系统的活性、正确性以及安全性存在的与服务求精过程中所具有的语义的可组合特性,这一组合特性在服务的状态转换变迁模型下得到了证明,从而为服务的合成与重用机制提供了形式化的理论指导.