100190

李梦君(1975-)男湖北云梦人博士副教授CCF专业会员主要研究领域为形式化方法与技术信息安全技术CPU验证;欧国东(1977-)男博士助理研究员主要研究领域为计算机体系结构微处理器设计形式化验证;潘国腾(1977-)男博士副研究员CCF专业会员主要研究领域为计算机体系结构微处理器设计形式化验证. 通讯作者: 国家自然科学基金（61672525）；中国科学院信息工程研究所信息安全国家重点实验室开放课题（2016-MS-21） 随着软件精化验证方法以及Isabella/HOL、VCC等验证工具不断取得进展，研究者们开始采用精化方法和验证工具设计、建模安全协议和验证安全协议源程序的正确性.在介绍Event-B方法和验证工具Isabella/HOL、VCC的基础上，综述了基于Event-B方法的安全协议形式化设计、建模与源程序验证的典型研究工作，主要包括从需求规范到消息传递形式协议的安全协议精化设计、基于TPM（trusted platform module）的安全协议应用的精化建模以及从消息传递形式协议到代码的源程序精化验证. 地址：北京市海淀区中关村南四街4号邮政编码：100190

通讯作者: 控制流劫持攻击利用程序内存漏洞获取程序的控制权 进而控制程序执行恶意代码 对系统安全造成极大的威胁. 为了应对控制流劫持攻击 研究人员提出了一系列的防御手段. 控制流完整性是一种运行时防御方法 通过阻止进程控制流的非法转移 来确保控制流始终处于程序要求的范围之内. 近年来 越来越多的研究致力于解决控制流完整性的相关问题 例如提出新的控制流完整性方案、新的控制流完整性方案评估方法等. 首先阐述了控制流完整性的基本原理 然后对现有控制流完整性方案进行了分类 并分别进行了分析 同时介绍了现有针对控制流完整性方案的评估方法与评价指标. 最后 对控制流完整性的未来工作进行了展望 以期对未来的控制流完整性研究提供参考. 地址：北京市海淀区中关村南四街4号邮政编码：100190

根据教育部和中国科学院大学相关文件规定，坚持公平公正、全面考查、客观评价、科学选拔、宁缺毋滥的原则，从德、智、体等方面全面考查考生的综合素质和能力，现拟定2023年中国科学院大学人工智能学院硕士研究生复试规程。 由人工智能学院肖俊副院长牵头成立招生复试领导小组，明确组长、组秘书、中心组成员，确定复试环节的各项工作任务，一志愿考生与调剂考生的复试方案。 2023年计算机应用技术专业（全日制）、电子信息专业（非全日制）硕士研究生复试，采取现场复试的方式进行，复试地点为中国科学院大学玉泉路校区

建所以来，化学所面向化学科学前沿，取得了一批有重要影响的基础研究成果，原始创新能力不断提升；面向国家战略需求，取得了一些关键核心技术突破，不断加强高技术创新与集成；面向国民经济主战场，形成了一批自主知识产权，延伸创新价值链，不断推进技术示范和产业化。 截止2016年12月，化学所共获得国家及省部级奖励300余项，其中国家自然科学二等奖20项；国家技术发明二等奖1项；国家科技进步特等奖3项，一等奖1项。 在“知识创新工程”、“率先行动”计划和“一三五”规划的推动下，化学所原始创新能力和技术创新能力不断提高

11月26日，2020年全国科学院联盟文献情报服务分会理事会年会在广西南宁顺利举行。本次会议在中国科学院科技促进发展局指导下，由文献情报分会牵头单位中国科学院文献情报中心主办，广西省科学院承办。来自18个省科学院和中国科学院文献情报中心、中科院武汉文献中心、中科院成都情报中心、中科院西北生态研究院以及省科院研究所负责文献情报共享服务的领导、专家和责任馆员、科研人员等近百人参加了会议

2. 中国科学院大学经济与管理学院图书情报与档案管理系 北京 100190 本文系国家社会科学基金重点项目"面向领域知识发现的学科信息学理论与应用研究"(项目编号:17ATQ008)研究成果之一。 摘要： [目的/意义]通过研究科学数据集的知识扩散特征和规律探究其在学科发展过程中的实际作用为科学数据集科技评价及管理政策制定提供参考。[方法/过程]以GEO数据库的数据集和PubMed Central数据库中重用数据集的全文数据为分析对象采用内容分析法结合扩散广度、扩散强度、扩散速度等知识扩散指标对科学数据集的知识扩散特征进行探析

11月7-11日，由人力资源和社会保障部资助，中国科学院电工研究所承办，国家太阳能光热产业技术创新战略联盟协办的“太阳能热发电技术”高级研修班以腾讯会议形式在线成功举办，来自全国企业、高校、科研院所等55家单位的113位学员参加了本次培训。 本次高级研修班为期5天，培训教师由国内7位太阳能热发电领域知名专家和电工研究所研究员王志峰团队的8名科研骨干组成。教师们坚持目标导向、需求导向、问题导向，研修内容围绕太阳能热发电产业、技术、设备、测试、应用等多个环节展开，涵盖“太阳能热发电技术基础知识及其发展现状”“塔式、槽式、线性菲涅耳及碟式太阳能热发电系统及其关键部件技术”“太阳能储热技术”“太阳能热发电站系统设计、仿真及运行维护技术”“太阳能热发电系统及其关键部件性能测试技术”“风光热储综合能源利用技术”等主题进行了详细的讲解和针对性的科研指导

杨嘉墀科技奖评奖工作的开展，对促进我国自动化及航天控制学科发展和原始创新能力的提高，调动广大科技工作者的科技创新精神产生了重大影响。为深入贯彻落实科学发展观，发现和激励科技创新人才，促进万博、航天控制科学技术事业的发展，根据《杨嘉墀科技奖评奖办法》，经杨嘉墀科技奖管理委员会研究，决定开展“第四届杨嘉墀科技奖”候选人推荐与评选工作。 （一）被推荐人的科技成果应以在国内做出的成果为主，被推荐人应为主要完成人或主要贡献者

1．3年以上非标机械设计工作经验，基础知识牢固； 2．熟练运用AUTO-CAD或SOLIDWORKS或PRO/E熟练掌握办公自动化信息系统（电脑操作、OFFICE-2000软件等）； 3．能独立完成非标设备和工装夹具的装配调试； 4．熟悉常用材料性质，表面处理，加工性能等； 5．能独立完成设计，与其他部门工程师合作完成项目； 6．熟悉航天行业生产要求、安全要求及常规规范； 7．责任心强，为人正直，具有团队合作能力。 1．大学本科及以上学历，机械工程、自动化或相关专业； 2．身体健康，年龄不限，户籍不限。 1. 自发布招聘启事之日起，凡符合应聘条件者均可报名； 2. 报名截止日期为2023年2月6日； 地址：北京市海淀区中关村南二条一号 邮编：100190

2018年10月24日，中国科学院国家空间科学中心在北京组织召开了空间科学（二期）地面支撑项目实施方案评审会。中国科学院重大科技任务局、专项总体、航天领域的特邀专家、空间科学一期和二期各卫星工程相关系统的代表共50余人参加了会议。会议由工程管理中心主持