论文部分内容阅读
近年来由杨路等提出了一种利用逐次差分代换以证明多项式非负性的方法,并在MAPLE平台编写了相应程序。但是,对于某些多项式的非负性却无法在一定时间内给出有效证明。文章改进了逐次差分代换的判定方法,可以较好的解决这一类问题。
利用改进的逐次差分代换证明多项式正半定性
【摘 要】
：
近年来由杨路等提出了一种利用逐次差分代换以证明多项式非负性的方法,并在MAPLE平台编写了相应程序。但是,对于某些多项式的非负性却无法在一定时间内给出有效证明。文章改
【机 构】
：
华东师范大学上海市高可信计算重点实验室
【出 处】
：
计算机与数字工程
【发表日期】
：
2009年8期
【基金项目】
：
国家自然科学基金项目（编号：90718041）资助.
其他文献
由于基于序贯重要性采样的粒子滤波算法存在着样本退化的问题,因此文章在几种常用的重采样算法的基础上提出了一种改进的重采样算法,通过在初始化阶段对粒子集的优化处理,在
实验室文化和其他传统文化一样都是中国文化不可分割的重要组成部分。实验室健康积极的文化建设是实验室文化建设的客观要求。实验室文化建设要表现出实验室丰富的内涵及其相
农产品加工产业联结工农、沟通城乡、亦工亦农,是一二三产业融合发展的关键环节,是促进经济社会发展、推动实施乡村振兴战略的战略性支柱产业。经过多年发展,目前整个渝东南
在分析研究流体物理特性算法基础上，提出一种新的烟雾模拟实现方法。该方法基于物理模型的求解简化方程模拟烟雾的动态变化过程。模型中采用了非粘性欧拉方程，通常它比其他用粘
基因表达调控是后基因时代研究的一个重点。作为基因转录调控信息的载体，转录因子在基因转录过程中起着重要的作用。对37条白血病基因和50条随机基因的调控区序列进行转录因子
浙鲜9号是由浙江省农业科学院作物与核技术利用研究所以台湾75航天诱变育成。该品种丰产性好，商品性好，适宜在浙江省作春季菜用大豆种植。该品种于2015年通过浙江省作物品种审
在分析相关免疫理论和项目采购基本管理活动之间映射关系基础上，建立基于DNA遗传免疫算法的工程采购评标过程模型；通过将免疫记忆、克降选择机理及综合免疫指标引入合同评标过
演化测试是一种有效的测试用例自动生成技术。它将测试用例的生成的过程转化为一个利用遗传算法进行数值优化的问题，可以自动生成高质量的测试用例。目前，演化测试技术已经在许