求解一类模糊线性微分系统的结构元方法

基于模糊结构元方法,研究了由对称模糊结构元线性生成的一般模糊线性微分系统和双重的一般模糊线性微分系统,给出了模糊线性微分系统解存在的充要条件,得到了结构元线性生成的齐次、非齐次以及双重一般模糊线性微分系统求解方法。最后,给出了这类系统的实际应用。     

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

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

基于结构元的模糊值函数的一般表示方法

文[1]提出了模糊结构元的概念,并给出了模糊数与模糊值函数的模糊结构元表示,以及一类由模糊结构元线性生成的模糊值函数的微分和积分(黎曼意义下的)的表达形式。本文在文[1]的基础上进一步给出了由模糊结构元生成的模糊值函数的一般表达形式,并得到了一般表达形式下的模糊值函数的连续性和微分、黎曼积分的定义,它们与传统模糊分析中相应定义是等价的。     

形变理论综述(一):代数结构形变的具体公式（英文）

在这篇综述中,我们首先给出结合代数、李代数、预李代数、Leibniz代数以及3-李代数的表示和上同调的具体公式以及它们的强同伦版本.然后我们回顾可以刻画这些代数结构为Maurer-Cartan元的分次李代数和分次结合代数.相应的Maurer-Cartan元可以赋予分次李代数或者分次结合代数一个新的微分,进而给定代数结构的形变问题可以由得到的微分分次李代数或者微分分次结合代数的Maurer-Cartan元来刻画.我们还回顾了控制形变的上同调、微分分次李代数和微分分次结合代数之间的关系.     

解分数阶微分代数系统的Adomian分解方法

研究了利用Adomian分解求解分数阶微分代数系统的方法.分析了代数约束对Adomian方法求解的影响,指出直接解出代数约束变量,将原系统转化为微分系统进行Adomian分解的困难.提出确定代数变量级数解各分量的新方法,据此进行Adomian分解,得到整个系统的级数解.特别研究了代数约束为线性的分数阶微分代数系统的Adomian解法,证明了各变量间的线性代数约束关系可以转化为相应级数解中各分量的线性关系,从而方便求解,并结合具体例子证明了该方法简便有效.     

多种模糊值函数微分定义的统一表述

针对模糊值函数微分有多种定义,并且在形式难以得到统一的现状,提出了模糊数的广义限定性运算.在此基础上,利用[-1,1]上同序标准单调函数类与模糊实数空间的同胚性质,给出了广义限定差意义下的模糊值函数微分定义,并证明了这个定义与借助于扩张原理形式、借助于Hukuhara差形式和借助于模糊结构元形式的三种模糊值函数微分定义是等价的,进而得到了基于模糊结构元方法的模糊值函数微分定义的统一表述.     

3-莱布尼茨代数的非交换扩张

本文主要利用Maurer-Cartan元研究3-莱布尼茨代数的非交换扩张.我们构造了一个微分分次李代数,并且证明了这个微分分次李代数上的Maurer-Cartan元等价类与3-莱布尼茨代数的非交换扩张同构类是一一对应的.同时分析了由3-莱布尼茨代数基本元所构成空间上的莱布尼茨代数结构,证明了一个3-莱布尼茨代数的非交换扩张诱导了一个莱布尼茨代数的非交换扩张.     

计算微分代数系统稳定域的迭代Lyapunov函数方法

用迭代Lyapunov函数方法对微分代数系统稳定域进行了研究,根据所研究的微分代数系统形式,构造一个Lyapunov函数,然后对这个Lyapunov函数进行逐次迭代,给出了微分代数系统稳定域逐次扩大的迭代算法,数值实验表明迭代Lyapunov函数方法应用于微分代数系统稳定域的估计比单个Lyapunov函数具有良好的优越性。     

线性微分差分系统渐近稳定性的充要条件

本文引进了一种可谓参数的方法，应用该方法研究了线性微分差分系统的渐近稳定性，得到了该系统渐近稳定性的充要条件的代数判别准则．     

线性微分差分系统渐近稳定性的充要条件

本文引进了一种可调参数的方法，应用该方法研究了线性微分差分系统的渐近稳定性，得到了该系统渐近稳定性的充要条件的代数判别准则．     

线性时变微分代数系统的稳定性

讨论了线性时变微分代数系统的稳定性，直接由方程系数给出稳定性的判定条件.      

一类线性微分代数系统的稳定性

本文讨论了一类线性时变微分代数系统的稳定性.利用Rosenbrock系统受限等价性理论,直接由方程系数给出了一些稳定性的充分条件.     

微分代数系统稳定性及镇定新判据

本文利用矩阵迹不等式讨论了微分代数系统的稳定性,并给出了微分代数系统容许的充分条件.提出了用此方法设计状态反馈控制器使微分代数系统容许的新方法,并设计了矩阵迹不等式组的计算机求解程序,并用例子说明了主要定理的有效性.     

带有非线性收获和妊娠时滞的微分代数捕食者-食饵系统的稳定性及Hopf分支（英文）

本文研究了一类同时带有非线性食饵收获和捕食者妊娠时滞的微分代数捕食者-食饵系统的稳定性及Hopf分支问题.利用了分支理论和稳定性理论,以捕食者妊娠时滞作为系统的分支参数,获得了所提出的新系统在正平衡点处系统稳定性的相关判据条件和Hopf分支的产生条件.推广了一般带有线性收获和时滞的微分代数捕食者-食饵系统的结论.     

带有非线性收获和妊娠时滞的微分代数捕食者-食饵系统的稳定性及Hopf分支

本文研究了一类同时带有非线性食饵收获和捕食者妊娠时滞的微分代数捕食者-食饵系统的稳定性及Hopf分支问题.利用了分支理论和稳定性理论,以捕食者妊娠时滞作为系统的分支参数,获得了所提出的新系统在正平衡点处系统稳定性的相关判据条件和Hopf分支的产生条件.推广了一般带有线性收获和时滞的微分代数捕食者-食饵系统的结论.     

一类模糊微分系统的稳定性

利用模糊结构元方法,定义了模糊数和模糊值函数的线性运算和乘法运算,研究了由模糊结构元线性生成的模糊微分系统的稳定性问题,得到了Lyapunov意义下稳定、渐进稳定和指数稳定的结果.同时,给出了具体的实例.     

态BL-代数上的微分

在态BL-代数(A,σ)上引入(⊙,∨)-微分,研究了态BL-代数(A,σ)上(⊙,∨)-微分的性质。定义并研究了态BL-代数(A,σ)上正则微分和强微分,给出了正则强微分成为保序微分的等价条件。给出态BL-代数上的主微分的概念,讨论了全体主微分的代数结构,并利用Galois联结给出主微分的微分伴随。最后在态BL-代数(A,σ)上引入了不动点集A_(dσ),得到若d为正则保序的强微分时,A_(dσ)为A的格理想。我们的研究思路旨在将BL-代数上的态结构与微分结构紧密融合,以此来研究BL-代数的结构。     

基于覆盖的模糊粗糙集代数

关于粗糙集代数系统的理论是Pawlak粗糙集理论的重要组成部分。之后模糊粗糙集代数也得到了定义和讨论。此外,覆盖粗糙集是Pawlak粗糙集一个非常重要的推广。于是我们在本文研究了基于覆盖的模糊粗糙集代数的相关性质。引入了具有最小(大)元的覆盖的概念,进而讨论了具有最小(大)元覆盖的情形下模糊粗糙集代数的相关性质,得到了许多很好地结果。     

复模糊函数与模糊复函数的微分及其性质

已有的复模糊函数的微分是由复区间值函数的微分和扩张原理给出的,本文利用模糊结构元理论及模糊数的广义限定运算给出与已有的复模糊函数微分等价的定义,同时给出模糊复函数微分的定义,并讨论其解析性质,给出模糊复函数解析的充要条件.     

模糊值函数分析学的结构元方法简介(Ⅱ)——模糊值函数及微积分的结构元表述

介绍了利用模糊结构元的模糊值函数的解析表达形式及隶属函数确定,以及基于结构元表示的模糊值函数的微分与黎曼积分的定义、计算与部分性质.同时介绍了模糊值函数拟合的基本思想.