未来10年中国数学发展战略
微分方程模型——数学建模真题解析

请你参考下面给出的数据(或自己收集资料)建立饮 酒后血液中酒精含量的数学模型,并讨论以下问题: 1. 对大李碰到的情况做出解释; 2. 在喝了3瓶啤酒或者半斤低度白酒后多长时间内驾 车就会违反上述标准,在以下情况下回答: 酒是在很短时间内喝的; 酒是在较长一段时间(比如2小时)内喝的。 3. 怎样估计血液中的酒精含量在什么时间最高。 4. 根据你的模型论证:如果天天喝酒,是否还能开车? 5. 根据你做的模型并结合新的国家标准写一篇短文, 给想喝一点酒的司机如何驾车提出忠告。
方程)。 (2)微元法。
微分方程的稳定性理论: 对微分方程组
dx f ( x) dt
若f(x0)=0,则称x0是方程组的平衡点。
如果在平衡点x0处,f(x)的Jacobi矩阵
f1 f1
x1
x2
Df D( f1, f2 , Dx D(x1, x2 ,
, ,
fn ) xn )
f2 x1
f2 x2
fn fn x1 x2
f1
xn
f2 xn
fn xn
的所有特征值的实部都小于0,则x0是稳定的平衡点, 如果存在某个特征值的实部大于0,则x0是不稳定的 平衡点。
稳定的平衡点的实际意义: 如果微分方程存在稳定的平衡点,设x(t)是微分方 程的解,则当t时, x(t)趋向于某个稳定的平衡 点。
养老金的发放与职工在职时的工资及社会平均工资有着密 切关系;工资的增长又与经济增长相关。近30年来我国经 济发展迅速,工资增长率也较高;而发达国家的经济和工 资增长率都较低。我国经济发展的战略目标,是要在21世 纪中叶使我国人均国民生产总值达到中等发达国家水平。 现在我国养老保险改革正处于过渡期。养老保险管理的一 个重要的目标是养老保险基金的收支平衡,它关系到社会 稳定和老龄化社会的顺利过渡。影响养老保险基金收支平 衡的一个重要因素是替代率。替代率是指职工刚退休时的 养老金占退休前工资的比例。按照国家对基本养老保险制 度的总体思路,未来基本养老保险的目标替代率确定为 58.5%. 替代率较低,退休职工的生活水准低,养老保险基 金收支平衡容易维持;替代率较高,退休职工的生活水准 就高,养老保险基金收支平衡较难维持,可能出现缺口。 所谓缺口,是指当养老保险基金入不敷出时出现的收支之 差。
中国数学发展历史

文典型域上的多元复变量函数论被国际学术界 称为「华氏定理」.
陈景润,中国现代数学家,世界著名解析数论 学家之一. 1966年,陈景润攻克了世界著名数 学难题哥德巴赫猜想中的1+2,创造了距摘取 这颗数论皇冠上的明珠1+ 1只是一步之遥的 辉煌.他在哥德巴赫猜想的研究上居世界领 先地位.他研究哥德巴赫猜想和其他数论问 题的成就,至今,仍然在世界上遥遥领先.世界 级的数学大师、美国学者阿 ·威尔A Weil曾 这样称赞他:陈景润的每一项工作,都好像 是在喜马拉雅山山巅上行走. 陈景润于1978 年和1982年两次收到国际数学家大会请他作 45分钟报告的邀请,这是中国人的自豪和骄 傲
唐朝在数学教育方面有长足的发
展.656年国子监设立算学馆,设有算学
博士和助教,由太史令淳风等人编纂注
释算经十书
包括周髀算经、九章算术
海岛算经、孙子算经
张丘建算经、夏侯阳算经
缉古
算经、五曹算经
五经算术、缀术,
作为算学馆学生用的课本.对保存古代
数学经典起了重要的作用.
淳风 公元604-672年 唐代岐州雍人今陕西风翔
梅文鼎幼时注意观察天象,27岁起,始治数学、 历法,终身潜心学术.后接触西方书籍.康熙年间进 京,以学识为康熙帝赏识,曾系统考察古今中外历 法,又介绍欧洲数学,研究中西历算.其间,为明史馆 校订历志舛错10余处,撰成明史历志拟稿.近人称 梅文鼎和日本的关孝和、英国的牛顿为当时世界 的三大数学家,著有方田通法、方程论.
近现代数学发展时期
陈省身
数学家,美国国籍 .曾获美国国家科学 奖1975,沃尔夫数学奖1984等.1994年当选 为中国科学院外籍院士.陈省身是20世纪 的伟大几何学家,在微分几何方面的成就尤 为突出,被世人称为微分几何之父.
“数”说中国,“学无止境,资料

“数”说中国,“学无止境,资料摘要:一、引言二、数学在中国历史的发展1.古代数学2.近现代数学三、数学在各领域的应用1.科学领域2.工程领域3.社会领域四、数学教育在中国1.基础教育2.高等教育3.数学竞赛与人才培养五、数学研究的现状与前景1.国内数学研究水平2.国际合作与交流3.数学创新与发展六、结语正文:【引言】“数学”这个词,对于中国人来说,具有特殊的意义。
自古以来,数学在中国历史长河中不断发展,成为了中华民族智慧的重要组成部分。
如今,数学在各个领域都有着广泛的应用,成为了社会发展的重要驱动力。
本文将从数学在中国历史的发展、数学在各领域的应用、数学教育在中国、数学研究的现状与前景等方面,与大家一同探讨数学在中国的魅力。
【数学在中国历史的发展】1.古代数学中国古代数学起源于公元前2世纪,著名的数学家张丘建撰写了《算经》,奠定了中国古代数学的基础。
随后的南北朝时期,数学家祖冲之成功地将圆周率精确到小数点后第七位。
古代数学家们的杰出成就为后世留下了丰富的文化遗产。
2.近现代数学近现代数学的发展与西方数学的传入密切相关。
自19世纪末以来,随着西方科学技术的传入,中国数学家们在消化吸收西方数学的基础上,不断创新和发展。
如华罗庚、陈省身等一大批优秀数学家的涌现,推动了中国近现代数学的蓬勃发展。
【数学在各领域的应用】1.科学领域数学在科学研究中发挥着举足轻重的作用。
从天文学到物理学,再到生物学,数学模型和计算方法为科学家们提供了强大的研究工具。
2.工程领域数学在工程领域中的应用尤为广泛。
无论是航空航天、土木建筑,还是信息技术、新能源开发,都离不开数学的支持。
3.社会领域数学在社会科学领域也发挥着重要作用。
统计学、概率论等数学方法为政策制定和社会研究提供了有力依据。
【数学教育在中国】1.基础教育在我国,数学基础教育得到了高度重视。
从小学到高中,数学课程一直是必修课,培养了一代又一代人的数学素养。
2.高等教育随着高等教育的发展,数学专业及相关学科得到了长足进步。
生活中的趣味数学智慧树知到课后章节答案2023年下石河子大学

生活中的趣味数学智慧树知到课后章节答案2023年下石河子大学第一章测试1.海王星的发现 , 又一次成功地证明了以运动定律和万有引力定律为基础的牛顿宇宙力学模型的合理性().A:错 B:对答案:对2.蝴蝶效应是谁发现的( ).A:奥古斯丁·路易斯·柯西 B:爱德华·诺顿·洛伦茨 C:约瑟夫·拉格朗日 D:约翰·卡尔·弗里德里希·高斯答案:爱德华·诺顿·洛伦茨3.SI模型实际上是()模型.A:Logistic 模型 B:Malthus模型 C:Volterra模型答案:Logistic 模型4.用A表示进食而摄取的能量,B表示基础代谢消耗的能量,R表示活动而消耗的能量,那么()表示由于能量的摄入而增加的体重。
A: B: C:答案:5.SI模型实际上是Volterra模型模型().A:对 B:错答案:错6.SIR模型建立的是传染病有免疫性——病人治愈后即移出感染系统()。
A:错 B:对答案:对7.SIR模型建立的是传染病无免疫性——病人治愈成为健康人,健康人可再次被感染()。
A:对 B:错答案:错8.减肥最好的方法是节食()。
A:错 B:对答案:错9.减肥最重要的措施有()。
A:服用肥药 B:多吃营养品 C:增加运动量 D:控制饮食量答案:增加运动量;控制饮食量10.下列哪些现象可以看成蝴蝶效应()。
A:厄尔尼诺现象 B:美国发生的股市风暴 C:1997年金融危机答案:厄尔尼诺现象;美国发生的股市风暴;1997年金融危机第二章测试1.简单图指的是没有环的图().A:对 B:错答案:错2.下列哪些选项中的图可以一笔画()A:恰有两个奇度点的图 B:都是偶度点的连通图 C:恰有一个奇度点的图 D:恰有两个奇度点的连通图答案:都是偶度点的连通图;恰有两个奇度点的连通图3.无圈的图就是树()A:对 B:错答案:错4.本节渡河问题中的摆渡人经过( )次渡河可以将狼羊菜顺利运过河去.A:6 B:5C:8 D:7 答案:75.用先深搜索算法可以找到一个连通图的生成树().A:对 B:错答案:对6.下列哪个选项是正确的()A:树一定有完备匹配 B:图G的最大匹配指的是图G的边数最多的匹配 C:完全图一定有完备匹配 D:完全二分图一定有完备匹配答案:图G的最大匹配指的是图G的边数最多的匹配7.关于四色猜想下列说法正确的是()A:任何一个图,都可以用四种颜色来着色,使得任何两个相邻的面着不同的颜色。
我国人工智能的发展战略是()

我国人工智能的发展战略是()战略重点之一:建立完善的数据生态系统海量数据是训练人工智能系统、吸引人才、加速创新的核心要素之一。
中国可以通过建立并落实数据规范、向私营领域开放公共数据、鼓励跨国数据交流来构建一个更为完善的数据生态系统。
首先,建立数据标准是进行广泛数据分享和实现系统间交互操作的重要前提条件,有助于提升物联网及人工智能技术的价值。
潜在的庞大数据体量是中国的天然优势,使中国有机会在国际上更好地发挥领头羊的作用。
而且,在与中文语言相关的数据规范制定方面,中国也应起到主导作用。
对于特定行业数据,政府可要求现有的监管机构制定必要规则。
比如美国证券交易委员会在2009年出台规定,要求所有上市公司使用XBRL(可扩展商业报告语言)格式发布财报,确保所有公开数据的机器可读性。
其次,为了提升数据的多样性,政府应提高公共数据的开放程度,并带头建设行业数据库。
这些举措同时能够提升公共服务质量、提供政策制定洞见,从而带来额外益处。
比如纽约市政府就建立了公开数据门户网站,为市民提供经济发展、医疗、休闲、公共服务等领域的数据。
2012年纽约市还颁布了《开放数据法案》,要求政府部门使用机器可读取的数据并建立API(应用程序编程接口),方便软件研发人员直接连接政府系统并获取数据。
最后,中国政府还需考虑国际数据流的价值。
麦肯锡全球研究院的调查表明,2014年,跨境数据流为全球经济创造了2.8万亿美元的价值,对经济增长的贡献已经超过实体贸易。
此外,研究还指出,由于经济体需要接触全球的思想、研究、科技、人才和最佳实践案例,数据流入和流出都能十分重要。
数据是未来的货币。
例如在医学研究中,如果没有全球海量临床数据的支持,人工智能的潜力就无法得到充分挖掘。
过多的桎梏将会束缚中国的人工智能企业,导致其丧失开发具有全球竞争力产品的能力。
战略重点之二:拓宽人工智能在传统行业的应用只有当人工智能技术在中国真正普遍的应用于传统行业,而不仅仅属于科技巨头时,其经济潜力才会充分彰显。
我国人工智能的发展战略是()

我国人工智能的发展战略是()战略重点之一:建立完善的数据生态系统海量数据是训练人工智能系统、吸引人才、加速创新的核心要素之一。
中国可以通过建立并落实数据规范、向私营领域开放公共数据、鼓励跨国数据交流来构建一个更为完善的数据生态系统。
首先,建立数据标准是进行广泛数据分享和实现系统间交互操作的重要前提条件,有助于提升物联网及人工智能技术的价值。
潜在的庞大数据体量是中国的天然优势,使中国有机会在国际上更好地发挥领头羊的作用。
而且,在与中文语言相关的数据规范制定方面,中国也应起到主导作用。
对于特定行业数据,政府可要求现有的监管机构制定必要规则。
比如美国证券交易委员会在2009年出台规定,要求所有上市公司使用XBRL(可扩展商业报告语言)格式发布财报,确保所有公开数据的机器可读性。
其次,为了提升数据的多样性,政府应提高公共数据的开放程度,并带头建设行业数据库。
这些举措同时能够提升公共服务质量、提供政策制定洞见,从而带来额外益处。
比如纽约市政府就建立了公开数据门户网站,为市民提供经济发展、医疗、休闲、公共服务等领域的数据。
2012年纽约市还颁布了《开放数据法案》,要求政府部门使用机器可读取的数据并建立API(应用程序编程接口),方便软件研发人员直接连接政府系统并获取数据。
最后,中国政府还需考虑国际数据流的价值。
麦肯锡全球研究院的调查表明,2014年,跨境数据流为全球经济创造了2.8万亿美元的价值,对经济增长的贡献已经超过实体贸易。
此外,研究还指出,由于经济体需要接触全球的思想、研究、科技、人才和最佳实践案例,数据流入和流出都能十分重要。
数据是未来的货币。
例如在医学研究中,如果没有全球海量临床数据的支持,人工智能的潜力就无法得到充分挖掘。
过多的桎梏将会束缚中国的人工智能企业,导致其丧失开发具有全球竞争力产品的能力。
战略重点之二:拓宽人工智能在传统行业的应用只有当人工智能技术在中国真正普遍的应用于传统行业,而不仅仅属于科技巨头时,其经济潜力才会充分彰显。
中国数学发展的现代化进程

中国数学发展的现代化进程中国数学有悠久灿烂的历史。
有史以来的两千多年间,特别是公元13世纪前(宋元时代),在当时占统治地位的数学各分支的许多重要领域内,一直是独立发展,遥遥领先于世界,对世界数学发展有着特殊的贡献和巨大影响。
明、清(17世纪),西方数学开始输入中国,使中国数学开始走上现代化的道路。
但由于封建制度的腐朽和帝国主义列强的侵略,中国数学到近代逐渐落伍。
到20世纪初,中国数学已落后世界数学水平二百年以上!1911年的辛亥革命前后,中国大量向美国派遣留学生。
1912年京师大学堂更名为北京大学,并于1918年创建中国第一个数学系。
此后,一小部分在国外获得博士学位的中国数学家回国走上教学岗位,各地大学纷纷办起数学系,使中国的数学水平有所提高。
例如,在美国康奈尔大学毕业并获哈佛大学博士学位后返国的姜立夫,1920年创办南开大学数学系;1921年,熊庆来和段子燮创办东南大学(现南京大学)数学系;1924年,陈建功和黄际遇创办武昌大学数学系;胡明复在上海大同大学、陈建功和苏步青先后至浙江大学、熊庆来1926年在清华大学分别创办数学系。
当时的南开大学系是“一人系”,姜立夫靠他的博学多能,在难以想象的困难条件下培养了如刘晋年、江泽涵、申又枨、陈省身、孙本旺、吴大任等一批中国数学界的栋梁之材。
然而,在当时数学是一门自生自灭的学科,得不到应有的重视。
当日本数学家高木贞治留学德国哥廷根,向大数学家希尔伯特学习代数数论后归国,并于1920年创立类域论解决希尔伯特第9问题而使日本数学跻身世界一流水平之时,中国现代数学尚未诞生。
1921年,陈建功在日本《东北数学杂志》上发表论文《关于无穷积的一些定理》,“无论在时间上或在质量上,都标志着中国现代数学的兴起”(苏步青:《陈建功选集》序言)。
1928年,陈建功在日本《东京帝国学士院进展》上发表博士论文《关于具有绝对收敛傅里叶级数的函数类》,成为第一位在日本取得理学博士学位的外国科学家,这标志着中国现代数学研究首次达到国际先进水平。
未来中国数学发展战略

未来10年中国数学发展战略未来十年我国优先发展领域与重大交叉研究领域一、基础数学包括数论与代数、几何与拓扑以及分析三大部分。
历史遗留的问题,如波奇和斯温纳顿-戴雅猜想(Birch and Swinnerton Dyer conjecture),Hodge conjecture,Riemann假设和Yang-Mills量子理论等。
二、应用数学包括常微分方程与动力系统,偏微分方程,概率论,组合论,运筹学。
待解决的问题:流体运动,从微观到介观、再到宏观的数学建模及其理论基础;纳维-斯多克斯方程的光滑性;P与NP问题。
三、计算数学与科学工程计算高性能计算中的一些瓶颈问题。
包括流体计算,电磁场计算,幅射物理计算,纳米计算和物理计算中的先进算法研究,多尺度模型的分析与计算,以及非平衡态的计算。
四、统计学与海量数据分析高维数据、缺失数据和复杂结构数据的分析。
由复杂现象产生的海量高维数据开展“数据驱动”的研究。
五、数学与其他学科交叉的若干重大问题包括蛋白组学,系统生物学,脑科学与认知科学,量子计算和量子调控,纳米材料,复杂系统的控制等。
六、重点研究方向:1.数论与代数中的前沿问题。
主要研究内容:Langlands纲领,算术代数几何,Riemann猜想,Diophantus逼近,超越数论,模形式,代数数论,Lie理论,群及其表示,代数K-理论,现代模论,微分算子代数,非半单代数的表示理论,群上调和分析,多元自守形式和多元超几何函数,代数组合论,代数编码等。
2.流形的几何与拓扑。
主要研究内容:整体微分几何研究;流形上的度量的局部不变量与整体性质的关系。
近年来物理产生的微分几何问题倍受关注,各种模空间的研究成为热点。
3.现代分析及其应用。
主要研究内容:①复分析前沿交叉应用。
复动力系统,拟共形映射与Teichmuller空间理论,值分布理论和正规族理论,共形不变量与Schramm-Loewer-Evolation,调和拟共形映射理论,Klein群理论,Circle packing与离散几何、多复变函数论与复几何、自守形式。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
未来10年中国数学发展战略未来十年我国优先发展领域与重大交叉研究领域一、基础数学包括数论与代数、几何与拓扑以及分析三大部分。
历史遗留的问题,如波奇和斯温纳顿-戴雅猜想(Birch and Swinnerton Dyer conjecture),Hodge conjecture,Riemann假设和Yang-Mills量子理论等。
二、应用数学包括常微分方程与动力系统,偏微分方程,概率论,组合论,运筹学。
待解决的问题:流体运动,从微观到介观、再到宏观的数学建模及其理论基础;纳维-斯多克斯方程的光滑性;P与NP问题。
三、计算数学与科学工程计算高性能计算中的一些瓶颈问题。
包括流体计算,电磁场计算,幅射物理计算,纳米计算和物理计算中的先进算法研究,多尺度模型的分析与计算,以及非平衡态的计算。
四、统计学与海量数据分析高维数据、缺失数据和复杂结构数据的分析。
由复杂现象产生的海量高维数据开展“数据驱动”的研究。
五、数学与其他学科交叉的若干重大问题包括蛋白组学,系统生物学,脑科学与认知科学,量子计算和量子调控,纳米材料,复杂系统的控制等。
六、重点研究方向:1.数论与代数中的前沿问题。
主要研究内容:Langlands纲领,算术代数几何,Riemann猜想,Diophantus逼近,超越数论,模形式,代数数论,Lie理论,群及其表示,代数K-理论,现代模论,微分算子代数,非半单代数的表示理论,群上调和分析,多元自守形式和多元超几何函数,代数组合论,代数编码等。
2.流形的几何与拓扑。
主要研究内容:整体微分几何研究;流形上的度量的局部不变量与整体性质的关系。
近年来物理产生的微分几何问题倍受关注,各种模空间的研究成为热点。
3.现代分析及其应用。
主要研究内容:①复分析前沿交叉应用。
复动力系统,拟共形映射与Teichmuller空间理论,值分布理论和正规族理论,共形不变量与Schramm-Loewer-Evolation,调和拟共形映射理论,Klein群理论,Circle packing与离散几何、多复变函数论与复几何、自守形式。
②算子代数与泛函分析交叉应用。
不变子空间问题及其相关代数算子,非交换几何及其在几何、拓扑和物理中的应用,自由概率论及因子分类,Banach空间及算子空间理论,非线性泛函分析中的大范围变分及拓扑方法及其在偏微分方程中的应用。
③调和分析前沿方法与交叉应用。
经典调和分析,几何测度论,非交换调和分析,度量空间上的调和分析,小波分析,调和分析在微分方程中的应用,应用与计算调和分析及其在信息科学中的应用。
4.微分方程与动力系统的理论与应用。
主要研究内容:非线性方程解的适定性、正则性和渐近性态,混合型及变型微分方程定解理论、高维双曲守恒律的激波理论、非线性(包括完全非线性)椭圆或抛物型方程定解理论,非线性波动理论,自由世界问题,非可积系统,散射理论和弥散效应等。
动力系统的各种重要运动形式和定性理论与分岔理论,运动轨道的拓扑结构及稳定性,不变集和KAM理论,吸引子及分形和混沌理论等。
5.随机分析及应用。
主要研究内容:倒向随机微分方程与非线性期望理论及其应用,拟正则狄氏型与马氏过程位势论及其应用,无穷维空间上的马氏过程理论及其遍历论,随机微分几何与无穷流形上的Malliavin分析及其应用,随机偏微分方程理论及其应用,随机微分方程与马氏过程在金融保险等学科中的应用;量子态的纠缠和量子不确定性的数学刻画;渗流、随机矩阵等模型下的随机分析理论与SLE理论(随机劳维纳演化)。
马氏过程的大偏差理论以及极限理论等。
6.数据建模与分析。
主要研究内容:因果网络构建,相依结构建模,数据采集新技术等。
探讨各种复杂层次结构数据、时空数据等的统计分析及统计计算方法。
在高维数据研究方面,着重研究降维与特征提取问题。
探讨函数型、非参数降维和有效聚类与判别的新理论、新方法,探索大维随机矩阵的关键特征,寻求对模型维数进行惩罚限制的新的变量选择方法等。
7.复杂系统中的优化与控制。
主要研究内容:非线性规划理论与方法,凸分析与变分理论,网络流,排队论与系统可靠性理论,马氏决策理论与对策论,组合优化多项式算法与连续化方法及启发式方法,随机模型的优化设计等;多个体系统集体行为及其干预与控制,复杂网络系统与复杂自适应系统建模,随机层面的优化与方法以及安全控制,非线性、分布参数型与离散事件型复杂系统的优化与控制的理论和方法等;综合集成的理论及其系统建模,综合集成的知识系统理论和支持技术,复杂系统的预测理论和方法等。
8.科学与工程计算的算法分析与应用。
主要研究内容:多尺度建模,分析与计算方法,流体力学高精度(自适应)计算方法的设计、分析和程序实现。
包括粒子输运问题的计算方法研究;高维电磁场数值模拟的新型计算方法,包括电磁散射问题的各向异性电磁场(涡流)问题的数学建模;生命科学中的计算方法,成像技术的理论与方法;适用于高性能计算机的并行计算方法、算法和软件实现技术,基础计算方法的创新与发展,包括新型有限元、自适应方法,谱方法,结构算法、优化问题的计算方法以及计算几何方法等。
9.复杂离散结构数学方法与应用。
主要研究内容:代数组合,组合数论,离散几何与构造性组合学,代数图论、结构图论、拓扑图论和随机图论;图的Ramsey理论和着色理论;组合矩阵论;自由概率论和随机矩阵论中的组合方法;离散数学与物理学交叉,如角动量理论和Diamma-Monmer问题;离散数学与化学交叉,如RNA与DNA 的二级结构的组合学研究;离散数学与计算机科学的交叉,如组合数学机械化与网络图论研究;离散数学在通信安全中的应用,如组合设计与传感器网络研究。
10.科学与工程中的反问题的理论分析及应用。
主要研究内容:具有主要应用背景的反问题的数学模型的研究与解释;可测量的数据是否可以决定我们要求的未知量,即反问题的唯一性;反问题的稳定性(条件稳定性),尤其关注在符合实际条件的约束下的稳定性;反问题的稳定算法(正则算法等)以及数值实现。
11.确定与不确定现象的数理逻辑与数字机械化。
主要研究内容:可计算理论与证明论,数理逻辑与计算机科学技术、数学机械化的交叉融合,数理逻辑与人工智能、认知科学的交叉融合,不确定性定性与不确定性推理的数理逻辑,不确定性数理逻辑与构造性数学,不确定性数理逻辑的时空演化性质,不确定性数理逻辑与自然语言逻辑、认知科学的交叉融合。
通过数学机械化研究提高计算机处理数学问题的能力。
研究重点包括符号计算,自动推理,代数、微分与差分方程求解的理论与高效符号算法,基于几何不变量的高效几何计算与推理方法,基于符号数值混合计算的可信算法,经典量子计算复杂性,计算数论及其在密码学中的应用,数学机械化方法在信息技术中的应用。
12.生命科学中数学建模与方法。
主要研究内容:生物信息学中的数学问题,包括高通量生物工程技术中的数学问题和方法(如SNP芯片,下一代测序技术等),利用系统生物学策略和数据进行生物信息挖掘的方法(如疾病基因的预测,药物靶标预测等),生物信息中经典网络问题(如蛋白质结构预测和比对方法,蛋白质相互作用热点区域识别等)。
系统生物学中的数学问题,包括分子生物网络的建模与方法(如分子生物网络的构建、分析、比较、控制、设计等),生命科学研究中涉及的复杂网络理论与方法,多层次异源生物数据集成的数学模型与方法等。
13.环境与能源科学中的数学建模与分析。
主要研究内容:清洁能源技术(特别如制氢,燃料电池,太阳能转换,风能转换技术)的数学建模与模拟,运用数学建模与信息技术的数学基础,能源设备制造与能源输运中关键技术的数学基础与方法,转基因作物潜在生态风险的评估理论与数据分析,能源消耗对大气环境影响的数学建模与分析,水污染及其治理过程的定量描述与预测,我国人口增长对生态环境影响的数据建模与分析,化肥和农药对特定地区水体与土壤,特定生物影响的定性分析,某些特定污染物在空气、土壤、水、生物体之间转化的数学模型及人体危害的建模分析,基于数据建模对濒危物种监测与保护技术基础等。
14.管理科学与社会科学中的数学模型与方法。
主要研究内容:经济金融系统的建模仿真、演化与危机的传导机理,其风险的定价、度量与控制;战略资源需求价格的定量预测、评估与监测预警系统的数学建模与分析;重大突发事件的非线性特征与数学描述;供应链网络管理布局的数学建模与求解、协调机制的数学刻画与分析、中断时风险的分析与计算;社会系统的协调管理机理的演化的数学刻画和分析;社会系统中网络联系的数学模型的建立与机理分析;社会科学研究中大量数据处理方法及其所提供的对于我国国情的统计分析和决策建议的依据。
15.传统支柱产业的改造更新与换代中的关键数学问题。
主要研究内容:针对钢铁,石油,航空,机械,建筑等重要工程领域中的关键技术问题开展相关数据建模、分析与求解,为产业改造,更新和换代提供必要的数学支撑。
16.复杂连续介质动力学中的数学机理及应用。
主要研究内容:复杂连续动力学方程整体解的适定性、正则性,渐近性态,奇性分析与传播,非线性波的运动,相互作用及稳定性,幅射磁液体力学的典型问题与分析,多尺度近似模拟及其动力学行为等。
问题涉及非线性微(积)分方程,随机分析,数值模拟和科学计算,多相复杂流体,结构流变学,材料科学、环境科学、化工等学科。
研究成果可以应用到高分子材料,生物力学与工程,幅射流体、能源科学、地球物理学、航空航天、相分离动力学等学科领域。
17.信息计算机科学中的数学的问题与方法。
主要研究内容:新型信息获取技术的数学基础,压缩传感的数学理论与方法,信息安全的数学理论与方法,稀疏编码与稀疏信号恢复的数学理论与方法,面向特定领域的数据处理新方法与新理论,非结构化数据处理的数学理论与方法,数据集配准技术的数学理论与方法,机器学习的数学理论,多元异构信息融合的数学理论与方法。
18.经济预测与金融安全中的数学方法。
主要研究内容:非线性数学期望理论,随机控制与随机博弈理论,正倒向随机微分方程的统计和计算方法,随机分析及不确定环境下一般均衡理论。
措施:1建立合理科学的评价体系;2.培养和稳定高水平的数学人才;3.建设一些有国际影响的研究基地;4.加大对数学学科的稳定支持;5.关注基础教育的重要性。
加强国际交流与合作。