信息与数学领域交叉类项目
2009年度信息科学部与数理科学部将继续鼓励资助迫切需要从信息与数学两个领域的角度进行交叉研究的信息与数学类项目,其资助强度与资助率不低于面上项目。拟资助的交叉领域包括:现代计算机科学中的数学方法、信息安全、信息系统和先进控制理论中的数学方法。鼓励(但不限于)进行以下交叉项目研究:
1.实数的整数化表示理论与算法
设计用整数正确表示实数的理论与算法,并在计算机中实现该算法,给出该算法的复杂性分析。
2.软件系统的形式化表示理论与方法
用形式化理论与方法描述、表示实用的软件系统,不仅可用于实时应用的软件系统,而且可用于交互式的多离散事件的软件系统。
3.安全软件系统的设计理论与方法
结合典型软件系统(系统软件或应用软件)分析、设计、开发提高软件系统安全性能的理论、算法与体系结构,并从理论与实践两个方面证明该理论、算法与体系结构的优越性。
4.新型软件体系结构的理论研究
针对软件应用时代特征与需求,研究新型软件体系结构及理论与方法,并结合实用软件体系给出相应的科学特征。
5.软件系统正确性证明理论研究
研究开发软件系统的正确性理论与方法,以保证所开发软件的正确性。
6.应用需求工程的形式化表示理论与方法
拟申请信息与数学领域交叉类项目的申请者,须在申请书项目基本信息表中的申请代码1选择主管科学部的相应代码,在申请代码2选择相应科学部的申请代码,并须在申请书的[附注说明]栏中选择“信息与数学领域交叉类项目”。
|