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

来源 :中国科学基金 | 被引量 : 0次 | 上传用户:songjuan119004
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文介绍了"可信软件基础研究"重大研究计划的立项背景、总体科学目标、总体布局、实施思路及总体完成情况,并从建设可信软件开发资源共享与服务平台、设立"智能化软件可信的基础理论与方法"重大研究计划、对长期而艰难的课题实施面上项目滚动申报和资助方式等方面概述了在该领域下一步发展的建议。
其他文献
学生升入高中后,普遍觉得高中语文难学,就连一些在初中阶段学习还不错的学生,也对语文学习失去了信心,特别是议论文写作,更觉得吃力。陶国华认为,面对学生的苦恼,教师应该积极寻找对
学位
自工业革命后,西方发达国家开始相继进入高速城市化的发展时代。工业生产为城市积累了大量的物质财富,同时也使得城市发展开始出现各种矛盾和问题。在一系列的盲目发展后,城
习近平总书记指出:全面实现小康,少数民族一个都不能少,一个都不能掉队。丽水市是浙江省世居少数民族主要聚居地,目前有少数民族成份47个、少数民族户籍人口10.6万人,其中畲族人口
报纸
<正>在这次全国统计法规执行情况大检查中,各地都把查处统计违法案件当作核心内容之一,并将它作为考核大检查取得成效的重要标志。检查中发现了不少统计违法案件,各地认真抓
作为新一轮消费增长新动能,假日经济与夜间经济发展已成为调和人们日益增长的休闲需求与休闲产业发展不平衡不充分之间矛盾的重要抓手。做活假日经济、点亮夜间经济成为新常态
报纸
我们生活在这个世界上,其实无时无刻不在创造历史,因为我们呼吸、见证、亲历、旁观,于是不可避免地成为历史的一部分。但在创造历史的进程中,善忘,却时常使我们有意无意地丢弃着历
报纸
区块链技术诞生和发展的时代背景主要有两个:一是原来的淘宝转天猫旗舰店,现在是出现了“传统的短视频转到5G新营销”的窗口期和红利期。$$淘宝时期创造出很多淘品牌。淘宝转天
报纸
有机硅泡沫材料因独特的无机-有机杂化结构使其具有良好的阻燃性能、耐高低温性能、化学稳定性,又因含有大量泡孔结构而具有缓冲减震、质量小、隔音隔热、吸声等优良特性,被
基于符号有向图(SDG)的故障诊断具有良好的完备性、易于解释性,但是其不足为分辨率差,因此,提出了基于模糊SDG模型和模糊推理相结合的半定量故障诊断方法。将节点变量变为模糊变量
如今,电力企业的经营发展十分重视税务筹划,因为这关系到企业能否发挥出最大效用,提高其经济效益。税务筹划是电力企业发展的刚性需求,其中离不开环境的影响,在集约化战略环