关于极小域环的判定及其结构的研究

研究了极小域环中，其非零子环都会是域的极小环的判定条件以及基数为不同素数的积的有限极小域环的结构。     

半无限极大极小问题的依赖域方法

对半无限极大极小问题给出了一个依赖域方法，并且在较弱的条件下证明了其全局收敛性。     

极小圈模对(C_1,C_2)与二元域拟阵M的特征

对极小圈模对的性质及用它陈述二元域拟阵的特征进行了研究.首先证明了若M是在E上的二元域拟阵,则V(C0(M))是V(n,2)的一个子空间.其次证明了C1,C2是极小圈模对的充分必要条件,得到的主要结果有:证明了极小圈模对命题的逆命题是正确的,由C1,C2∈C0(M)∈C0(M)都有 C1ΔC2∈C(M)得到一系列用极小圈模对(C1,C2)表达的二元域拟阵M的特征,由此极简单地证明了命题7(White 1971).     

λ—可拓域和λ—稳定域

在可拓集、可拓域、稳定域的基础上引入可拓集的λ－上域,λ－下域λ－界及可拓集关于变换Ｔ的一上域,λ－下域,λ－可拓集,λ－稳定域。分析了可拓 的交,并的λ－可拓λ－稳定的结构。研究了可拓集的交,并的λ－可拓域和λ－稳定域与可拓集的λ－上域,λ－下域,λ－可拓域,λ－稳定域之间关系。     

关于内域环外域环的注记

本文给出了内域环的两个新刻划,得到了一类外域环的结构。     

λ—可拓域和λ—稳定域

在可拓集、可拓域、稳定域的基础上引入可拓集的λ—上域,λ—下域,λ—界及可拓集关于变换T的—上域,λ—下域,λ—可拓集,λ—稳定域。分析了可拓集的交、并的λ—可拓域和λ—稳定域的结构。研究了可拓集的交、并的λ—可拓域和λ—稳定域与可拓集的λ—上域,λ—下域,λ—可拓域,λ—稳定域之间关系。     

∏∑-域上一阶线性差分方程的极小万有分母

符号求和的一个关键问题是求解线性差分方程的有理解.解决这类问题的第一步是得到每个有理解分母的界,一旦知道分母界,就可以将有理解的问题简化为多项式解的问题.本文提供了一种用于在∏∑-域中寻找多项式系数一阶线性差分方程有理解的极小万有分母的算法,得到的极小万有分母为根据Abramov算法在∏∑-域上推广得到的万有分母的因子...     

极大极小优化问题信赖域算法的收敛性

对在最优控制、金融工程、经济管理等领域中具有广泛应用价值的一类非线性极大极小优化问题给出一种新的信赖域算法.在每次迭代中,算法只需求解标准的QP子问题,获取新的迭代点.另外,算法具有易于推广到线性约束的极大极小优化问题的特点.在较弱的假设下,分析了算法的收敛性.     

三角域和矩形域上Bezier曲面之间的几何连续条件

Kahman给出了相邻的矩形域上的Bezier曲面及相邻的三角域上Bezier曲面之间GC^2连续条件,利用相邻矩形域上的Bezier曲面之间的GC^2连续条件及Bezier曲面的高阶编导数,得到了相邻的三角域的矩形域上Bezier曲面GC^2连续的一个充分条件,该条件计算方法简便,几何意义明确,便于在计算机辅助几何设计中应用。     

三角域和矩形域上Bezier曲面之间的几何连续条件

Kahman给出了相邻的矩形域上的 Bezier曲面及相邻的三角域上 Bezier曲面之间 GC2连续条件 .利用相邻矩形域上的 Bezier曲面之间的 GC2 连续条件及 Bezier曲面的高阶编导数 ,得到了相邻的三角域和矩形域上 Bezier曲面 GC2 连续的一个充分条件 ,该条件计算方法简便 ,几何意义明确 ,便于在计算机辅助几何设计中应用     

R~3中极小曲面的Weierstrass表示及其第一和第二基本形式

本文运用极小曲面的Weierstrass公式的复向量形式以新的方法简单地导出了极小曲面的第一、二基本形式用W——因子表示的公式。     

S~3中极小曲面和H_1~3中类空极大曲面的局部表示

利用在适当坐标下S~3中极小曲面的Gauss方程的通解,得到了S~3中极小曲面的局部表示公式,表示量为到S~2的调和映照,通过对S~3中极小曲面Gauss映照的分析,给出了表示量的几何意义.对偶地对H_1~3中的类空极大曲面作了类似的讨论.     

一类三次极小代数超曲面推广

构造了一个三次齐次多项式,然后再证明这个齐次多项式是一个三次代数极小超曲面.     

空间曲线的副法线曲面

利用活动标架及曲线的理论与性质等研究了曲线的副法线曲面,得到了一些特殊曲线的副法线曲面的特征,特别是确定了这些曲面上的一些特征曲线.根据曲面的平均曲率、高斯曲率及主曲率函数,得到了副法线曲面的极小轨迹和常高斯曲率曲线,以及曲线的挠率中心轨迹在该曲线的副法线曲面上的特殊性质.对Mannheim侣线的副法线曲面进行了研究,结果表明,沿Mannheim曲线的两个主曲率之比为-1;Mannheim曲线是Mannheim侣线的副法线曲面的极小轨迹.     

一个辅助函数的构造方法

在面积最小的曲面是极小曲面的定理证明中,关于辅助函数的构造是十分困难的.在这篇文章中,我们给出了关于这个辅助函数的一个简单的构造方法.     

车比雪夫坐标网的性质与极小曲面

Prof、S、S Chern和Wang Baoqin等利用曲面上渐近曲线网和车比雪夫网的关系,实现了在高斯曲率K=常数的二曲面之间的“Bachlund”变换这是曲面的变换论在偏微分方程论中的重要应用。本文旨在介绍并探索了车比雪夫网的一些性质,可供研究曲面变换论的参考。最后,并探讨了曲面的坐标网为半车比雪夫网与极小曲面的一些关系。     

极小曲面的构造

利用魏尔斯特腊斯(Weierstrass)表示及公式，构造三维欧氏空间中的极小曲面。     

The complexity of variable minimal formulas

Based on the common properties of logic formulas: equivalence and satisfiability, the concept of variable minimal formulas with property preservation is introduced. A formula is variable minimal if the resulting sub-formulas with any variable omission will change the given property. Some theoretical results of two classes: variable minimal equivalence (VME) and variable minimal satisfiability (VMS) are studied. We prove that VME is NP-complete, and VMS is in D^P and coNP-hard.     

一类极小曲面造型设计的新方法

基于孔斯曲面定义了一种新的可以插值任意边界的孔斯-B样条曲面,利用改进的平均曲率流的方法提出构造极小曲面造型的新方法,并通过数值例子证实了该方法的有效性.     

曲线的主法线曲面

在三维欧氏空间中,作为特殊曲线,Mannheim曲线、Bertrand曲线以及一般螺线具有良好的几何和代数性质.讨论了三维欧氏空间中特殊曲线的主法线曲面.根据渐近曲线的方程,具体给出主法线曲面的一族非直线的渐近曲线.再根据平均曲率、高斯曲率及主曲率函数,能得到曲线的主法线曲面的极小轨迹、常高斯曲率曲线及两个主曲率函数之比为常数的曲线.还给出曲面上测地线和腰曲线的性质.