互逆蕴涵命题的空间曲线投影柱面表示

互逆主义逻辑是建立在解析几何的基础之上的。在空间解析几何中,空间曲线是两曲面的交线,在空间曲线中消去一元,即得投影柱面。与此类似,在互逆主义逻辑中,互逆蕴涵命题前件的两个合取支为两个曲面,它们的合取为空间曲线,若后件所表示的曲面恰为或真包含该空间曲线的投影柱面,则该互逆蕴涵命题成立,否则不成立。     

射影簇和向量丛的数字不变量对超二次曲面的刻画

设X是光滑的n维射影簇,E是X上的丰富向量丛,E的秩r＜n.如果E在X上的数字有效值为n/r,且X的皮卡数1,则X是超二次曲面Qn,E是线丛OQn(1)的直和.     

代数及其商代数的标准析层性

设A是代数闭域上的有限维基代数,N是A的Jacobson根.证明了如果存在大于或等于2的正整数i,使得A/Ni是标准析层的,则A也是标准析层的.     

具有常余维数2k+2k-2不动点集的(Z2)k作用

设(Z2)k作用于光滑闭流形Mn,其不动点集具有常余维数r,Jn,kr是具有上述性质的未定向的n维上协边类[Mn]构成的集合.Jn,kr=∑n≥rJn,kr为未定向上协边环N*=∑n≥rNn的理想.通过构造上协边环N*的一组生成元决定了理想J2k 2k-2*,k.     

具有常余维数2k+2l不动点集的(Z2)k作用

设(Z₂)^k作用作用于光滑闭流形Mⁿ, 其不动点集具有常余维数r, J^r_n,k是具有上述性质的未定向n维上协边类［Mⁿ］构成的 集合.J^r_*,k为未定向上协边环MO_*的理想. 通过构造MO_*的一组生成元证明由所有维数大于2^k+2^l的上协边类及分解式中每个因子的维数都小于2^k的2^k+2^l维可分解上协边类构成.     

平面测量问题中单应矩阵的算法研究

在平面测量问题中,单应矩阵扮演着十分重要的角色。同计算机视觉中的其他问题一样,单应矩阵的计算对数据噪声极其敏感。本文系统地研究了求解单应矩阵的三种算法。首先分别给出了各种算法的理论推导;其次对每种算法都做了数值模拟实验,并分析和比较了实验结果。结果表明基于直线对应的算法比点对应算法更具有鲁棒性。最后我们还给出了真实图象的实验结果。     

射影变换下的蝴蝶定理

研究射影变换下的蝴蝶定理并加以证明．改变射影平面上蝴蝶定理中相应弦所在直线的位置、去掉条件“M为弦PQ中点”、考虑退化的二阶曲线等情形，得到在射影平面上蝴蝶定理的若干推论．在欧氏平面上运用类比法，得出蝴蝶定理在初等几何中的若干推论，并给出简洁证明．     

投影算子在方差分析模型中的应用

本文以线性空间上的投影算子作为工具,来统一地处理各种不同类型的方差分析模型的假设检验问题,这样不仅使书写符号大大简化,还可使问题的结论直观、简单明了。为了避免在方差分析模型中由于设计阵X降秩,而带来不能直接求逆的困难,本文给出了一个寻求子空间V的一个基矩阵的方法,并用投影算子构造了假设检验的F统计量。     

关于半对称联络

本文讨论了黎曼流形上的射影半对称联络Ｄ即与Ｌｅｖｉ－Ｃｉｖｉｔａ联络射影等价的联络，得到了它的一些特性．同时，分别给出这两个联络对应的共形曲率张量的一些结果．另外，还研究了特殊射影半对称联络．