Navier-Stiokes方程简单分歧点的扩充系统

构造了定常Navier-Stokes方程简单分歧点的扩充系统，把简单分歧点转化为扩充系统的正则点，从而此类分歧数值计算问题提供了有效的方法。     

无约束优化的非单调三次正则BB算法

先利用BB(Barzilai Borwein)类型参数构造目标函数Hessian矩阵的近似矩阵, 通过极小化当前迭代点处的三次正则化近似梯度模型求解试探步, 再结合非单调线搜索策略提出一个非单调三次正则BB算法, 最后给出算法的收敛性证明. 数值实验结果表明, 该算法数值性能良好.     

一种简单多边形凸包的快速算法及程序设计

给出了一种求简单多边形凸包的快速算法，此算法采取将各个点按与X轴的夹角顺次排列，然后逐渐地删除凹顶点，求得简单多边形的凸包，并给出了算法的数据结构．算法达到了O(nlogn)的理论时间复杂度下限．     

广义完全正则半群的半格结构

将Green关系进行了不对称的推广,利用该Green关系研究了广义的完全正则半群,证明了广义完全正则半群为完全J*～-单半群的半格.     

一种基于面积修改简单多边形的算法

提出了一个由面积自动修改多边形的新算法:先获得原有多边形面积及其所有顶点,任取三个相邻顶点组成一个三角形,然后将指定的面积值与原面积值比较得到面积差值,将此差值完全用该三角形的形状变化来反映,从而得到新顶点的位置.使得多边形的形状发生改变,其面积变为指定的新值.并提出了"增加概率域限制调整点搜索方向"、"交互选择调整点...     

无约束优化的非单调三次正则BB算法

先利用BB(Barzilai Borwein)类型参数构造目标函数Hessian矩阵的近似矩阵, 通过极小化当前迭代点处的三次正则化近似梯度模型求解试探步, 再结合非单调线搜索策略提出一个非单调三次正则BB算法, 最后给出算法的收敛性证明. 数值实验结果表明, 该算法数值性能良好.     

基于正则蕴涵算子的三I算法

给出了基于常见正则蕴涵算子的三I算法的计算公式,并考虑算法的还原性.     

两图之联的End—正则性

讨论了２个图联图的Ｅｎｄ－正则性，得到了一个主要定理，即如果Ｘ＋Ｙ是Ｅｎｄ正则的，那么Ｘ与Ｙ皆Ｅｎｄ－正则，说明了此定理不逆不真，但对某些特殊的图Ｘ和Ｙ来说，此定理之逆成立。     

正则模的分解

Ｋ．Ｒ．Ｇｏｏｄｅａｒｌ给出了正则环上投影模尤其是有限生成投影模的一系列分解性质，实际上，正则模中可以建立类似结果。     

广义回归数的判定及其算法

主要研究广义回归数的存在性问题．根据广义回归数的性质，给出搜索广义回归数的算法，并用Maple编程得到广义回归数的存在性及分布情况．     

正则半群上的完全单半群同余

研究了正则半群上的完全单半群同余,给出了这类同余的若干等价刻画,证明了≤*是任意正则半群上的最小完全单半群同余,(≤∪≤-1)t是任意局部逆半群上的最小完全单半群同余,是任意逆半群上的最小群同余.     

用Maple计算椭圆曲线上的Tate对

Maple 是功能强大的符号处理和数值分析工具.利用Maple 编程实现椭圆曲线上两点的加法,计算椭圆曲线上的Tate对.     

Maplell在矩阵运算中的应用

解释了Maple的内涵和特征,利用Maple软件简单的指令可以进行矩阵的复杂运算,就常用的矩阵运算,如行列式值、特征方程、特征值、特征向量、逆矩阵、矩阵的秩等的计算进行了探讨.     

一种新的求等幂和的数值计算方法

借助牛顿公式和韦达定理,采用迭代的方法求解类似于自然数等幂和的问题.这种新方法的时间复杂度远远低于传统的一般方法,并且解决了任意实数的等幂和问题.     

应用Maple软件计算汽液平衡常数

在Maple平台上先利用Virial方程计算甲醇一水二元体系的汽相逸度系数;然后分别用Margules方程、VanLaar方程、Wilson方程、NRTL方程以及UNIFAC模型计算该体系的液相活度系数。对运用该软件计算所得的汽液平衡常数（K）与实验测定值进行比较后发现,利用不同活度系数方程计算所得结果差异不大;使用该软件能提高计算精度与准确性;建立该软件的运算程序后可用于有关工程计算。     

递推关系的机器解法

本文以特征方程及生成函数两种方法求解常系数线性递推关系为例,展示了运用Maple求解的基本方法和技巧.越复杂的常系数线性递推关系越能显示机器处理的优势.     

Maple在大学物理教学中的应用

本文从教学实践出发,以麦克斯韦速率分布律、电偶极子、波的叠加等为实例,展示了Maple强大的符号计算能力以及可视化功能,使得在大学物理中一些难以理解的概念直观化,利于学生理解,从而提高课堂教学效果.     

微分中值定理自动推证研究

应用积分辅助函数法给出了微分中值定理在计算机代数系统Maple下的自动推证的实现程序,特别是成功解决了Maple中符号积分缺陷问题.该程序方法简单,相应的计算机程序功能强大,操作性强.应用该程序可以成功解决一类有关问题的计算机自动推证,具有一定的推广价值.     

Maple在线性代数中的可视化教学

本文介绍了计算机代数系统Maple线性代数软件包Student[LinearAlgebra]的部分函数,重点研究了这个软件包在线性代数中的可视化应用,并在求特征向量、逆矩阵、线性方程的解等方面给予举例说明.它以交互式的方式给教师和学生创造了进行探究式教学、协作学习、主动学习的现代教育教学环境.可见,Maple在处理线性代数可视化教学方面要优于其他数学软件.