图族S_(r(k+m)+1)~ψ∪(rk-1)K_1的补图的色等价性定理

设ψ( k,m)表示把星图 Sk+ 1的 k度点与路 Pm的一个 1度点重迭后得到的图 ,Sψ*r(k+ m) + 1表示把星图 Srk+ 1的 rk个 1度点分别与 rψ( k,m)的每个分支的 k个 1度点 (均邻接于ψ( k,m)的 k +1度点 )依次重迭后得到的图。证明了图族 Sψ*r(k+ m) + 1∪ ( rk -1 ) K1的补图的色等价性及非色唯一性 ,进而推广了这一结果     

几何相似体应力-应变分布相同时的载荷关系

为了保证几何相似模型与原件具有完全相同的应力-应变分布,必须对几何相似模型施加与实际构件成对应比例的各种载荷,因此需要寻求几何相似模型在应力-应变分布完全相同时各种外加载荷的比例关系。从相似理论入手,以2端固支的矩形梁下表面边线中点的应力解析表达式为基础进行推导,得出相应的理论载荷关系,并用算例在弹塑性状态下验证了所得关系的正确性。得到的结论是:对于2个几何相似构件,若几何相似系数为kl,则当外加集中载荷的载荷系数为kl、均布线载荷的载荷系数为kl、均布面载荷的载荷系数为1时,2构件的应力-应变分布完全相同。     

计算机画法几何的研究与应用

以AutoCAD2000i为图形支撑平台，构建一种计算机辅助画法几何方法以直观、精确、高效地求解三维空间几何度量与定位问题，该方法适合于传统画法几何求解，也可用于曲柄滑块机构的行程、运动轨迹等内容的设计。     

四元数矩阵的伴随性质

利用代数的方法，研究了四元数矩阵的伴随性质，得出了一系列有意义的新结果．     

多维门限GARCH模型的平稳遍历性

给出了多维双门限自回归GARCH模型；该模型是一维双门限自回归GARCH模型在多维情况的一种推广，并且讨论了多维双门限自回归GARCH模型存在严平稳遍历性的充分必要条件。     

图G_i~(S*)(P,2(sum form j=1 to n)mj)的伴随多项式因式分解的图论方法及应用

通过研究图的伴随多项式的因式分解 ,给出了证明非色唯一图的一种新方法 ,并且得到了若干图簇的色等价图的结构性质     

双船联合举升多体协同作业系统横摇稳性评估

基于ADAMS平台,构建特定场景双船联合举升多体协同作业系统虚拟样机,对新型一体化拆解作业双船联合举升过程中待拆除组块横摇稳性进行预测与评估。构建了该系统拓扑模型,使用几何参数描述系统中上部组块横摇运动特征;通过虚拟样机仿真探究了双船不同耦合运动情况时上部组块最危险失稳状态,并分析了上部组块重心至连接点连线垂直距离与水平距离比值对横摇角度的影响规律。结果表明:物理模型试验数据驱动的虚拟样机技术可以有效评估该系统运动特征,与几何拓扑模型得到的上部组块横摇失稳角度理论公式计算结果吻合;双船同相位横摇与反相位垂荡耦合运动时对上部组块横摇稳性影响最大;待拆除上部组块横摇失稳时的极限纵横比可以作为复杂多体系统横摇稳性评估参数,为实际工程方案选择提供参考。     

用B样条曲线构造几何物体模型的方法

根据Ｂ样条曲线原理,提出了先用若干个截平面去切割几何物体,得到一组与几何物体轮廓线相交的点。根据这些点,再用Ｂ样条曲线去构造几何物体的近似轮廓线,从而得到几何物体模型。该方法方便、精确,便于在计算机几何造型系统中应用。     

数控机床实时误差补偿技术及其应用

以某厂一台数控双主轴车床为研究对象,根据齐次坐标转换原理,给出了该机床的几何误差和热误差的综合数学模型．对于不同的热误差因子,给出了不同的热误差数学模型,通过计算机分析合成误差曲线的斜率,分离了热误差和几何误差．补偿系统主要由微机结合机床控制器构成．由机床的温度信号和工作台运动位置信号结合综合误差数学模型,通过微机算出补偿值并送入机床控制器对刀架进行附加进给运动完成实时补偿．补偿试验表明,工件之间的尺寸变化可从原来的６０μｍ以上降到１４μｍ;工件的锥度变化从５０μｍ／ｃｍ以上降到１５μｍ／ｃｍ,大幅度提高了机床的加工精度,满足了工厂的实际生产需要．     

正蕴涵BCK-代数的伴随半群

本文讨论了正蕴涵BCK－代数的剩余刻划;证明了具有条件（S）的正蕴涵BCK－代数的伴随半群是一个下半格。