|
国家自然科学基金重大研究计划遵循“有限目标、稳定支持、集成升华、跨越发展”的总体思路，围绕国民经济、社会发展和科学前沿中的重大战略需求，重点支持我国具有基础和优势的优先发展领域。重大研究计划以专家顶层设计引导和科技人员自由选题申请相结合的方式，凝聚优势力量，形成具有相对统一目标或方向的项目群，通过相对稳定和较高强度的支持，积极促进学科交叉，培养创新人才，实现若干重点领域或重要方向的跨越发展，提升我国基础研究创新能力，为国民经济和社会发展提供科学支撑。 国家自然科学基金委员会（以下简称自然科学基金委）现公布重大研究计划“可信软件基础研究”2010年度项目指南（见附件），欢迎具有相应研究工作基础和能力的科学技术人员通过依托单位提出申请。 申请人应当认真阅读本通告和项目指南，不符合通告和项目指南的申请项目不予受理。 一、申请条件 重大研究计划项目申请人应当具备以下条件： 1．具有承担基础研究课题的经历； 2．具有高级专业技术职务（职称）。 正在博士后工作站内从事研究、正在攻读研究生学位以及《国家自然科学基金条例》第十条第二款所列的科学技术人员不得申请。 二、限项规定 1. 申请和承担项目总数限制。 具有高级专业技术职务（职称）的人员，作为申请人或主要参与者申请的项目数，与作为负责人或主要参与者正在承担的项目数合计不得超过3项。 限制申请和承担项目总数的项目类型包括：面上项目、青年科学基金项目、地区科学基金项目、重点项目、重大项目、重大研究计划项目、联合资助基金项目、科学仪器基础研究专款项目、国际（地区）合作研究项目中的重大国际（地区）合作研究项目以及研究期限超过12个月的委主任基金项目和科学部主任基金项目（包括应急科学研究专款项目、理论物理专款项目等）。正在评审中的以上类别项目也计入总数限制。 在研的国家杰出青年科学基金项目，计入限制申请和承担项目总数范围。 具有高级专业技术职务（职称）的人员，作为负责人或主要参与者正在承担以上类型项目数量累计达到3项的，不得申请或参与申请以上类型项目。 以上项目类型中，研究期限12个月及以下，以及特殊说明不受申请和承担项目总数限制的在研项目除外。 2. 重大研究计划项目的具体限项申请规定。 具有高级专业技术职务（职称）的人员，申请或参与申请重大研究计划项目数限为1项（评审中的重大研究计划项目计入限项）；正在承担重大研究计划项目的负责人和具有高级专业技术职务（职称）的主要参与者不得申请或参与申请重大研究计划项目。 三、申请注意事项 1．重大研究计划项目资助强度不低于50万元/项。申请经费额度低于50万元/项的项目，应根据实际研究经费需要申请重大研究计划项目以外的其他类型项目。 2．申请人请登陆自然科学基金委网站下载中心下载2010年新版本（以前版本均不接收）申请书。 申请书的报告正文应按重大研究计划正文提纲撰写。如果申请人已承担与本研究计划相关的国家其他科技计划项目，须在报告正文的“研究基础”部分论述申请项目与其他相关项目的区别与联系。 本重大研究计划2010年度只受理“培育项目”的申请，不受理“重点支持项目”和“集成项目”的申请；申请书中“培育项目”的预计研究年限填写“2011年1月-2011年12月”。 3．为实现重大研究计划总体科学目标和多学科集成，获得资助项目的负责人应承诺遵守相关数据和资料管理与共享的规定。 4．本次公布的重大研究计划“可信软件基础研究”的申请书由信息科学部负责受理，申请书中的资助类别选择“重大研究计划”，亚类说明选择“培育项目”，附注说明必须选择“可信软件基础研究”（以上选择不准确或未选择的项目申请将不予受理），“申请代码”可根据申请内容自行选择。申请报送日期为2010年5月24－28日。 5．依托单位须在截止时间（5月28日16时）之前通过互联网报送电子申请书，报送方式：通过基金项目管理ISIS网络信息系统提交。上传或提交成功后，再登陆ISIS网络信息系统打印申请项目清单。 6．所有申请均须通过依托单位报送电子申请书和1份签字盖章的纸质申请书原件，且电子申请书与纸质申请书的内容必须一致。报送纸质申请材料要求有依托单位公函、申请项目清单和纸质申请书原件，不接收个人直接报送的申请。 |
| 7．纸质申请材料可直接送至自然科学基金委信息科学部综合处。邮寄报送的申请材料，请提前以速递方式寄自然科学基金委信息科学部综合处（以发信邮戳日期为准），并在信封左下角标注“重大研究计划项目申请材料”。请勿使用包裹，以免延误申请。 附件：重大研究计划“可信软件基础研究”2010年度项目指南 二○一○年四月十九日 附件： 重大研究计划“可信软件基础研究”2010年度项目指南 “可信软件基础研究”重大研究计划以国家关键应用领域中软件可信性问题为主攻目标，分析、研究和解决相关科学问题，在嵌入式软件和基于网络的大型应用软件中开展示范应用，为改善国家重大工程中的软件可信性提供科学支撑。 一、科学目标 针对国家信息化发展和重大工程应用对可信软件的战略需求，采用理论研究和实证研究相结合的方法，揭示软件可信和环境可信的失效、度量和演化的基本规律，建立可信软件及其环境构造与验证、演化与控制的方法和关键技术体系，研究可信软件开发工具和运行支撑平台及环境，并在典型的嵌入式软件和基于网络的大型应用软件中进行验证和示范，促进软件从传统的单一度量理论到综合性的可信度量理论及其构造方法的集成升华，提高我国在可信软件领域的原始创新能力和国际影响力，为国家相关重大计划和工程的可信软件研发提供科学支撑，培养一批高水平的研究人才，促进我国软件产业的崛起和发展。 二、2007-2008年度资助的基本情况 “可信软件基础研究”重大研究计划于2007年正式启动，至今已资助“培育项目”58项，“重点支持项目”12项。有关情况参见http：//www.nsfcts.net。 三、2010年度拟资助的研究项目 为了切实保障本重大研究计划科学目标的实现，充分做好实施“集成项目”的前期顶层设计和研究方案准备，2010年度本重大研究计划拟先期资助10-20项研究期限为1年的“培育项目”（资助强度为50万元／项）。 （一）研究背景。 本重大研究计划拟以三项“集成项目”作为标志性研究项目。拟支持的“集成项目”主要以国家重大科技与工程任务为载体，通过集成与示范验证来展示本重大研究计划在可信软件开发与运行保障等方面的实际成效。三个“集成项目”包括： 1．可信软件综合试验环境。 研究和开发基于网络环境的可信软件构造与演化以及可信环境综合试验平台，通过在试验环境中部署典型可信软件案例、可信软件工具实验系统、可信虚拟机，将试验环境作为软件可信性相关数据的采集和共享平台、可信软件工具共享平台和关键技术验证平台。 2．高可信嵌入式软件系统试验验证环境。 结合典型的实际应用，针对嵌入式软件系统中的可信性需求，综合集成高可信软件需求分析、设计、编码、验证、测试、监控、评估和维护等技术，研究开发高可信嵌入式软件系统的试验验证环境，并以典型案例示范的形式对集成技术及其有效性进行验证。 3．可信的网络应用软件系统试验验证环境。 以网络应用为背景，针对网络软件系统的可信性和服务质量需求，综合集成可信网络软件及可信环境的需求分析、构造、验证、演化、监控和评测等技术，研制开发可信的网络应用软件系统的试验验证环境，并以典型案例示范的形式对集成技术及其有效性进行验证。 （二）本年度“培育项目”研究内容。 要求围绕上述三个“集成项目”之一进行可行性预先研究，研究成果必须有助于“集成项目”的立项与实施。 研究内容包括：基于本重大研究计划已资助的“培育项目”和“重点支持项目”布局，研究相关成果的集成方式；面向可信软件开发与运行保障等方面的实际成效，研究相关成果的表达形态；围绕整体科学目标，聚焦核心科学问题，研究核心技术及其实施的可行性；围绕具体的应用背景与实践载体，研究集成性成果的显示度与预期效果。 四、申请注意事项 （一）本年度“培育项目”的研究年限为2011年1月－2011年12月，获得资助的“培育项目”不计入项目限项。 （二）本年度获得资助的“培育项目”负责人须分别在2011年4月和2011年8月进行项目阶段成果汇报。 （三）申请人在填报申请书前，应认真阅读本指南。拟开展的研究应针对本年度拟重点资助的研究内容和要求，明确对实现研究计划总体目标和解决核心科学问题的贡献。不符合项目指南的申请将不予受理。 （四）项目申请人必须选择一个具体的实际应用案例作为研究载体，有针对性地开展软件可信性问题研究，以清晰而明确地反映出“三、（二）本年度‘培育项目’研究内容”中提出的各项要求。 （五）申请书中的资助类别选择“重大研究计划”，亚类说明选择“培育项目”，附注说明均须选择“可信软件基础研究” （以上选择不准确或未选择的项目申请将不予受理）。申请代码根据申请的具体研究内容选择相应的学科代码。 |
|
国家自然科学基金重大研究计划遵循“有限目标、稳定支持、集成升华、跨越发展”的总体思路，围绕国民经济、社会发展和科学前沿中的重大战略需求，重点支持我国具有基础和优势的优先发展领域。重大研究计划以专家顶层设计引导和科技人员自由选题申请相结合的方式，凝聚优势力量，形成具有相对统一目标或方向的项目群，通过相对稳定和较高强度的支持，积极促进学科交叉，培养创新人才，实现若干重点领域或重要方向的跨越发展，提升我国基础研究创新能力，为国民经济和社会发展提供科学支撑。 国家自然科学基金委员会（以下简称自然科学基金委）现公布重大研究计划“可信软件基础研究”2010年度项目指南（见附件），欢迎具有相应研究工作基础和能力的科学技术人员通过依托单位提出申请。 申请人应当认真阅读本通告和项目指南，不符合通告和项目指南的申请项目不予受理。 一、申请条件 重大研究计划项目申请人应当具备以下条件： 1．具有承担基础研究课题的经历； 2．具有高级专业技术职务（职称）。 正在博士后工作站内从事研究、正在攻读研究生学位以及《国家自然科学基金条例》第十条第二款所列的科学技术人员不得申请。 二、限项规定 1. 申请和承担项目总数限制。 具有高级专业技术职务（职称）的人员，作为申请人或主要参与者申请的项目数，与作为负责人或主要参与者正在承担的项目数合计不得超过3项。 限制申请和承担项目总数的项目类型包括：面上项目、青年科学基金项目、地区科学基金项目、重点项目、重大项目、重大研究计划项目、联合资助基金项目、科学仪器基础研究专款项目、国际（地区）合作研究项目中的重大国际（地区）合作研究项目以及研究期限超过12个月的委主任基金项目和科学部主任基金项目（包括应急科学研究专款项目、理论物理专款项目等）。正在评审中的以上类别项目也计入总数限制。 在研的国家杰出青年科学基金项目，计入限制申请和承担项目总数范围。 具有高级专业技术职务（职称）的人员，作为负责人或主要参与者正在承担以上类型项目数量累计达到3项的，不得申请或参与申请以上类型项目。 以上项目类型中，研究期限12个月及以下，以及特殊说明不受申请和承担项目总数限制的在研项目除外。 2. 重大研究计划项目的具体限项申请规定。 具有高级专业技术职务（职称）的人员，申请或参与申请重大研究计划项目数限为1项（评审中的重大研究计划项目计入限项）；正在承担重大研究计划项目的负责人和具有高级专业技术职务（职称）的主要参与者不得申请或参与申请重大研究计划项目。 三、申请注意事项 1．重大研究计划项目资助强度不低于50万元/项。申请经费额度低于50万元/项的项目，应根据实际研究经费需要申请重大研究计划项目以外的其他类型项目。 2．申请人请登陆自然科学基金委网站下载中心下载2010年新版本（以前版本均不接收）申请书。 申请书的报告正文应按重大研究计划正文提纲撰写。如果申请人已承担与本研究计划相关的国家其他科技计划项目，须在报告正文的“研究基础”部分论述申请项目与其他相关项目的区别与联系。 本重大研究计划2010年度只受理“培育项目”的申请，不受理“重点支持项目”和“集成项目”的申请；申请书中“培育项目”的预计研究年限填写“2011年1月-2011年12月”。 3．为实现重大研究计划总体科学目标和多学科集成，获得资助项目的负责人应承诺遵守相关数据和资料管理与共享的规定。 4．本次公布的重大研究计划“可信软件基础研究”的申请书由信息科学部负责受理，申请书中的资助类别选择“重大研究计划”，亚类说明选择“培育项目”，附注说明必须选择“可信软件基础研究”（以上选择不准确或未选择的项目申请将不予受理），“申请代码”可根据申请内容自行选择。申请报送日期为2010年5月24－28日。 5．依托单位须在截止时间（5月28日16时）之前通过互联网报送电子申请书，报送方式：通过基金项目管理ISIS网络信息系统提交。上传或提交成功后，再登陆ISIS网络信息系统打印申请项目清单。 6．所有申请均须通过依托单位报送电子申请书和1份签字盖章的纸质申请书原件，且电子申请书与纸质申请书的内容必须一致。报送纸质申请材料要求有依托单位公函、申请项目清单和纸质申请书原件，不接收个人直接报送的申请。 |