汽车电子、航空航天和医疗设备等安全关键应用系统以高度集成的实时嵌入式(RTE)系统为构造基础。为了满足此类应用的功能复杂性、时序可预测性和高可靠性等方面的严格要求,需要完整统一的系统设计、实现、验证和分析方法。 实时嵌入式系统设计的论题非常广泛,其核心科学基础和方法涉及控制、计算机、软件和电子等多个工程领域。本书从实时计算和设计自动化两方面讨论此类系统的系统级设计方法,主要涉及硬件架构、实时操作系统、实时任务调度与共享资源访问控制、多处理器与分布式实时系统、实时嵌入式软件设计(程序结构、编程模型、实时编程语言)、形式化方法(设计、建模、验证)、建模语言与设计框架,以及常用的辅助设计工具等内容,涵盖应用软件、运行时环境和硬件系统结构等多个系统层次。书中纲要式地勾画出基于构件化设计(CBD)和基于模型化设计(MBD)范式的系统设计方法的完整视图和工程化开发过程的关键阶段,并展现了学术界的**研究成果和工业界的应用现状。 本书面向计算机专业研究生或高年级本科生,需要读者具备计算机工程、软件工程、控制工程、电子工程等相关领域的基础知识。
本书内容包括经典的算法设计技术,主要介绍数据结构和标准模板库、递归与分治策略、动态规划、贪心算法、回溯算法、分支限界算法、图的搜索算法、图论、数论和组合数学问题。本书包括大量的问题实例,并在北京大学、浙江大学和杭州电子科技大学在线题库中精选原题,详细地分析解题的方法,深入浅出地讲解用到的算法,章后的上机练习题也选自在线题库中的典型题目,供读者练习,以巩固所学算法。本书内容基本上涵盖了目前大学生程序设计竞赛所要掌握的算法。 本书结构清晰、内容丰富,适合作为计算机科学与技术、软件工程以及相关学科算法课程的教材或参考书,特别适合有志于参加信息学竞赛和ACM大学生程序设计竞赛的读者学习和训练。
本书遵循“认知规律”,抓住“立德树人”的教育本质,围绕几种常见的数据结构(线性表、栈与队列、串与数组、树与二叉树、图)和两种基本的数据操作(内排序、查找)将内容共分为7章。每章力求将抽象知识的实践应用“问题化、趣味化”,并将典型实践案例按基础实践、进阶实践、拓展实践三个层面“由浅入深”“由扶到放”地渐进式引导与推进。 本书始终坚守OBE(成果导向教育)理念,围绕实践的“知识、能力和素质”目标精心组织实践内容,创新性地将我国的伟大成就、科技文化和新时代的热点问题、社会现象等思政元素融入实践内容,使学习者在完成实践的同时,培养新时代社会主义核心价值观和精益求精的大国工匠精神,激发科技报国的家国情怀和使用担当,使得课程教育与思政教育同向同行,形成协同效应。 本书体例独特、设计精细、条理清晰、案例精炼,其中基础实践的核心算法和类型描述及一些约定主要沿用浙江省普通高校“十三五”新形态教材《数据结构——C语言描述(融媒体版)》(第2版)(书号: ISBN 978302549987)中的内容,所以,一方面它可作为此教材的配套实践教材; 另一方面适合作为各类高等学校计算机类专业“数据结构”课程的实践参考用书及社会自学者的实践参考用书。
本书全面、系统地介绍了数据结构相关内容,包括各种数据结构的逻辑关系、存储结构及基本运算,通过丰富的案例讲解了算法的多种实现,所有算法程序均采用Java语言实现。 本书共8章,主要内容包括数据结构基础,线性表,栈和队列,串、数组和广义表,树和二叉树,图,查找,排序。本书内容全面,理论与实践并重,通过大量图表和案例讲解算法实现过程,方便读者理解、掌握。本书内容安排符合本科生培养目标和教育工程认证要求,在知识的讲解过程中注重思政元素的融入,并提供微课视频、教学课件、课后习题、实验题等丰富的教学资源。 本书适合作为高等院校计算机、软件工程等相关专业本科生数据结构课程的教材,也可供从事软件开发的工程技术人员作为参考书。