复杂螺旋面包络铣刀位轨迹仿真方法

针对复杂螺旋曲面加工误差问题,开展了对其空间包络铣刀位轨迹算法的研究。研究中采用计算机仿真的数 值计算方法,将加工过程中刀具工件的动态啮合关系通过时间离散和空间离散转换成一个空间几何问题,通过建立 刀具回转面与工件螺旋面的空间三维模型,并推导实现刀具工件啮合关系的坐标转换矩阵,并将刀具与工件两曲面 的最小有向距离的求解转变为一个二维问题,最终建立了刀位轨迹仿真算法,获得了编制数控代码的参数信息。试样 加工结果表明,利用该方法得到刀位轨迹参数进而编制的数控加工程序,能够加工出满足精度要求的螺旋面。同时也 分析了加工廓形误差分布及其影响因素。     

BCI-代数的一些局部特征

BCI-代数被划分为B,M,N三部分,并指出了它们的一些特征.两个主要结果是(1)B=Xg,其中Xg是g的右稳定分子;(2)令|B|≥2,如果N=ψ,那么|M|≥2,M不是X的理想.     

复射影空间中拟全实极小子流形

运用活动标架法和Bochner技巧, 研究复射影空间CP^(n+p)/2中拟全实极小子流形曲率与几何特征的关系, 得到了截面曲率和Ricci曲率的刚性定理. 证明了: 若Mⁿ的截面曲率处处不小于(n+3)/2(n+1)或Ricci曲率处处不小于n+1-3p/n+12p/n²(n≥4), 3n/4+2(n≤4), 则p=n,M=RPⁿ.     

子群的完全c-可换性与p-可分群

设■表示P-可分群的群类。利用完全c-可换子群的概念,得到了P-可分群的两个充分条件:(1)如果群G的4阶循环子群在G中完全c-可换且G的任意极小子群含于Z_■(G)中,那么G是P-可分群;(2)设H■G且G/H是P-可分群。如果H的任意阶循环子群在中完全c-可换且H的任意极小子群包含在Z■(G)中,那么G是p-可分群。     

广义幂零群中极大子群的性质

若群G的Sylow p-子群正规,则称其为p-闭群.定义一个非P-闭群为极小非p-闭的,如果它存在两个非p-闭真子群涵盖该群所有非P-闭部分.文中讨论这类群中极大子群的性质.     

函数依赖集投影的算法

给出了关系模式Ｒ的函数依赖集Ｆ在Ｒ的一个属性子集Ｕ上的投影的最小覆盖的算法,并证明了算法的正确性,而且给出了一个实现本算法的例子。     

一类Z-阶化李超代数的极小理想

证明了基域F上的一类Z-阶化李超代数一定包含唯一的极小理想,并且给出了此极小理想具有的性质,从而推广了李代数理论的一个重要结果.     

复合板的厚向异性问题

通过拉伸实验测试了不锈钢/铝合金/不锈钢三层复合板的厚向异性系数r,并分析了扩散退火对r值,的影响及r值对板材成形性能的影响,分析表明：（1）扩散退火会降低r值和提高n值。（2）用平均r值和rmin来判断拉延危险断面的抗拉强度其误差在6%左右。     

常曲率空间的半对称超曲面

利用活动标架法给出常曲率空间Nn 1(c)(c=0,n≥）的半对称超曲面的分类,并了单位球面S^n 1(n≥3）上连通紧致的半对称极小超曲面或是全测地的,或是Clifford极小超曲面。     

RN中的最小α-分割

Ω是R^N中有界开区域,（E^1,E^2,E^3）是Ω中的最小的α-分割。如果E1,E2,E3都是非零测集,则E^1,E^3中都包含一个小球。