一类时间可逆三次微分系统的代数条件

作者曾给出时间可逆微分系统代数条件推导的算法,并给出了一类时间可逆三次微分系统的系数条件,但其中含有一个实参数.为了消去这个参数,这里使用具有投影性质的三角序列和标准基等消元手段,得到了不含参数的完整代数条件.     

一类可逆三次系统的等时中心

对于一般多项式系统,给出可逆代数条件推导算法;对于一类可逆三次系统,提出周期系数改进算法,得到原点为等时中心的充要条件.     

时间可逆系统的等时中心问题

若在中心附近的闭轨线都具有相同的周期,则此中心称为等时中心. 时间可逆多项式系统的等时中心问题是一类公开问题. 为了构造性地解决这一难题,讨论一类范围更广的时间可逆解析动力系统, 给出相应横截交换系统的递推公式,此公式可以用于等时中心条件的推导. 在递推公式的基础上,以吴特征集方法为工具,给出一类时间可逆三次系统具有横截交换系统的充要条件.     

无限维离散时间代数Riccati方程的非负解

本文研究了无限维离散时间代数Riccati方程(DARE)的非负自伴解,给出了(DARE)有非负自伴解的充要条件.对幂可稳定化的离散时间系统∑d(A,B,-),若A是可逆的,B是紧的,给出了(DARE)的非负解集的参数化刻画,并以A的有限维的含于反稳定的不可观察子空间中的不变子空间为参数.该结果把[5]中关于有限维系统∑d(A,B,-)的结果推广到了一般的系统∑d(A,B,-)中.最后,还给出了∑d(A,B,-)具有非负稳定化解的充要条件.     

弱量子代数wU_p(■)的弱Hopf代数结构

设G为有限维半单李代数,参数q不是单位根.定义了一个具有弱Hopf代数结构的弱量子代数wU_q(■),构造了它的类群元素集,并给出了两个不同参数的弱量子代数同构的条件.     

焦点量算法与中心条件推导

对于一般情形, 基于后继函数法给出焦点量计算的递推公式;基于形式级数法给出焦点量计算和化简的Maple算法;给出了时间可逆条件的推导算法,给出了一类五次系统时间可逆的充要条件.     

弱量子代数wUq((g))的弱Hopf代数结构

设(g)为有限维半单李代数,参数q不是单位根.定义了一个具有弱Hopf代数结构的弱量子代数wUq((g)),构造了它的类群元素集,并给出了两个不同参数的弱量子代数同构的条件.     

二阶算子矩阵代数中的全可导点Ⅱ

研究二阶算子矩阵代数中的全可导点.利用线性映射于算子矩阵代数运算,以及套代数理论的相关结果.给出并证明了E=[■](V是可逆算子)是二阶算子矩阵代数的关于强算子拓扑的全可导点,推广了相关文献的结果.     

可逆模糊自动机

首先提出了可逆模糊自动机的概念,研究了能被可逆模糊自动机接受的语言(简记为F(∑))的一些性质.其次给出了自由群上被可逆模糊自动机接受的模糊子集的概念,详细研究了可逆模糊语言与经典可逆语言的关系.最后,通过引入语法幺半群刻画了F(∑)的代数性质.通过这些性质可以有效的判断一个模糊语言是否能被一个可逆模糊自动机接受.     

关于R0-代数的公理系统

该文给出了R0-代数的一些简化公理系统,并证明了R0-代数等价于满足某些条件的BCK-代数.