不确定广义系统的鲁棒H∞控制

研究状态和输入矩阵含仿射型不确定性的广义系统鲁棒H∞控制问题,通过满足广义约束的代数Riccati不等式(GARI)给出此类不确定广义系统可以通过状态反馈二次可镇定且满足H∞范数界的充分必要条件,同时也给出了不确定广义系统可镇定与二次可镇定的关系及控制器的设计,并且可通过给定系统的已知信息求出控制器,最后给出数值算例验证所得结果·     

Sp(4,K)的WEYL模分解

给出了G=Sp(4，K)时WEYL模的分解模式，给出了Sp(4，K)的WEYL模分解。     

零对称BZ-代数元素周期的性质

在BZ 代数中引入元素周期的概念 ,并讨论了零对称BZ 代数元素周期的重要性质 .研究表明 ,零对称BZ 代数子系统是一类比BCI/BCK、BCC 代数弱的逻辑代数系统     

管子模的拟遗传自同态代数

证明了对管子模M，存在管子模N，使得M＋N的自同态代数End(M N)是拟遗传代数。对M是不可分解管子模的情况，刻划了N的不可分解直和项的个数的下界。     

BCK-代数的α-Fuzzy子代数

作者引进了BCK-代数的α-fuzzy子代数、α-fuzzy理想、α-fuzzy约化左理想等概念，讨论了它们的一些性质，改进并推广了现知的一些重要结果。     

n-李代数导子的Jordan-Chevalley分解

利用n-李代数导子性质和一般线性变换的Jordan-Chevalley分解，得到，n-李代数的导子也可以进行Jordan—Chevalley分解．     

随机数学中若干典型问题的计算机仿真

运用计算机代数系统Maple研究了随机数学中若干典型问题的计算机仿真．研究结果表明，计算机仿真是数学实验的重要手段之一，也是科学研究的重要方法．     

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

左Yetter-Drinfeld模范畴中的双Frobenius代数

考虑左Yetter—Drinfeld模范畴中的双Frobenius代数(A，φ，t，Ψ)．证明了左Yetter—Dfinfeld模范畴中的双Frobenius代数(A，φ，t，Ψ)的对偶(A，t，φ，Ψ*)也是左Yetter—Drinfeld模范畴中的双Frobenius代数．给出了右积分φ∈∫A^r,t∈∫A^r,模函数α和模元g的模和余模结构，也给出了Yetter—Drinfeld模范畴中的双Frobenius代数的Radford的对极Ψ^4公式．     

关于余作用交叉积的顺从性

设δ为局部紧群G在C*代数A上的余作用，证明了对任一C*代数B有一G在AB上的余作用δ使得（A×δG）B≈（AB）×δG，因此得到若A顺从，则A×δG顺从．