【摘 要】
：
1988年,张景中,陶懋颀用细致的人工估计,用BASIC语言程序在PB700微型计算机上证明了Zirakzadeh于1964年证明的一个几何不等式,其方法是把不等式涉及的变量所在之区域剖分为一
【机 构】
：
华东师范大学上海高可信计算重点实验室,中国科学院成都计算机应用研究所自动推理实验室
论文部分内容阅读
1988年,张景中,陶懋颀用细致的人工估计,用BASIC语言程序在PB700微型计算机上证明了Zirakzadeh于1964年证明的一个几何不等式,其方法是把不等式涉及的变量所在之区域剖分为一系列充分小的矩形,在每个小矩形上用数值方法验证若干三角函数不等式的正确性.这个工作后来没有发表.将Zirskzadeh不等式转化为一个有3个变元的根式不等式,形如(((√)m1)+((√)m2)+((√)m3)≥3((√)m4),其变量所在区域为一由6个线性不等式限制形成的多面体P(有14个顶点,21个棱和9个面),先用幂级数展开方法证明讨论的根式不等式在小长方体邻域[-0.1,0.1]3(∪)P成立,次将这个邻域以外的集合分割成有限多个边长不小于1/1280的小长方体或多面体,在每个小凸体上通过计算函数在顶点的取值和函数偏导数范围证明根式不等式的正确性.文章给出的验证数引理,可根据连续可微函数在长方体或一般凸多面体V的顶点的值,及函数偏导数的绝对值在集合V的上界,证明函数在V上的正定性.文章给出计算多项式在三维空间凸多面体上的最大值和最小值,以及估计根式函数的验证数的机械化方法.
其他文献
[目的]研究香椿叶中黄酮类化合物的提取技术,以期为香椿叶在食品和医药领域的进一步开发提供理论依据.[方法]试验以芦丁为标准品,采用分光光度法测定了香椿叶中的总黄酮含量.
应用半经验量子化学AM1法获得18种3-芳氧基-6-氯哒嗪化合物的优势构象,再用AM1法和分子图形学技术获得其电子结构参数和几何结构参数,然后采用多元线性回归分析(MLR)和人工神
讨论了Banach空间中一类具有奇异性脉冲微分方程的边值问题,利用Muonch不动点定理,在与相应的线性算子谱半径有关的条件下,获得了该边值问题正解的存在性.
给出非线性方程求根的Euler-Chebyshev方法的改进方法,证明了方法的收敛性,它们七次和九次收敛到单根.给出数值试验,且与牛顿法及其它较高阶的方程求根方法做了比较.结果表明
研究了综合害虫治理((IPM)策略下具有脉冲作用和食物助增捕食者种群的捕食系统.得到了害虫灭绝周期解全局渐近稳定和系统持续生存的条件.
为了采用计算方法研究手性化合物,为了通过结构-活性相关性研究预测与手性有关的性质,本文提出了采用σ和π的残余电负性之和作为原子属性的构象独立手性指数。该手性指数衍
能量色散X荧光分析(EDXRF)过程中,存在吸收增强效应影响分析准确性的问题。利用EDXRF测量Fe、Ni、Zn三种元素与Cu的六组伪二元系样品,根据实验结果对元素间的影响特征和影响
分别将4,6-二甲基香豆素、4-甲基-7-甲氧基香豆素和4-甲基苯并香豆素3种香豆素化合物氧化为合成6-甲基-4-醛基香豆素、7-甲氧基-4-醛基香豆素和4-醛基苯并香豆素。再将3种醛
采用3种不同泛函(B3LYP,BP86,PBE1PBE)在6-31G*和6-311+G*基组下,计算有机材料1-吡啶-3-[4-(苯基偶氮)苯基]-三氮烯(PYPAPT)不同结构上三氮异构化的途径有2种可能:(a)分子内
多线性分数次积分算子定义为I→bαf(x)=rn(mπk=1(bk)(x)-bl(y)))dy利用分数次Orlicz极大算子和sharp函数,得到了多线性分数次积分算子交换子的双权弱(p,p)型不等式成立的充