一类多项式系数二阶线性微分方程解法的研究

给出了一类具有多项式系数的二阶线性微分方程有多项式型特解和通解的充要条件,并在Maple下实现了这类微分方程具有多项式型特解和通解自动判定和求解的算法.     

用Schur分拆证明一类含参数的不等式

利用对称多项式的Schur分拆方法,以及单变元多项式实根隔离算法,证明了一个不等式猜想.并将这一方法用于处理一类含有参数的有理对称不等式.     

n元对称多项式的对称核及应用

研究了具有n个变元的对称多项式的相关问题.这里n是整变量,泛指一切正整数.此类问题已经超出了Tarski判定算法所能处理的初等问题的范围.研究的主要方法是将n变元对称多项式表示为一种特殊多项式的和,即对称核的和.给出了计算对称核的方法.作为应用,得到了几类n变元对称多项式不等式成立的充要条件.     

有限域上一类多项式组的正交性

研究了有限域上一类特殊的多项式组,通过特征和给出了若干判定其正交性的充分条件,从而可以用来构建这种类型的正交多项式组.     

基于随机矩阵的差分代换算法的完备化

本文利用有限核原理,给出了基于随机矩阵的逐次差分代换方法的一个完备化.获得了判定多项式半正定性的完全算法.此算法可进一步应用于计算有理函数的全局最优值.与常用的数值最优化方法不同的是,本方法获得的是精确符号解.     

一类半正定多项式的配平方和算法

以牛顿多胞型技术为基础,根据牛顿多胞型中的点与点之间的相关性,给出了直接搜索多项式配平方和所需的最基本的项集Xs的算法,利用精确的符号算法PCAD,可将一类半正定多项式配成平方和,并编写了Maple程序"ASSOS",实现了多项式配平方和的自动生成.由多项式结构的稀疏性,此算法更能有效处理稀疏多项式.这一算法提高了多项式配平方和的效率,从而促进了一类代数不等式可读性证明的自动生成.除此之外,还给出了多项式不能表示为平方和的一个充分条件.     

关于$5$次对称形式正性的机器判定

利用参系数多项式正实根的判别序列,给出了多变元5次对称形式在Rn 上取非负值的显示判定方法.并以此为依据,导出了一个有效的算法,能够在变元数较多时也可以使用计算机来自动判定.     

求解互补问题的不可行内点法及其计算复杂性

给出了求解一类非单调非线性互补问题的一种不可行内点法,讨论了该算法的收敛性及计算复杂性.分析结果表明,所给方法是一多项式时间算法.     

一类微分系统的非退化中心问题

对于一类多项式微分系统,基于重新参数化提出改进的形式级数法,提高了焦点量序列的约化效率,在此方法的基础上,考虑一类一致等时微分系统的非退化中心判定问题,基于吴特征集法给出系统具有等时中心的12组系数条件,这些条件是充要的.     

一类广义多项式互补问题的光滑化共轭梯度法

本文研究了一类广义多项式互补问题,在一定条件下,证明了其有唯一解.通过极大极小转化技术,将此类广义多项式互补问题转化为光滑化无约束优化问题进行求解,并提出了一种新的光滑化共轭梯度法.在一定假设条件下,证明了该方法的全局收敛性.最后相关的数值实验表明了算法可以有效求解广义多项式互补问题.     

多项式微分系统定性性质的算法化推导

关于利用计算机代数系统,结合吴方法,Gr(o)bner基方法,结式方法以及实根分离算法等对于多项式微分系统定性分析和稳定性判定的一些近期进展,主要包括高维系统平衡点和稳定性判定,一般平面系统的焦点量计算,焦点量独立性的判定以及小扰动极限环的构造以及利用向量场对称性或不变解曲线的存在性部分算法化地给出中心存在的条件.最后展示一些计算实例并提出几个相关的公开问题.     

与Hermite多项式和广义Laguerre多项式相关联的双正交多项式系统

生成函数刻画了正交多项式的很多重要性质.本文的主要目的是根据生成函数的特点研究正交多项式类之间的渐近关系.本文拓展了Lee及其合作者的工作,构造一类双正交多项式系统,并由此构造出分别渐近于Hermite多项式和广义Laguerre多项的函数列;给出渐近于Hermite多项式和广义Laguerre多项的函数列的判定定理.作为这些性质的应用,可以直接获得若干正交多项式和组合多项式的渐近表示,从而验证了揭示超几何多项式渐近关系的Askey格式成立.     

涉及坐标变换的微分多项式在求和约定下的化简和标准型

在n维微分几何中,基本的几何结构和性质常常用Einstein求和约定的带指标函数局部刻画．这种函数的符号计算虽然是计算机代数里最古老的研究课题之一,但直到现在也没有一个完全的算法来判定涉及不同坐标系的两个指标多项式是否相等．这是计算机代数里的一个挑战性问题． 本文针对一种典型的框架：当涉及的坐标变换矩阵的偏导不超过二次时（例如普通的曲率和挠率的局部计算）,提出了一个能消去指标多项式中所有冗余指标的消元算法,以及一个将指标多项式化为标准型,从而能完全判定两个指标多项式是否相等的算法．我们在Maple10中实现了以上算法,并用于研究微分几何中的张量判定等坐标变换下的规律问题．     

计算多项式函数的全局下确界和全局最小值的有效算法

通过捕获所谓的严格临界点, 本文提出了一个计算实多项式函数的全局下确界和全局最小值的有效方法. 对于实数域R 上一个n 元多项式f, 该方法可用来判定f 在Rⁿ 上是否具有有限的全局下确界. 在f 具有有限的全局下确界的情况下, f 的下确界可严格地表示为码(h; a, b), 其中h 是一个实单元多项式, a 和b 是使得a < b 的两个有理数, 而(h; a, b) 代表h(z) 在开区间]a, b[ 中仅有的实根.此外, 当f 具有有限下确界时, 本文的方法可进一步判定f 的下确界能否达到. 在我们的算法设计中,著名的吴方法起着重要作用.     

有理单变元表示在优化问题上的应用

利用零维多项式系统的有理单变元表示,给出了求多项式在有限点集上的正性判定算法.同时,结合不等式证明,呈现了目标函数在零维系统约束下最优化的一个纯代数算法,从而将多元函数约束优化问题转化为单变元函数在单变元多项式约束下的优化问题.新算法不仅能处理目标函数为多项式的最优化问题,而且还能处理目标函数为有理分式函数和根式函数的的最优化问题,并且给出了目标函数最优值的精确区间表示,使得能任意精度地逼近最优值.     

有限域上一类三项式的研究

利用有限域理论,按照扩张次数k的奇偶性,研究了p~k元域上一类三项式的可约性判定问题,并在一定的条件下给出了该类三项式的一个分解式,最后给出了两种利用此类三项式构造新的不可约多项式的方法.     

自由作业环境下的供应链排序

本文研究了一类集成工件加工和发送的供应链排序模型.利用排序理论和动态规划方法,获得了两机器情形下的供应链排序问题的多项式时间近似算法,并证明算法的性能比为2.     

一类可逆三次系统的等时中心

对于一般多项式系统,给出可逆代数条件推导算法;对于一类可逆三次系统,提出周期系数改进算法,得到原点为等时中心的充要条件.     

一类广义分式规划问题的完全多项式时间近似算法

本文对一类广义分式规划问题,提出一种求其全局最优解的完全多项式时间近似算法,给出该算法的理论分析和计算复杂性,通过数值算例验证该算法是有效可行的.     

微分多项式系统的对合特征集

给出了一类将微分多项式系统关于抽象对合延拓方向约化成对合特征集的算法. 该算法统一了已有的基于Riquier方法和Thomas方法及Pommaret方法延拓方程的算法. 采用我们及其他研究者最近发现的新延拓方向, 给出了计算对合特征集的新方法. 实践表明, 这些新方法可以用于简化Wu-Ritt特征集方法的计算程序.