数学科学处

　　数学领域的资助，鼓励针对当前数学发展的特点和趋势、对数学中的重大问题、重要问题和公开问题开展原创性研究，探索新的数学思想和新的数学方法，形成新的数学理论；鼓励数学不同分支学科之间的相互交叉和渗透；鼓励数学在其他学科中的应用研究。要求申请人及其研究团队应具备相当的研究基础和研究实力，并对所研究课题的现状、拟解决的主要问题、相关的研究方法和手段等有深入的了解和掌握， 并在此基础上制订自己的研究计划。通过对项目的资助和实施，培养优秀人才，调整、重组研究方向，推动数学科学持续、稳定、协调、全面地发展。在面上项目申请中，数学科学处不鼓励个人单独申请或同单位同方向的分头申请，并从严掌握在研科学基金项目负责人提出的申请，使资助项目分布合理和资助规模适当。

　　对于基础数学项目的资助，旨在保持我国具有优势的研究方向和具有一定规模的研究领域；促进我国基础相对薄弱、但属于国际数学研究主流的发展方向和领域；鼓励各分支学科的相互交叉和渗透。

　　对于应用数学和计算数学项目的资助，鼓励有较强实际背景和应用前景的研究项目；关注生命科学、信息科学、材料科学、环境科学、能源科学以及与经济发展和社会进步有密切关系的学科领域的发展，主动了解这些学科领域中一些重要的前沿问题，积极寻找与这些领域交叉和渗透的切入点，以促进应用数学的发展。对于这类项目的申请，申请代码1应填报相应的数学科学申请代码，申请代码2选择相关交叉学科的代码。

　　为了促进数学与信息科学的交叉问题研究，数理科学部2010年度继续支持信息与数学交叉类项目，具体见如下说明。

　　信息与数学领域交叉类项目

　　2010年度信息科学部与数理科学部将继续鼓励资助迫切需要从信息与数学两个领域的角度进行交叉研究的信息与数学类项目，其资助强度与面上项目相当。拟资助的交叉领域包括：现代计算机科学中的数学方法，信息安全、信息系统和先进控制理论中的数学方法。鼓励（但不限于）进行以下交叉项目研究：

　　1．实数的整数化表示理论与算法

　　设计用整数正确表示实数的理论与算法，并在计算机中实现该算法，给出该算法的复杂性分析。

　　2．软件系统的形式化表示理论与方法

　　用形式化理论与方法描述、表示实用的软件系统，不仅可用于实时应用的软件系统，而且可用于交互式的多离散事件的软件系统。

　　3．安全软件系统的设计理论与方法

　　结合典型软件系统（系统软件或应用软件）分析、设计、开发提高软件系统安全性能的理论、算法与体系结构，并从理论与实践两个方面证明该理论、算法与体系结构的优越性。

　　4．新型软件体系结构的理论研究

　　针对软件应用时代特征与需求，研究新型软件体系结构及理论与方法，并结合实用软件体系给出相应的科学特征。

　　5．软件系统正确性证明理论研究

　　研究开发软件系统的正确性理论与方法，以保证所开发软件的正确性。

　　6．应用需求工程的形式化表示理论与方法

　　拟申请信息与数学领域交叉类项目的申请人，须在申请书项目基本信息表中的申请代码1选择主管科学部的相应代码，在申请代码2选择另一科学部的申请代码，并须在申请书的附注说明栏中选择“信息与数学领域交叉类项目”。如通过数理科学部申报，申请代码1选择相应的数学学科申请代码，申请代码2填选择关信息学科的申请代码。