多项式软化子的一个应用

给出多项式软化子的几个性质 ,并由此证得用多项式一致逼近连续函数的结论     

二元有限域GF（2）上友矩阵的性质

本文主要研究定义在二元有限域GF（2）上友矩阵的性质，文中采用对矩阵性质的一般研究方法，较系统地讨论了定义在二元有限域上友矩阵的行列式、可逆性、特征值、秩、对角化以及极小多项式等有关问题，并得到了一些相关结论。     

关于二阶实矩阵的一个问题

设n是正整数，A是二阶实矩阵．该文证明了：如果A^n=E2且｜A—E2｜=n,其中E2是二阶单位矩阵，则必有n=3，A=（^a c ^b -1-1a），其中a、b、c是适合a^2＋a＋bc＋1=0的实数．     

COMPUTATIONAL COMPLEXITY OF INTEGRATION AND DIFFERENTIATION OF CONVEX FUNCTIONS

In this paper,we study the computational complexity of the integrals and the derivatives ofconvex functions defined on the interval [0,1].     

一类复合并行机排序问题的多项式时间算法

在经典排序论中，一般都作以下两条假设：每台机器在任一时刻至多加工一个零件，每个零件在任一时刻至多被一台机器加工。本文研究在并行加工中多台机器可同时加工一个零件的排序问题，且每个零件可在固定的一个机器的子集上加工。在机器总数确定，零件加工可间断的条件下，设计出求这类问题最优解的计算方法，并研究这种问题的计算复杂性。     

一种(71,36,11) QR码的快速代数译码算法

在平方剩余(quadratic residue,QR)码的译码过程中,当接收码字中出现的错误个数较多时,未知校正子的计算非常困难,计算量与复杂度都很高,因此增加了解码过程所需要的时间.鉴于此,在(71,36,11)QR码的错误模式权重为4时,通过对牛顿恒等式的数学推导,在不需要计算未知校正子的情况下,导出了其错误位置多项式的系数,简化了(71,36,11)QR码中出现4个错误时的判断条件,并对所有可纠错的错误图案进行了穷举验证.仿真结果表明,提出的算法在解4个错与5个错时,分别提高了56.12％与18.19％的解码效率,验证了算法的正确性与有效性.     

图的极大匹配能(英文)

Gutman和Wagner(The matching energy of a graph,Discrete Appl.Math.2012(160):2177-2187)首次提出了匹配能的定义,即:图的匹配多项式的所有特征根的绝对值之和称为图的匹配能.他们证明了在n个顶点的图中,完全图Kn有最大匹配能.本文完全刻画了具有第二大至第十六大匹配能的图.     

Discovering non-terminating inputs for multi-path polynomial programs

This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the authors propose the notion of strong/weak non-termination which under/over- approximates non-termination. Based on polynomial ideal theory, the authors show that the set of all strong non-terminating inputs （SNTI） and weak non-terminating inputs （WNTI） both correspond to tile real varieties of certain polynomial ideals. Furthermore, the authors prove that the variety of SNTI is computable, and under some sufficient conditions the variety of WNTI is also computable. Then by checking the computed SNTI and WNTI varieties in parallel, termination properties of a consid- ered MPP can be asserted. As a consequence, the authors establish a new framework for termination analysis of MPPs.     

一类n项和数的表达式

用Ｃｈｅｂｙｓｈｅ多项式的零点为节点的Ｌａｇｒａｎｇｅ多项式逼近高阶多项式时，误差公式中出现一类ｎ面和数。现给出此类和表达式，并用归纳法证明之。     

Prediction of Flexural Deformation of Reinforcement Concrete Beams with Polynomial Tension Stiffening Model

Based on an assumption of parabolic bond stress distribution,a simplified model with quartic polynomial function of the relative slip of steel bar and surrounding concrete for reinforced concrete (RC)tensile member was proposed. The post-cracking behavior as well as tension stiffening effect was considered in the new model. The relative slip of bending member could also be determined through the extension of the new model,which could be applied to obtaining the concentrated rotations at certain sections in order to predict the flexural deformation of RC beam. Several examples of four-point bending RC beams were approached to verify the new model,and the predictions of the flexural deflections of RC beams agreed well with experimental results. The new model can be extended to the application of partially corroded RC beam.