n阶线性模糊微分方程的结构元解法

研究了n阶线性模糊微分方程的模糊初值问题,将n阶线性模糊微分方程转化成一阶线性模糊微分方程组,利用结构元方法将模糊线性微分方程组转化成两个分明的线性微分方程组,通过分明的线性微分方程组的解构造出原n阶线性模糊微分方程的解.最后,给出了具体的算例.     

不同维分数阶混沌系统的自适应模糊滑模有限时间同步控制

针对不同维分数阶混沌系统的有限时间同步问题,提出了一个分数阶自适应模糊滑模控制方案。为增加同步误差的收敛速度,本文提出了一种新型的积分滑模面,并利用模糊逻辑系统结合分数阶自适应律估计理想控制器的未知部分。基于分数阶Lyapunov稳定性理论,设计了分数阶模糊滑模同步控制器,可使不同维分数阶混沌系统的同步误差在有限时间内达到滑模面。最后,数值仿真的结果验证了本文方法的有效性。     

微分方程模糊初值问题的解

研究了一阶线性微分方程模糊初值问题,利用模糊微分方程的刻画方程和初值之间的关系,给出了一阶线性微分方程模糊初值问题的一种求解方法,讨论了同基于Hukuhara微分求解方法之间的关系,证明了在一定条件下两种方法是等价的,文中的实例说明了这一点.     

一阶模糊谓词逻辑公式的解释模型真度理论及其应用

基于一阶模糊谓词逻辑公式的有限和可数解释真度的理论,引入了一阶模糊谓词逻辑公式的解释模型及解释模型真度的概念,并讨论了它们的一系列性质及其在近似推理中的应用.     

一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

一阶形式系统K*及其完备性

模糊命题演算的形式系统L*已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L*相应的一阶逻辑理论,建立了一阶形式系统K*,并证明了这个系统的完备性.     

一类具有扇形死区的分数阶神经网络系统的模糊自适应同步

本文研究了一类具有扇形死区的分数阶神经网络系统的同步问题,提出了一种自适应模糊控制方法。首先,采用模糊逻辑系统对不确定的非线性函数进行逼近,通过分数阶自适应定律来更新模糊系统的参数。其次,基于分数阶李雅普诺夫稳定性准则,设计了一种自适应模糊变结构控制器,该控制器可以保证系统状态同步误差收敛到原点的足够小的邻域。最后,通过数值仿真验证本文方法的有效性。     

基于广义q-阶正交模糊混合平均算子的多属性决策方法

本文研究q-阶正交模糊环境中广义混合平均算子的多属性决策问题。首先,针对多属性决策时需掌控变量间的权重关系以及减少极端数值对决策结果造成影响的两种需求,本文将q-阶正交模糊数与广义混合平均算子相结合,提出广义q-阶正交模糊混合平均算子。其次,对广义q-阶正交模糊混合平均算子的相关性质进行证明。最后,给出一种基于该算子的多属性决策方法,并用实例验证该方法的可行性和有效性。     

一阶多参数模糊微分方程及定解问题

在单参数模糊微分方程基础上研究了一阶多参数模糊微分方程和模糊初值问题,利用刻画方程的解与刻画参数的关系给出了多参数模糊微分方程解存在的条件,最后给出了具体算例.表明,多参数模糊微分方程具有广泛的工程应用背景.     

二阶模糊微分方程的Adomian解法

在一阶广义Hukuhara导数的基础上定义了模糊值函数的二阶广义Hukuhara导数,利用该导数研究了二阶模糊微分方程的模糊初值问题,将二阶模糊微分方程转化成4个等价的常微分方程组,给出了模糊初值问题近似解析解的Adomian解法,文中给出了具体算例.     

模糊推理三I算法的逻辑基础

在模糊推理理论中，近期问世的三I推理方法以逻辑蕴涵运算取代传统的合成运算，从根本上改进了传统的合成推理规则(即CRI方法)。本文基于模糊命题逻辑的形式演绎系统L^*和模糊谓词逻辑的一阶系统K^*，构建了一个完备的多型变元一阶系统Kms^*，并且将三I算法完全纳入了模糊逻辑的框架之中，从而为模糊推理奠定了严格的逻辑基础。     

Exact solution to the periodic boundary value problem for a first-order linear fuzzy differential equation with impulses

Using the expression of the exact solution to a periodic boundary value problem for an impulsive first-order linear differential equation, we consider an extension to the fuzzy case and prove the existence and uniqueness of solution for a first-order linear fuzzy differential equation with impulses subject to boundary value conditions. We obtain the explicit solution by calculating the solutions on each level set and justify that the parametric functions obtained define a proper fuzzy function. Our results prove that the solution of the fuzzy differential equation of interest is determined, under the appropriate conditions, by the same Green’s function obtained for the real case. Thus, the results proved extend some theorems given for ordinary differential equations.     

On standard models of fuzzy region connection calculus

The Region Connection Calculus (RCC) is perhaps the most influential topological relation calculus. Based on the first-order logic, the RCC, however, does not fully meet the needs of applications where the vagueness of entities or relations is important and not ignorable. This paper introduces standard models for the fuzzy region connection calculus (RCC) proposed by Schockaert et al. (2008) [18]. Each of such a standard fuzzy RCC model is induced by a standard RCC model in a natural way. We prove that each standard fuzzy RCC model is canonical in the sense that any satisfiable set of fuzzy RCC8 constraints have a solution in it. A polynomial realization algorithm is also provided. As a side product, we show similar sets of fuzzy constraints have similar solutions if both are satisfiable. This allows us to approximate fuzzy RCC constraints that have arbitrary bounds by those have bounds with finite precision.     

Bounded solutions for fuzzy differential and integral equations

We find sufficient conditions for the boundness of every solution of first-order fuzzy differential equations as well as certain fuzzy integral equations. Our results are based on several theorems concerning crisp differential and integral inequalities.     

Fuzzy sets and Boolean-valued universes

A connection between fuzzy sets and Boolean-valued universes is made by developing a formal axiomatic system for fuzzy sets among whose models are suitably interpreted Boolean-valued universes. The formal system is an independent first-order axiomatization of fuzzy set theory which parallels the Zermelo-Fraenkel development of classical set theory.     

基于一阶Takagi-Sugeno系统的Pi-Sigma网络的改进神经-模糊梯度学习算法

This paper presents a Pi-Sigma network to identify first-order Tagaki-Sugeno（T-S） fuzzy inference system and proposes a simplified gradient-based neuro-fuzzy learning algorithm.A comprehensive study on the weak and strong convergence for the learning method is made,which indicates that the sequence of error function goes to a fixed value,and the gradient of the error function goes to zero,respectively.     

Linear matrix differential dynamical systems with fuzzy matrices

In this paper, we investigate linear first-order fuzzy matrix differential dynamical systems where the coefficients matrix is described by a fuzzy matrix. We show some properties of the matrix differential dynamical systems, and their phase portraits are described by means of examples.     

Strict core fuzzy logics and quasi-witnessed models

In this paper we prove strong completeness of axiomatic extensions of first-order strict core fuzzy logics with the so-called quasi-witnessed axioms with respect to quasi-witnessed models. As a consequence we obtain strong completeness of Product Predicate Logic with respect to quasi-witnessed models, already proven by M.C. Laskowski and S. Malekpour in [19]. Finally we study similar problems for expansions with ??, define ??-quasi-witnessed axioms and prove that any axiomatic extension of a first-order strict core fuzzy logic, expanded with ??, and ??-quasi-witnessed axioms are complete with respect to ??-quasi-witnessed models.