双值约束三次规划问题的全局最优性充分条件

利用拉格朗日函数L-次微分的方法,给出了双值约束的三次极小化问题的全局最优性充分条件,而且得到了此类三次规划问题在一些特殊情况下的结果,与已有文献中的相应结论是一致的;同时给出例子说明给出的最优性条件能有效用于确定给定的三次极小化问题的全局极小值;所得结果改进和推广了相关文献中的相应结果.     

基于split-and-conquer和非参数向前选择法的变量选择

变量选择是统计学界研究的重要课题之一.当处理高维数据时,一些常用的变量选择方法大多比较耗时,因此提出了一种既能筛选出高维数据中的变量又能节省时间的方法:基于split-and-conquer的非参数向前选择法.首先使用split-and-conquer方法将数据进行拆分,然后使用B样条函数逼近的非参数向前选择法进行研究.实验结果表明:基于split-and-conquer的非参数向前选择法可以较好地将变量选择出来,并且节省了大量时间.     

无三角形3-正则图的几个参数的界

图G的一条边称为割边是指删去该边后,使得余下的图的连通分支数增加。图G中的一个两两不相邻的边子集称为图G的一个匹配。图G的一个最大匹配的边数称为图G的匹配数。图G中的一个与G的每个团都有交的顶点子集称为G的一个团横贯集,图G中元素个数最少的团横贯集的顶点数称为G的团横贯数。本文针对n阶连通无三角形的3一正则图G-（V（G）,E（G））,首先给出了其割边数的一个上界（n—l0）／4;其次对它的匹配数得到了一个下界（11n-2）／24;再次对它的线图的团横贯数呈现了一个上界（13｜E（G）｜＋3）／36。同时刻画了达到这些界的极值图。     

带有二次约束的一类特殊三次规划问题的全局最优性充分条件

利用拉格朗目函数和L次微分的方法,研究了带有二次约束的一类特殊三次规划问题的全局最优性条件。首先刻画出该类三次规划问题的拉格朗日函数的抽象次微分,从而得到了带有二次约束的三次规划问题的全局最优性充分条件。最后举例说明如何利用本文所给出的全局最优性充分条件来判定当前可行解就是全局最优解。     

A polynomial smooth epsilon-support vector regression based on cubic spline interpolation

Regression analysis is often formulated as an optimization problem with squared loss functions.Facing the challenge of the selection of the proper function class with polynomial smooth techniques applied to support vector regression models,this study takes cubic spline interpolation to generate a new polynomial smooth function |x|_ε~2 in ε-insensitive support vector regression.Theoretical analysis shows that S_ε~2-function is better than p_ε~2-function in properties,and the approximation accuracy of the proposed smoothing function is two order higher than that of classical p_ε~2-function.The experimental data shows the efficiency of the new approach.     

椭圆曲线y~2=px(x~2+4)的正整数点

设p是奇素数,本文证明了,当p≠5时,椭圆曲线y2=px(x2+4)至多有1组正整数点(x,y);p=5时恰有2组正整数点(1,5),(4,20).     

基于3次样条插值的数控机床几何与热复合定位误差建模

通过分析机床整个温升直到热平衡的误差数据,总结误差分布的数学规律,将热误差和几何误差分离,运用基于压紧样条条件下的3次样条插值算法,以线性拟合后的余差为建模数据,建立了数控机床几何与热复合定位误差数学模型.实验结果表明,该数学模型能很好地拟合数控机床定位误差曲线,补偿后数控机床定位精度提高了80%以上.该方法可运用于不同时刻或不同机床温度下的机床定位误差补偿,建模原理明了、过程快速,模型适用性好.     

一种GF(3m)上立方运算电路的优化设计方法

提出了一个能优化GF(3m)上立方运算电路的浓缩法方法.采用该方法处理了580种GF(3m)有限域上立方运算电路，统计数据表明：若不可约多项式形如xm+ptxt+x0,m<256，除极少数情况外，浓缩法优化后的立方运算电路的加法器不超过1.35m个.给出212个不可约多项式，用浓缩法优化后的立方运算电路的加法器数量不超过m个.     

一种消除锯齿的图像放大算法

为了最大程度消除图像放大后出现的锯齿现象,提出了一种新的二次导数连续的多结点立方卷积插值函数,通过增加结点使得插值曲线更加的平滑;同时对插值函数引入逆梯度约束条件,然后根据图像放大的倍数定义一个适当的模板对图像进行卷积操作,自适应的消除图像放大后出现的锯齿现象。实验结果表明,该算法在对图像执行高倍放大时,几乎看不到锯齿,同时图像的清晰度也保持的较好。     

卡尔达诺关于三次方程的特殊法则

基于对卡尔达诺关于三次方程的一般法则和《大术》第6章的命题的分析,复原了卡尔达诺关于三次方程的17条特殊法则的构造过程,由此揭示出隐藏在这些法则背后的数学思想和方法,阐明了卡尔达诺对这些法则所作的模糊暗示的意义,并指出其综合叙述方式与这些法则的构造过程并不完全一致。另外,根据对这些特殊法则的适用范围的分类讨论,认为卡尔达诺构造这些特殊法则的目的并非专为解决三次方程的不可约情形。