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年计算机应用技术专业(全日制)、电子信息专业(非全日制)硕士研究生复试,采取现场复试的方式进行,复试地点为中国科学院大学玉泉路校区
11月26日,2020年全国科学院联盟文献情报服务分会理事会年会在广西南宁顺利举行。本次会议在中国科学院科技促进发展局指导下,由文献情报分会牵头单位中国科学院文献情报中心主办,广西省科学院承办。来自18个省科学院和中国科学院文献情报中心、中科院武汉文献中心、中科院成都情报中心、中科院西北生态研究院以及省科院研究所负责文献情报共享服务的领导、专家和责任馆员、科研人员等近百人参加了会议
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余人参加了会议。会议由工程管理中心主持
2. 中国科学院大学经济与管理学院图书情报与档案管理系 北京 100190 本文系中国科学院战略研究专项"支撑我国重点产业发展的基础研究布局与关键技术储备研究"(项目编号:GHJ-ZLZX-2020-31-5)研究成果之一。 摘要: [目的/意义] 现有研究进行技术融合差异度测度时仅在分类号层面开展、尚未涉及到分类号背后的技术语义内涵层面,且未对测度方法的效果进行对比,对此,本研究从揭示技术语义的角度进行技术融合差异度测度方法研究和效果比较研究,助力其方法论的完善。[方法/过程] 表示学习技术能够利用海量先验知识计算研究对象的语义差异,因此,提出基于Word2vec和Bert的技术融合差异度测度方法,可以利用专利分类号释义文本和关联专利文本来度量技术融合的差异度,共形成6种测度方法
1) 中国科学院文献情报中心北京市中关村北四环西路33号 100190 2) 中国科学院大学图书情报与档案管理系北京市中关村北四环西路33号 100190 【目的】 总结参加第八届两岸期刊研讨会暨期刊展感受思考在数字化与新媒体时代期刊发展面临的问题与对策。【方法】 通过研讨交流、实地调研等方式认识近些年期刊领域的发展变化与挑战。【结果】 在数字化新媒体环境下两岸期刊近些年发展面临相同的处境、困惑与挑战但数字化与新媒体也给期刊发展带来了新的发展机会