共归纳数据类型上的共递归操作及其计算定律

范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律;同时,利用双函子及类型函子对参数化共归纳数据类型进行抽象描述,并结合自然转换给出类型函子上的单元和融合等计算定...     

交换环上辛代数和正交代数的抛物子代数的导子

设R是有1的交换环,L是R上的辛代数或正交代数,h是L的极大环面子代数,b是L中包含h的标准Borel子代数.在2∈R可逆的条件下,本文详细描述了b与L之间的中间李代数,并且证明这些中间李代数的导子都是内导子.     

弱群缠绕结构与弱Hopf群（余）代数（英文）

作为弱Hopf代数与缠绕结构的推广,本文引进弱Hopfπ-代数与弱群缠绕结构,并证明两者之间有着密切的关系：设H={Hα}_（α∈π）是一族余代数同时也是一个余代数.假设A_（αβ）（h_αk_β）△_β（k_β）,则下面几点等价：·H是弱半Hopfπ-代数;·（H,H,ψ′）和（H,H,~2）分别是左-右和左-右弱群缠绕结构;·（H,H,~3）和（H,H,ψ~4）分别是右-左和左-左弱群缠绕结构.最后,作为对偶情形.本文还证明半Hopfπ-余代数与弱群缠绕结构的关系.     

代数及其商代数的标准析层性

设A是代数闭域上的有限维基代数,N是A的Jacobson根.证明了如果存在大于或等于2的正整数i,使得A/Ni是标准析层的,则A也是标准析层的.     

5·12地震诱发武都三家地滑坡形成机制及稳定性分析

2008年5月12日,武都三家地村发生滑坡地质灾害。基于滑坡区地质环境,通过区域地质调查、大比例尺平面图测绘、滑坡微地貌和变形破坏特征测量、扫描电镜（SEM）分析滑带土微观结构等手段,对该滑坡的特征和形成机制进行了系统的研究。结果表明,三家地老滑坡在历史上已发生多次滑动,地震是诱发该滑坡复活的主要因素。采用折线滑动计算方法并结合滑坡所处的地质环境评价该滑坡在天然和地震条件下的稳定性,为该滑坡的治理工程设计提供理论指导。     

Hilbert空间中一类包含集值随机模糊映射的变分包含问题

作者构造了一个迭代算法,解决了Hilbert空间内一类包含H(·,·)-单调集值映射和随机模糊映射的变分包含问题.作者给出了这个解存在的一个充分必要条件,并且证明出这个迭代序列刚好收敛到这个变分包含的解.     

有限维模李超代数U的导子超代数

构造了有限维模李超代数U,给出并证明了模李超代数U的生成元集,进而确定了模李超代数U的导子超代数.     

第一类李拟代数的Frattini子代数与c可补子代数

把Frattini理论推广到第一类李拟代数,得到了第一类李拟代数的Frattini子代数的若干性质,并研究了第一类李拟代数的c可补子代数的重要性质,给出它们之间的重要关系.     

可换环上矩阵代数的三重导子

本文研究了可换环上矩阵代数的三重导子,通过构造特殊矩阵并利用这些矩阵进行运算,得到任意一个三重导子都可以分解为内导子和倍乘映射之和,从而决定了含幺可换环上矩阵代数的所有三重导子,进而推广了导子的概念.     

连通交换环上的上三角矩阵代数保持矩阵逆的模自同构

设R是有单位元1的连通交换环(R中除0和1外无其它幂等元),f是R上n阶上三角矩阵模Tn(R)到Tn(R)上的模自同构,如果对于任意的可逆矩阵A∈Tn(R),都有f(A)可逆,且满足(f(A))-1=f(A-1),则称f是保矩阵逆的模自同构.本文刻画了Tn(R)上保持矩阵逆的模同构.