收藏本站
《中国科学基金》 2008年03期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

“可信软件基础研究”重大研究计划综述

刘克  单志广  王戟  何积丰  张兆田  秦玉文  
【摘要】:国家自然科学基金委员会启动实施了"可信软件基础研究"重大研究计划。本文从该重大研究计划的立项背景和意义,可信软件的研究现状,该重大研究计划的科学目标与核心科学问题,以及预期成果等方面进行了介绍。

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 陈佳洱;科学基金工作的发展思路和2000年几项重点工作[J];中国科学基金;2000年03期
2 柴育成;探索支持源头创新的资助模式,试点“重大研究计划”[J];中国科学基金;2000年06期
3 ;我校人工智能与机器人研究所获得“创新研究群体科学基金研究计划”资助[J];西安交通大学学报;2001年06期
4 朱大保;国家自然科学基金“十五”发展计划的基本思考[J];中国科学基金;2001年02期
5 张守著;从物理I学科的特点探讨交叉项目的管理[J];中国科学基金;2001年02期
6 李主其;坚持以人为本,激励和支持原始性创新研究[J];中国科学基金;2001年05期
7 ;申请国家自然科学基金项目知识问答(一)[J];中国科学基金;2001年05期
8 本刊编辑部;国家自然科学基金委员会将实施“重大研究计划”[J];中国科学基金;2001年06期
9 ;应争夺纳米科技制高点[J];电子科技;2001年14期
10 ;六院士呼吁中国争夺纳米科技制高点[J];电子质量;2001年04期
中国重要会议论文全文数据库 前5条
1 ;国家自然科学基金委员会关于发布2002年国家自然科学基金重大研究计划项目申请指南的通告[A];高超声速前沿问题研讨班[C];2002年
2 ;国家自然科学基金重大研究计划(试点)实施方案[A];高超声速前沿问题研讨班[C];2002年
3 李素循;;前言[A];高超声速前沿问题研讨班[C];2002年
4 ;国家自然科学基金重大研究计划《空天飞行器的若干重大基础问题》[A];高超声速前沿问题研讨班[C];2002年
5 宋剑南;;中医证候的蛋白质组学研究[A];中国蛋白质组学首届学术大会论文摘要集[C];2003年
中国重要报纸全文数据库 前10条
1 浦一芬 忻妙新;大气科学百年回顾与展望[N];科学时报;2000年
2 ;沙尘暴成因与防治研究[N];科学时报;2000年
3 本报记者 郭学良;多极世界中的俄欧关系[N];光明日报;2001年
4 记者 谢耕发;用管理创新推进科技源头创新[N];科技日报;2001年
5 国家自然科学基金委员会计划局、政策局;营造宽松环境 推动源头创新 培养优秀人才 促进社会进步[N];科学时报;2001年
6 记者 傅红;国家自然科学基金委召开管理工作会议 表彰基金管理先进集体和个人[N];科学时报;2001年
7 本报驻京记者 江世亮;培育有利于创新的土壤[N];文汇报;2001年
8 本报记者 王新佳;国家自然科学基金委员会“十五”期间将投入100亿[N];中国高新技术产业导报;2002年
9 记者谢耕发;全面实施源头创新战略[N];科技日报;2002年
10 记者晏燕;重大研究计划申请指南发布[N];科技日报;2002年
中国硕士学位论文全文数据库 前1条
1 李红霞;软件可信度量研究初探[D];重庆大学;2005年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978