【摘 要】
:
近年来由杨路等提出了一种利用逐次差分代换以证明多项式非负性的方法, 并在MAPLE平台编写了相应程序.但是, 对于某些多项式的非负性却无法在一定时间内给出有效证明.文章改
【机 构】
:
华东师范大学上海市高可信计算重点实验室
论文部分内容阅读
近年来由杨路等提出了一种利用逐次差分代换以证明多项式非负性的方法, 并在MAPLE平台编写了相应程序.但是, 对于某些多项式的非负性却无法在一定时间内给出有效证明.文章改进了逐次差分代换的判定方法, 可以较好的解决这一类问题.
其他文献
省委将六盘水市作为全省开展保持党的纯洁性教育活动试点单位,这是对六盘水市的高度重视和充分信任。3个月来,在省委的正确领导下,在省保纯办、省调研督导组和省蹲点指导组的
近日,一段清华学生的演讲视频成为网友们热议的话题。女主角马冬晗是2011年清华大学本科特等奖学金得主,这是清华授予学生的最高荣誉。她亮出的成绩单中最低分是95分,还有一份详
很多画家在一种技法、一个题材上面专注很多年,甚至一辈子只画"一张画",当然这很有可能使之成为这方面的专家。一种技术想要成熟是需要时间慢慢锤炼的,但艺术永远不能等同于技
写作文是令很多中学生头疼的一件事。究其原因,作文教学在实际的语文教学中所占的时间较少。在很多情况下,作文就是语文教师布置给学生的一项作业,而对于作文写法的讲解和学
《红字》是美国作家霍桑的成名作,小说细致入微的描写是作品的一大特色,其中色彩的描述尤为突出,作者通过明暗色彩的运用及其反衬作用既展示小说人物的内心世界,又传达了自己
社会主义核心价值体系是社会主义制度的内在精神和生命之魂,是社会主义意识形态在价值层面的本质体现。用社会主义核心价值体系加强党员干部队伍建设,对于推进党的建设的新的
艺术需要不断创新才有生命力,律诗创作同样如此。诗人辛雨做出了有意尝试。他在注重形式美的同时,追求气势恢宏、大气昂扬的独特风格,浓墨重彩地表现当代知识分子高尚的审美
全球化是一个不可逆转的趋势。国际私法回应全球化对国际民商事关系的促进而不断调整自身的规范体系和价值取向。国际私法在漫长的历史发展演变过程中形成了自身的基本理念。
输电线路发生故障后的信号是一个突变的、具有奇异性的暂态信号,包含着丰富的故障信息.输电线路的破坏多半是由短路故障引起的,通过分析短路故障,采用db5小波对故障后的电压
RAC的其他类似物几乎不发生交叉反应,猪尿样品中平均添加回收率为104%,表明建立的直接竞争酶联免疫吸附法可用于对莱克多巴胺的残留检测.