自动铺丝平行等距轨迹规划算法实现

针对复合材料自动铺丝技术轨迹规划问题,提出了一种新的基于测地线的平行等距轨迹规划算法.该算法首先将已知的第一条轨迹线在曲面上等弧长离散得到若干数据点,然后在数据点处曲线切矢和曲面法矢的向量积方向上利用测地线的短程性获得下一条铺放轨迹上数据点,并利用B样条曲线拟和数据点生成铺放轨迹,最后使轨迹线铺满模具表面.算法中测地线利用微分方程组数值求解得到,以曲面曲线弧长为自变量,可实现等距线求解的自适应步长调整和较高的精度.经实际算例验证,该算法简单实用,精度能够满足铺丝技术工艺要求.     

过测地线网的组合双三次Bézier曲面优化设计

对n条交于一点的三次Bézier曲线网,分析了存在曲面以该曲线网为曲面上测地线网的三类约束条件（副法矢约束、相交测地线约束和顶点围绕约束）。给出了构造组合双三次Bézier曲面以该曲线网为曲面上测地线网的优化设计算法。插值曲面控制顶点分两步确定:先利用测地线插值条件计算公共边界及邻接公共边界的控制顶点;其次曲面其他控制顶点由极小化薄板样条能量泛函优化确定。实验表明了算法的正确性和有效性。     

S1n+1中Ⅱ型洛伦兹等参超曲面的完全分类

研究洛伦兹球面1Sn+1(R1n+2)中的n维Ⅱ型洛伦兹等参超曲面M,给出了这种超曲面的完全分类,证明了这种超曲面的存在性定理和局部刚性定理。如果M的主曲率全都相等,称M是全脐的。设M具有2个互异的主曲率a1,an(a1≠an),形算子A的最小多项式为(λ-a1)2(λ-an)。当a1的重数p=2时,M称为是半脐的。文中证明了M实际上是将乘积流形S+p-1(t)×Sn-p(t)沿着单参数类光直线族{Lt|t∈I}的每一条直线Lt平行移动而得。特别当p=n时是全脐的,当p=2时M是半脐的。     

关于常曲率黎曼空间中的共形平坦超曲面(I)

1.如所知共形平坦空间C_n的阶数≤2(见〔1〕,P.215).至于一阶的共形平坦空间C_x,Schouten,J.A.在〔2〕中证明欧氏空间E_(n 1)(n>3)中共形平坦超曲面V_n的一个特征是它在每点n个主法曲率中至少有n—1个相等.Matsumoto,M指出E_(n 1)是平坦空间S_(n 1)(0)但V_n的第一基本形式为正定时,结论也成立.白正国教授证明了当外围空间是共形平坦而超曲面V_n为正常时结论同样成立.(见〔4〕,当线素为正定时,这结论不久前又为证实,见〔5〕)这里正常超曲面是指|Ω_(pq)-ρg_(pq)|=0的初等因子是简单的,g_(pq)和Ω_(pq)分别是V_n的第一和第二基本张量.Chen,B.Y和Yano,K.在〔6〕中称共形平坦空间c_n(n≥4)为k-特殊的,如果     

关于常曲率黎曼空间中的共形平坦超曲面

1.Schouten,J.曾证明欧氏空间E_(n 1)(n>3)中共形平坦超曲面C_n~(1))的一个特征是它在每点n个主法曲率中至少有n-1个相等,求得欧氏空间内共形平坦超曲面C_n(n≥4)的线素,证明主要类型的亚射影空间A_n是一阶的。此时,实现曲面是正常的。至于外围空间是常曲率空间S_(n 1)(K)时,白正国教授证明了 定理A 常曲率空间S_(n 1)(K)(n>3)的正常超曲面V_n为共形平坦的充要条件是V_(?)在各点n个主法曲率中至少有n-1个相等。     

网格模型PDE曲面重建中的边界曲线构造

利用偏微分方程(PDE)进行曲面拟合是计算机图形学研究领域中的常用方法,该类方法通过选取适当的边界条件来构造PDE,用PDE的解来表示几何曲面.基于网格简化方法和离散曲面测地线计算等技术,提出一种从网格模型提取PDE曲面片边界条件曲线的方法.首先,对复杂模型进行简化并分片处理;通过计算离散曲面的测地线为每个分片定义相应的PDE边界条件曲线,进而构造复杂模型的PDE拟合表面.最后,通过细分方法建立原模型的多分辨率表示.实验表明,该方法可以对具有不同几何复杂度的网格模型进行处理,产生具有细分连通性的多分辨网格模型.     

具有平行平均曲率向量场的H稳定子流形

本文讨论局部对称共形平坦Riemann流形N中的紧致H稳定子流形M,若M具于平行平均曲率向量场,则对M的截面曲率或Ricci曲率加上适当的限制条件后,我们证明了M是N中某全脐点子流形N~(N+1)的全脐点超曲面。     

半欧氏空间R_v~3中的广义Weierstrass公式

本文在一种特殊的三维半氏欧空间R_v~3中定义了复微分算子和广义高斯映射。在[1]的基础上进一步把广义Weierstrass公式推广到R_v~3中。通过这个公式,只要给定二维流形M上的非零C~1级函数H以及M上的光滑映射ψ,就可以构造出R_v~3中的曲面,使得H为它的平均曲率且ψ是它的高斯映射     

可数Scott闭集格

讨论可数定向偏序集P上的Cσ(P)的一些性质。主要结果有:(1)每个Cσ(P)都是可数C-连续的;(2)完备格M与Cσ(其中P是可数定向完备半格)同构当且仅当M为弱-可数稳定C-代数格;(3)设P,Q为可数定向完备偏序集,f:P→Q是可数Scott连续映射,h:Cσ(P)→Cσ(Q)为f-1的下伴随,则h保c关系。更多还原     

伪欧氏空间中直纹面的性质

讨论伪欧氏空间中的直纹面。利用活动标架法研究了直纹面的一些性质，包括极小性。全可展性，全测地性和全脐性，给出了直纹面是全可展性的一组充要条件，同时得到，Rv^n＋1中的k＋1维直纹面M是全测地的充要条件是它是极小的且全可展的。特别，若M的生成空间是类空的或类时的，则当k≥2时，M全测地与全脐等价。本文还讨论了Rv^n＋1中直纹超曲面的Gauss—Kronecker曲率G,当n≥3时，G=0。这与低维情形绝然不同，在R^3或R1^3中只有当直纹面是可展时，高斯曲率才为0。     

4维反de Sitter空间H41中的有限型旋转超曲面

研究伪欧氏空间E^52中反de Sitter空间研的坐标函数是其Laplacian的特征函数的球型、双曲型和抛物型类时和类空旋转超曲面肘的性质，得到：M或者为H^41的极小或极大超曲面，或者可与某个乘积流形叠合。     

复射影空间中具有正截曲率的Kaehler超曲面

在文献[2]中,Ogiue,K.提出猜想:对于复射影空间CP~(n+1)(1)的完备Kaehler超曲面M~n(n≥2),若其截曲率K>0,则M~n在CP~(n+1)(1)中是全测地的.Ogiue,K.在[3]中已证明:当n≥4时,结论是成立的;对于n≥2,如果M~n是CP~(n+1)(1)的嵌入超曲面,则结论也成立.本文利用Ros,A.的方法及Kaehler超曲面所具有的特殊的基本公式,完全证明了这个猜想.     

高级加密标准Mixcolumn变换设计分析

将最优线性映射的定义推广到一般域K上，由定义证明了域K上的方阵是最优的当且仅当它的所有子方阵可逆；发现了高级加密标准AES扩散层的一个新的性质：用同规模的任意循环最优线性映射取代AES的Mixcolumn变换，系统依然呈现出相同的抗差分攻击能力；因为AES的Mixcolumn变换是最优的线性映射，且其对应矩阵选取合理、便于软硬件的快速实现，所以其设计的确很好．     

用G1 5次PH曲线等弧长逼近clothoid曲线

PH曲线是弧长为多项式的Bézier曲线,其等距线可用有理多项式表示.由clothoid曲线端点的G1 Hermite插值条件,构造对应等弧长的最佳G1 5次PH插值曲线,以此作为逼近.利用微分几何中的Frenet-Serret公式和经典的Taylor展开式,推导该逼近方式的误差、等距线误差和曲率误差.最后,给出在误差范围内,将clothoid曲线转化为等弧长G1 5次PH样条及等距线生成的算法.     

不可度量化的射影平坦Spray的构造

刻画射影平坦Finsler度量是著名的Hilbert第四问题正则性情形, 且任意一个Finsler度量可以通过它的测地线方程诱导一个Spray, 因此研究射影平坦Spray的可度量化问题令人关注. 本文研究一类射影平坦Spray的可度量化问题, 通过欧氏度量和内积的线性组合, 构造两类射影平坦Spray; 其次利用反证法和具有迷向曲率Spray的定义, 证明以上两类Spray均不由任意Finsler度量诱导, 且不具有迷向曲率.     

双曲空间中全脐超曲面与高斯映照像

设Mⁿ是单位双曲空间形式Hⁿ⁺¹中定向的紧致无边超曲面.假设存在整数r（1≤r≤n-1）使得高阶平均曲率H_i>0,i=1,2,…,r,且H^r是常数.证明了：如果Mⁿ的高斯映照像包含在一个开半球面内,则Mⁿ全脐.     

弱Koszul模的若干注记

设M=i≥0Mi是弱Koszul模,则对任意的i≥0,证明了〈Mi〉\[-i\]是Koszul模.特别地,若M=i≥0Mi是由0次生成的分次模,则M是Koszul模当且仅当M是弱Koszul模,当且仅当对任意的i≥0,〈Mi〉[-i]是Koszul模.进一步证明了M=i≥0Mi是弱Koszul模当且仅当对任意的i≥0,有〈Ji M/Ji+1 M〉\[-i\]是Koszul模,其中J是Koszul代数A的分次Jacobson根.     

一般旋转曲面方程研究

旋转曲面方程是高等数学中向量代数与空间解析几何教学的重点内容之一。现有的高等数学教材较多涉及与坐标轴共面的曲线绕坐标轴旋转所成的曲面方程求解问题。以坐标平面上曲线绕坐标轴旋转所成的旋转曲面方程为基础,通过寻找2个坐标系之间的姿态和相对位置,利用方向角和转轴公式推导了空间曲线绕定直线旋转所成的一般旋转曲面方程。提出的一般旋转曲面方程求解方法是对旋转曲面方程教学内容的有益补充,具有一定的参考价值。     

关于非交换Orlicz空间的对角子代数

设Φ是增长函数,M是正规有限忠实迹的von Neumann代数, A是M的一个迹子代数。首先证明了条件期望E的收缩性,其次证明了A有LΦ-分解当且仅当A是对角子代数。另外还给出了对角子代数的一些特征。     

关于中间图补图的一个定理的简单证明

对于图G,定义它的中间图M(G)的顶点集为V(G)∪ E(G),顶点集中的两点x和Y在M(G)中相邻当且仅当{x,y}∪ E(G)≠φ,并且x和y在G中相邻或者关联.在这篇文章中简化了下面这个最近已经得到的定理的证明,即一个图G的中间图M(G)的补图是哈密顿的当且仅当G不是星图,并且G不同构于{K1,2K1,K2,K2 ∪ K1,K3,K3 ∪ K1}中的任意一个图.