可信计算平台测评理论与关键技术研究

可信计算已经成为国际信息安全领域的新热潮,可信计算平台产品开始走向应用.对于信息安全产品,不经过测评用户是无法放心应用的.本文围绕可信计算平台的测评问题,从建立适合测试的可信计算平台形式化模型入手,建立了一种基于SPA的信任链数学模型,并给出了其复合特性的分析验证方法,通过分析发现远程证明过程存在对可信系统发生安全性危害的潜在因素.针对可信软件栈,研究了其测试用例自动化生成问题,提出一种改进的随机测试用例生产方法,提高了测试用例的质量.最后给出了一种可信计算平台测试原型系统及相关实际测试数据.测试结果表明,该方法发现了现有TCG可信计算平台在设计体系上存在着一些缺陷,同时也发现了若干现有可信计算平台产品存在的缺陷,为可信计算平台技术及产品的改进和发展提供了依据.     

信息安全综述

21世纪是信息的时代．信息成为一种重要的战略资源，信息的获取、处理和安全保障能力成为一个国家综合国力的重要组成部分．信息安全事关国家安全、事关社会稳定．因此，必须采取措施确保我国的信息安全．近年来，信息安全领域的发展十分迅速，取得了许多新的重要成果．信息安全理论与技术的内容十分广泛，但由于篇幅所限，这里主要介绍密码学、可信计算、网络安全和信息隐藏等方面的研究和发展．     

远程证明方法的研究综述

远程证明方法是可信计算理论中一个重要的组成部分，本文追踪该领域的最新发展方向，重点剖析了四大类远程证明模型，并就其优缺点做出了详细的分析，横向上对所有模型进行了比较，从而进一步得到了现有远程证明模型的不足，展望了其未来的发展方向，为该领域的研究奠定了很好的基础.     

我国近期激光前沿若干重要进展评述

结合2012年10月20~21日在北京召开的以"激光前沿"为主题的科学与技术前沿论坛讨论的问题,在概述国际激光发展现状和前沿趋势的基础上,重点评述了我国国内激光领域涉及基础、应用科研以及产业发展的若干前沿进展.以此为基础,对我国激光技术和产业发展,尤其是在激光技术与国民经济密切相关的应用及产业领域提出了多方面的相关发展建议.     

我国稀土材料领域研发态势分析与发展建议

稀土材料(也称为稀土新材料)是将稀土元素融合进其它材料以提高原有材料性能或获得新功能的材料统称,包括稀土永磁材料、稀土发光材料等,是高科技领域广泛使用的战略性材料,也是我国高度重视发展的新兴战略材料之一。为了揭示我国稀土材料研发的全球竞争力,研判我国稀土材料研发的国际地位,本文利用文献计量与专家咨询等方法,从论文产出、合作关系、研究布局、研究亮点等方面出发,选取该领域的国内顶级研究单元与国际领先科研单元进行文献计量学对比,挖掘我国在学科布局、论文质量、科技合作等方面的优势与不足。分析发现,我国稀土论文发表与引用已经处于世界前列,但在学科布局、科技合作等方面仍然存在一些问题,阻碍着我国稀土研究快速发展。针对这些不足,论文从学科布局、战略协同、国际合作、产业转化、团队培养、技术攻关等方面提出发展建议。     

数据驱动储能电池新材料的筛选和设计

数据驱动新材料产业发展是第四研究范式促进材料创新,加快材料应用的多学科多领域交叉融合的技术热点.机器学习(machine learning, ML)作为一种重要的数据驱动方法,其结合第一性原理计算在材料科学、化学、物理学和计算机等跨学科领域展现出巨大的优势,为储能电池新材料的快速发展带来了新的机遇.为帮助研究人员了解这一新兴领域,本文系统地详述了高通量计算筛选和ML在储能电池材料研究中的最新进展,概括和总结了目前国内外应用较为广泛的在线材料数据库,举例介绍了新数据库的多层次构建,分析了目前数据采集方面的一些难点.论文进一步介绍了ML方法在高通量计算筛选、材料性质预测、材料结构与电化学性能构效关系研究和材料设计方面的应用实例,最后分析讨论了当前ML在储能电池领域面临的一些挑战,并展望了该领域的前沿研究.     

量子信息领域的国家战略布局与研发态势分析

近年来,以量子计算、量子通信和量子测量为代表的量子信息领域持续活跃,已经成为基础研究探索、颠覆性技术创新以及未来产业变革的重要发展方向,因此明晰量子信息领域的发展态势,对于我国建设世界科技强国具有重要价值。本文首先介绍了量子信息领域的相关概念与研究现状,其次分析了美国、欧盟、英国、日本、中国的量子战略布局,最后结合论文与专利的多维度计量分析,展示了量子信息领域的研发态势。研究发现：当前量子信息领域正处于迅猛发展阶段,国际科技强国都高度重视在该领域的政策布局、资金投入、人才引育和国际合作等,其中美国最具优势;中国在量子通信及量子计算领域基本跻身核心位置,未来还需要加速实施量子信息领域战略部署、积极引聚育留量子信息科技人才、深度推进量子领域产学研协同创新等。     

基于网络的可信软件大规模协同开发与演化

随着网络时代的来临,软件的开发模式、运行环境和提供方式发生了巨大变化.互联网作为一种开放的协同工作环境,其中孕育的大规模协同创作机理对软件开发和应用产生了深刻影响.如何将其与工业化可信软件生产相结合以提高软件生产效率和质量,是网络时代软件技术面临的新课题.本文提出汇聚群体智慧的可信软件开发新方法——群体化方法,该方法的核心是"群体协同、资源分享、运行监控、可信分析",支持创新软件作品向可信软件产品转化,支持软件的可信演化.提出一种基于证据的可信软件概念模型,将软件在开发阶段、分享阶段和应用阶段的基础数据作为软件的可信证据,并据此建立了软件演化过程模型;提出一种支持可信软件协同开发与演化的服务模型,支持软件创作与生产深度协同的可信软件社会化生产、开放有序的可信软件资源分享,以及基于海量数据分析的软件可信评估.最后以"十一五"国家高技术研究发展计划重点项目"高可信软件生产工具及集成环境"为背景,阐述了面向群体化方法的关键技术、开发环境和应用实践.     

迎接生命科学世纪的挑战——生命科学发展战略调研报告（概要）

文章简要回顾了生命科学20世纪所取得的重大进展和突破,以及新出现的一些发展趋势和学科热点,从生物学、农学、医学和生物技术等四个主要方面,阐述了我国生命21世纪的发展方向和重点研究领域。     

矿产资源领域国际科技发展趋势分析

矿产资源是人类赖以生存和发展的物质基础,对国民经济的发展有着举足轻重的作用.在分析社会经济发展对矿产资源科技的需求的基础上,从世界矿业大国的矿产资源科技计划入手,对矿产资源国际科技前沿领域和重点研究方向以及未来发展趋势等进行了分析、阐述,以期为我国制定矿产资源科技发展战略以及开展相关研究工作提供借鉴．     

人口健康领域科技进展与趋势分析

人口健康是重要的社会民生问题,科技是健康管理的有力保障。技术进步与学科会聚推动人口健康领域不断迈向数字化、智能化、系统化与工程化。本文重点梳理了2018年以来人口健康领域的重要战略规划和政策措施,综述了领域最新进展和重大突破,以把握健康科技领域的发展趋势、关注热点与研究前沿。在此基础上,进一步展望了领域未来发展愿景,并结合国际人口健康领域的发展态势,针对我国人口健康领域的发展提出了相关建议。     

湿地研究进展与展望

湿地研究是当前国际众多学科者关注的前沿热门研究领域。本文在系统回顾了湿地科学研究发展历史上基础上,将湿地研究史划分为四个阶段,即萌芽期、形成期、发展期和鼎盛期,并结合国家目标和学科发展趋势,提出了近期我国湿地科研的六大俦发展领域。     

德国开放数据实践及启示

在新冠肺炎疫情和国际地缘政治的发展变化背景下，开放科学与开放数据的重要性日益凸显。近年来国家日益重视数据资源的管理、开发和利用，其中数据的开放共享是重要的一环。德国是开放数据实践领域积极的先行者，总结分析德国在开放数据实践方面的做法与经验，可以为我国开放数据实践提供借鉴。本研究通过网络调查和文献调研，分析德国联邦政府在开放数据方面的政策和措施，归纳德国在推进数字化转型和基础设施建设的实践经验，在梳理德国开放数据领域理念及实践的基础上，结合中国开放数据面临的发展局限，提出了加强开放数据领域的体系化思考与研究、加强基础设施与平台建设、加强数据开发与安全保障能力建设三点建议，以期为我国开放数据事业的发展提供启示。     

中国空间生命科学的关键科学问题和发展方向

空间生命科学是随着人类空间探索活动,特别是载人空间探索而产生和发展的新兴交叉学科,它涵盖了较为广泛的研究范围.在过去半个多世纪,国际上在该领域取得了许多重要发现和研究成果,不仅支撑了载人空间探索任务,同时也服务了地球人类的生活.随着我国载人航天和深空探索活动的不断发展,特别是我国载人空间站工程的启动,未来20年将是我国空间生命科学发展的黄金时期.基于我国的载人空间站和返回式科学卫星实验平台,开展空间生命科学研究,获取新知识、创新新技术,进一步服务于人类空间探索活动、服务国家经济和社会发展,这就需要我们从学科发展的战略高度,系统深入地进行研究思考.在全面回顾国内外空间生命科学的发展历史及现状的基础上,本文对我国空间生命科学的战略需求、发展方向和关键科学问题等进行了梳理、分析和展望,以期为我国空间生命科学的发展提供思路和借鉴.     

面向21世纪的我国天文学学科发展与优先重点领域

本文讨论了当前国际天文学研究的发展状况与趋势，在对我国天文学研究的现状、特点和优势分析的基础上，提出了面向21世纪的我国天文学学科发展的方向、优先重点领域和相关政策措施。     

基于文献计量的脑科学国际竞争态势分析

为了正确认识我国在脑科学领域的科研与竞争力水平,进而为我国和中国科学院部署脑科学研究计划、推动脑科学快速发展提供有价值的信息和建议,本文在重点分析脑科学领域国际研发竞争态势的基础上,选取中国科学院脑科学与智能技术卓越创新中心、伦敦大学脑科学学院和瑞士洛桑联邦理工学院大脑与心智研究所等三所重要科研单元开展比较分析,包括科研产出和影响力,以及科研团队合作情况等多个指标。研究发现,我国在脑科学领域的研究发展十分迅速,研究质量和影响力也在稳步增长;与国际重要科研单元相比,中科院脑科学与智能技术卓越创新中心呈现出快速发展的态势,已逐渐成为我国和全球脑科学研究的重要力量之一。     

碳中和背景下的国际绿色技术发展态势分析

绿色技术创新是实现绿色发展和碳中和的关键驱动力,正成为全球新一轮工业革命和科技竞争的重要新兴领域.本文调研梳理了主要国家和地区发布的促进绿色技术创新的战略规划,并基于全球绿色技术领域PCT专利的计量和文本聚类方法,分析了国际绿色技术的研发态势.结果表明,全球主要国家十分重视绿色技术战略布局,在工业、能源、交通等多个领域...     

重大科技基础设施领域发展动态与趋势

重大科技基础设施是现代科学研究取得进展和突破必不可少的支撑条件和技术手段。世界各国,特别是科技发达国家,非常重视重大科技基础设施的战略规划、前瞻部署、建设和应用。本文回顾了近年来重大科技基础设施领域世界各国的战略规划、项目部署,以及相关的最新举措,从八个方面分析了现阶段重大科技基础设施领域的国际发展动向和趋势特点,总结了我国近两年来在重大科技基础设施领域的新动向,并从中得到几点启示供决策者参考。     

世界主要经济体碳中和战略剖析及启示

气候变化是当今人类面临的重大挑战,应对气候变化已成为全球共识。在此背景下,本文聚焦美国、英国、法国和日本四国新近发布的碳中和战略报告,从战略目标、实施路径、重点领域、科技政策、金融政策和国际合作等角度,开展对比分析。相关结论包括:碳中和战略涵盖多维度发展目标;产业技术发展和碳减排目标设定是碳中和战略行动的主要措施;高碳排部门是碳中和战略部署的重要改革领域;低成本化和基础研究是碳中和科技政策的重要支持方向;融资有效性是碳中和金融政策的重要制定原则;国际科技竞争加剧是碳中和国际合作的重要背景;政策制定协调性是碳中和进程顺利推进的重要保障。结合我国碳减排面临的困难和挑战,提出我国推进碳达峰、碳中和行动的相关政策建议:深入开展碳中和行动关键领域科技攻关;全面推进绿色技术和产品低成本化;建立健全“双碳”战略政策体系;积极推动碳中和行动国际科技合作。     

洞见科技发展与竞争态势服务科技创新高质量发展

新一轮科技革命和产业变革深入发展,新冠肺炎世纪疫情叠加,加速科技创新步伐并加剧了竞争.全球科技呈现出突破性快速发展态势,国际科技创新环境与竞争格局加速调整,我国科技整体实力也迈向系统性提升新阶段.同时,我国正迈入高质量发展新阶段,科技自立自强成为国家发展的战略支撑,现代化建设对科技创新提出五大战略需求,即科技强国目标需...