中国科学院软件研究所计算机科学开放研究实验室

来自中文百科专业版
跳转至: 导航搜索

  中国科学院软件研究所计算机科学开放研究实验室(汉语拼音:Zhongguo Kexueyuan Ruanjian Yanjiusuo Jisuanji Kexue Kaifang Yanjiu Shiyanshi),始建于1993年,1994年12月正式纳入中国科学院开放实验室轨道运行。2001年11月,根据科学院有关文件的精神,改称“中国科学院计算机科学重点实验室”。2002年全国信息科学重点实验室评估中,计算机科学实验室被评为优秀类实验室;2005年,实验室通过国家科技部组织的建设计划论证,开始建设国家重点实验室。2007年,实验室通过国家科技部组织的国家重点实验室建设验收,正式成为国家重点实验室。

  实验室拥有多位中国计算机软件科学事业的奠基人和开拓者,包括三名中国科学院院士。目前,实验室固定人员中有中国科学院院士3人,研究员23人,副研究员8人,助理研究员8人,博士后8人,秘书3人,技术支持1人。

  实验室不仅有多位中国计算机软件科学事业的开拓者,还聘请多位国内计算机界著名专家学者,组成了高水平的学术委员会。按照“继往开来,再创辉煌”的方针,继承老一代科学家的优良学术传统,坚持把研究的质量放在首位,同时以创新求发展,加强队伍建设,顺利实现了学术带头人的年轻化,形成了以中青年为主体、团结合作、学风严谨、充满朝气的研究群体。2004年至2010年,实验室从事软件形式化方法研究的中青年科研骨干获得国家自然科学基金委员会“创新研究群体”持续资助。2006年,实验室被中国科学院北京分院批准为首批中国科学院创建“三优”科技创新团队。实验室非常重视人才的培养,坚持在科研第一线造就青年人才。近三年来共培养博士77名,硕士78名,出站博士后4名,为国家输送了一批高水平的技术骨干。

  在中国科学院和软件所的领导与支持下, 实验室在科学研究方面做了大量的工作,承担了多项国家和省部级重大项目,取得了一批高水平的研究成果。1999年,林惠民的“并发进程的代数理论及验证工具”项目获得国家自然科学奖二等奖;2000年,孙家昶主持的“高性能分布式并行数值代数软件研究与开发”项目获得国家科技进步奖二等奖;2002年,冯玉琳主持的“网络分布软件支撑平台及石化应用示范工程”项目获得国家科技进步奖二等奖;2003年,吴恩华参与研究的“分布式虚拟现实应用系统开发与支撑环境”项目获得国家科技进步奖二等奖;2005年,李明树主持、王永吉参与研究的“软件过程服务技术及集成管理系统”项目获得国家科技进步奖二等奖。另外,2003年,唐稚松院士的专著《时序逻辑程序设计与软件工程》(上、下册)荣获国家图书奖正式奖,以及全国优秀科技图书奖一等奖。

  实验室积极开展与国内外同行的实质性合作,推动各种形式的学术交流,与本领域的许多国际重要科研单位建立了稳定的合作关系。为了促进中国计算机科学领域的基础研究发展,1996年,实验室开始设立开放课题基金,资助国内外同行与实验室进行合作研究。

基础设施

硬件

  实验室刚成立时,在主管部门中国科学院的支持下,购买了一台SUN服务器和六台SUN工作站。随着时间的推移,这些服务器已老化。2000年实验室购买了一台Sun E450服务器。2001年,中国科学院拨给实验室15万美元设备更新费,实验室购买了一台Sun E4500服务器和一批Sun工作站,以及一批高档网络设备,实验室设备得到更新,网络得到升级。此后,实验室又购买了不少高档微机,建立了公用微机网络。

  2005年初,科技部批准建设计算机科学国家重点实验室,主管部门和依托部门在经费上给予大力支持。实验室对所有老化的旧机器及网络设备进行了更新。根据实验室研究工作的需要,为满足大数据大计算量的要求,需要运行速度快、内存容量大的计算服务器。实验室购买了计算服务器IBM x3755、x366及两台HP ML370 G5 ,其中x3755服务器的内存为128GB,并在4路双核处理器系统中提供了极高的内存性能。这些服务器不仅能够满足当前科研人员计算需要,而且可以为其他研究机构的大容量、高速内存访问的应用程序提供有效服务。

  为了更好的满足将来高水平并行算法与软件的研究开发工作需要,更新老化设备,满足更高计算能力需要,实验室购买了一套峰值超过三千亿次的IBM刀片机群。该机群由10个刀片组成,充分利用了IBM刀片中心支持多种处理器混合使用的特点,在一个刀片中心里配备了8片JS21,1片HS21和一片LS21,且全部为2006年新推出的双核处理器,总处理器核数为40,刀片之间以Infiniband快速网络互联。设备建成使用后,在满足并行算法与软件研究需要的前提下,将免费向实验室外研究人员开放使用。

  在数据存储方面添置了一个2T盘阵作为存储服务器,这些服务器由内部网互联,可为科研人员提供一个高速大存储的计算平台。网络设备更新主要为提高网络安全、网络速度以及其稳定性,购买了思科的防火墙交换机及无线网络接入点。无线网络接入点覆盖了整个实验室,可为来访客人随时提供无线联网。防火墙的使用为实验室设备对外开放提供了网络安全保障。

服务器

  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(曙光)天阔 I950

  GPU并行运算服务器

千亿次刀片机群系统

  曙光天阔服务器 S4800A1

  IBM Blad

  IBM 3581磁带自动加载机

网络设备

  思科 PIX-525-UR-GE-BUN防火墙主机

  思科 WS-C4506交换机

专业设备

  Optech ILRIS-36D三维测量仪

  VIVID 910三维数据化仪

软件

  MathWorks MATLAB网络版

  MapleSoft Maple网络版

  Wolfram Mathematica网络版

  Microsoft Visual Studio旗舰版

学术委员会

  名誉委员:

  徐家福(南京大学)

  杨芙清(北京大学)

  孙钟秀(南京大学)

  李未(北京航空航天大学)

  陈火旺(国防科技大学)

  董韫美(中国科学院软件研究所)

  陆汝钤(中国科学院数学研究所)


  主任:

  周巢尘(中国科学院软件研究所)


  副主任:

  陈国良(中国科学技术大学)

  吕建(南京大学)


  委员:

  李祥(贵州大学)

  李华(中国科学院计算技术研究所)

  李明树(中国科学院软件研究所)

  林惠民(中国科学院软件研究所)

  何积丰(华东师范大学)

  应明生(清华大学)

  梅宏(北京大学)

  王戟(国防科技大学)

  金芝(北京大学)

  张林波(中国科学院计算数学与科学工程计算研究所)

  张健(中国科学院软件研究所)

  王文成(中国科学院软件研究所)

学术研究

  实验室以国内外计算机科学技术领域提出的基本问题为背景,面向国家发展软件产业和国家安全的战略需求,开展计算机科学理论和软件基础研究。

并发和实时系统的理论与应用

  研究以并发性、实时性和移动性为主要特征的计算现象,建立和发展描述并发系统和实时系统的行为与性质的模型、理论和逻辑;研究建立在这些模型、理论和逻辑上的技术和方法,探讨这些技术和方法在软件开发、网络系统、生命科学等领域的应用。

软件技术原理

  研究软件开发与分析中的形式化理论、方法及质量保证技术。探索形式描述的新框架和获取方法,研究并发和串行程序的测试与验证算法,并研制相应的辅助工具;探讨互联网环境下的软件中间件理论、核心技术与开发方法,以及软件过程与质量保障的方法与技术。

计算机图形学和人机交互理论与技术

  研究高度复杂场景的真实感成像、大规模场景的实时成像、可视化的信息表达、真实于物理化学等客观规律的仿真运动和变化等的图形建模与绘制方法及技术;研究自然和谐人机交互理论以及笔式交互系统的模型与技术。

并行算法与并行软件

  研究高性能计算机上的并行算法和大型并行软件优化实现技术、大规模高效精细并行数值模拟、大型数值模拟并行计算可视化、非数值并行计算、高性能新算法以及高性能计算机的评测。

参考

  中国科学院软件研究所计算机科学开放研究实验室 http://lcs.ios.ac.cn/wiki/%E9%A6%96%E9%A1%B5