部分线性函数多项式模型的联合探测

本文提出了一个新的部分线性函数多项式回归模型,该模型中响应变量依赖于一个p阶函数多项式和一些非函数型数据的协变量.函数多项式模型、函数线性模型和部分函数线性模型是该模型的特殊情形.本文提出了一个模型探测方法,它能同时探测部分线性函数多项式回归模型中哪些阶是重要的以及哪些非函数型变量是重要的.提出的方法能相合地识别真实的模型并有好的预测表现.数值模拟能清晰地证实我们的理论结果.     

两响应Haar小波回归模型最优设计

本文讨论两响应线性Haar小波模型的最优试验设计问题.假定每个响应变量与自变量之间的回归关系可以用一个线性小波多项式表示.本文给出一个设计,它同时具有D-,A-和Q-最优性,并且与两响应变量的协方差阵无关.     

Dynamic Responses Analysis of Bridges With Uncertain Parameters Under Moving Loads北大核心CSCD

针对具有不确定参数桥梁在移动荷载作用下的动力响应分析,首次建立了移动荷载作用下桥梁响应分析的多项式维数分解法.将结构的不确定参数视为独立的随机变量,构造了结构动力响应关于不确定参数的随机函数;进而采用一组变量数目逐次增加的成员函数实现结构动力响应的维数分解,并利用Fourier多项式展开推导成员函数的近似显式表达.通过降维积分方法降低概率空间内的积分维度,高效地实现了展开系数的计算.在数值算例中,进行了具有不确定参数桥梁在移动荷载作用下的响应估计,并与Monte-Carlo模拟进行对比,验证了该文方法的精确性和效率.     

指数多项式不等式的自动证明

讨论了指数多项式不等式的自动证明问题,运用Taylor展开式将目标不等式的证明转化为一系列的一元多项式不等式的验证,然后借助代数不等式证明工具(如Bottema)完成最后的工作.运用Maple实现了上述算法,算法对所有指数多项式不等式终止,并且可以输出"可读"的证明过程.     

指数多项式不等式的自动证明北大核心CSCD

讨论了指数多项式不等式的自动证明问题,运用Taylor展开式将目标不等式的证明转化为一系列的一元多项式不等式的验证,然后借助代数不等式证明工具(如Bottema)完成最后的工作.运用Maple实现了上述算法,算法对所有指数多项式不等式终止,并且可以输出"可读"的证明过程.     

基于Cox模型的虚拟响应算法

提供一种求解Cox模型的新方法:基于Cox模型的基本特征构造虚拟响应变量,在此基础上利用最小二乘迭代算法得到基准生存函数和回归系数的估计,并进一步将该算法推广到广义Cox模型,利用局部多项式方法拟合虚拟响应变量,解决了协变量作用形式为非参的情形.     

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

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

基于似然比检验的监控多项式曲线的控制图

在统计过程控制的很多应用当中,产品或生产过程的质量特征是通过一个响应变量与一个或多个解释变量之间的关系来刻画,这种关系通常称为曲线关系。很多情况下,这种曲线关系可以通过多项式回归关系来描述.本文中,我们提出了一种基于似然比检验的二阶段多项式曲线控制图,并通过平均运行长度来衡量控制图的性能表现。模拟结果表明,本文提出的多项式曲线控制图具有很好的检测能力。     

一类超越函数多项式不等式的自动证明

讨论了形如f(x,trans_1(x),…,trans_n(x))0的超越函数多项式不等式的自动证明问题,运用Taylor展开式将目标不等式的证明转化为一系列的一元多项式不等式的验证,然后借助代数不等式证明工具完成最后的工作.运用Maple实现了上述算法,算法对常见超越函数多项式不等式十分高效,并且可以输出"可读"的证明过程.     

一类超越函数多项式不等式的自动证明北大核心CSCD

讨论了形如f(x,trans1(x),…,transn(x))>0的超越函数多项式不等式的自动证明问题,运用Taylor展开式将目标不等式的证明转化为一系列的一元多项式不等式的验证,然后借助代数不等式证明工具完成最后的工作.运用Maple实现了上述算法,算法对常见超越函数多项式不等式十分高效,并且可以输出"可读"的证明过程.     

多项式函数的次数与极值点的关系

本文给出并严格证明了"一元实系数偶数(≥2)次多项式函数有极值"这一定理,并对多项式函数的次数及最高次项系数的符号与极值点的关系进行了归纳.     

渐近于Hermite多项式的双正交系统

本文利用渐近于Gauss函数的函数类?,给出渐近于Hermite正交多项式的一类Appell多项式的构造方法,使得该序列与?的n阶导数之间构成了一组双正交系统.利用此结果,本文得到多种正交多项式和组合多项式的渐近性质.特别地,由N阶B样条所生成的Appell多项式序列恰为N阶Bernoulli多项式.从而,Bernoulli多项式与B样条的导函数之间构成了一组双正交系统,且标准化之后的Bernoulli多项式的渐近形式为Hermite多项式.由二项分布所生成的Appell序列为Euler多项式,从而,Euler多项式与二项分布的导函数之间构成一组双正交系统,且标准化之后的Euler多项式渐近于Hermite多项式.本文给出Appell序列的生成函数满足的尺度方程的充要条件,给出渐近于Hermite多项式的函数列的判定定理.应用该定理,验证广义Buchholz多项式、广义Laguerre多项式和广义Ultraspherical(Gegenbauer)多项式渐近于Hermite多项式的性质,从而验证超几何多项式的Askey格式的成立.     

部分线性函数多项式模型的联合探测北大核心CSCD

本文提出了一个新的部分线性函数多项式回归模型,该模型中响应变量依赖于一个p阶函数多项式和一些非函数型数据的协变量．函数多项式模型、函数线性模型和部分函数线性模型是该模型的特殊情形．本文提出了一个模型探测方法,它能同时探测部分线性函数多项式回归模型中哪些阶是重要的以及哪些非函数型变量是重要的．提出的方法能相合地识别真实的模型并有好的预测表现．数值模拟能清晰地证实我们的理论结果．     

不同基底的正交多项式回归

提出了把Legendre多项式转换为定义在{1,2,…,n}上的正交多项式的Gram-Schmidt正交化方法.模拟比较了不同基底的正交多项式回归效果的差异.实证发现在AIC准则下,正交多项式回归在保证拟合效果的同时可最大限度地降低多项式次数.开发了正交多项式回归全过程和模型评价的MATLAB软件工程.     

Genocchi积分多项式及其性质

本文研究了Genocchi积分多项式的性质.利用生成函数的方法,得到了Genocchi积分多项式的一些组合恒等式,揭示了Genocchi积分多项式和Genocchi多项式、Bernoulli多项式、Genocchi数、Bernoulli数、Euler数之间的关系.     

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

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

单纯形上的q-Stancu多项式的最优逼近阶

构造了单纯形上的多元q-Stancu多项式,它是著名的Bernstein多项式和Stancu多项式的推广.建立该类多项式逼近连续函数的上、下界估计,进而给出其对连续函数的最优逼近阶(饱和阶)及其特征刻画.此外,还研究了该类多项式逼近连续函数的饱和类.     

Bernoulli多项式的积分多项式

首次研究了 Bernoulli多项式的积分多项式 .首先 ,给出这类多项式的定义和基本性质 ;其次 ,建立两类幂和多项式的相互关系 ;最后 ,介绍上述结果在求解自然数幂和公式方面的应用 .     

退化高阶伯努利多项式与广义等幂和多项式的对称等式

研究了退化伯努利多项式与广义等幂和多项式的对称关系,获得了关于多个退化高阶伯努利多项式与广义等幂和多项式的若干对称关系.     

新的一类三变量正交多项式及其递推公式

研究一类新的三变量正交多项式, 定义为二阶偏微分算子的本征函数, 且在一曲四面体域上正交. 该曲四面体可由普通的四面体映射而得, 可视为 二维Steiner区域的三维推广. 所讨论的正交多项式可视为该区域上的Jacobi多项式. 推导了正交多项式的显式递推公式, 证明其所含的正交多项式项数不依赖多项式的总次数, 沿两个复变量z和$\bar z$方向及单个实变量r方向, 递推公式所含的正交多项式项数分别只为5项与7项. 作为3个特例, 详细讨论了三变量的第1类与第2类Chebyshev多项式及Lengendre多项式.