中国科学院软件研究所 - DGSO百科

中国科学院软件研究所 百科内容来自于: 百度百科

中国科学院软件研究所成立于1985年3月1日,是一个以计算机科学理论和应用研究为基础、以计算机软件研究开发和高新技术的产业建设为主导的综合性基地型研究所。

简介

中国科学院软件研究所成立于1985年,前身是中国科学院计算技术研究所的软件研究室。1995年原中国科学院计算中心计算机应用部分并入软件所;2003年1月,软件园区综合管理服务中心整建制划归软件所管理;2012年7月,信息安全国家重点实验室划归中国科学院信息工程研究所。英文全称是Institute of Software Chinese Academy of Sciences,英文简称是ISCAS。
第一任所长 许孔时研究员 1985年2月至1994年7月,
第二任所长 冯玉琳研究员 1994年7月至2002年7月,
第三任所长李明树研究员 2002年8月至今
中国科学院软件研究所,是一个以计算机科学理论和应用研究为基础、以计算机软件研究开发和高新技术的产业建设为主导的综合性基地型研究所。软件所的科研体系分为软件基础研究、软件高技术研究和软件应用研究三大部分,设有总体部及十几个研发部门(实验室、中心)。
中国中文信息学会、中国软件行业协会数学软件分会、中国密码学会密码算法专业委员会等挂靠在研究所;研究所主办的学术刊物有《软件学报》、《中文信息学报》和《计算机系统应用》。
中国科学院知识创新试点工程以来,软件所在计算机科学和软件领域取得了丰硕成果,获院、部级以上成果奖23项(全部为第一
中国科学院软件研究所 中国科学院软件研究所
完成单位),其中包括国家自然科学奖一等奖1项、二等奖2项、三等奖1项;国家科技进步奖二等奖4项、三等奖2项。国家自然科学奖设立至今,计算机领域唯一的1项一等奖出在软件所。
从五位筹建者,到现在的千余名师生员工;从借用房间做研究,到如今拥有三栋科研楼和无锡、重庆、哈尔滨、广州、青岛、贵阳六处研究所分部研发基地;从最初44万元年度经费,到现在每年超过2亿元的年度经费;从仅有两台16位微型计算机,到如今形成了以多个重点实验室、工程研究中心为龙头的基础前沿研究、软件高技术研究和软件应用研究三大科研体系,建立了计算机科学、计算机软件、计算机应用技术等重点学科领域和相关学科方向的学科布局。

院士名人

中国科学院软件研究所 中国科学院软件研究所
董韫美,我国计算机软件先驱者之一,在软件理论、技术、工具和汉字信息处理等多个领域做出了系统的、创造性的贡献。1936年3月生于云南昆明,1956年毕业于吉林大学,同年进入中国科学院计算技术研究所工作。1983年起为研究员,1984年任博士生导师,1985年起到软件所工作。1990年被授予“中国科学院优秀研究生导师”称号。已培养硕士、博士研究生20多人。1993年当选为中国科学院院士。曾获中国科学院科技进步奖一等奖和国家科技进步奖二等奖,发表论文30余篇。上世纪六十年代初至中期,主持研制出了国内最早的实用高级程序语言BCY,并在119机、109机、015机等机器上实现了相应的编译程序及其他系统软件。其后的工作包括形式语言理论、编译技术和软件工具。 1978-1980年,首先提出用计算机设计高质量汉字字形的参量图形学方法,解决了有关的实现技术,建立了实验系统,后又发展成汉字字形设计系统。八十年代中期以来率先在国内开展软件复用技术研究。在形式规约知识的获取与复用研究中,提出通过机器学习获取规约的MLIRF方法和有关的实现技术,提出上下文无关语言上的递归函数理论。从事软件规约与软件设计方法研究。
中国科学院软件研究所 中国科学院软件研究所
周巢尘院士,我国分布式程序设计理论研究的先驱者和开拓者之一,提出的时段演算,为实时系统的形式化设计和验证做出了开创性的工作,得到国际同行的公认,已经带动了国际上二十几个国家的科学家参与这一方面的研究。1997年8月至2002年9月间任联合国大学国际软件技术研究所所长。
林惠民院士,长期从事并发理论及形式化方法的研究。他设计并实现了世界上第一个通用的进程代数验证工具;与国际同行合作提出、并独立发展了传值并发进程的“符号互模拟”理论;解决了π-演算和时间自动机的有穷公理化问题。这些成果已为国内际同行在公开发表的文献中所广泛引用。
胡世华院士(1912-1998),我国数学的分支——数理逻辑的奠基人、计算机科学的开拓者。在数理逻辑、基础数学和计算机科学等领域开展了多方面深入的研究工作,取得了多项富于开创性的科学成果,建立了多项科学概念、理论和定理:建立了一些多值逻辑系统;创建了字上递归函数论;提出了构造简单功能很强的核函数概念,并应用于字上递归函数的范式;提出了程序(算法)语言的描述方法和“原形文法”概念和理论;发表了高水平的论文四十余篇,有的结果被国外同行写进书中或在文章中引用;与他人的合著《数理逻辑基础》上下册,于1988年被评为国家教委高等学校优秀教材。
  
中国科学院软件研究所 中国科学院软件研究所
唐稚松院士(1925-2008),计算机科学与软件工程专家。60年代中从事自动机理论研究,证明计算机转移命令的许多结构性性质,如转移命令可用循环代替,它比Bohm-Jacopi定理早一年。70年代中从事结构程序设计与结构化语言的研究,推动了国内这方面工作的开展。80年代初开始从事时序逻辑语言XYZ/E及以它为基础的软件工程工具与环境系统XYZ系统的研究,将时序逻辑理论与软件工程技术有机结合起来,以提高软件开发自动化的水平,从而提高其生产率。其中时序逻辑语言XYZ/E是世界上第一个可执行的时序逻辑语言。

创办企业

科研体系

总体部

软件基础研究部

计算机科学国家重点实验室
林惠民 林惠民
计算机科学实验室成立于1993年,于1994年12月经中国科学院批准正式对外开放,于2001年11月更名为国科学院计算机科学重点实验室。2005年3月,国家科技部正式批准建设计算机科学国家重点实验室。
实验室以计算机科学技术领域提出的基本问题为背景,面向国家发展软件产业和国家安全的战略需求,开展计算机科学理论和软件基础研究。
实验室在2002年全国信息领域重点实验室评估中,被评为“优秀”。实验室成员曾获得国家自然科学奖一等奖一项、二等奖两项,以及国家科技进步奖二等奖多项。2006年,实验室被中国科学院北京分院批准为首批创建“三优”科技创新团队。实验室从事软件形式化方法研究的中青年科研骨干获得了2004年度国家自然科学基金委员会“创新研究群体”资助。
实验室积极开展与国内外同行的实质性合作及各种形式的学术交流。实验室拥有多位我国计算机科学和软件事业的奠基人和开拓者,包括3名中国科学院院士
实验室积极开展各种形式的学术交流和与国内外同行的合作。实验室多次主办、承办国际会议。实验室积极邀请国内外知名学者来访进行学术交流,其中包括图灵奖获得者Robin Millner、Tony Hoare、Amir Pnueli、姚期智等教授。实验室成员也积极出访,参加国际、国内的学术会议,在国内外学术机构举行报告会,开展交流。
实验室专门设立了开放课题基金,欢迎国内外同行申请,与实验室成员开展合作研究。
并行软件与计算科学实验室
面向计算科学研究的前沿方向,选择对国民经济发展有重大意义的应用项目为背景,致力于并行计算方法的基础研究以及并行软件的研究开发,解决并行计算环境下高性能科学计算的关键技术问题,为我国高性能计算机的研制和应用做出重要贡献。
主要研究方向:
  1.数值计算
  1)高性能快速算法基础研究
  2)万亿次并行数值模拟算法和软件平台、性能测试、评价和分析关键技术研究
  3)百万亿次高效能计算平台高可扩展基础并行算法研究
  4)基于层次存储的并行计算模型研究
  2.非数值计算
  1)生命科学高性能计算
  2)开源机群并行数据库中间件研究开发
  3)海量数据的高效率压缩和查询研究
  3.高性能数学库
  面向国产处理器性能优化高性能数学库研究开发
可信计算与信息保障实验室
可信计算与信息保障实验室面向国家信息技术“可信、可控”的战略需求,开展可信计算与信息保障基础理论研究与关键技术攻关。
实验室在“立足创新,追求卓越”的方针指导下,面向国际学科前沿,突破和创新可信计算与信息保障理论和方法,引领可信计算与信息保障学术发展方向;面向国家发展战略,攻关可信计算和信息保障核心技术和系统,为国家网络空间信息保障体系建设提供技术支撑;面向社会发展需求,培养高端可信计算和信息保障技术专业人才。
实验室现有固定人员30人,流动人员80余人,其中国家杰出青年科学基金获得者1人,“百人计划”人才1名。实验室凝聚了一批充满活力的中青年专家,形成了算法、协议、可信计算、认证授权与网络信任、可信系统与系统保障、可信网络与网络保障、可信存储与云安全、算法与协议测评、网络与系统测评等研究工作组。
实验室承担了国家重点基础研究发展规划、国家高技术研究发展计划、国家自然科学基金,以及中国科学院、国家发展和改革委员会、工业和信息化部、公安部、国家密码管理局等部委的重要项目,取得了一系列具有国际先进水平的优秀科研成果,曾获得省部级以上科技奖励10余项,其中国家科技进步二等奖3项,省部级一等奖6项。
主要研究方向:
1、 可信计算与信息保障基础理论:体系结构、算法设计与分析、协议设计与分析
2、 可信计算与信息保障关键技术与系统:可信计算模块与平台、认证授权与网络信任、可信操作系统与系统保障、信息对抗与网络保障、可信数据库与云安全
3、 可信计算与信息保障测评方法与工具:算法与协议测评方法与工具、软件测试与逆向分析方法与工具、可信计算测评方法与工具、网络与系统脆弱性分析方法与测评工具
  

软件高技术研究部

基础软件国家工程研究中心是国家发展改革委员会批复(发改高技[2005]425号)由中国科学院软件研究所负责组建, 中科方德软件有限公司是基础软件国家工程研究中心的项目法人单位。公司由中国科学院软件研究所联合用友软件股份有限公司、上海和勤软件技术有限公司、深圳因泰克计算机技术有限公司、福建新大陆电脑股份有限公司、无锡滨湖科技创业投资有限责任公司等在国内相关领域具有技术优势、市场优势、资金与管理优势的科研单位和企业出资组建。
公司董事会组成:董事长李明树(中科院软件所所长),副董事长王文京(用友软件董事长、总裁),副董事长李汉生(上海和勤软件董事长、总裁),董事、中科方德总裁张庆源,董事、中科方德高级副总裁赵琛(中科院软件所总工),董事、中科方德副总裁刘兵以及董事林学杰(福建新大陆电脑公司总经理)、沈宁宁(无锡市滨湖区副区长)、操云甫(中科院软件所所长助理)。
基础软件国家工程中心肩负国家基础软件创新发展使命,面向国家战略需求、面向世界科技前沿,从事基础软件领域关键技术研究和产品开发,致力于建设自主基础软件平台体系和应用解决方案,发挥其在基础软件技术上的引领、示范和带动作用。
中科方德作为基础软件国家工程研究中心的产业化服务实体,将秉承“创新求实、开放联合,创新打造精品、服务造福用户”的宗旨,打造可信基础软件服务旗舰,服务国家行业信息化建设,打造百年方德。
成员企业:
中科方德软件有限公司、深圳中科方德软件有限公司、无锡中科方德软件有限公司、重庆恩菲斯软件有限公司、黑龙江中科方德软件有限公司、青岛中科方德软件有限公司
软件工程技术研究开发中心
软件工程技术研究开发中心成立于1997年(原名对象技术中心,2001年更名为软件工程技术研究开发中心),学科方向为网络分布计算和软件工程,主要从事以中间件为核心的网络分布式软件基础支撑技术的研究,在分布对象模型,中间件体系结构和支撑环境,以及软件工程的最新技术前沿方向上开展研究工作。
中心现有人员共110人,其中研究员5人,副研究员/高级工程师4人,中、初级研究开发人员19人,其余为博士后、博士生和硕士生共80余人。
中心先后承担了国家自然科学基金、国家基础研究规划(973)、国家高技术发展计划(863)、国家科技攻关及中科院知识创新工程等项目/课题几十项,取得丰硕的研究成果,获国家科技进步二等奖1项,中国科学院科技进步一等奖1项,研制开发了网络软件基础架构平台—网驰平台(ONCE,Open Network Computing Environment)。
网驰平台针对网络化应用发展趋势,结合我国网络应用现状和国家需求,提供支撑国民经济和社会信息化应用的系列关键技术和软件,支持网络化应用的高效运行、快速开发、有效集成和灵活部署。网驰平台提供Web应用服务器OnceAS、消息通信中间件OnceMQ、事务处理中间件OnceTX、数据集成中间件OnceDI、XML解析器OnceXMLParser、SOAP引擎OnceSOAPExpress、统一服务调用框架OnceUSIS、流程集成中间件OncePI、信息门户系统OncePortal等9个中间件系统,取得软件著作权50余项。网驰平台软件和技术已在航天、航空、核电、汽车、保险、数字电视等国家重点领域和重点工程,中组部、商务部、08奥运等政府部门,以及一批不同规模的软件企业得到了广泛应用,取得了经济效益和社会效益。
中心与欧、美著名高等学校和学术机构,以及香港理工大学香港科技大学等进行学术交流合作和联合培养博士生。
人机交互技术与智能信息处理实验室
人机交互技术与智能信息处理实验室成立于1999年1月11日,致力于人机交互领域技术创新研究与开发。
自成立以来,实验室承担完成了近二十项国家级重点课题,其成果分别获得国家科技进步二等奖1项,中国科学院科技进步一等奖1项,中国石化科技进步一等奖1项;在国内外学术刊物上发表论文200余篇,其中多篇论文发表在相关领域顶级国际学术会议(ACMCHI,ACMIUI,IEEERTSS等)上。另一方面,实验室自主研发的大型实时数据库系统Agilor,在国内外得到广泛应用。
实验室重视国内外学术交流和科研队伍的建设,现有职工23名,其中高级研究人员8名,中级研究人员10名;博士/硕士研究生52名(含留学生1名)。

软件应用研究部

天基综合信息系统重点实验室
一、发展历史
天基综合信息系统重点实验室隶属于中国科学院软件研究所。由原来的通用软件实验室发展而来。
二、实验室研究机构组成
实验室下设五个主要研究方向:总体集成与仿真技术、组网与通信技术、信息安全与应用技术、嵌入式与信息处理技术及专项应用技术。
卫星导航技术国家工程研究中心分中心
软件研究所参与组建了卫星导航应用国家工程研究中心。中心以提高国家卫星导航应用产业的持续创新和核心竞争能力为战略发展目标,构建导航基础产品技术研发平台,在卫星导航应用核心技术方面形成持续创新能力,加快卫星导航关键技术研究和芯片、主板等基础产品的开发及产业化进程,全面推动我国卫星导航产业的发展。
主要研究方向:
  1、导航基础产品技术研发平台建设
  2、导航通信融合技术
  3、组合导航技术
  4、3S(导航、地理信息系统、遥感)技术
  5、卫星组网与通信技术
  6、卫星导航应用软件

学科方向

在中国科学院知识创新工程三期,软件所以计算机科学、计算机软件、计算机应用技术为重点学科领域,进一步凝练学科方向,优化完善学科布局,注重培育新的学科增长点。进一步加强所级调控能力,将软件所主要力量凝聚到能够带动国家软件技术和产业发展的方向上来,形成综合优势,发挥规模效益。学科方向如下:
·计算机科学与软件理论
探索适合网络软件的形式化方法和算法理论,建立实时、并发系统的语义模型以及分析和验证方法,为国产基础软件平台技术体系和互联网信息处理奠定坚实的理论基础。
·基础软件技术与系统
初步形成低成本、高可信、网络化与自主开放的国产基础软件平台技术体系,为我国软件产业的发展和信息化建设提供关键的软件基础设施。
·互联网信息处理的理论、方法与技术
实现人性化的信息交互和处理界面,开发智能搜索引擎,解决互联网信息的高效、精确、友好获取和使用问题。
·综合信息系统技术
以我国未来发展和建设的需求为背景,以探索和解决大型复杂综合信息系统技术中的基础性、关键性技术难题。

无锡分部

中国科学院软件研究所于2006年12月20日在无锡成立全国第一家分支机构——中国科学院软件研究所无锡分部暨基础软件国家工程研究中心无锡分中心。
软件所无锡分部和基础软件国家工程研究中心无锡分中心,与无锡当地企业、高校、研究院所紧密合作,以可信电子政务、制造业信息化为主线,发展具有我国自主知识产权的基础软件产品和服务,为用户提供从系统软件、中间件到应用的全面系统解决方案,提升我国信息安全保障水平。
2007年5月17日,江苏省信息产业厅批复同意以中国科学院软件研究所无锡分部为核心建设江苏省基础软件产业园。

重庆分部

2007年11月7日,中科院软件所与重庆市信产局、西永微电园签署合作协议,成立了中科院软件所重庆分部暨基础软件国家工程研究中心重庆分中心。
分部依托于重庆恩菲斯软件有限公司(独立企业法人、注册资金1000万元人民币)开展运营工作,经过5年多的发展,现有员工近百人,形成信息化软件定制开发、监测预警、汽车电子三大主营业务方向和车载监控、滑坡地质灾害监测预警、科技奖励评审系统等多款自主产品,先后通过了国家级高新技术企业认定、ISO9001:2008国际标准认证、CMMIML3评估、软件及信息服务外包企业认定、软件企业和软件产品认定,获得软件著作权23项,专利16项,2010年分部的科研成果“高精度远程变形监测与预警系统”荣获重庆市科技进步二等奖。
依托中科院软件所和基础软件国家工程研究中心,分部与重庆产、学、研广泛开展合作,先后获得了国家核高基、国家科技部、国家发改委、中科院、重庆市科委、重庆市经信委支持的科技项目共14项。与重庆当地各政企事业单位签署了横向合作项目20余项,产业化收入超过5000万元。5年走过,分部已成长为重庆市IT企业中重要的一员,获得良好的社会影响力。

哈尔滨分部

中国科学院软件研究所哈尔滨分部暨基础软件国家工程研究中心哈尔滨分中心于2008年6月16日成立,是软件所在东北的首个分支机构,也是软件所在全国的第三家分部。
哈尔滨分部和基础软件国家工程研究中心哈尔滨分中心,与黑龙江省政府、哈尔滨市政府、企业、高校及科研院所密切合作,一方面以安全移动操作系统、嵌入式软件与系统为主线,发展具有自主知识产权的基础软件产品及服务,为用户提供从系统软件到嵌入式软件、应用软件等的全方位解决方案,致力于提升东北地区的基础软件实力和信息安全技术水平;另一方面,通过参与哈尔滨市及黑龙江省的软件产业发展规划,组织重大科研项目实施,牵头成立软件产业联合体,培养地区软件人才等方式,带动哈尔滨及东北地区的软件产业发展,促进“政、产、学、研、用”的紧密结合。

广州分部

广州中国科学院软件应用技术研究所(以下简称“广州软件所”)创建于2011年5月27日,是由广州市人民政府与中国科学院软件研究所共建的事业法人单位,是广州市创新发展模式的试点单位之一,同时也是中国科学院软件研究所的广州分部。
广州软件所现下设智慧城市研究中心、物联网及系统研究工程中心、先进软件技术实验室、视频智能实验室、并行软件研发中心以及智慧照明事业部;已形成一支高素质的青年科技人才队伍,其中科研员工120人,客座研究员27人; 广州软件所还与华南理工大学合作建设创新班,联合培养硕士研究生。
作为中国科学院软件研究所布局在“智慧城市”领域的实施单位,广州软件所致力于服务中国的城市信息化与智能化建设,重点建设物联网、云计算等应用学科,培养信息产业高端人才,助力珠三角地区产业转型升级。成立伊始,即在广东省科技厅的支持下,联合华南理工大学、广东联通等23家单位,发起成立了广东省智慧城市产业技术创新联盟(粤科函产学研字[2012]285号),并担任首届联盟理事长单位。
广州软件所将担负起自身的社会责任和历史使命,大力推动中国科学院软件研究所研究成果与珠三角产业需求之间的对接,积极引领并推进中国“智慧城市”的建设进程。

青岛分部

贵阳分部

中国科学院软件研究所贵阳分部、贵阳信息技术研究院成立于2014年4月23日,贵阳市政府与中科院软件研究所签署了战略合作框架协议,决定以研究所为技术依托,共同组建“一部一院”,为贵阳大数据产业规划建设和政策决策提供智力支持,统筹推进信息产业集群式发展。

科研成果

获奖名称 获奖类别 获奖等级 获奖时间
中国科学院软件研究所 中国科学院软件研究所

  网络软件基础架构平台(网驰ONCE)技术和系统 国家科学技术进步奖 二等奖 2011
  公开密钥基础设施技术研究与应用 国家科学技术进步奖 二等奖 2005
  软件过程服务技术及集成管理系统 国家科学技术进步奖 二等奖 2005
  网络分布软件支撑平台及石化应用示范工程 国家科学技术进步奖 二等奖 2002
  高性能分布式并行数值代数软件研究与开发 国家科学技术进步奖 二等奖 2000
  计算机网络安全关键技术研究与产品开发 国家科学技术进步奖 二等奖 2000
  保险业务综合网络管理系统 国家科学技术进步奖 三等奖 1999
  并发进程的代数理论及验证工具 国家自然科学奖 二等奖 1999
  支持可理解性和可复用性的软件设计系统URS-1 国家科学技术进步奖 二等奖 1992
  基于时序逻辑的软件工程环境的理论与设计 国家自然科学奖 一等奖 1989
  有限自动机的可逆性理论 国家自然科学奖 三等奖 1987
  分布式程序设计理论 国家自然科学奖 二等奖 1987
  UNIX系统的研究分析推广应用和开发 国家科学技术进步奖 三等奖 1985

支撑机构

信息中心

软件所现有网络环境包括千兆所级骨干网络、公共无线网络、公共IPv6网络。一卡通集成门禁、图书借阅、餐厅消费、车辆出入、职工健身中心消费等功能。
软件所信息中心成立于2005年6月,负责软件所信息化建设及相关支撑服务,为科研、管理工作提供信息网络环境保障。其主要任务包括软件所公共局域网络建设与维护,科研管理和科研活动统一信息平台建设与支撑,园区一卡通管理,公共科研环境建设和设备采购,科技信息资源收集整编,所级网站建设,新技术试用与科学普及等。
  应用网站: 所级邮件系统、软件虚拟社区
  科普网站: 软件技术博物馆、Mozilla中国中心
  关联网站: 中央政府采购、 ARP网站

图书馆

中科院软件所图书馆建于1986年,是软件专业特色图书馆。占地面积为834.19平方米。馆藏中西文计算机科学与软件技术专业文献2万余种。图书馆具有良好的信息资源获取与服务环境。通过计算机科学与软件技术信息平台,实现软件专业特色信息资源的无缝连接和信息资源的知识化、个性化组织与利用,为所内用户提供一站式信息服务。
图书馆具有一支服务于科研一线的专业团队。通过搜集、组织一定规模的专业化、系列化特色文献情报资源,面向科研人员提供主动式服务,面向研究生提供开放式服务,面向全所人员提供综合服务,以支撑研究所一流的科技创新与发展。

学报学会

软件学报
  中文信息学报
  计算机系统应用
  International Journal of Software and Informatics
  中国中文信息学会
  中国软件行业协会数学软件分会
  中国密码学会密码算法专业委员会

研究生教育

经过近二十年的发展,软件所研究生教育已形成硕士(包括同等学力硕士)、博士(包括硕博连读、直博、同等学力博士、工程博士)及博士后多层次、多类
中国科学院软件研究所 中国科学院软件研究所
型的人才培养体系;现有“计算机科学与技术”、“软件工程”一级学科博士点和硕士点;并建有“计算机科学与技术”、“软件工程”博士后科研工作流动站。

规模

研究所现有正式职工646人,其中中国科学院院士3名,第三世界科学院院士1名,研究员58名,副研究员及高级工程师102名。国家杰出青年基金获得者3人,中科院百人计划入选者8人。全所在职职工平均年龄36岁。软件所在保证培养质量的前提下,利用国家扩招的契机,稳步扩大了招生规模,并且从2003年起开始招收外国留学生。软件所现已成为我国计算机专业人才培养的重要基地之一。