计算机科学国家重点实验室（中国科学院软件研究所）的研究领域

中国科学院软件研究所的科研条件~

截至2014年4月，中国科学院软件研究所有正式职工520人，其中院士3名，研究员58名，副研究员及高级工程师102名。国家杰出青年基金获得者3人，中科院百人计划入选者8人。 中国科学院院士： 姓名入选时间董韫美 1993年 周巢尘 1993年 林惠民 1999年 资料来源： 第三世界科学院院士： 姓名入选时间周巢尘 2000年 资料来源： 国家杰出青年基金获得者： 序号姓名获得时间1 冯登国 2000 2 张健 2001 3 李昂生 2003 资料来源： 截至2014年4月，中国科学院软件研究所有软件基础研究部、软件高技术研究部、软件应用研究部和软件发展研究部等4个研究部以及总体部，有国家工程研究中心2个，国家重点实验室1个。 国家工程研究中心：基础软件国家工程研究中心、信息安全共性技术国家工程研究中心 国家重点实验室：计算机科学国家重点实验室 国际交流 根据2016年1月研究所官网信息，中国科学院软件研究所和40多个国家与地区建立密切的学术联系及多种形式的技术合作关系，平均每年邀请和接待国外学术界、企业界人士数百人次。图灵奖获得者Amir Pnueli、Tony Hoare、姚期智等国际著名科学家都曾到中国科学院软件研究所访问讲学，周巢尘院士于1997至2002年担任联合国大学国际软件技术中国科学院软件研究所所长。 中国科学院软件研究所与国际学术团体合作，主办了多种重要国际学术会议。如，面向对象语言与系统技术国际会议、国际信息与通信安全国际会议、首届亚太区万维网技术与应用国际会议、亚洲逻辑和软件工程国际会议、亚洲逻辑会议、APCHI亚太人机界面会议等，与一些国际著名大学、研究机构和公司建立了合作关系。 共建研发培训机构　名称合作机构ISCAS/USC-CSE软件工程联合实验室 南加州大学 ISCAS/UMass-LASER软件工程联合实验室 麻省大学 ISCAS/Altair高性能计算与网格计算软件联合研究中心 ---- ISCAS/UQITEE数据与软件工程联合研究实验室 昆士兰大学 NFS-China/Sun操作系统技术联合实验室 SUN公司 Mozilla中国中心 Mozilla Foundation 微软高技术培训中心 微软公司 资料来源： 院地合作 根据2016年1月研究所官网信息，中国科学院软件研究所与大学、科研机构合作联合承担科研项目、联合培养研究生、联合建立非独立法人研究机构 、联合举办学术会议及各种形式的学术交流，在青岛、哈尔滨等地设立了分部。 院地合作共建研发机构　名称合作机构北京市软件生产和质量保证技术联合实验室 北京科委 工业管理与设计工程研究中心 雅戈尔集团 中国科学院宁波软件开发中心 宁波市科委 江苏中科软件工程技术中心 江苏软件园 资料来源： 分部　中国科学院软件中国科学院软件研究所无锡分部 中国科学院软件中国科学院软件研究所重庆分部 中国科学院软件中国科学院软件研究所哈尔滨分部 中国科学院软件中国科学院软件研究所广州分部 中国科学院软件中国科学院软件研究所青岛分部 　资料来源： 馆藏资源 根据2016年1月研究所官网信息，中科院中国科学院软件研究所图书馆是软件专业特色图书馆，有馆藏中西文计算机科学与软件技术专业文献2万余种，园区IP可访问国家科学图书馆和自行购买的近百种数据资源库。 仪器设备 根据2016年1月研究所官网信息，中科院中国科学院软件研究所构建了多个科学平台，通过中科院仪器设备共享管理平台通用仪器设备实现了公用共享，主要仪器设备如下表所示： 主要仪器设备　　类别仪器设备服务器 HP ML370 G5、IBM System p5 51A、IBM System p5 52A、 IBM x366、IBM x3650、IBM x3755、IBM P720刀片式服务器：IBM BladeCenter JS21、IBM HS21、IBM HS22、IBM LS21机架式服务器：Dawning（曙光）天阔 620r-F、Dawning（曙光）天阔 840、Dawning（曙光）天阔 I950cpu并行运算服务器 千亿次刀片机群系统 曙光天阔服务器 S4800A1 、IBM BladeCenter H刀片中心 工作站 DELL 490、DELL 670、DELL Precision T7500 存储设备 BM DS4300磁盘阵列、IBM 3581磁带自动加载机 网络设备 思科 PIX-525-UR-GE-BUN防火墙主机、思科 WS-C4506交换机 专业设备 Optech ILRIS-36D三维测量仪、VIVID 910三维数据化仪 资料来源：

实验室拥有4700多平方米的科研办公用房，建有一流的科研工作环境。现有网络数据存储分析系统、高性能服务器群、网络处理器开发平台、网络分析测试仪等科研设备2700余台/套，具备千兆级高速网络吞吐、高性能计算和大规模存储能力。

实验室以国内外计算机科学技术领域提出的基本问题为背景，面向国家发展软件产业和国家安全的战略需求，开展计算机科学理论和软件基础研究。 计算机科学基础理论与形式化方法：研究以并发、实时、混成、移动、概率等为主要行为特征的复杂计算系统，建立和发展描述这些系统行为的数学模型理论（形式建模），以及描述这些系统性质的规范理论（形式规约），并研究如何自动或半自动地进行系统验证（形式验证）。　　研究基于网络结构的算法及其复杂性理论，揭示网络新原理，建立网络计算新理论，并应用于网络安全性、健壮性、可控性及在网络智能搜索、网络预测等方面。 软件系统原理及开发方法： 研究程序设计语言的基础理论，探索软件可靠性开发的新框架和新方法，研究面向各种并发程序的分析、验证和测试方法，开发相应的辅助工具，并结合应用实例的研究，提高算法及工具的效率和性能。　　研究基础软件核心技术，研制国产操作系统、中间件和数据库，形成基础软件平台体系，实现我国基础软件产品的自主可控。突破高安全可信、国产软硬件优化适配等操作系统核心关键技术；突破新一代中间件关键技术，为海云计算和物联网提供运行支撑；突破大规模分布式实时主动数据库关键技术，开发分布式实时主动数据库系统。 图形图像与人机交互： 研究动态复杂可视现象的高效图形表达与绘制的理论和方法，面向实践需求的复杂图像处理方法和技术，复杂环境下人机交互的自然感知基础理论和多通道整合方法，以及上下文感知的智能交互技术。 并行与分布计算及可信计算：研究数万处理器的高可扩展并行算法与应用软件，异构的分布式硬件平台，海量数据处理与高性能仿真的计算耦合，以及相关的特征理论、非规则网格、计算流体力学仿真等。　　研究可信计算与信息保障基础理论、关键技术与系统、测评方法与工具，包括：可信计算体系结构、协议设计与分析、认证授权与网络信任、信息对抗与网络保障、可信数据库与云安全、可信系统的测评方法与工具等。 大数据及智能信息处理：研究多源异构大数据的表示方法、度量模型、语义理解机制，包括：大数据抽样方法、异构特征选择、语义相似性计算模型及数据挖掘算法；面向多知识源的语义Web本体集成模型及推理算法；多源异构大数据的可视化方法；实时智能控制调度系统等。

---

计算机科学国家重点实验室（中国科学院软件研究所）的研究领域视频