一流规划教材计算机系列

一、《多路径传输协议原理与优化》

 

薛开平编著

 

作者简介

 

薛开平,中国科学技术大学信息与科学技术学院教授。入选中科院青年创新促进会会员和安徽省教坛新秀,IET Fellow和IEEE Senior Member。主要从事未来网络、网络安全和数据隐私保护等方面的教学研究工作。在国内外重要期刊和会议发表论文近百篇,含IEEE期刊论文40余篇,ESI高被引论文2篇。获得IEEE MSN 2017唯一最佳论文奖和IEEE MASS 2018最佳论文提名奖;拥有授权发明专利24项(含美国授权专利1项);联合华为公司、国家互联网中心等提交IETF/IRTF标准草案5篇和LTE+标准子组草案3篇(接收),参与向3GPP国际标准化组织提交标准化提案2项。近年来主持10余项纵向课题,包括3项国家自然科学基金课题、重点研发计划项目子课题等。

图书简介

 

本书详细阐述了MPTCP协议及其相关技术的研究现状,其中包括标准化进程、拥塞控制、数据调度与乱序控制、仿真实现与实际部署、安全等相关方面的国内外研究。作者所带领的团队在Internet传输优化领域开展了十余年深入而系统的研究工作,结合所承担的科研项目,团队近年来在MPTCP耦合拥塞控制、数据调度、代理机制、实际部署和性能评估等方面取得一系列科研成果,相关内容也都呈现在本书中。本书既有理论分析与综合,又有实际系统的设计与应用,图文结合,系统性强,通俗易懂,紧跟前沿。

 

 

二、计算机程序设计学习实践

 

王雷编著

 

作者简介

 

王雷,中国科学技术大学副教授,自动化系副主任,计算机程序设计省级基层示范教研室主任,主要从事机器学习与多智能体仿真研究,在国内外核心期刊与重要会议上发表论文50余篇,SCI/EI收录16篇,出版教材1部;主持和参与工信部重大专项、中科院先导专项、中科院重大专项等科研项目17个,获省级科技进步奖2项,申请和授权发明专利7项,IETF国际标准1项。

图书简介

 

本书是《计算机程序设计》教材的配套实验指导书与习题集,介绍计算机程序设计相关的预备知识,引入计算思维的概念。作为省级基层示范教研室的教学成果,本书摒弃了传统实验指导书以语法训练为目标、按语法单元组织实验内容的模式,转为以培养程序设计能力和计算思维能力为目标、按程序设计方法进行分层实践的模式。在内容组织上遵循迭代学习的思想,首先列举语法知识要点,然后进行程序填空练习与分层编程练习,最后进行综合练习。本书选用C语言为教学语言,主要内容包括编程工具的安装与使用、结构化编程练习、模块化编程练习、系统级编程4个部分。附录列举了3个趣味程序。本书可作为高等学校理工科专业特别是信息与计算机等相关专业的实验教材,也可以作为相关从业人员的自学用书。

 

 

三、《计算机原理与嵌入式系统》

 

胡访宇主编

 

作者简介

胡访宇,中国科学技术大学电子工程与信息科学系教授,中国电子学会通信分会理事。主要研究领域为电信网理论、智能信息系统、通信信号处理等。曾获中国科学技术大学跨世纪优秀人才奖(1997)、安徽省总工会技术创新标兵(2000)、合肥市专业技术拔尖人才(2004)奖等。

图书简介

 

本书分为8章,前4章是基础部分,主要讲述计算机原理方面的内容;后4章主要介绍嵌入式系统的结构以及硬件软件开发技术。本书内容丰富、概念清晰、取材新颖、深入浅出,并附有大量的应用实例和习题,融基础性、先进性、系统性和实践性于一体,可作为高等学校电子类专业和其他相近专业本科生的计算机原理、嵌入式系统、计算机系统设计等课程的教材,也可作为从事计算机和嵌入式系统研发工作的科技人员的参考书。

 

 

四、《寄存器分配引论》


华保健  编著

 

作者简介

 

华保健,中国科学技术大学软件学院讲师,主要从事软件安全、程序语言与编译器等研究。获中国计算机学会犀牛鸟研究奖、中国科学技术大学专业研究生教育先进个人奖等奖项。主编《深入浅出Java虚拟机设计与实现》等著作,发表论文10余篇。

 

图书简介

 

本书是深入介绍编译原理后端技术中寄存器分配这一课题的高级教程。本书从控制流图中间表示、活跃分析、干涉图等基础概念出发,全面分析介绍了寄存器分配的各个方面,给出了相关算法的实现,以及丰富的示例和最佳实践。全书围绕编译器后端寄存器分配主题,讨论了寄存器分配的基础知识、图着色分配、线性扫描分配、弦图分配、SSA分配、整数线性规划分配、PBQP分配等课题,并给出了丰富的示例。

 

 

五、《数据结构及应用算法》(第3版)

 

袁平波编著

 

作者简介

 

袁平波,中国科学技术大学信息与计算机实验教学中心副主任。主要研究领域为信息检索、互联网数据深度挖掘等。主讲本科生专业基础课《数据结构》和《数据库基础》。先后承担和参与了多项国家和部委项目,主要包括国家自然科学基金、微软基金等。

 

图书简介

 

计算机程序设计主要包括数据对象的定义表示和数据对象的处理算法两大部分。本书从数据对象的类型、表示方法及其常用处理方法入手,分别介绍了三种类型数据结构:线性结构、树状结构和图状结构的常用表示方法,以及基于这些数据结构的基本操作函数的实现。此外,本书还介绍了查找和排序算法。同时为方便读者更好地学习掌握数据结构知识,本书还介绍了C程序设计预备知识和计算机主要算法的设计策略等内容,并为大部分章节安排了习题。

 

本书内容全面丰富,概念阐述清晰,不仅适合作为普通高校信息技术类专业的本科生教材,也适合作为信息技术相关工科专业的“数据结构”或“软件工程”课程的本科教材。

 

 

六、《计算机控制工程》(第2版)



陈宗海编著

 

作者简介

 

陈宗海,中国科学技术大学自动化系教授,享受国务院政府特殊津贴。从事控制科学与工程领域的教学与科研工作,主要研究领域为复杂系统建模仿真与控制、智能科学与机器人技术、新能源汽车与微电网信息技术、大数据与群体智能等。编写《量子控制导论》《过程系统建模与仿真》等图书多部。

图书简介

 

本书系统介绍了计算机控制系统的相关理论、技术和应用,作者根据多年教学和科研实践,并吸收国内外先进的计算机控制技术成果撰写而成。全书共10章,分别讨论和介绍了计算机控制系统的结构、组成,系统的描述与分析,控制器的设计与实现,控制计算机的特点,接口技术以及系统的设计与应用,计算机分布式控制系统。本书可作为高等院校信息和工程领域的本科生或研究生教材,也可供相关科技人员参考。

 

七、《实时系统设计与分析》

Phillip A. Laplante, Seppo J. Ovaska 著

郭燕,吴桂兴,李曦 译

 

作者简介

 

Phil Laplante,美国宾夕法尼亚州立大学软件与系统工程教授,IEEE Fellow和SPIE Fellow。从事航空电子、CAD和软件测试系统的研究,已出版37本专著,发表250多篇学术论文。同时也是高级管理人员、投资者、和技术顾问。

 

郭燕,中国科学技术大学计算机系讲师。自2008年起在中国科学技术大学软件学院任教,现任网络与信息安全教研室主任。担任多门课程主讲,研究方向为实时系统语言设计、区块链安全、深度学习。

 

吴桂兴,加拿大滑铁卢大学电子与计算机工程专业博士,高级工程师。自2010年起在中国科学技术大学软件学院任教,现任软件系统设计教研室主任。担任多门课程主讲,研究方向为实时系统设计、深度学习等。


李曦,中国科学技术大学教授,博导。长期主讲本科生《计算机组成原理》和研究生《嵌入式系统设计方法》等课程。在国内外核心学术期刊和高水平学术会议上发表SCI/EI检索论文数十篇,先后负责或参与国家自然基金、前沿创新计划和核高基等纵横向科研项目20余项,承担省部级教学研究课题多项,其研究小组在国内最早开展系统级低功耗优化理论和技术、ASIP体系结构设计与验证、操作系统模型、可重构计算、智能计算机系统结构等研究。

 

图书简介

 

引进自美国威利出版社。本书从实时系统设计的角度介绍了计算机体系结构和组织、操作系统、软件工程、编程语言和编译器理论,全面分析和讨论了实时系统设计的各个方面的技术。本书首先介绍了实时系统的基本概念,分析了架构特征对实时性能的影响,然后详细讨论了实时系统的任务调度和任务间通信以及内存管理,以及适合实时系统的编程语言的特性,并阐述了实时系统设计的规范技术,性能分析技术等,最后对实时系统硬件、软件以及应用的未来发展进行了展望。在每个章节后面都附有习题和参考文献。本书以实际工作为导向,配以大量的例子和数据图表,具有系统性、实用性等特点。本书可以作为理工科院校高年级本科生和研究生关于实时系统课程的教材;适合需要快速上手的工程师,也具有长期的参考价值。