关于代数微分方程

研究了一般形式的代数微分方程的全纯解的增长性,并证明了几个有关定理。证明是根据一个关于Wiman-Valiron理论的定理。     

关于大系统的结构扰动与关联稳定(英文)

本文利用非矩阵的偏序和分块矩阵的度量,迭代收(?)等性质,通过孤立子系统的Cauchy矩阵与关联矩阵的积分估计来得到两类系统在关联结构扰动下.各种关联稳定性的代数判据,并且给出了系统的平衡状态在关联结构扰动下不变的吸收区域估计式。     

BCK—代数的形式系统

本文引进了BCK-代数的形式系统L 的概念,并且给出了关于L 的任意一个合式公式是否为它的一个定理的判定方法。     

有限维单Z-阶化李超代数的超对称双线性型

本文首先给出了有限维单Z-阶化李超代数的一个超对称双线性型是结合型的充分条件,进而决定了有限维Cartan型模李超代数的非退化结合型的奇偶性.     

k=3扭仿型Kac-Moody代数的表示及生成关系

本文应用具有阶为3的图自同构μ^-诱导的有限维单李代数g的自同构μ的特征子空间阶化g=g0^- g1^- g2^-,论证了：(i)μ诱导的g的自同构μ的不动点集g0^-是G2-型的单李代数以及筋的生成元和定义关系．(ii)gi(i=1,2)构成筋模的作用乘法和生成关系和g1^-、g2^-作为g0^-模的结构．(iii)对g进行齐次仿射、中心、导子扩张得到扭仿型Kac-Moody代数g(A^(3));给出了g(A^(3))的子代数结构以及根系分解。     

长度为Pm的线性码及其对偶码的深度分布

通过讨论GF(q)上的线性码的深度分布的一些新性质,进而给出了长度为pm的线性码与其对偶码的深度谱的联系.     

Banach空间中集值度量广义逆的形式表达式

在Banach空间中,利用Banach空间中对偶映射及对偶算子,给出Banach空间中线性算子的集值度量广义逆的形式表达式．     

基于高阶兰伯特算法的碎片云密度演化分析

空间目标解体形成的碎片云在太空不断演化,持续威胁着在轨航天器的安全运行.传统方法多将碎片云视为独立个体的集合,对个体进行推演以获取整体演化特性.这类方法虽易于实现,但需要大量样本以致效率较低.考虑到碎片分布的不确定性特征,可利用概率密度变换方法来计算碎片云在空间的密度分布.基于微分代数技术构建了高阶兰伯特算法,再求解系统雅可比的高阶近似,获得了碎片云密度的高阶展开式.通过对解体碎片云的密度演化分析计算表明,采用高阶方法可将计算效率提高10倍,得到的结果相对误差在1%以内.     

θ-单支方法的代数稳定性

该文将θ-单支方法转化为Runge-Kutta方法来研究,得到了一些θ-单支方法的代数稳定性结果:(1)对任给的θ∈(0,1),令β=(2θ-1)/θ2,p=(1-2θ)/θ(1-θ),θ-单支方法是(β,p,0)-代数稳定的;(2)对任给的θ∈[0,1],θ-单支方法是(0,0,2θ-1)-代数稳定的;(3)对任给的θ∈[0,1]及正数ε>(1-θ)/θ,令β=(1-θε)/θ,p=(θε-1)/θ2ε,q=(θ2ε+θ-1)/θε,则θ-单支方法是(β,p,q)-代数稳定的.     

Bochner—Orlicz空间的对偶映射及其应用（Ⅰ）

本文首先给出自反,严格凸,光滑的Ｂｏｃｈｎｅｒ－Ｏｒｌｉｃｚ空间对偶映射的表格式,然后,将其应用到一类非线性函数方程的求解,给出解的具体表达式,另文符合出在最佳逼近中的应用。