铸件凝固过程数值模拟后处理的研究

针对采用有限差分法实施凝固过程数值模拟时数据结构的特点，提出了采用背面消除和画家方法进行消隐以生成三维图形的方法．为了提高绘图的速度，提出了替代视向变换矩阵运算的一种简便算法．根据由数值计算得到的铸件凝固时间，提出了在二维剖面上显示凝固动态过程的方法．经过实践证明，提出的方法可以快速地完成上千万网格单元数据的后处理．     

第一同构定理的反问题

本对第一同构定理的反问题进行了详尽的探讨，在一定的条件下给出了G≌Hx(G/H)的充分必要条件，并应用所得的结果给出了有限生成交换群秩定理的一个简洁证明。     

第一西洛定理的若干注记

给出了第一西洛定理的三种不同的证明方法。     

连续箱梁弯曲问题的有限单元法

在文[1]、[2]三维退化层合梁的基础上，引入板壳的基本假定^[3]，构造出三维退化层合板壳单元，分析了单箱室连续箱梁的弯曲问题。计算结果表明，该单元的精度和效率较高，适合于工程结构的总体分析。     

关于四维空间120胞形和600胞形的图视和数值新结果

论述了Ｎ维空间有限旋转群理论，从数学基础出发，建立了四维空间直角坐标系在二维空间的投影模型。并运用二维绘图系统作出了四维空间最复杂的１２０胞形和６００胞形的二维投影全貌图，为正确合理显示四变量实际问题的二维投影模型创造了条件和提供了范例。     

量子群Uq(f(K))的广义伴随作用

用U表示量子群Uq(f(K)),Ft(U)表示由广义伴随作用下局部有限的所有元素组成的U的子模.利用U的表示理论的基本结论,给出当q不是单位根时,Ft(U)的子模结构.由此得到Ft(U)的单模分解式.     

余维≤5的光滑函数在C^∞（R^n,R）中的稠密性

证明了在函数空间Ｃ＾∞（Ｒ＾ｎ，Ｎ）中，适合条件“在每一点ｘ，函数ｆ作为ｘ点的芽，余维≤５”的光滑函数全体是Ｃ＾∞（Ｒ＾ｎ，Ｒ）中的稠密子集，从而使“几乎所有”的光滑函数能够选用Ｔｈｏｍ的７种突变模型。     

满足方程|Aut(G)|=8p2的G的一些性质

假设G非幂零，且无交换直因子，又非2-闭的，在这种假设下给出满足方程│Aut（G）│=8p^2的G的一些性质．     

浅谈(0,1)内的有理数与自然数一样多

对一个集合,我们通常会关心其包含的事物即包含的元素的多少。对于任意两个有限集合,可以用类似一把钥匙开一把锁的方法,比较它们所含元素的个数。对于两个无穷集合,可以用旅游团的住宿问题作为例子,用给房客编号和客房调整的方法来比较说明它们所含元素的个数。在以上讨论的基础上,利用集合的基数,我们论证得到结论:(0,1)内的有理数与自然数"一样多"。