遗传正规弱θ↑——空间的无限乘积

主要证明(1)如果X=∏σ∈∑Xσ是遗传∑-仿紧空间,则是遗传正规弱θ-可加空间当且仅当F∈∑<ω,∏σ∈∑FXσ是遗传正规弱θ-可加空间.(2)设X=∏i∈ωXi是遗传可数仿紧的,则下列三条件等价是遗传正规弱θ-可加的;F∈ω<ω,∏i∈FXi是遗传正规弱θ-可加的;n∈ω,∏i≤nXi是遗传正规弱θ-可加的.     

BCK-代数的α-Fuzzy子代数

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

关于利用方向极限求二重极限一个错误结论的纠正

给出了二元函数的二重极限、方向极限、弱二重极限的概念，指出了文[1]中定理6利用方向极限求二重极限的结论是错误的原因，纠正了文[1]中定理6的结论及其例7的解法。     

关于蕴涵BCK-代数的半群刻划

给出了蕴涵BCK-代数的伴随半群作为剩余半群时的若干特征，并从剩余半群的角度对蕴涵BCK-代数进行了刻划．     

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

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

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

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

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

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

非线性算子半群的遍历收敛定理

在Banach空间中引入一般渐近非扩张型半群的广义殆轨道的概念，证明了渐近非扩张型半群的遍历收敛定理等价于相应的广义殆轨道的遍历收敛定理。     

时滞系统与Pritchard-Salamon系统

首先构造了Hilhert空间V，在V上定义了线性算子A^V及V上的算子族S(t)，证明了S(t)是V上的C0-半群，A^V是S(t)在V上的生成，又构造了Hilbert空间w，使V上的C0半群限制在形上仍是C0-半群，最后构造了算子B和C，并证明了B和C是容许输入算子和容许输出算子。从而将Hilbert空间中的时滞系统转化为了一个Pritchard-Salamon系统(简称PS系统)。     

左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公式．