一类无限Frobenius群的研究

在局部有限群中得到了类似有限Frobenius群的结论,即假设G是局部有限群,H是G的有限真子群,如果对任意g∈G-H满足H∩Hg=1,则G存在正规子群N使得G=HN,其中N={G-∪g∈GHg}∪{1},且N是幂零群.     

基于EFSM模型的不可行迁移路径判定

扩展有限状态机(Extended Finite State Machine:EFSM)虽然被广泛用作各种软件的底层模型,但如何判定其测试序列的不可行性是一个困难的问题,为此将迁移路径上的变量分为计数器变量、选择变量和矛盾变量,并从这三个角度进行路径的不可行判定.实验结果表明,EFSM模型中的不可行迁移路径主要由这三类变量引起,且本方法可以有效地判定出含这三类变量的不可行迁移路径.     

知识应用在政府决策中的功能浅议

知识经济时代的到来更加凸显了知识在各种纽织中的重要性。知识的核心价值不在”产生”，而在”应用”，在于通过对知识的应用进而对大自然和人类社会进行改造和创造的伟大行动之中。对于政府而言．知识在政府决策中的应用由来已久，而其最大的功能就体现在知识能最大限度地拓展政府有限理性，提升决策的科学化水平。     

非线性抛物型方程的两水平方法

对非线性抛物型方程的近似给出了两水平有限差分方法，分析了时间隐式离散格式的收敛性。首先在直径为H的粗网络上求解非线性问题，然后在直径为h的细网络上将非线性项关于粗网格解展开，在细网格上求解线性问题，最后利用超收敛节点的插值更新粗网格节点的值。     

f—M—余正则序列和f—余模

在对模的正则序列、余正则序列及f-正则序列性质学习与研究的基础上，定义了拟局部环（A,Ψ）（Ψ为A的唯一极大理想）上Artin模M的f-余正则序列并给出了一些简单性质，由此定义了一类模－f-余模，并将f-余正则序列用于一类特殊的广义分式模，得到了一个正合性原理。     

利用乘法性质及同态检验有限群

介绍检验有限群的几种方法，并对定理２，定理３分别给予证明，以及对几种方法分别加以应用。     

有限变形圆柱壳结构的运动学方程

以有限变形连续体的最小加速度原理为基础，导出了在任意位置受到横向集中动力载荷作用下的闭合圆柱壳的有限变形运动方程，该方程反映了膜力效应和转动惯性效应；推导过程直接、简便、不易出错，同时指出，所得到的控制方程对于描述有限变形的冲击动力学问题是适宜的。     

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

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

第一同构定理的反问题

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

第一西洛定理的若干注记

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