期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于差分代换的正半定型判定完备方法
被引量:
1
1
作者
韩京俊
《北京大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2013年第4期545-551,共7页
研究并发展逐次差分代换方法,得到R n+上正半定型差分代换次数的一个上界。由此获得判定R n+上正半定型的充要条件。根据此充要条件建立的算法是必定能终止的。同时提出一类新的差分代换矩阵。
关键词
逐次差分代换
差分代换次数
正半定型
终止性
下载PDF
职称材料
利用改进的逐次差分代换证明多项式正半定性
2
作者
穆传东
曾振柄
《计算机与数字工程》
2009年第8期1-4,共4页
近年来由杨路等提出了一种利用逐次差分代换以证明多项式非负性的方法,并在MAPLE平台编写了相应程序。但是,对于某些多项式的非负性却无法在一定时间内给出有效证明。文章改进了逐次差分代换的判定方法,可以较好的解决这一类问题。
关键词
逐次差分代换
正半定性
下载PDF
职称材料
基于列随机矩阵的逐次差分代换与正半定型的机械化判定
被引量:
16
3
作者
姚勇
《中国科学:数学》
CSCD
北大核心
2010年第3期251-264,共14页
本文选择列随机平均矩阵Tn作为基本代换矩阵,建立了基于%的逐次差分代换方法.获得了腿翌上正半定型,不定型判定的充要条件.并进一步证明了:正定型的差分代换集序列正向终止.根据这些结果编写的Maple程序TSDS3,能够自动证明代数...
本文选择列随机平均矩阵Tn作为基本代换矩阵,建立了基于%的逐次差分代换方法.获得了腿翌上正半定型,不定型判定的充要条件.并进一步证明了:正定型的差分代换集序列正向终止.根据这些结果编写的Maple程序TSDS3,能够自动证明代数型不等式,对不成立的不等式总能输出反例.该程序虽可能不停机,但大量的应用实例证实了该方法的实用性.
展开更多
关键词
逐次差分代换
差分代换集序列
终止性
正半定型
机械化判定
原文传递
题名
基于差分代换的正半定型判定完备方法
被引量:
1
1
作者
韩京俊
机构
北京大学数学科学学院
出处
《北京大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2013年第4期545-551,共7页
基金
北京大学本科生科研校长基金资助
文摘
研究并发展逐次差分代换方法,得到R n+上正半定型差分代换次数的一个上界。由此获得判定R n+上正半定型的充要条件。根据此充要条件建立的算法是必定能终止的。同时提出一类新的差分代换矩阵。
关键词
逐次差分代换
差分代换次数
正半定型
终止性
Keywords
successive difference substitution
successive difference substitution
times
positive
semi-definit
e
termination
分类号
O174.14 [理学—基础数学]
下载PDF
职称材料
题名
利用改进的逐次差分代换证明多项式正半定性
2
作者
穆传东
曾振柄
机构
华东师范大学上海市高可信计算重点实验室
出处
《计算机与数字工程》
2009年第8期1-4,共4页
基金
国家自然科学基金项目(编号:90718041)资助
文摘
近年来由杨路等提出了一种利用逐次差分代换以证明多项式非负性的方法,并在MAPLE平台编写了相应程序。但是,对于某些多项式的非负性却无法在一定时间内给出有效证明。文章改进了逐次差分代换的判定方法,可以较好的解决这一类问题。
关键词
逐次差分代换
正半定性
Keywords
successive difference substitution
,
positive semi-definition
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于列随机矩阵的逐次差分代换与正半定型的机械化判定
被引量:
16
3
作者
姚勇
机构
中国科学院成都计算机应用研究所
出处
《中国科学:数学》
CSCD
北大核心
2010年第3期251-264,共14页
基金
国家重点基础研究发展规划(批准号:2004CB318003)
国家自然科学基金(批准号:90718041
+1 种基金
10901116)
中国科学院知识创新工程重要方向(批准号:KJCX-YW-S02)资助项目
文摘
本文选择列随机平均矩阵Tn作为基本代换矩阵,建立了基于%的逐次差分代换方法.获得了腿翌上正半定型,不定型判定的充要条件.并进一步证明了:正定型的差分代换集序列正向终止.根据这些结果编写的Maple程序TSDS3,能够自动证明代数型不等式,对不成立的不等式总能输出反例.该程序虽可能不停机,但大量的应用实例证实了该方法的实用性.
关键词
逐次差分代换
差分代换集序列
终止性
正半定型
机械化判定
Keywords
successive difference substitution
, sequence of SDS sets, termination,
positive
semi-definit
e, machine decision, column stochastic mean matrix
分类号
O178 [理学—基础数学]
O211.1 [理学—概率论与数理统计]
原文传递
题名
作者
出处
发文年
被引量
操作
1
基于差分代换的正半定型判定完备方法
韩京俊
《北京大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2013
1
下载PDF
职称材料
2
利用改进的逐次差分代换证明多项式正半定性
穆传东
曾振柄
《计算机与数字工程》
2009
0
下载PDF
职称材料
3
基于列随机矩阵的逐次差分代换与正半定型的机械化判定
姚勇
《中国科学:数学》
CSCD
北大核心
2010
16
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部