数字变换在有脉冲影响的k-值逻辑网络中的应用

利用数字变换和矩阵的半张量积方法,讨论了有脉冲影响的k-值逻辑网络的稳定性问题.在矩阵的半张量积框架下,将有脉冲影响的k-值逻辑网络表示成离散时间动态系统,然后用代数的形式展现出来.结合数字变换的方法,得出了有脉冲影响的k-值逻辑网络稳定的充要条件.     

三种单节点摄动对混合值逻辑网络极限集的影响

研究了三种单节点摄动对混合值逻辑网络不动点和极限环的影响.受布尔网络单节点摄动的启发,文章首先在结构矩阵的基础上提出了混合值逻辑网络中单节点摄动的定义,并利用矩阵半张量积的方法得到了单节点摄动下混合值逻辑网络的代数形式.然后,研究了结构矩阵与状态转移矩阵间的关系,并提出了三种特殊类型的单节点摄动.最后,得到了三种单节点摄动对混合值逻辑网络的不动点及极限环影响的充分必要条件.     

矩阵的Γ逆

利用矩阵的广义奇异值分解,给出了复数域上矩阵的Γ逆存在的充要条件及其表达式,并讨论了Γ逆的唯-性.     

布尔网络的稳定性与镇定

研究了布尔网络的稳定性及布尔控制网络的镇定问题.利用矩阵的半张量积方法以及逻辑的矩阵表达,将布尔网络表示成离散时间动态系统,并转化成代数形式.对其代数形式的结构矩阵,建立其与一个数字变换的一种一一对应关系,再利用数字变换的方法,得出布尔网络以及布尔控制网络稳定的充要条件.     

矩阵的加权Moore-Penrose逆

利用矩阵的广义奇异值分解, 给出了复数域上矩阵的Moore-Penrose逆存在的充要条件及其表达式.     

具有对称的集合和完备度量空间上两个自映射的共同不动点

本文给出了具有对称的集合上两个自映射有唯一共同不动点的充要条件.同时,还给出了完备度量空间上两个自映射有共同唯一不动点的条件.     

具有时滞的不完全布尔控制网络的最优控制（英文）

本文研究一类具有延迟模式的不完全布尔控制网络的控制问题.通过半张量积将系统转化为经典的布尔控制网络.在此框架下,研究了此系统的可控性和Mayer型最优控制.最后,给出了可控制性的充要条件和Mayer型最优控制的必要条件.其主要贡献是利用矩阵半张量积方法将系统转化为布尔控制网络代数,一定程度上克服了矩阵积维数的限制.     

一个矩阵方程的0-1矩阵解

本文给出矩阵方程XXT=mX有0-1矩阵解的充要条件以及解的置换合同等类.     

关于Fuzzy矩阵的广义逆

本文分别给出了Fuzzy矩阵存在广义{1,3}-逆、广义{1,4}-逆以及Moore-Penrose广义逆Fuzzy矩阵的一些充要条件。又得到求上述广义逆Fuzzy矩阵的一些公式。主要的结果有: 1.Fuzzy矩阵A的广义{1,3}-逆A~((1.3))(广义{1,4}-逆A~((1.4))存在的充要条件是Fuzzy关系方程有解。2.Fuzzy矩阵A的Moore-Penrose广义逆A~T存在的充要条件是Fuzzy关系方程均有解。3.如果B、C分别为Fuzzy关系方程的一个解,那么。     

对角量子信道纠错码空间的存在性与构造

通过量子信道的Kraus算子,提出了对角量子信道的概念,证明了对角量子信道的一些性质:一个量子信道成为对角量子信道的充要条件是所有对角矩阵都是它的不动点;同一对角量子信道的所有压缩矩阵具有相同的秩;一个对角量子信道不可纠错的充要条件是其压缩矩阵是行满秩的.进而证明了一个对角量子信道在整个空间上可纠错当且仅当其压缩矩阵为1秩阵.最后,利用一个具体例子给出了构造对角量子信道的码空间的一种方法.     

负指数的脉冲EMDEN-FOWLER方程奇异边值问题的正解

利用不动点定理得到了脉冲奇异混合边值问题的上下解方法,并且利用此方法得到了负指数的脉冲Emden-Fowler方程奇异混合边值问题正解存在的充分必要条件.     

负指数的脉冲EMDEN—FOWLER方程奇异边值问题的正解

利用不动点定理得到了脉冲奇异混合边值问题的上下解方法，并且利用此方法得到了负指数的脉冲Emden—Fowler方程奇异混合边值问题正解存在的充分必要条件．     

Existence and exponential stability of periodic solution for impulsive delay differential equations and applications

In this paper, we consider a class of nonlinear impulsive delay differential equations. By establishing an exponential estimate for delay differential inequality with impulsive initial condition and employing Banach fixed point theorem, we obtain several sufficient conditions ensuring the existence, uniqueness and global exponential stability of a periodic solution for nonlinear impulsive delay differential equations. Furthermore, the criteria are applied to analyze dynamical behavior of impulsive delay Hopfield neural networks and the results show different behavior of impulsive system originating from one continuous system.     

On the concept and existence of solution for impulsive fractional differential equations

This paper is motivated from some recent papers treating the problem of the existence of a solution for impulsive differential equations with fractional derivative. We firstly show that the formula of solutions in cited papers are incorrect. Secondly, we reconsider a class of impulsive fractional differential equations and introduce a correct formula of solutions for a impulsive Cauchy problem with Caputo fractional derivative. Further, some sufficient conditions for existence of the solutions are established by applying fixed point methods. Some examples are given to illustrate the results.     

Controllability of impulsive neutral integrodifferential systems with infinite delay in Banach spaces

In this paper sufficient conditions for the controllability of impulsive neutral integrodifferential systems with infinite delay are established. The results are obtained by using the Schauder fixed point theorem.     

广义分散控制系统的无穷远固定模

在控制系统的理论与应用研究中,广义系统、分散系统越来越受到人们的重视.不仅在理论上已有不少有意义的结果,而且这些理论研究有明显的实际背景.例如 Leontief的动态投入产出模型,Leslie 的人口增长模型,电力系统等.然而,在一些实际系统中,系统不仅具有广义性的特点,而且从控制角度来看也具有分散性的特点.因此我们把系统     

Stability of Bidirectional Associative Memory networks with impulses

By using Lyapunov functional and some analysis technique, sufficient conditions are obtained for the existence and asymptotic stability of a unique equilibrium of a Bidirectional Associative Memory (BAM) neutral network with Lipschitzian activation functions without assuming their boundedness, monotonicity or differentiability and subjected to impulsive state displacements at fixed instants of time. The sufficient conditions are in terms of the parameters of the network only and are easy to verify.     

Controllability of impulsive neutral functional differential inclusions with infinite delay in Banach spaces

In this work, we establish a sufficient condition for the controllability of the first-order impulsive neutral functional differential inclusions with infinite delay in Banach spaces. The results are obtained by using the Dhage’s fixed point theorem.     

Approximate controllability of impulsive semilinear stochastic system with delay in state

Many practical systems in physical and biological sciences have impulsive dynamical behaviors during the evolution process that can be modeled by impulsive differential equations. This article studies the approximate controllability of impulsive semilinear stochastic system with delay in state in Hilbert spaces. Assuming the conditions for the approximate controllability of the corresponding deterministic linear system, we obtain the sufficient conditions for the approximate controllability of the impulsive semilinear stochastic system with delay in state. The results are obtained by using Banach fixed point theorem. Finally, two examples are given to illustrate the developed theory.     

Exponential Stability and Periodic Solutions of Impulsive Neural Network Models with Piecewise Constant Argument

In this paper we introduce an impulsive cellular neural network models with piecewise alternately advanced and retarded argument. The model with the advanced argument is system with strong anticipation. Some sufficient conditions are established for the existence and global exponential stability of a unique periodic solution. The approaches are based on employing Banach’s fixed point theorem and a new integral inequality of Gronwall type with impulses and deviating arguments. The criteria given are easily verifiable, possess many adjustable parameters, and depend on impulses and piecewise constant argument deviations, which provides flexibility for the design and analysis of cellular neural network models. Several numerical examples and simulations are also given to show the feasibility and effectiveness of our results.