论文部分内容阅读
对三角形几何不等式判定算法agl进行了改进和补充,并根据这种算法设计了agl程序的升级版agl2009,讨论了带约束条件差分代换在证明根式型不等式中的应用;给出了用agl程序发现的若干优美的三角形几何不等式.
带约束条件多项式的差分代换及其应用
【摘 要】
：
对三角形几何不等式判定算法agl进行了改进和补充,并根据这种算法设计了agl程序的升级版agl2009,讨论了带约束条件差分代换在证明根式型不等式中的应用;给出了用agl程序发现
【机 构】
：
西藏自治区组织编制信息中心
【出 处】
：
汕头大学学报：自然科学版
【发表日期】
：
2010年2期
其他文献
把泛逻辑学引入模糊系统，基于泛逻辑算子，在模糊空间中定义一种新的模糊距离，引入模糊推理模型连续性的定义，给出最小-蕴涵模糊推理模型为连续模型的充要条件．
利用矩阵对的商奇异值分解，得到了矩阵方程AX=B有中心对称解的充分必要条件，以及有解时，最小、最大秩解的一般表达式．另外，给出了中心对称最小秩解集合中与给定矩阵的最佳逼近解．
讨论了子矩阵约束下三类矩阵方程的双反对称迭代解。利用广义共轭梯度法构造迭代算法，并证明了算法的有限步终止性。所得算法能自动判定解的情况。当矩阵方程（组）相容时，得到矩阵
电火花强化技术可在Ti合金表面制造0.05mm以上的硬质合金强化层,彻底改变Ti合金表面性能.通过微分电火花强化过程,研究了单脉冲、多脉冲放电时强化点的形成规律;不连续、连续
从次微分convexificator和exhauster的概念出发，在局部Lipschitz条件下．应用函数的上凸（下凹）逼近的exhaustive族存在性定理，并结合已有的相关结论，得出必存在上exhauster和上半正