Fund Applications and Fundings in Formal Methods Under National Natural Science Foundation of China

doi:10.3981/j.issn.2097-0781.2023.01.010

Science and Technology Foresight ›› 2023, Vol. 2 ›› Issue (1): 132-140.DOI: 10.3981/j.issn.2097-0781.2023.01.010

• Review and Commentary • Previous Articles Next Articles

Fund Applications and Fundings in Formal Methods Under National Natural Science Foundation of China

CHEN Ting¹^,²(), WU Guozheng¹^,^†(), LIU Zhe³, PU Geguang⁴, ZHAO Ruizhen¹, LIU Ke¹

1. Department of Information Science, National Natural Science Foundation of China, Beijing 100083, China
2. School of Computer Science and Engineering (School of Cybersecurity), University of Electronic Science and Technology of China, Chengdu 611731, China
3. College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China
4. Software Engineering Institute, East China Normal University, Shanghai 200062, China

Received:2022-12-25 Revised:2023-02-02 Online:2023-03-20 Published:2023-03-28
Contact: ^†

NSFC形式化方法领域基金项目申请资助情况分析

陈厅¹^,²(), 吴国政¹^,^†(), 刘哲³, 蒲戈光⁴, 赵瑞珍¹, 刘克¹

1.国家自然科学基金委员会信息科学部，北京 100083
2.电子科技大学计算机科学与工程学院（网络空间安全学院），成都 611731
3.南京航空航天大学计算机科学与技术学院，南京 210016
4.华东师范大学软件工程学院，上海 200062

通讯作者: ^†
作者简介:陈厅，教授，国家自然科学基金委员会信息科学部二处流动项目主任。主要研究方向为网络安全。电子信箱：chenting@nsfc.gov.cn。
吴国政，研究员，国家自然科学基金委员会信息科学部二处处长。主要研究方向为人工智能、信息安全。电子信箱：wugz@nsfc.gov.cn。

Abstract

Abstract:

This paper statistically analyzes the fund applications and funding in formal methods under the National Natural Science Foundation of China (NSFC). Then, it describes and analyzes the major research plan and major projects of NSFC related to formal methods. After that, the work expounds on the content related to formal methods in the 14th Five-Year Plan of NSFC.

Key words: NSFC, formal methods, funding, 14th Five-Year Plan

摘要：

针对历年来国家自然科学基金委员会（NSFC）在形式化方法领域各类型基金申请和资助情况进行统计和分析，并对涉及的重大研究计划和重大项目予以重点阐述和分析，最后对NSFC“十四五”发展规划中涉及形式化方法的部分予以解读。

关键词: 国家自然科学基金委员会, 形式化方法, 资助, “十四五”规划

CHEN Ting, WU Guozheng, LIU Zhe, PU Geguang, ZHAO Ruizhen, LIU Ke. Fund Applications and Fundings in Formal Methods Under National Natural Science Foundation of China[J]. Science and Technology Foresight, 2023, 2(1): 132-140.

陈厅, 吴国政, 刘哲, 蒲戈光, 赵瑞珍, 刘克. NSFC形式化方法领域基金项目申请资助情况分析[J]. 前瞻科技, 2023, 2(1): 132-140.

Figures/Tables 10

References 8

[1]	百度百科. 形式化方法[EB/OL]. (2021-12-08)[2022-10-09]. https://baike.baidu.com/item/形式化方法/4298196.
[2]	国家自然科学基金委员会. 2022项目指南[R/OL]. (2022-01-19)[2022-03-04]. https://www.nsfc.gov.cn/publish/portal0/tab1152/.
[3]	国家自然科学基金委员会. “可信软件基础研究”重大研究计划2014年度项目指南[R/OL]. (2014-07-22)[2022-07-24]. https://www.nsfc.gov.cn/publish/portal0/tab442/info61592.htm.
[4]	国家自然科学基金委员会. 国家自然科学基金委员会关于发布《网络与信息安全》重大研究计划2005年度项目指南及申请注意事项的通告[R/OL]. (2005-05-30)[2022-08-29]. https://www.nsfc.gov.cn/publish/portal0/tab442/info62563.htm.
[5]	国家自然科学基金委员会. 国家自然科学基金重大研究计划《半导体集成化芯片系统基础研究》2002项目申请指南[R/OL]. (2002-01-01)[2022-09-10]. https://www.nsfc.gov.cn/nsfc/cen/xmzn/its/008.htm.
[6]	国家自然科学基金委员会. 国家自然科学基金委员会关于发布《以网络为基础的科学活动环境研究》重大研究计划2003年度项目申请指南的通告[R/OL]. (2003-11-14)[2022-10-17]. https://www.nsfc.gov.cn/publish/portal0/tab442/info62648.htm.
[7]	国家自然科学基金委员会. 国家自然科学基金委员会关于发布“十四五”第一批重大项目指南及申请注意事项的通告[R/OL]. (2021-08-05)[2022-08-18]. https://www.nsfc.gov.cn/publish/portal0/tab442/info81561.htm.
[8]	国家自然科学基金委员会. 国家自然科学基金“十四五”发展规划[R/OL]. (2022-11-11)[2022-11-20]. https://www.nsfc.gov.cn/publish/portal0/tab1392/.

关键词	项目名称匹配		项目关键词匹配		去重后		总项目
关键词	申请数量	资助数量	申请数量	资助数量	申请数量	资助数量	申请数量	资助数量
形式化方法	121	27	454	71	522	90	1599	377
程序验证	43	11	124	37	140	42
模型检测	218	59	500	123	534	131
约束求解	51	15	123	38	138	43
定理证明	38	11	188	42	188	42
程序合成	2	1	21	6	21	6
程序综合	2	1	8	3	8	3
可满足性	79	20	147	37	155	41
安全攸关系统	11	2	11	3	17	4
并发系统	28	9	27	9	40	11
概率程序设计	0	0	1	1	1	1

关键词	项目名称匹配		项目关键词匹配		去重后		总项目
关键词	申请数量	资助数量	申请数量	资助数量	申请数量	资助数量	申请数量	资助数量
形式化方法	121	27	454	71	522	90	1599	377
程序验证	43	11	124	37	140	42
模型检测	218	59	500	123	534	131
约束求解	51	15	123	38	138	43
定理证明	38	11	188	42	188	42
程序合成	2	1	21	6	21	6
程序综合	2	1	8	3	8	3
可满足性	79	20	147	37	155	41
安全攸关系统	11	2	11	3	17	4
并发系统	28	9	27	9	40	11
概率程序设计	0	0	1	1	1	1

项目类型	申请数量/个	资助数量/个	资助率/%	资助经费/万元
创新研究群体项目	5	2	40.0	2540.00
重大研究计划项目	52	10	19.2	2791.00
重大项目	3	2	66.7	1475.00
国家杰出青年科学基金项目	36	4	11.1	520.00
优秀青年科学基金项目	45	3	6.7	420.00
重点项目	23	10	43.5	2203.00
联合基金项目	24	3	12.5	362.00
面上项目	708	157	22.2	6868.50
青年科学基金项目	498	124	24.9	2733.60
地区科学基金项目	131	25	19.1	916.00
数学天元基金项目	8	3	37.5	8.50
合作类项目	48	17	35.4	818.53
其他项目	18	14	77.8	422.00

项目类型	申请数量/个	资助数量/个	资助率/%	资助经费/万元
创新研究群体项目	5	2	40.0	2540.00
重大研究计划项目	52	10	19.2	2791.00
重大项目	3	2	66.7	1475.00
国家杰出青年科学基金项目	36	4	11.1	520.00
优秀青年科学基金项目	45	3	6.7	420.00
重点项目	23	10	43.5	2203.00
联合基金项目	24	3	12.5	362.00
面上项目	708	157	22.2	6868.50
青年科学基金项目	498	124	24.9	2733.60
地区科学基金项目	131	25	19.1	916.00
数学天元基金项目	8	3	37.5	8.50
合作类项目	48	17	35.4	818.53
其他项目	18	14	77.8	422.00

申请代码	资助数量/个	占比/%
F0201	71	45.2
F0203	27	17.2
F0209	7	4.5
F0204	6	3.8
A0602	5	3.2

Fund Applications and Fundings in Formal Methods Under National Natural Science Foundation of China

NSFC形式化方法领域基金项目申请资助情况分析

RichHTML

PDF

Knowledge

Abstract

Cite this article

share this article

Figures/Tables 10

References 8

Related Articles 4

Recommended Articles

Metrics

Access Statistics

Links

Contact Us

WeChat

依托单位	资助数量/个	占比/%
中国科学院软件研究所	19	12.1
清华大学	16	10.2
华东师范大学	8	5.1
西安电子科技大学	7	4.5
中山大学	7	4.5

依托单位	资助数量/个	占比/%
中国科学院软件研究所	13	10.5
华东师范大学	8	6.5
西安电子科技大学	7	5.7
上海交通大学	5	4.0
南京大学	4	3.2

重大研究计划项目名称	子类型	申请数量/个	资助数量/个	资助率/%	资助金额/万元
可信软件基础研究	集成项目	2	1	50.0	2000
	重点支持项目	10	3	30.0	580
	培育项目	27	2	7.4	100
	小计	39	6	15.4	2680
网络与信息安全	面上项目	10	3	30.0	81
半导体集成化芯片系统基础研究	面上项目	2	1	50.0	30
以网络为基础的科学活动环境研究	面上项目	1	0	0	0
总计		52	10	19.2	2791

[1]	WANG Zhizhong, YU Rongjie, PI Dawei. Top Design, Goal Orientation, Cross and Integration, Perspectiveness: Review and Prospect of the Construction of Transportation and Vehicle Engineering Discipline by the National Natural Science Foundation of China [J]. Science and Technology Foresight, 2023, 2(3): 5-20.
[2]	ZHAN Naijun, WANG Ji. Challenges and Trends for Specification, Analysis, and Verification of Complex Systems [J]. Science and Technology Foresight, 2023, 2(1): 7-22.
[3]	DING Haoran, WANG Zhaoguo, FU Ming, CHEN Haibo. Formal Methods and System Software: Practice and Suggestions [J]. Science and Technology Foresight, 2023, 2(1): 33-45.
[4]	LÜ Jidong, LU Wanli, TANG Tao, LUO Zhengwei. Research Progress and Trend of Formal Methods for Train Control System [J]. Science and Technology Foresight, 2023, 2(1): 106-117.