一个非回转体零件的计算机辅助工艺设计系统

本文介绍了一种用于非回转体零件的计算机辅助工艺过程设计系统CTUCAPP-2.这是一个半创成式系统.用户通过交互方式输入零件的几何信息和加工要求后,系统即能在短时间内自动生成合理的零件加工工艺过程卡,并按规定格式打印输出.文中详细论述了该系统的构成和工作原理.     

具有循环Sylow P—子群的有限群的P—可解性

令P是一个固定素数,G是一个有限群,具有循环Sylow p~-子群.如果G满足下述条件之一,那么G是P~-可解的:(1)存在正规子群N使p|(|G/N|,|N|);(2)对G的每个不可约复特征标x,或者P|x(1),或者x(1)是一固定素数q的方幂.第一个结果首先被Feit W证明,这里给出一个新的并且简短的证明.     

气相色谱法测定甲基纤维素中甲氧基含量

本文阐述了甲基纤维素中甲氧基含量的气相色谱法测定的简单原理、方法步骤和实验条件,进行了实际样品的测定.得到了满意的结果.     

S3的一个特征性质

S_3是阶最小的非交换群,人们对它已有各式各样的刻划,这篇短文也给出S_3的一种刻划:定理 任何非交换群G同构于S_3,当且仅当G具有性质:若任意a,b∈G,当a≠b,ab=ba时,则有a=1,或b=1,或ab=1.     

K—N群的局部定义方式

我们称群G为k-N群,如果G的第k次导群G~(k)是幂零群。我们证明了所有的有限k-N群的全体构成一个饱和群系,并证明了{F(p)}是局部定义k-N群的完整且集中的群系组,其中每个F(p)={L|L~(k)∈P},进一步得出了k-N群的一些性质与判别方法。     

关于可逆半群的局部化

本文讨论可逆半群S在幂等元半格E上的局部化的存在和唯一,然后讨论其与S的最小群同余之间的关系。     

Banach代数的n—维上同调群与n—扩张

这篇文章是[2]的续篇.在这篇文章里,我们将Banach模的扩张的概念推广到n—扩张.并且讨论了n—扩张的若干性质.最后,得到了一个比较好的结果:对于任意的单位Banach A—模X,我们有H~n(A,X)≌e~n(A,X),这里e~n(A,X)表示A被X的所有n—扩张的等价类的全体.     

Sp（4）群和SO（5）群的C—G级数

本文从Littlewood给出的公式出发,利用Schur函数运算规则及Sp(4)群不可约表示的修正规则,得到了确定Sp(4)群C—G级数的普遍公式。考虑到SO(5)群和Sp(4)群局部同构,利用其不可约表示间的对应关系,给出了确定SO(5)群C—G级数的普遍公式。     

Stirling数的一个性质

利用Ｓｔｉｒｌｉｎｇ数的定义及一些已知结论，给出了其又一性质．