平面代数曲线的交点隔离算法

判断两条平面代数曲线在给定区域内是否相交是几何设计的一个基本问题.针对代数曲线的正规交点,本文建立了一个隔离算法.首先使用结式计算和单变元多项式的实根隔离算法,获得一系列初始矩形Box.这些Box中要么没有交点,要么只有唯一交点.通过引入伴随多项式,建立了判定给定Box中无交点和有唯一正规交点的方法 .利用Maple平台实现了隔离代数曲线正规交点的算法Real Intersection.经过随机方程组实验,该方法在高次数的情况明显优于Maple中基于有理单变元表示的交点隔离方法 Isolate.     

三角函数多项式的实根分离

本文探索非多项式型实函数的实根分离问题,实现了分离三角函数多项式实根的"完备算法",即可以找出一个互不相交的区间列,每一个区间包含函数一个实根,整个列表包含函数的全部实根,且每个区间长度可以小于任意指定精度.     

多项式实根的分布及求所有实根的算法

利用多项式实根的分布及计算孤立区间的算法 ,可计算出多项式的所有实根     

基于平移预条件技术的改进超松弛迭代图像复原

图像复原问题常常可转化为大型线性系统的求解问题.为解决超松弛迭代算法在求解大型稀疏线性系统时的收敛不稳定问题,提出了一种改进的超松弛迭代算法.通过平移预条件技术将超松弛迭代的迭代矩阵进行改进以避免奇异,研究了改进算法的收敛性和松弛参数的取值范围.在两个实际图像复原问题上的数值实验结果表明,改进算法是稳定和有效的.     

平图的transition多项式的Maple计算

将现有的计算方法改进得到了一种新的计算平图的transition多项式的方法。算法使用了圈置换的方法计算每个transition操作所产生的欧拉圈的数目。利用Maple软件编写出了该算法的程序,通过这个程序,可以实现任意一个平图的transition多项式的计算。     

线性平移策略降低算法复杂度的研究与实践

平移策略在线性算法研究中具有广泛的使用价值,主要的应用方法为相对定长平移和线性段整体平移两种策略,应用平移策略可以对算法以及算法的特定部分进行改进,从而降低算法复杂性,提高运行效率.主要以计算机专业硕士研究生考试和经典KMP算法为案例,通过实验比较得出最优算法的过程.     

快速提取正弦信号频率

本文在正弦信号频率估计的线性预测方法基础上,充分利用正弦信号的特殊性信息,给出了一种正弦信号频率估计的快速算法。文中首先利用线性预测参数的对称性将原线性预测方程的阶数降低一半求解,使其计算量减少到原来的八分之一。提取正弦信号的频率,还要求解一高次特征多项式方程,利用其系数的对称性,经过巧妙的根的变换,还可把该高次复根多项式方程的求解转化为次数减半的实根多项式方程的求解。该实根多项式方程的求解可此原复根多项式方程求解的速度提高八倍。文中最后给出计算机模拟结果,并与原线性预测方法和前后向线性预测方法加以此较。     

轮换对称多项式通式的构造及初等轮换式的自动发现

通过改进算法的轮换对称多项式的通式构造程序,研究了初等轮换对称多项式的构造,编写Maple程序得到了3元到7元的初等轮换对称多项式;提出并编程实现列表乘法运算,为较多元多项式的线性表示及多项式的通式构造提供了强有力的工具;提出了3个猜想并编程实现部分验证.     

四次平面多项式系统的Lyapunov量复算法

本文研究了一类缺二次项的四次平面多项式复系统的Lyapunov量的复算法和Maple符号计算程序.给出Maple计算软件计算Lyapunov量的流程图,运用Maple程序计算出该四次复系统的前九个Lyapunov量,本文结果可用于判定系统在原点的极限环个数,对平面多项式系统的多极限环分岔的研究具有重要理论指导意义.     

一类碳纳米管状图的Tutte多项式

给出了一类管状图的Tutte多项式的一个算法，这类图的形状与碳纳米管类似。找到了这类图在删除—限制算法中的基图，用基图的Tutte多项式给出了管状图的Tutte多项式的递推公式，用Maple实现了管状图的Tutte多项式的计算。     

快速定点独立向量分析在语音信号盲分离中的应用

针对包括环境噪声的混叠语音信号分离困难问题,提出一种新的频域快速定点独立向量分析模型,对混叠语音信号进行盲分离.该模型中的每个源信号以向量形式混合,模型采用二次泰勒多项式把牛顿迭代算法直接应用于复变量对照函数,通过最优化使牛顿迭代规则更加简单和清晰.对实际采集的语音信号进行仿真,实验证明算法很好地分离了卷积盲源信号,新算法具有良好的收敛性和较高的准确性.     

关于对称多项式的构造及其应用

通过构造对称式和轮换对称式的一般表示式,借助于Maple应用程序,研究了3元到15元的对称多项式的缺项多项式、轮换对称代换缺项多项式、Si类对称多项式及Si类差分代换缺项多项式的通式构造,并对多元多项式的平方分拆进行了探讨.     

有限域上插值多项式的两种构造方法

在实数域上构造插值多项式,由于计算机精度的限制和存在舍入误差与截断误差,会使构造的插值多项式产生很大的误差。因此文章将问题限制在有限域上,给出了有限域上存在唯一的插值多项式的定理,且对定理进行了严格的证明。同时将Lagrange插值法与Newton插值法推广到有限域上,形成有限域上构造插值多项式的两种方法,最后通过算例验证了此方法的正确性。     

绝对值方程的区间算法

本文研究了绝对值方程Ax-|x|=b的求解问题。通过构造新的区间算子,给出了求解绝对值方程的一个区间算法。该算法能同时求出绝对值方程近似解和估算其近似解的误差限,并在A的奇异值全部大于1的条件下,证明了算法的收敛性且收敛速度至少是线性的。理论分析和数值结果均表明本文提出的算法是有效的。     

区间数密度中间算子在多属性决策中的应用

针对群决策中的决策者群体偏好信息分布问题,研究了不确定多属性决策密度中间算子,把实数密度中间算子扩展到区间数密度中间算子.给出了区间数密度算子权向量的确定方法及具体过程.提出了区间数密度算子(IDM算子),定义了区间数密度加权平均中间算子(IDWA算子)和区间数密度加权几何平均中间算子(IDWGA算子),给出基于区间数密度算子的合成算子:密度算术加权平均算子(IDWAWAA算子)和密度有序加权平均算子(IDWGAOWA算子),最后用实例对算子密度权向量的确定进行了说明.     

求解互补问题的Newton-Krylov-Schwarz算法

提出一类并行的半光滑Newton-Krylov-Schwarz算法来解决互补问题.利用半光滑函数,通过解大规模稀疏非线性代数方程组,得到此类优化问题的数值解.计算结果表明此算法的可行性.     

绝对值方程的一种全局收敛算法

本文研究了一种有效的方法去解决一类NP-难问题—绝对值方程（AVE）：Ax-｜x｜=b,其中A为n阶实矩阵.在区间矩阵[A-I,A＋I]是正则的条件下,本文结合光滑函数提出一种光滑化Newton方法,证明了该算法的全局收敛性.     

解非线性方程组的两种区间松弛法

基于矩阵分裂与区间松弛算子导出了两种区间松弛迭代法，方法不用求矩阵 的逆且比已知的Ｈａｎｓｅｎ迭代法更快地收敛到解；其中有些算法具有平方收敛。此外， 应用Ｎｅｗｔｏｎ—ＳＯＲ方法构造的点序列比区间的边界序列更快地收敛到解。文中还给出 数值例子。     

采用算术变换验证泰勒级数表达的定点数电路

对于不精确的电路,误差是不可避免的,因此设计出的电路只在一定程度上实现了描述,研究它们之间的误差是非常必要的。传统计算误差的方法主要是依靠仿真,但是过长的计算时间往往导致不可行。为了克服仿真的缺陷,首先分析了多项式表达的数据通道中误差的来源,主要包括函数近似误差、输入变量量化误差、常系数量化误差和输出变量量化误差等,然后采用中间生成的算术变换多项式作为精密分析量化(位宽)和近似值来源的分析手段,提出一个高效的算法来计算各种不同类型的误差,检查泰勒级数或实值多项式的电路实现是否满足给定的误差边界。     

基于修正的拟牛顿法的基追踪去噪研究

为提高一维信号去除噪声的稀疏分解基追踪算法的效率,提出了采用修正的拟牛顿法来解决基追踪去噪过程中的无约束优化问题。该算法在传统拟牛顿法的基础上,对BFGS(Broyden-Fletcher-Goldfarb-Shanno)公式进行修正,有效地减少了最优化过程中所需的迭代次数。实验结果表明,修正的拟牛顿法与传统算法相比,能够明显提高目标函数的收敛速率。