檢視计算机科学国家重点实验室的原始碼

[[File:计算机科学国家重点实验室.jpeg|有框|右|<big>计算机科学国家重点实验室会议</big>[http://www.carch.ac.cn/xwdt/sysxw/202101/W020210115651762107119.jpg 原图链接][http://www.carch.ac.cn/xwdt/sysxw/202101/t20210115_617790.html 来自 计算机体系结构国家重点实验室 的图片]]]

'''计算机科学国家重点实验室'''依托[[中国科学院软件研究所]]<ref>[http://www.360doc.com/content/18/0226/18/40234354_732661914.shtml 中国科学院在各地有多少个研究所?]，个人图书馆，2018-02-26</ref>，实验室成立于1993年，1994年由中国科学院批准成为中国科学院开放实验室，2001年改名为中国科学院重点实验室。在2002年全国信息领域重点实验室评估中，计算机科学实验室被评为优秀实验室。2005年经科技部批准开始进行[[国家重点实验室]]建设，2007年完成建设并通过验收。

==研究领域==

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

[[计算机]]科学基础理论与形式化方法：研究以并发、实时、混成、移动、概率等为主要行为特征的复杂[[计算]]系统，建立和发展描述这些系统行为的数学模型理论（形式建模），以及描述这些系统性质的规范理论（形式规约），并研究如何自动或半自动地进行系统验证（形式验证）。

研究基于[[网络]]结构的算法及其复杂性理论，揭示网络新原理，建立网络计算新理论，并应用于网络[[安全]]性、健壮性、可控性及在网络智能搜索、网络预测等方面。 

软件系统原理及开发方法： 研究程序设计[[语言]]的基础理论，探索软件可靠性开发的新框架和新方法，研究面向各种并发程序的分析、验证和测试方法，开发相应的辅助工具，并结合应用实例的研究，提高算法及工具的效率和性能。

研究基础软件核心[[技术]]，研制国产操作系统、中间件和数据库，形成基础软件平台体系，实现我国基础软件产品的自主可控。突破高安全可信、国产软硬件优化适配等操作系统核心关键技术；突破新一代中间件关键技术，为海云计算和[[物联网]]<ref>[https://www.sohu.com/a/408543373_120754980 什么是物联网？对物联网的简单解释]，搜狐，2020-07-19</ref>提供运行支撑；突破大规模分布式实时主动[[数据库]]关键技术，开发分布式实时主动数据库系统。

图形图像与人机交互： 研究动态复杂可视现象的高效图形表达与绘制的理论和方法，面向实践需求的复杂图像处理方法和技术，复杂[[环境]]下人机交互的自然感知基础理论和多通道整合方法，以及上下文感知的智能交互技术。

并行与分布计算及可信计算：研究数万处理器的高可扩展并行算法与应用软件，异构的分布式硬件平台，海量[[数据]]处理与高性能仿真的计算耦合，以及相关的特征理论、非规则网格、计算流体力学仿真等。

研究可信计算与信息保障基础理论、关键技术与[[系统]]、测评方法与工具，包括：可信计算体系结构、协议[[设计]]与分析、认证授权与网络信任、信息对抗与网络保障、可信数据库与云安全、可信系统的测评方法与工具等。

大数据及智能信息处理：研究多源异构大数据的表示方法、度量模型、语义理解机制，包括：[[大数据]]抽样方法、异构特征选择、语义相似性计算模型及数据挖掘算法；面向多知识源的语义Web本体集成模型及推理算法；多源异构大数据的可视化方法；实时智能控制调度系统等。

==视频==
===<center> 计算机科学国家重点实验室 相关视频</center>===
<center>中国超级计算机工程</center>
<center>{{#iDisplay:n3145plk88u|560|390|qq}}</center>

<center>解读计算机科学与技术专业</center>
<center>{{#iDisplay:o0949dad0b6|560|390|qq}}</center>

==参考文献==

[[Category:303 科學教育及研究]]