咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 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 篇 刘保乾
  • 13 篇 liu bao-qian
  • 2 篇 杨浩辉
  • 2 篇 xu jia
  • 2 篇 杨路
  • 2 篇 徐嘉
  • 1 篇 王挽澜
  • 1 篇 文家金
  • 1 篇 yang lu
  • 1 篇 徐松
  • 1 篇 wen jiajin
  • 1 篇 wang wanlan
  • 1 篇 穆传东
  • 1 篇 陈良育
  • 1 篇 刘健
  • 1 篇 侯晓荣
  • 1 篇 yao yong
  • 1 篇 袁如意
  • 1 篇 邵俊伟
  • 1 篇 liu jian

语言

  • 25 篇 中文
检索条件"主题词=差分代换"
共 25 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
差分代换的一些几何性质
收藏
分享
引用
中国科学：信息科学 2010年 第8期40卷 1096-1105页
作者： 侯晓荣 徐松 邵俊伟 电子科技大学自动化工程学院 成都611731 宁波大学理学院 宁波315211
文中从一种新的视角,即从几何上来研究差分代换,给出了差分代换的几何意义,引入代换收敛性概念,证明了逐次差分代换是不收敛的;得到了一个有趣结果:给定一个k维有理超平面,则用有限次差分代换总能把该k维有理超平面变为新变量所在坐标系... 详细信息
来源： 评论
差分代换与不等式机器证明
收藏
分享
引用
广州大学学报（自然科学版） 2006年 第2期5卷 1-7页
作者： 杨路 广州大学计算机教育软件研究所 广东广州510006
设计了一个试探性的计算机程序SDS,用于证明多项式不等式,或等价地,用于判定多项式的非负性.将各变量按一定方式分割成较小的非负量,将变量替换后的多项式合并同类项,然后看是否所有的系数都是非负的.该方法不是完备的,但实验结果表明... 详细信息
来源： 评论
锐角三角形几何不等式的差分代换证法及应用程序
收藏
分享
引用
佛山科学技术学院学报（自然科学版） 2009年 第5期27卷 33-38页
作者： 刘保乾 西藏自治区组织编制信息中心 西藏拉萨850000
对用差分代换方法研究三角形不等式进行了新的探讨;给出了锐角三角形几何不等式的一种判定算法和M ap le应用程序ag l;指出ag l程序在验证和发现一类根式型三角形不等式方面,性能优于Bottem a软件;讨论了三角形不等式的有理化方法;提出... 详细信息
来源： 评论
用差分代换方法估算最佳值及其他
收藏
分享
引用
汕头大学学报（自然科学版） 2011年 第1期26卷 27-34页
作者： 刘保乾 西藏自治区组织编制信息管理中心 西藏拉萨850000
如果一个多项式差分代换集中各个代换式的系数均是非负的,则这个多项式必然是正半定的,利用这个定理提出了一种估算最佳值的思路和方法;给出了对称多项式用k次方幂和表示的通用程序fmhbs,并以fmhbs程序为基础,介绍了发现n元k次方幂和不... 详细信息
来源： 评论
带约束条件多项式的差分代换及其应用
收藏
分享
引用
汕头大学学报（自然科学版） 2010年 第2期25卷 1-10页
作者： 刘保乾 西藏自治区组织编制信息中心 西藏拉萨850000
对三角形几何不等式判定算法agl进行了改进和补充,并根据这种算法设计了agl程序的升级版agl2009,讨论了带约束条件差分代换在证明根式型不等式中的应用;给出了用agl程序发现的若干优美的三角形几何不等式.
来源： 评论
再谈第二类差分代换
收藏
分享
引用
佛山科学技术学院学报（自然科学版） 2009年 第2期27卷 25-30页
作者： 刘保乾 西藏自治区人事厅信息中心 西藏拉萨850000
对第二类差分代换作了进一步讨论,完善了其算法;对两类差分代换进行了比较,指出了各自的优势和局限性;讨论了代换加速的一些思路和方法。
来源： 评论
半正定多项式的构造与逐次差分代换的加速
收藏
分享
引用
汕头大学学报（自然科学版） 2009年 第4期24卷 29-36页
作者： 刘保乾 西藏自治区人事厅信息中心 西藏拉萨850000
给出了若干构造半正定多项式的类型和方法,列举了大量问题和例子,并给出了部分解答;提出了解决扩展级递增不等式猜想的一个思路,把多项式f分成正部p(f)和负部n(f)两部分,并用p(f)和n(f)构造了若干逐次差分代换sds的加速因子,从而解决了... 详细信息
来源： 评论
用差分代换研究实数域中多项式的半正定性
收藏
分享
引用
佛山科学技术学院学报（自然科学版） 2008年 第2期26卷 8-11页
作者： 刘保乾 西藏自治区人事厅信息中心 西藏拉萨850000
以逐次差分代换为依据,提出了多级差分代换平凡和非平凡以及绝对差分代换非平凡的概念;通过分情形讨论,将实数域中的多项式转化为正数域中的等价多项式集,从而实现用差分代换研究实数域中多项式半正定性的问题。
来源： 评论
一类根式不等式的有理化算法与机器证明
收藏
分享
引用
计算机学报 2008年 第1期31卷 24-31页
作者： 徐嘉 姚勇 中国科学院成都计算机应用研究所 成都610041
文中讨论了一类根式不等式的有理等价问题.证明了这类根式不等式可等价转化为一组有理不等式.建立了一个算法RFD,并用Maple编程实现.对一个给定的这类根式不等式,RFD可自动快速地产生一组有理等价不等式.将RFD算法和差分代换方法相结合... 详细信息
来源： 评论
一类根式型函数全局优化的符号算法
收藏
分享
引用
四川大学学报（工程科学版） 2008年 第6期40卷 140-143页
作者： 徐嘉 中国科学院成都计算机应用研究所 四川成都610041
为了提高形如g=m1u1+m2u2+…+mnun的根式型函数全局优化算法的效率,从根式型函数的有理化入手,讨论了这类根式型函数不等式成立的充要条件。这一充要条件成功地将形如上式的根式型不等式等价转化成了一组有理不等式。将这一条件用于此... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共3页 <<  < 1 2 3 >  >>
回到顶部
执行限定条件