【摘 要】
：
数学机械化就是将数学研究的主要活动——“推理与计算”实现机械化或自动化的过程。本项目研究数学机械化基础理论、信息技术若干关键问题的应用、自动推理平台开发。在微分
【机 构】
：
中国科学院数学与系统科学研究院; 中国科学院数学与系统科学研究院;
论文部分内容阅读
数学机械化就是将数学研究的主要活动——“推理与计算”实现机械化或自动化的过程。本项目研究数学机械化基础理论、信息技术若干关键问题的应用、自动推理平台开发。在微分方程求解、不等式自动证明、全局优化、组合恒定式自动证明、Clifford代数计算、几何自动作图与智能CAD、信息压缩、图像伪装、基于Stewart平台的数控技术、CAGD等方面取得一批重要成果。在软件方面,开发出有自主版权的智能软件。在图像压缩方面,提出的“多成分变换”技术为JPEG2000图像压缩国际标准所采纳。
其他文献
运用人力资源管理相关理论分析了中国企业薪酬的基本构成.基于其构成要素的特点和效用问题,主要讨论了显性薪酬部分,并在此基础上给出了薪酬与其报酬要素之间的关系表达式和
当前随着就业竞争的加剧,大学毕业生因工作经验少,社会阅历浅,在就业竞争中处于劣势。大学毕业生就业难已经成为社会各界广泛关注的焦点。本文将以法律视角,就大学毕业生所拥
2010年以来,全球开展了讨论和咨询,确定世界生物多样性保护的路线图。2010年10月在日本召开的《生物多样性公约》缔约方大会第十次会议通过了《生物多样性战略计划》(2011—2
习近平新时代中国特色社会主义思想是一套完整强大、意义明确的话语体系,其中对传统文化的尊重与继承显而易见。中国传统文化的重要载体是文字,对文字的解释与运用构成了我们
基于DM9000以太网控制器芯片对Xscale pxa 270开发板硬件平台的网络接口进行了设计,对DM9000在移植过程中出现的问题和解决的具体办法进行了描述。实现了嵌入式Linux系统下dm
本文提出了解决航天器测试软件通用化的途径。介绍了为此而开发的一种软件系统的结构、特点及功能 ,概述了设计中应着重考虑的几个关键技术问题。
<正>2015年1月20日,美国海军移动用户目标系统-3卫星(MUOS-3)搭载宇宙神-5火箭成功发射。经过7次预定的在轨机动后,卫星于2月初成功进入地球静止轨道,太阳翼和两副大型网格天
首先从管理和教学两方面分析了大数据时代对应用技术型大学继续教育的影响,再从观念融合、管理提升及技术衔接三个途径探讨大数据时代应用技术型大学"互联网+"继续教育模式的
在全国确立了在本世纪头20年实现全面建成小康社会战略目标的指引下,山东省确立了在2012年提前完成建设全面小康社会的目标。在此过程中,农村全面小康社会的建设是重点和难点
理性选择理论认为,个体行为具有社会理性和制度理性。大学生非正式群体的生成是学生个体理性选择的产物。大学生非正式群体偏差行为有三类表现形式,呈现出边界的模糊性、模仿