咨询与建议

限定检索结果

文献类型

  • 23 篇 期刊文献
  • 2 篇 学位论文

馆藏范围

  • 25 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 20 篇 理学
    • 20 篇 数学
  • 3 篇 工学
    • 3 篇 计算机科学与技术...
  • 2 篇 教育学
    • 2 篇 教育学

主题

  • 25 篇 差分代换
  • 6 篇 机器证明
  • 3 篇 半正定
  • 3 篇 多项式不等式
  • 2 篇 猜想
  • 2 篇 问题
  • 2 篇 生成运算
  • 2 篇 三角形几何不等式
  • 2 篇 不等式机器证明
  • 2 篇 多项式
  • 2 篇 判别式法
  • 1 篇 对称多项式不等式
  • 1 篇 差分代换平凡
  • 1 篇 重心重分
  • 1 篇 三角形
  • 1 篇 内角平分线
  • 1 篇 mpi
  • 1 篇 机器判定
  • 1 篇 matlab
  • 1 篇 timofte降维法

机构

  • 8 篇 西藏自治区人事厅...
  • 3 篇 西藏自治区组织编...
  • 3 篇 西藏自治区组织编...
  • 3 篇 华东师范大学
  • 2 篇 中国科学院成都计...
  • 1 篇 广州大学
  • 1 篇 华东交通大学
  • 1 篇 浙江新昌县澄潭中...
  • 1 篇 宁波大学
  • 1 篇 浙江绍兴市新昌县...
  • 1 篇 中国科学院成都计...
  • 1 篇 电子科技大学
  • 1 篇 成都大学
  • 1 篇 中国科学院自动化...

作者

  • 14 篇 刘保乾
  • 2 篇 杨浩辉
  • 2 篇 杨路
  • 2 篇 徐嘉
  • 1 篇 王挽澜
  • 1 篇 文家金
  • 1 篇 徐松
  • 1 篇 穆传东
  • 1 篇 陈良育
  • 1 篇 刘健
  • 1 篇 侯晓荣
  • 1 篇 袁如意
  • 1 篇 邵俊伟
  • 1 篇 郁文生
  • 1 篇 姚勇

语言

  • 25 篇 中文
检索条件"主题词=差分代换"
25 条 记 录,以下是11-20 订阅
排序:
不等式的自动发现原理及其实现
收藏 引用
汕头大学学报(自然科学版) 2011年 第2期26卷 3-11页
作者: 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
提出了自动发现不等式的思路、算法并编写了应用程序agl2010;通过大量的实例演示了agl2010程序丰富的指令集及使用方法,指出agl2010程序不仅可以自动发现不等式,而且还可以完成指定的任务;提出了不等式磨光器的概念,并设计了若干实用的... 详细信息
来源: 评论
差分代换研究实数域中多项式的半正定性
收藏 引用
佛山科学技术学院学报(自然科学版) 2008年 第2期26卷 8-11页
作者: 刘保乾 西藏自治区人事厅信息中心 西藏拉萨850000
以逐次差分代换为依据,提出了多级差分代换平凡和非平凡以及绝对差分代换非平凡的概念;通过分情形讨论,将实数域中的多项式转化为正数域中的等价多项式集,从而实现用差分代换研究实数域中多项式半正定性的问题。
来源: 评论
对多项式不等式若干证明技术的研究
对多项式不等式若干证明技术的研究
收藏 引用
作者: 穆传东 华东师范大学
学位级别:硕士
多项式不等式的证明历来是机器自动证明领域里比较难的课题.本文对多项式不等式可读证明的若干技术进行了研究,对其中的差分代换方法进行了若干改进,针对该算法无法在有限时间内作出判断的一些问题,给出了几种比较有效的解决方法.另外,... 详细信息
来源: 评论
建立不等式的拟单调函数方法与涉及幂平均的线性不等式问题
收藏 引用
成都大学学报(自然科学版) 2009年 第2期28卷 112-118页
作者: 文家金 王挽澜 成都大学信息科学与技术学院 四川成都610106
提出建立高维解析不等式的拟单调函数方法.获得的主要结果是:在适当的假设下,如果涉及齐次对称函数的不等式问题可用优超理论或差分代换平凡非负方法处理,那么这类问题也能用拟单调函数方法处理.同时,用该方法处理了一类涉及幂平均的线... 详细信息
来源: 评论
条件S_i类多项式的构造及其他
收藏 引用
广东教育学院学报 2009年 第5期29卷 8-13页
作者: 刘保乾 西藏自治区组织编制信息中心 西藏拉萨850000
讨论了条件Si类多项式的构造方法和逐次差分代换sds的加速,对锐角三角形不等式的差分代换证明算法agl进行了完善和补充.
来源: 评论
差分代换与不等式机器证明
收藏 引用
广州大学学报(自然科学版) 2006年 第2期5卷 1-7页
作者: 杨路 广州大学计算机教育软件研究所 广东广州510006
设计了一个试探性的计算机程序SDS,用于证明多项式不等式,或等价地,用于判定多项式的非负性.将各变量按一定方式分割成较小的非负量,将变量替换后的多项式合并同类项,然后看是否所有的系数都是非负的.该方法不是完备的,但实验结果表明... 详细信息
来源: 评论
一类根式不等式的有理化算法与机器证明
收藏 引用
计算机学报 2008年 第1期31卷 24-31页
作者: 徐嘉 姚勇 中国科学院成都计算机应用研究所 成都610041
文中讨论了一类根式不等式的有理等价问题.证明了这类根式不等式可等价转化为一组有理不等式.建立了一个算法RFD,并用Maple编程实现.对一个给定的这类根式不等式,RFD可自动快速地产生一组有理等价不等式.将RFD算法和差分代换方法相结合... 详细信息
来源: 评论
一类根式型函数全局优化的符号算法
收藏 引用
四川大学学报(工程科学版) 2008年 第6期40卷 140-143页
作者: 徐嘉 中国科学院成都计算机应用研究所 四川成都610041
为了提高形如g=m1u1+m2u2+…+mnun的根式型函数全局优化算法的效率,从根式型函数的有理化入手,讨论了这类根式型函数不等式成立的充要条件。这一充要条件成功地将形如上式的根式型不等式等价转化成了一组有理不等式。将这一条件用于此... 详细信息
来源: 评论
并行符号算法若干问题的研究与应用
并行符号算法若干问题的研究与应用
收藏 引用
作者: 陈良育 华东师范大学
学位级别:博士
符号计算是数学和计算机领域融合产生的一个新的交叉学科,主要利用计算机严格处理准确的数学运算,没有舍入误差,因此在许多领域有着非常重要的应用。由于准确计算需要耗费大量内存和ICPU运算的缘故,符号计算关于复杂问题的计算效率一直... 详细信息
来源: 评论
不等式研究的几个新结论和新问题
收藏 引用
嘉应学院学报 2008年 第6期26卷 19-26页
作者: 刘保乾 西藏自治区人事厅信息中心 西藏拉萨850000
讨论了带条件约束的差分代换证题方法和三角形几何不等式成立的2个重要条件;验证了轮换对称多项式基本定理猜想;得到了若干不等式新结论;提出了5个不等式新问题。
来源: 评论