模糊Horn子句逻辑形式系统

简要回顾逻辑推理的发展历史,指出了经典数理逻辑中存在的一些问题。作者为每个传统的Horn子句赋予一个蕴涵强度f∈(0,1],从而得到模糊Horn子句及其Herbrand解释。进而,对传统Horn子句逻辑的语法和语义进行了拓展,建立了一个基于模糊Horn子句有限集合的逻辑推理系统,并证明了该系统的正确性和完备性。     

基于不动点的模糊时间序列模型

模糊时间序列在解决模糊性和不确定性数据方面表现出明显的优势.为了提高模型的预测精度,将数学理论中不动点理论与时间序列模型相结合,提出了分式函数、逆分式函数、预测函数的定义,并且证明了预测函数值收敛定理.在这些理论基础上,建立了一种基于不动点的模糊时间序列模型,进一步完善了模糊时间序列理论.预测结果表明,该模型具有预测精度较高、理论完整、鲁棒性强、应用范围广的特点.     

模糊距离空间中几类非线性压缩不动点定理

在 Kaleva-Seikkala 型模糊距离空间中建立了 Boyd-Wong 型和 Alber-Guerre Delabriere型非线性压缩不动点定理.这些结果补充了 Xiao等人的几个结果.作为应用,获得了通常距离空间和Menger概率距离空间中的几个非线性不动点定理.     

关于序模糊度量空间的公共不动点定理

在已有文献结果的基础上,利用模糊度量空间理论,给出了序模糊度量空间中的一些公共不动点定理.这些定理不要求模糊度量空间具有完备性,推广和改进了相关文献的相应结果.     

基于OR树林的逻辑程序并行执行模型——PSOF模型

本文提出了一种OR树林并行搜索模型——PSOF模型。在PSOF模型中,同一棵树中搜索的进程在逻辑上相互独立,无须通讯。子进程只是当搜索到叶节点时才向主进程发送结果,通讯频度很低。通过对多棵树以及一棵树的各分枝的并行搜索同时开发了逻辑程序的AND和OR两种基本并行性。本文还讨论了在PSOF模型下子目标的自动划分这一重要专题。     

一种支持逻辑程序AND和OR两种并行性的环境共享方法

本文提出一种新的环境共享方案。这种方案不仅克服了Ciepielewski的方案中的缺陷,而且能支持在PSOF模型下对逻辑程序的AND和OR两种并行执行。本文定义的环境存储器的二级结构以及各种处理变量约束环境的算法过程都已作为SES-PIM系统的一部分,用PROLOG在VAX-11/780上实现。方案的正确性和有效性已通过测试大量典型程序得到证明。     

模糊逻辑函数中短语的可消性

设Ｆ＝ａＰ＋ａ＿１Ｐ＿１＋……＋ａ＿ｍＰ＿ｍ是非冗余析取范式，本文获得了当ａ＞０．５时，ａＰ可消当且仅当ａＰ是冗余项，当ａ≤０．５时，给出了ａＰ可消的一个判别准则，然后归纳出短语可消性的判定法则。     

模糊逻辑中的一些问题研究

本文讨论了模糊逻辑中存在的一些问题。特别地，对与、或、非和蕴含作了更深入的讨论。     

模糊逻辑语言FLL的并行计算模型FPCM

该文在研究模糊逻辑语言ＦＬＬ 语义的基础上,提出了并行计算模型ＦＰＣＭ（ＦｕｚｚｙＰａｒａｌｌｅｌ ＣｏｍｐｕｔｅＭｏｄｅｌ）．该模型描述了模糊逻辑程序设计语言ＦＬＬ 的并行计算结构,以此实现了“ＡＮＤ 并行”和“ＯＲ 并行”计算,并利用所提出的警卫条件、计算负影响等机制进一步提高了ＦＬＬ 语言的并行执行效率,从而有效地解决了模糊逻辑语言执行效率低的问题．     

模糊映射不动点的存在性与稳定性

本文给出了模糊映射不动点的一个存在性定理,并应用有限理性研究的统一模式,研究了一类特殊的模糊不动点问题的稳定性,即在有限理性框架下证明了当模糊映射和可行集发生扰动时,在Baire分类意义下大多数模糊不动点问题都是稳定的.更进一步,在一定条件下给出了有限理性下模糊不动点问题的逼近定理,为关于模糊不动点问题的求解算法提供了理论支持.     

A Unified Fixed Point Theory for Countably P -Concentrative Multimaps

New fixed point results and Leray-Schauder alternatives are presented for countably P -concentrative multimaps. The notion of an essential map is also introduced for a wide class of maps.     

关于FLP问题一种新的单纯形算法的推广

指出FLP问题的一种新的单纯形算法[1]中主要结论成立的适用条件,并给出了该适用条件不成立时,一般条件下的推广.     

基于模糊需求的多产品供应商选择的多目标规划模型

由决策于环境的不确定性,供应商选择问题存在大量的模糊信息,传统的确定性规划模型已经不能够很好地处理此类问题。本文基于模糊需求量信息,对于多产品供应商问题建立了模糊多目标规划模型。同时考虑到各目标及约束的重要性程度不同的影响,通过引进适当的权重对多目标规划模型进行求解。文中结合实际算例验证模型的可行性和有效性。     

一类模糊线性规划模型的模糊最优区间值

讨论一类既有模糊不等式约束又有模糊等式约束的全模糊系数线性规划问题。在给定的模糊隶属度水平下 ,将模型转化为区间数线性规划模型 ,通过确定区间模型的最佳目标函数和最大可行域以及最劣目标函数和最小可行域 ,求出目标函数的模糊最优区间值 ,从而为决策者提供更多的决策信息。最后给出一个数值例子。     

基于二型模糊逻辑的元胞自动机模型

将二型模糊逻辑推理引入到元胞自动机模型中,把二型模糊逻辑推理与经典的元胞自动机模型结合起来,建立一种新的推理演化模型,基于二型模糊逻辑的元胞自动机模型.元胞自动机模型的关键部分是演化规则和元胞状态.将元胞自动机模型中的演化规则二型模糊化,将经典元胞自动机模型中的元胞状态模糊化为二型模糊状态,建立基于二型模糊逻辑的元胞自动机模型.     

Fuzzy度量空间型映象的不动点定理

本文给出Ｆｕｚｚｙ度量空间一些扩张型映象的不动点定理,这些结果发展和改进了普通度量空间中相应的结果。     

Fuzzy度量空间扩张型映象的不动点定理

本文给出Ｆｕｚｚｙ度量空间一些扩张型映象的不动点定理,这些结果发展和改进了普通度量空间中相应的结果。     

基于AFS逻辑的模糊聚类分析

应用 AFS结构[8] 和 EI代数 [8] 给出一个新的模糊聚类分析方法。它和人类根据某些模糊特征对一些对象进行聚类分析的过程类似。并通过例子说明该方法分类的结果与用直觉分类的结果相似。     

分式规划模糊投资组合模型的遗传算法求解

将预期收益率表示为模糊数,以E-SV风险测度为基础给出了组合证券投资决策的效用函数,并建立了基于分式规划的模糊投资组合选择模型,考虑到模型求解的复杂性,我们利用遗传算法构造罚函数对模型进行了求解,并通过实例,验证了该模型解法的可行性和有效性.