The numerical algorithm based on theories of projecting and Laguerre,such as homology,circular points and ω of absolute conic is established,an iterative elimination method is applied to boost the nonlinear problem solving.

通过调和射影及Laguerre定理的推论求解出平面圆环点的共轭虚像，利用平行六面体照片存在的三对圆环点的虚像，构造对无穷远平面绝对二次曲线的像ω的约束，使用辗转相除法求解非线性问题。

Although the Preissman scheme of KP equation is multisymplectic, it took too efforts to realize, Hence we elimate the auxiliary variable by a trivial computation and obtained the multisymplectic forty-five points scheme of KP equation. And then, we test this forty-five points scheme on soliton and solitary waves over long time intervals, the numerical results shows the propagation and interact of soliton and solitary waves.

但是在实际的数值实验中，由于需要计算共轭动量的值，Preissman格式需要占用的计算内存比较大，计算时间比较长，因此我们在数值格式中消去共轭动量，最后得到与多辛Preissman格式等价的一个多辛45点格式，我们用这个格式进行了数值实验，数值实验结果很好地显示了孤立子和孤立波的传播与碰撞。

3D seismic migration algorithms of holding circular symmetry ;2. Assuming that the point spread function is circular symmetry and considering that the image is actually complex conjugate symmetry in frequency domain, authors establish a new cost function in frequency domain.

算法假设退化系统的点扩散函数具有圆对称性，并考虑图像的频域具有复共轭对称性，在频域里建立了新的优化判据；采用共轭梯度算法搜索判据，从而在有实际物理意义的区域中收敛于最优解；对光学成像系统常见的离焦、衍射模糊问题进行了仿真；用该算法实现了其退化图像的恢复，给出并分析了结果。

Based on the theory of gearing and differential geometry, a series of geometric relationships between conjugate tooth surfaces are analyzed, basic relationships of normal curvature as well as geodesic torsion between conjugate tooth surfaces are derived mathematically for the most general form of gearing.

基于微分几何和齿轮啮合理论，分析了共轭啮合齿面间的一系列几何关系，从而揭示了两个作空间共轭啮合运动的齿面之间的法曲率、短程挠率的内在几何联系。作为上述理论的具体应用，研究了准双曲面齿轮传动两齿面之间在给定参考点处的法曲率、短程挠率的关系

Firstly, we prove the existence and the uniqueness of the hyperfocal subalgebra when the coefficient field is split for a defect pointed group; then, considering the structural pattern of source algebras over arbitrary fields, by means of G-acted groups, we reduce the existence and the uniqueness of the hyperfocal subalgebra over an arbitrary field to the case that the coefficient field is split for a defect pointed group and the inertia group stablizes a hyperfocal subalgebra.

首先我们证明了如果系数域对亏点群是分裂的，则源代数的超聚焦子代数存在且共轭唯一；然后通过考虑任意域上源代数的结构模式，以G-作用群为手段，将超聚焦子代数的存在性和唯一性归结为系数域对亏点群是分裂的情况下惯性群稳定的超聚焦子代数的存在性和唯一性。

Chapter 4,based on strong efficiency rather than efficiency or weak effi-ciency,discusses the similar problem to chapter 3.The concepts of strongsupremum and strong infimum for the set in finite-dimensionalEuclidean space are given,s-conjugate functions and s-subdifferentials theory is developed,by means of which,the duality problem ofmulitobjectivre programming for strong efficient solutions or called absoluteoptimal solutions is analysed,and a new duality theory-s-conjugateduality theory is proposed.

第四章，基于强有效性而不是有效性和弱有效性，给出了类似于第三章的结果，提出了有限维欧氏空间中集合的强上、下确界等概念，研究了点集映象的强共轭函数和强次微分问题，建立了点集映象的s-共轭函数及其s-次微分理论，并借助于这一理论，讨论了多目标规划关于绝对最优解或称强有效解的对偶性问题，建立了基于强有效性的s-共轭对偶理论。

By extending the concepts of supremum and infimum in real space to the casein any finite-dimensional Euclidean space a weak supremum set and infimumset theory with respect to cones for the set in finite-dimensional Euclideanspace is developed,and several similar properties to the set in real space are ob-tained,with the concepts of this weak supremumset,w-D-conjugate maps and w-D-subdifferentials theory for the point-to-setmap are developed,and its several properties and its relationships with weakefficient solutions of the multiobjective programming are studied.

推广实空间中上、下确界的概念至任意有限维欧氏空间，建立了有限维欧氏空间中集合的锥弱上、下确界集理论，得到了与实空间中十分相似的性质。借助于这一理论，应用上、下确界的概念，给出了点集映象的w-D-共轭映象及w-D-次微分理论，并研究了它们的若干特性及其与弱有效解之间的关系，此外还讨论了弱鞍点问题。

Several representations of numerical simulation, such as induced curvature, the conditions of first—type limit, second—type limit and singular solution, are presented under continuous and differential conditions. A new system of numerical simulation, which is relative as well as independent to traditional theory, is established.

利用现代微分几何学的活动标架方法对共轭曲面的数学仿真原理进行了深入研究，给出连续可微条件下，共轭条件、一、二类界限条件，奇解点条件及诱导曲率的仿真描述，建立了与传统理论既相联系又相互独立的数字仿真原理新体系。

The special geometric restrictions like parallelism andperpendicularity implicated in vanishing elements are deeply studied. In single-view case,the theory is presented to interpret relationship between two planar lines by applying 3Dinvariants of vanishing points. In two-view case, the method on extraction vanishing pointof an arbitrary spatial line is described, and moreover, the theory is presented to interpretrelationship between two elements in 3D space, such as two lines, two planes, line andplane, and so on.

4详细论述了消失元素(消失点、消失直线、消失平面等)所体现的垂直、平行等特殊几何约束关系；对单视图，提出了一种利用消失点列的3D不变量解释平面直线关系的方法；对双视图，提出了利用自共轭三角形和对极几何约束，提取任意直线的消失点的算法，并在此基础了提出了一种利用消失元素的3D不变量解释直线间、直线与平面间、平面间等多种空间几何关系的方法。

Theory; the spatial meshing theory includes comparative motion, comparative differential and conjugative curved surface; and the application of meshing theory includes gear drive and worm drive. The spatial meshing theory is the main part of the course.

课程的重点讲解内容有曲线的参数方程、切线、法面、弧长、曲率、空间曲线的基本公式、挠率及平面曲线的基本公式等；曲面第一和第二基本公式，法曲率、主方向和主曲率、欧拉公式、短程挠率、欧拉公式和贝特朗公式推广、相对法曲率和相对短程挠率等；刚体的绝对和相对运动速度、相对微分和绝对微分、相对速度和相对微分、轨迹曲面的法曲率和短程挠率等；空间共轭曲面的啮合条件、诱导法曲率、两类界限点、等距共轭曲面、空间啮合的二次接触原理等；蜗杆传动的数学模型建立及啮合特性分析方法等。