基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

图族S_(r(k+m)+1)~ψ∪(rk-1)K_1的补图的色等价性定理

设ψ( k,m)表示把星图 Sk+ 1的 k度点与路 Pm的一个 1度点重迭后得到的图 ,Sψ*r(k+ m) + 1表示把星图 Srk+ 1的 rk个 1度点分别与 rψ( k,m)的每个分支的 k个 1度点 (均邻接于ψ( k,m)的 k +1度点 )依次重迭后得到的图。证明了图族 Sψ*r(k+ m) + 1∪ ( rk -1 ) K1的补图的色等价性及非色唯一性 ,进而推广了这一结果     

生活中的多项式

本文从一个简单的多项式问题出发,展示问题的分析和模型的构建过程,使学习数学模型的学生对什么是数学模型以及如何建模及如何应用数学有一个基本的了解。     

关于振动模态参数识别的注记

回顾了关于整体拟合的分母多项式系数的争议,论证了Richardson文献中所提供的参数精度不高的原因并非源于Richardson的错误.指出一个经典考核算例的仿真传递函数生成公式不同于复模态理论提供的公式,讨论了两者之间的关系.表1,参9.     

三角多项式拟合曲线基本方法的改进

前言。在工程规划、设计与管理中，常用到一些由实际资料绘制的曲线，由于没有函数表达式，应用起来很不方便．当曲线具有周期性质(通常近似于三角函数曲线)时，自然考虑到采用三角多项式来近似拟合．本文探讨了三角多项式拟合曲线基本方法存在的不足，提出了一个有效的改进方法，并从理论上证明了该方法的正确性．     

受顶点数限制的最短路问题及其算法

本文提出了若干受顶点数限制的最短路问题。引入非支配路的概念，用双标号和取字典序最小方法，给出求解问题的多项式算法。     

矩阵序列与多重线性多项式

引入矩阵序列的概念，研究了一般环上矩阵环的多重线性多项式。     

关于多项式互异根个数的矩阵表示

本文利用矩阵给出了C，R，Q上的多项式互异根个数的表示。     

量子计算机与经典计算机

<正> 量子信息学是最近几年迅速发展起来的新兴学科,由于它潜在的应用价值和重大的科学意义,正引起各方面越来越多的关注。利用量子态相干、叠加及纠缠的性质,量子计算机可以实现大规模的并行计算,产生经典计算机无法比拟的信息处理功能。20世纪下半叶电子计算机蓬勃发展的主要基础是基于硅材料的微电子器件,这里将以微处理器为基础的电子计算机称为传统计算机。由于现有计算机以二进制数字0和1为基础,信息的存储、读写和复制等操作都是用经典物理过程来实现的,故称为经典计算机。而设想中的量子计算机以量子物理的过程来运行,利用量子态的叠加、量子态的纠缠及干涉等性质进行信息处理。量子计算最重要的优点体