计算机科学理论与基础知识
-
序列密码的分析与设计关杰,丁林,张凯《序列密码的分析与设计(第二版)》介绍序列密码的设计理念、设计原理和分析技术。以21世纪为时间点,《序列密码的分析与设计(第二版)》将序列密码加密模型分成传统模型和新型模型,介绍各个模型的代表算法,包括蓝牙系统E0加密算法、GSM手机A5加密算法,NESSIE计划候选算法、SNOW系列算法、我国设计的新一代无线移动通信系统标准加密ZUC算法,eSTREAM计划胜出算法Trivium、Grain、MICKEY、Salsa20等典型序列密码算法及其设计特点,以及在NIST-LWC工程第3轮胜出的10个算法中的Grain-128AEAD、TinyJAMBU-128等基于序列密码的认证加密算法,同时介绍针对这些序列密码算法的典型分析方法及*新的攻击结果,以期为密码设计和分析者提供参考和借鉴。 -
CCF 2023中国计算机科学技术发展报告中国计算机学会本书充分体现了对计算技术发展中的新问题、前沿技术、交叉融合的思考,包括:时序大数据计算技术的研究进展与趋势、多模态大模型的研究进展与趋势、智能网络技术的研究进展与趋势、三维数字人体重建与生成的研究进展、视觉 Transformer 的研究进展与发展趋势、可信赖人工智能的研究进展与发展趋势、机密计算的研究进展与产业趋势报告、交互式定理证明及应用、鲁棒语音信号与信息处理的研究进展与趋势、量子自然语言处理,内容具有权威性、全面性和前沿性。本书主要供中国计算机学会会员了解2023年计算机科学技术发展的最新动态,也非常适合计算机学者和从业者阅读和收藏。 -
计算机组成与体系结构[美]威廉·斯托林斯本书以市场上主流的处理器系列为例,深入讨论了计算机组成与体系结构的基本原理和概念,包括计算机系统、运算、CPU、指令集和汇编语言、并行处理等,并讨论了如何将它们运用到当代计算机系统设计的问题中。本书作者有丰富的教学和教材编写经验,在编写上内容体系合理、讲解深入浅出、教学资源丰富。同时,本书根据技术的发展,增加了对并行结构、RISC-V等内容的介绍,使读者能够了解当前计算机架构的新变化和新发展。 本书适合作为高校计算机及相关专业作为计算机组成与体系结构相关课程的教材,也适合作为技术人员的参考书。 -
FreeRTOS实时操作系统李正军、李潇然书以“新工科”教育理念为指导,以产教融合为突破口,面向产业需求,全面重构课程内容,将产业界的最新技术引入教学。从科研、教学和工程实际应用出发,理论联系实际,全面系统地讲述了基于STM32CubeMX Keil MDK和STM32Cube(STM32CubeMX和STM32CubeIDE)开发方式的嵌入式系统设计与应用实例。 全书共分12章,主要内容包括:绪论、Arm处理器体系架构、STM32嵌入式微控器、STM32CubeMX的应用、STM32CubeIDE开发平台、STM32通用输入输出接口、STM32中断系统、STM32定时器系统、STM32 通用同步异步收发器(USART)、STM32模数转换器(ADC)、STM32 DMA控制器和嵌入式实时操作系统FreeRTOS。全书内容丰富,体系先进,结构合理,理论与实践相结合,尤其注重工程应用技术。 -
计算机网络刘桂江 主编本书是计算机类和通信工程等专业的课程教材,主要内容包括计算机网络概述、物理层与数据通信基础、数据链路层、局域网、网络层、网络互联技术和综合布线技术、传输层协议、应用层协议、网络管理与信息安全、网络新技术等。本次修订更新对网络发展现状和网络技术的介绍,更新相关习题,引进企业网络案例,增加使用Wireshark截获实际网络中的分组包的介绍,配备教学视频。修订后的图书更加科学系统,完善丰富,知识性和指导性更强。本书可作为高等学校计算机及相关专业的教材,亦可供从事计算机网络工程技术和运行管理的人员参考。 -
基于Petri网的计算树逻辑模型检测刘关俊,何雷锋本书主要介绍原型 Petri 网、知识 Petri 网、带有优先级的时间 Petri网,用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模,如刻画并发、选择、冲突、多方交互、多方认知过程、(抢占式)资源分配、事件的实时性约束等。本书介绍的计算树逻辑、知识计算树逻辑、时间计算树逻辑等可以用于规约这些系统所关注的设计需求,如无死锁、公平性、隐私性、可调度性、最坏执行时间等。本书重点介绍使用这些 Petri 网模型验证以上时序逻辑的算法。另外,本书介绍简化有序二叉决策图,介绍如何将其用于表达 Petri 网的状态、状态间的迁移关系及状态间的等价关系,并将其应用于计算树逻辑与 知识计算树逻辑的模型检测上。 -
可适应设计方法及应用顾佩华,薛德意,彭庆金,张健本书提供了适应性设计(AD)的全面研究,从构思概念、开发方法和应用到AD的真实世界产品设计,通过扩展AC的设计和物理产品的实用性,可以实现实质性的益处。AD的主要元素包括合理化的功能结构、可适应的产品架构、可适应接口和适应性评估。AD原则的关键方面是适应性,包括设计适应性、产品适应性、一般适应性和特定适应性,以及适应性的建模和评估。对这些方面的详细讨论是为了理解AD。还描述了在软件中实现AD和设计应用的方法、工具和技术。包括AD的应用示例,以说明如何在实际产品设计中使用AD。*后,强调了人工智能、大数据、物联网、云技术等先进技术以及元宇宙和Web3.0时代AD的未来发展。 -
计算机科学导论战德臣 张丽杰 主编本书是计算机领域本科教育教学改革试点工作计划(“101计划”)系列教材之一,秉承“发展经典,关注前沿;问题先导,内容溯源;章节灵活,难度适配”原则编写而成。全书共16章,包括绪论,线性表,栈与队列,字符串,树与二叉树,优先级队列,图,图应用,不相交集,内排序,查找与高级查找,外排序,查找与索引,算法基础,高级算法。本书提供配套教学课件、各章知识点教案、各章引入视频、配套实验教材(C、C 、Java、Python等语言实现),以及实践教学平台等教学资源,可作为高等学校计算机类专业本科生“数据结构”课程教材。 -
多目标元胞差分算法及其应用王亚良 高扬华 张利 钱其晶多目标进化算法已成为解决多目标优化问题的主要方法之一。基本的多目标元胞差分算法作为解决一类多目标优化问题的典型算法,是在结合元胞多目标遗传算法(Cellular Genetic Algorithm, CGA)与差分算法(Differential Evolution, DE)基础上提出的,其在解决多目标尤其在三目标优化问题时获得了质量较好的Pareto前端。本书在全面介绍基本的多目标元胞差分算法和算法性能测试基础上,阐述了在该算法基础上的几种改进优化算法,介绍了改进算法的原理、步骤、流程、伪代码、性能测试及实例应用等。为方便使用,对算法的图形用户界面(Graphical User Interface, GUI)实现进行了初步的探析。 -
基于R语言的试验统计学实验冯发强·
