切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
利用改进的逐次差分代换证明多项式正半定性
利用改进的逐次差分代换证明多项式正半定性
来源 :计算机与数字工程 | 被引量 : 0次 | 上传用户:yongz
【摘 要】
:
近年来由杨路等提出了一种利用逐次差分代换以证明多项式非负性的方法,并在MAPLE平台编写了相应程序。但是,对于某些多项式的非负性却无法在一定时间内给出有效证明。文章改
【作 者】
:
穆传东
曾振柄
【机 构】
:
华东师范大学上海市高可信计算重点实验室
【出 处】
:
计算机与数字工程
【发表日期】
:
2009年8期
【关键词】
:
逐次差分代换
正半定性
successive difference substitution
positive semi-definition
【基金项目】
:
国家自然科学基金项目(编号:90718041)资助.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来由杨路等提出了一种利用逐次差分代换以证明多项式非负性的方法,并在MAPLE平台编写了相应程序。但是,对于某些多项式的非负性却无法在一定时间内给出有效证明。文章改进了逐次差分代换的判定方法,可以较好的解决这一类问题。
其他文献
条纹牛皮纸实验室染色试验小结
期刊
牛皮纸
染色
试验
纸
改进的粒子滤波算法在多目标跟踪中的应用研究
由于基于序贯重要性采样的粒子滤波算法存在着样本退化的问题,因此文章在几种常用的重采样算法的基础上提出了一种改进的重采样算法,通过在初始化阶段对粒子集的优化处理,在
期刊
重采样
特定权值
粒子优化
目标跟踪
resampling
specifically weights
particle optimization
targ
实验室文化建设的内涵及实现途径
实验室文化和其他传统文化一样都是中国文化不可分割的重要组成部分。实验室健康积极的文化建设是实验室文化建设的客观要求。实验室文化建设要表现出实验室丰富的内涵及其相
期刊
实验室
文化建设内涵
实现途径
laboratory connotation of culture construction application ways
加快推进特色农产品加工产业发展的思考和对策——以重庆秀山县为例
农产品加工产业联结工农、沟通城乡、亦工亦农,是一二三产业融合发展的关键环节,是促进经济社会发展、推动实施乡村振兴战略的战略性支柱产业。经过多年发展,目前整个渝东南
期刊
农产品加工
产业融合
秀山县
重庆
经济社会发展
支柱产业
地区特色
产业转型
基于物理模型的烟雾模拟
在分析研究流体物理特性算法基础上,提出一种新的烟雾模拟实现方法。该方法基于物理模型的求解简化方程模拟烟雾的动态变化过程。模型中采用了非粘性欧拉方程,通常它比其他用粘
期刊
计算流体力学
纳维-斯托克斯方程
涡流限制
交错网格
computational fluid dynamics
navier-stokes equation
白血病基因转录因子绑定位点的分布特性研究
基因表达调控是后基因时代研究的一个重点。作为基因转录调控信息的载体,转录因子在基因转录过程中起着重要的作用。对37条白血病基因和50条随机基因的调控区序列进行转录因子
期刊
转录因子结合位点
白血病
基因调控
transcription factor binding site
leukemia
gene regulation
中熟菜用大豆新品种——浙鲜9号
浙鲜9号是由浙江省农业科学院作物与核技术利用研究所以台湾75航天诱变育成。该品种丰产性好,商品性好,适宜在浙江省作春季菜用大豆种植。该品种于2015年通过浙江省作物品种审
期刊
菜用大豆
新品种
浙江省农业科学院
中熟
品种审定
航天诱变
台湾75
大豆种植
项目管理免疫进化算法及仿真技术
在分析相关免疫理论和项目采购基本管理活动之间映射关系基础上,建立基于DNA遗传免疫算法的工程采购评标过程模型;通过将免疫记忆、克降选择机理及综合免疫指标引入合同评标过
期刊
免疫遗传算法
合同
项目管理
过程仿真
immune algorithm
project contract
project management
process
基于惩罚函数的演化测试优化方法研究
演化测试是一种有效的测试用例自动生成技术。它将测试用例的生成的过程转化为一个利用遗传算法进行数值优化的问题,可以自动生成高质量的测试用例。目前,演化测试技术已经在许
期刊
演化测试
惩罚函数
无效解
退化现象
evolutionary testing
penalty function
invalid solution
pre
四种模式为乡村振兴发力
利用“两股一改”推动集体经济发展壮大;依托四川农博会打造田园综合体建设新示范;以文创为特色引进“新村民”与当地融合发展;将农产品“神奇变身”为精美礼品的农业创客中心…
期刊
乡村
经济发展
城乡融合
综合体
农博会
农产品
温江区
博览园
与本文相关的学术论文