摘要:作为支撑比特币实现无中心高可信的账本管理的技术，区块链在金融领域得到了广泛关注.区块链实现了不完全可信环境中的可信数据管理，具有去中心化、防篡改、不可抵赖、强一致和完整性等特性，但同时也存在高延迟和低吞吐率的性能问题.在互联网技术发展、新型应用层出不穷的大背景下，借鉴区块链在数字加密货币应用中 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:软件定义网络（software-definednetworking，简称SDN）遵循控制转发分离的设计原则，其控制平面采用集中的控制逻辑，在提供灵活、高效的网络控制的同时，也面临着严重的可扩展性问题.对SDN控制平面可扩展性相关工作进行了综述.首先，分析了控制平面可扩展性的影响因素并给出改善思 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:当前，互联网是基于目的地址转发，对源地址不作验证.而互联网很多安全问题的根源在于源地址的不可信.另一方面，随着互联网规模和复杂度的增大以及对政治、经济利益影响的加深，域间路由系统对互联网的稳定运行起着愈发关键的作用.美国国土安全部将域间路由安全问题列入了美国信息安全的国家战略.近年来，以IP源 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着5G移动通信技术、软件定义网络、命名数据网、移动边缘计算或雾计算等新兴技术或方法的出现及深入研究，物联网应用得到进一步升华.在这种应用场景多样化、服务质量高要求、参与对象普及化的环境下，隶属物联网子范畴的传统无线传感器网络数据转发模型已经不能完全适应这种时代需求，更加适合物联网应用的数据转 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02http://124.16.138.151/signin ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02近日，中国科学院软件研究所软件工程技术研究开发中心在Python程序构建中的依赖分析推断方面取得研究进展，该研究提出了知识驱动的Python程序依赖推断方法及工具,帮助开发人员提高代码复用效率，减少依赖缺失和依赖版本错误导致的Python程序构建和运行错误，为提升开发运维一体化中的应用构建自动化能力 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02近日，中国科学院软件研究所软件工程技术研究开发中心在微信小程序缺陷理解与检测研究方面取得进展。该研究从代码层次全面分析微信小程序缺陷的特性，帮助开发人员理解微信小程序缺陷产生的根本原因、后果及修复策略等，提出了面向微信小程序的缺陷检测方法及工具，将大副提高开发人员设计研发微信小程序的可靠性，对推动微 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-0212月24日，中国科学院软件研究所杨立高级工程师领导的智能化软件系统工程团队在第二届北京移动5G应用创新大赛中获得高校组二等奖。由团队成员研究生江华禧、李梦晗等组成的精准计算队参加了此次比赛。 团队针对现有在线学习方式中普遍存在的选择困难、时间冲突、内容琐碎、难以关联理解等问题，设计并实现了“提要 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-0212月17日，在中国计算机大会（CNCC2021）召开期间，中国计算机学会（CCF）颁奖典礼隆重举行。中国科学院软件研究所与中国人民大学合作完成的成果“高精度智能化的软件分析与测试方法”获2021年度CCF科学技术奖自然科学一等奖。软件所主要完成人为计算机科学国家重点实验室张健研究员、严俊研究员、蔡 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02近日，中国科学院软件研究所在支持编程语言中正则表达式非经典特性的字符串约束求解研究方面取得进展，提出了带权重的流字符串转换器的新自动机模型，对正则表达式的非经典特性进行形式建模，并根据该模型设计了新的字符串约束求解算法，研制了国际上第一个支持对编程语言中正则表达式非经典特性进行推理的字符串约束求解器 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02近日，中国科学院软件研究所计算机科学国家重点实验室图形图像团队在数字几何处理与建模领域取得进展。该研究针对三维模型上叶状结构的快速计算问题，提出使用多重网格法算法（multigrid），大幅提升了叶状结构生成的计算速度，确保了生成计算的收敛性，这将很好地促进叶状结构的实际应用。相关成果以A mult ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02近日，中国科学院软件研究所智能软件研究中心武延军、吴敬征课题组在基于深度神经网络的静态代码分析研究中取得进展。该团队提出了基于多类型和多粒度的语义代码表示学习模型——MultiCode，解决了工业场景中涉及多需求的开发任务时面临的开发开销大、模型集成困难、可扩展性受限等问题，实现了在多需求工业场景下 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02在2020年度北京市科技奖励评选中，中国科学院软件研究所参与完成的项目“科技期刊一体化融合出版关键技术研究与产业化应用”荣获北京市科学技术进步奖二等奖。 主要完成单位包括：北京仁和汇智信息技术有限公司、中国科学院文献情报中心、中国科学院软件研究所、中国科学院自动化研究所、中国科学院物理研究所。 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02近日，中国科学院软件研究所互联网软件技术实验室在开源社区群智挖掘研究中取得进展。该研究面向开源社区中的开发者，针对开发者实时聊天内容中大量有价值的“问题-解决方案”信息，提出了一种多层次模型——面向群智的问题及解决方案自动提取技术（ISPY），有效构建了“问题-解决方案”（Issue-Solutio ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02普适计算领域的国际顶级学术会议ACM UbiComp (International Joint Conference on Pervasive and Ubiquitous Computing) 2021年度大会于9月21-26日在线上召开。论文“Exploring LoRa for Long-ra ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02近日，形式化验证顶级会议CAV 2021会议公布了第十六届国际可满足性模理论比赛(SMT-COMP 2021)比赛结果。中国科学院软件研究所计算机科学国家重点实验室蔡少伟研究员与其学生李博涵、张昕荻研发的求解器荣获整数差分逻辑(QF_IDL)组冠军，这是中国团队首次在SMT-COMP比赛中获得冠军。 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02近日，中国科学院软件研究所陈海明团队在正则表达式拒绝服务攻击（ReDoS）漏洞检测与修复技术上取得重要进展，设计研发当前最先进ReDoS漏洞检测工具——ReDoSHunter，提出首个抗ReDoS漏洞正则表达式修复工具——FlashRegex，不仅解决了静态与动态ReDoS检测工具的局限性，实现了正 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02近日，中国科学院软件研究所张振峰团队与新泽西理工学院唐强团队在区块链核心技术——拜占庭容错（BFT）共识研究中取得突破，提出了首个完全实用的异步共识算法——小飞象拜占庭容错（DumboBFT）算法，该成果《Dumbo: Faster Asynchronous BFT Protocols》发表于网络安 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02在日常购物时，我们不妨畅想一下未来商超的购物场景：无需结算台，消费者取下产品的同时，商品识别算法就可以完成自动结算；无需货架管理员，智能货架管理技术可以实时动态监测商品数量变化，并自动完成数据分析。实现这种智能化消费方式的核心难点在于解决目标检测计数联合任务领域中的遮挡问题。 近日，中国科学院软件 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02在2019年度北京市科技奖励评选中，中国科学院软件研究所参与完成的四项成果获奖。其中，“高安全低功耗嵌入式系统芯片技术及应用”、“航天嵌入式软件可信保障关键技术和应用”两个项目荣获“2019年度北京市科学技术奖一等奖”，“面向物联网大数据的智能服务平台关键技术及应用”、“基于国产基础软硬件的交通行业 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02近日，中国科学院软件研究所互联网软件技术实验室研究员王青指导的博士生刘哲在ACM学生研究竞赛（The ACM Student Research Competition at ASE 2020）荣获研究生组第一名。 该比赛在第35届IEEE/ACM自动化软件工程国际会议（ASE 2020）期间举行， ...
中科院软件研究所 本站小编 Free考研考试 2022-01-028月26日，首届中科院“先导杯”并行计算应用大奖赛圆满结束，中国科学院软件研究所并行软件与计算科学实验室高性能计算团队荣获基础算法赛道一等奖。获奖团队由四名研究生组成，分别是：岳星言、张宠、李子薇、曹子健，指导老师为软件所助理研究员孙乔、赵慧，团队历经近五个月的奋战，最终在激烈的角逐中脱颖而出。 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02近日，软件所智能软件研究中心在人工智能基础理论方面取得进展，在树形神经网络、风格迁移模型、小目标计数具体问题上提出了新的解决方案。相关研究成果发表在人工智能领域国际顶级会议CVPR 2020、ECCV 2020、ACM MM2020上，并受邀完成了线上学术报告，相关代码已经开源，供国内外研究人员参考 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02安捷（Agilor）实时数据库系统是由中国科学院软件研究所研发的具有完全自主知识产权的大型分布式实时数据库系统。安捷数据库系统能够通过毫秒级的数据采集、实时规则推理、复杂事件处理和人机智能融合，采集和存储来自各种控制系统和现场总线的设备状态与生产过程数据，实现海量实时数据的高效存储管理，为企业提供集 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02近日，中国科学院软件研究所互联网软件技术实验室团队在上下文感知的众测人员推荐方面取得新进展，研究针对众包测试（简称众测）环境下的资源配置问题，提出了一种能够动态优化人员配置、提升测试效率、加快众测过程、提升众测平台成本效益的众测人员推荐新方法。相关工作以Context-aware In-proces ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02在2019年度云南省科技奖励评选中，中国科学院软件研究所参与完成的“云南及周边国家边境地区登革热流行特征与防控关键技术研究及应用”项目获云南省科学技术进步奖一等奖。 该项成果完成单位包括云南省寄生虫病防治所、中国医学科学院医学生物学研究所、首都医科大学基础医学院、中国科学院软件研究所、西双版纳傣族 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02区块链技术作为数字经济发展的重要基础，受到高度重视。2019年10月24日，中共中央政治局就区块链技术发展现状和趋势进行第十八次集体学习。习近平总书记在主持学习时强调，我们要把区块链作为核心技术自主创新的重要突破口，明确主攻方向，加大投入力度，着力攻克一批关键核心技术，加快推动区块链技术和产业创新发 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02ACM CHI (ACM CHI Conference on Human Factors in Computing Systems)是人机交互领域顶级国际学术会议(CCF-A)。ACM CHI 2021将于5月8号到13号举行线上会议（原定于日本横滨），大会共收到论文投稿2844篇，最终录用率约为2 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-021月8日，中英科技与创新新年招待会暨2019“牛顿奖”中国颁奖典礼在英国驻华大使馆官邸举办。英国驻华大使吴百纳宣布了中英合作项目“将服务设计和大数据技术转化为可持续城市化”（Transforming Service Design and Big Data Technologies into Sust ...
中科院软件研究所 本站小编 Free考研考试 2022-01-021月6日，科技部对发展中国家常规性科技援助项目“中老重大虫媒传染病智能化监测预警平台建设与示范”启动会在中国科学院软件研究所召开。该项目由软件所牵头,联合老挝卫生部传染病控制司、云南省寄生虫病防治所、中科软科技股份有限公司共同承担。科技部中国科学技术交流中心处长呼万丽，老挝人民民主共和国卫生部传染病 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02中国科学院软件研究所的“安全认证协议基础理论与方法研究”项目荣获2019年中国电子学会科学技术奖自然科学一等奖，主要完成人包括：冯登国、邓燚、张振峰、徐静、张江。 该项目围绕安全认证协议的若干重要基础问题开展了前沿性和前瞻性研究，取得了国际上有重要影响的理论和应用成果。提出原创性的实例依赖密码学原 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02ACM CHI (ACM CHI Conference on Human Factors in Computing Systems)是人机交互领域顶级国际学术会议(CCF-A)。ACM CHI 2020将于4月25号到30号在夏威夷Honolulu举行，大会共收到论文投稿3126篇，最终录用率约为2 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-0212月27日，2021年中国科技论文统计结果发布会通过网络直播举行，会议正式发布“2020年百种中国杰出学术期刊”名单。《软件学报》荣获2020年度“百种中国杰出学术期刊”。这是《软件学报》第19次入选“百种中国杰出学术期刊”。 2001年中国科学技术信息研究所公布第一届中国百种杰出学术期刊名单， ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02为使2021年入所的新员工更好地了解国情党史、院情所情，树立正确的人生观价值观，尽快融入并迅速投入到科研工作中，2021年12月13日至12月15日，软件所组织2021年新入所的120余名员工开展了为期3天的新员工培训。 由于国内新冠疫情或有反复，为减少大规模人群聚集的风险，本年度新员工培训取消现 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-022015年，习近平总书记在第二届世界互联网大会首次提出“构建网络空间命运共同体”理念，深入阐释互联网发展治理“四项原则”、“五点主张”，得到国际社会普遍认同。世界互联网大会将“携手构建网络空间命运共同体”确定为永久主题，并致力于促进各方开展实践探索与交流合作。2021年，世界互联网大会上举行了首次“ ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02国家“十三五”科技创新成就展于2021年10月21日至27日在北京展览馆举行。展览以“创新驱动发展迈向科技强国”为主题，体现“创新是引领发展的第一动力”，全面展示“十三五”以来，贯彻落实党中央和国务院关于科技工作的重大决策部署，深入实施创新驱动发展战略、建设创新型国家所取得的重大成就。 中国科学院 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-029月26日，由中国科学院主办，中国科学院软件研究所等单位协办的“开源生态论坛”在“2021年世界互联网大会”期间成功举办。本次论坛通过线上+线下方式，邀请中外院士、政产学研界代表，围绕“共建开源生态，创新引领未来”这一主题，共同探讨开源生态要素价值和开源创新融合发展的趋势。全国人民代表大会社会建设委 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-029月8日，中国科学院软件研究所举办了2021年度学术年会。本次会议采用了现场和线上直播相结合的方式进行，软件所学术委员会主任林惠民院士，党委书记、副所长操云甫以及所内外专家****共150余人参加了现场会议，350余人观看了直播活动。大会由程序委员会主席、软件工程技术研究开发中心研究员魏峻及并行软件 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-029月6日，可持续发展大数据国际研究中心（International Research Center of Big Data for Sustainable Development Goals-CBAS）成立大会暨2021年可持续发展大数据国际论坛开幕式在北京举行，宣告全球首个以大数据服务联合国203 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-025月25日下午，由中国科学院软件研究所承办，贵阳信息技术研究院和北京市大数据中心协办的“区块链—数字经济发展的基石”主题专业论坛在贵阳举办。贵州省人民政府党组成员郭锡文，软件所所长赵琛，中国科学院外籍院士、ACM Fellow、爱丁堡信息学院主任教授樊文飞为论坛致辞，软件所党委书记、副所长操云甫主持 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-023月23日，软件所举行了2020年度工作总结考核会。所领导、院士、各中心/实验室负责人、公共创新平台负责人、管理支撑部门负责人、特邀报告人以及职工代表共70余人参加了总结考核会。 此次交流和考核是软件所2020年度工作的全面总结。各部门负责人就本部门2020年度的重点工作、代表性成果、社会影响力、 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02近日，中国科学院软件研究所航天软件测评中心（以下简称航天软件测评中心）顺利通过中国合格评定国家认可委员会（CNAS）认可审核，获颁实验室认可证书。 自2020年3月以来，航天软件测评中心积极与CNAS工作人员沟通协调，紧密结合本中心工作实际，克服成立时间短、项目经验少等困难，扎实有序推进各项准备工 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02近日，中国科学院软件研究所张振峰团队与新泽西理工学院唐强团队在区块链核心技术——拜占庭容错（BFT）共识研究中取得突破，提出了首个完全实用的异步共识算法——小飞象拜占庭容错（DumboBFT）算法，该成果《Dumbo: Faster Asynchronous BFT Protocols》发表于网络安 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-021月26日，中国科学院软件研究所航天软件测评中心（以下简称航天软件测评中心）获得由国家认证认可监督管理委员会颁发的《检验检测机构资质认定证书》，标志着该中心正式获得了为社会出具相关检验检测报告或证书的行政许可。 航天软件测评中心经中国科学院软件研究所批准，于2020年3月19日成立。自成立以来，航 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-021月27日，软件所召开了管理支撑部门工作人员2020年度考核交流会。党委书记、副所长操云甫，党委副书记、纪委书记李衡，以及管理支撑部门全体人员参加了考核会。为满足疫情防控要求，考核会设置了主会场和视频分会场，同时进行。来自各部门共52名工作人员就个人2020年度的工作完成情况及重点和亮点进行了汇报。 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-0212月24日，由中国电子技术标准化研究院、中国软件行业协会、绿色计算产业联盟主办，华为技术有限公司、中国科学院软件研究所等协办的操作系统产业峰会在京成功举办。工业与信息化部信息化和软件服务业司司长谢少锋，中科院院士、CCF理事长梅宏等嘉宾出席会议并发表致辞。 会议宣布，国内第一个Linux操作系统 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-0212月17日，中国—东盟信息通信创新论坛在昆明举办，应云南省工信厅和论坛组委会邀请, 中国科学院软件研究所软件发展研究部副主任张凤军应邀参会并作“澜湄次区域虫媒传染病联防联控平台”建设情况的报告。 “澜湄次区域虫媒传染病联防联控平台”平台是软件所积极响应国家“一带一路”倡议，牵头并携手云南省寄生虫 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-0212月1日下午，在软件所7号楼413会议室举行了第三批科研财务助理资格证书颁发仪式，同时召开了科研财务助理交流座谈会。会议由总会计师、财务资产处处长陈柳惠主持，党委书记、副所长操云甫、人力资源处副处长顾鹏、科技处副处长张瑢、财务资产处副处长刘琛、财务资产处副处长蒲洁宁及参与本次考试的科研秘书们参加了 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02为了更好地服务科研，加强财资部门与科研部门之间的联动，落实“放管服”政策，保证科研经费支出合理合规，11月23日，软件所财务资产处举办了面向全所的科研财务政策培训会。此次培训会是“走进科研部门，解读财务政策”的系列活动之一，各部门科研人员、科研财务助理以及管理支撑部分人员共80余人参会。 会上，总 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-0211月14日至15日，开源软件供应链2020峰会在南京举行。本次峰会由中国科学院软件研究所、openEuler社区主办，中科院软件研究所南京软件技术研究院承办，南京市麒麟科技创新园管委会指导，华为技术有限公司赞助。峰会主题为“共献·开源”，包括1个主论坛、7个分论坛以及1场学生专题报告，来自全国各地 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19
平常需要几十块钱一本的电子书，开了VIP会员任您畅读。VIP会员均可免费使用本站在售的万余种考研考证基础类产品（电子书、题库、视频课程、全套资料等）。万种考研考证电子书、题库、视频随便看，每本不到一分钱。产品涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...半年VIP购买 本站小编 Free壹佰分学习网 2022-09-19
