不等式的自动发现原理及其实现

提出了自动发现不等式的思路、算法并编写了应用程序agl2010;通过大量的实例演示了agl2010程序丰富的指令集及使用方法,指出agl2010程序不仅可以自动发现不等式,而且还可以完成指定的任务;提出了不等式磨光器的概念,并设计了若干实用的磨光器,从而为自动加强不等式提供了一个有用的途径.     

不等式自动发现与判定程序agl2010的若干新改进

通过引入全局变量,使不等式自动发现过程中数据表达式的构造简洁而方便;通过角代换,解决了锐角三角形不等式的验证问题;通过正数域等价集,解决了实变元不等式的验证问题;给出了等腰三角形时取等号不等式的构造方法;实现了已知不等式隔离式的自动发现.     

论椭圆及其内接,外切四边形的仿射等价问题

给出了椭圆及其内接、外切四边形与圆及其内接、外切正方形仿射等价的充要条件。     

用不等式自动发现与判定程序agl2010研究涉及两个三角形的不等式

讨论了用agl2010程序自动发现涉及两个三角形不等式的策略和方法;给出一个通用的不等式发现新模型,以这个模型为算法基础,得到了若干自动发现涉及两个三角形不等式模块;将待定系数法引入到涉及两个三角形不等式研究中,实现了一大类不等式,尤其是特殊取等号条件不等式的自动发现;最后提出2个待解决的问题。     

基于四边形不等式的矩阵连乘优化算法

本文以四边形不等式优化矩阵连乘为例,阐述了如何利用四边形不等式,减少动态规划过程中的状态转移数,从而整体上降低算法的时间复杂度,使其更能够适应大规模计算。本文使用的优化方法具有通用性,对于状态转移方程与矩阵连乘问题相似且满足四边形不等式的动态规划问题,都可以采用与本文相同的优化方法。     

再谈不等式自动发现与判定程序agl2010的改进和应用

对不等式自动发现与判定程序agl2010的功能进行了若干改进,通过15个具体实例演示了程序的强大功能;利用agl算法得到了一类三角形几何不等式最佳系数的估算方法;结合Bottema软件的xprove命令,得到了一种带约束条件不等式自动发现的设计方案;通过建立数据限制函数,实现了一类变元取值范围受限制条件不等式的自动发现和自动加强,从而拓展了包括Fan Ky不等式在内的一大批不等式类型;最后提出2个有趣的不等式问题.     

用赫尔德不等式和柯西不等式证明一类根式不等式

借助于不等式自动发现与判定程序agl2012,通过引入附加表达式的方式,应用赫尔德不等式和柯西不等式证明了一类根式不等式,并编写了应用程序;文中的例子表明,这些应用程序已经成为破解根式不等式的利器,一大批难度甚大的不等式难题得到解决;提出了待解决的问题.     

三角函数不等式的自动证明

本文以三角函数不等式为研究对象来探讨超越不等式的机器证明问题,运用变量替换和函数的Taylor展开式将目标不等式代数化,然后借助BOTTEMA中强有力的代数不等式证明工具完成最后的证明.编制程序实现了上述算法,实验结果表明算法对常见的三角函数不等式十分有效,并且算法是"可读"的.     

平面上非简单闭曲线的Bonnesen型不等式

用积分几何的方法,得到了一些非简单的平面闭曲线的Bonnesen型等周不等式.     

Carleman不等式的下界改进及改进式的自动发现

对有限项Carleman不等式进行非严格化,建立了无限项Carleman不等式下界的一个改进,根据其证明规律,编写程序cdiscover2,实现了此类Carleman不等式下界改进式的自动发现.     

管道Bingham流问题的窄四边形元逼近

讨论了管道Bingham流问题的窄四边形元逼近方法.在区域剖分不要求满足通常的正则性假设或拟一致性假设情形下,通过各向异性窄四边形元及利用相应椭圆投影,得到了与传统有限元相同的最优误差估计,从而扩展了有限元的工程应用范围.     

凸四边形的一个有趣性质

本文证明了凸四边形如果要求它的4个顶点的最小生成树最大，那么该四边形一定是有一个60度角的菱形．用该结论可得组合最优化理论中一个有趣的性质．     

窄边四边形插值定理的优化

Zenisek等人给出了窄边四边形上的双线性插值定理 ,但是误差估计式中的常数不是最优的 .首先给出Poincar啨不等式和?坏仁降母慕问?,并通过证明过程的精细估计 ,给出了窄边四边形插值定理优化形式 ,优化定理中的常数比原来相应常数小得多 (约为原来常数的 1/ 2～ 1/ 5 ) .     

采用四边形面积坐标带旋转自由度的平面膜单元

给传统膜单元引入一个垂直单元平面的旋转自由度，可以增加位移场的阶次，提高计算精度，从而显著提高单元性能。与一些精度高的板元组合，可以提高壳体的分析精度，还为高层结构中剪力提供了一种性能良好的墙单元。本文采用最新的四边形单元面积坐标，利用Allman插值，构造出一种新型的面积坐标下带旋转自由度的膜单元。算例计算表明，这种新单元精度高，对单元畸变不敏感，而且在面积坐标下，可求出单元刚度矩阵的积分显式。     

四边形网格的优化处理研究

介绍了海量空间数据点四边形网格划分算法.由于原数据模型的数据点分布有时不是均匀的,因此在网格生成过程中,尽管是依据优化因子生成的网格,但是为了整体网格生成的推进,有时也会产生凹四边形或退化为三角形,因此需要进行优化处理,从四边形网格的形状和边界的优化2个方面介绍了网格形状的优化过程,给出了算法的运行结果.     

Carleman不等式的加强及加强式的自动发现

运用最值单调定理及maple数学软件,对有限项Carleman不等式进行非严格化,建立了无限项Carleman不等式一个新的加强式,根据其证明规律,编写程序cdiscover,实现了此类Carleman不等式加强式的自动发现.