The LNCS series reports state-of-the-art results in computer science research，development，and education，at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community，with numerous individuals，as well as with prestigious organizations and societies，LNCS has grown into the most comprehensive computer science research forum available.The scope of LNCS，including its subseries LNAI，spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material published traditionally includes.—proceedings （published in time for the respective conference）—post-proceedings （consisting of thoroughly revised final full papers）—research monographs（which may be based on outstanding PhD work，research projects，technical reports，etc.）.

This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods， CHARME 2001， held in Livingston， Scotland， UK in September 2001.The 28 revised full papers and eight short papers presented together with two invited papers and one special paper were carefully reviewed and selected from 56 submissions. The book offers topical sections on model checking， clocking issues， theorem proving with higher order logics， hardware compilation， tools， component verification， case studies， algorithm verification， and duration calculus.

本书在注重系统性、科学性的基础上重点突出了实用性和可操作性。每部分均由基本概念、基本操作和习题与指导三方面内容组成。基本概念重点介绍了读者需要掌握的计算机基础知识，为完成基本操作进行必要的准备；基本操作主要以操作实例的形式出现，每个操作实例都配有详尽的操作步骤，从而使读者在学习过程中掌握软件的操作技能；习题与指导既包括了使读者更好地掌握基本概念的思考和选择题，也包括了提高读者实际操作能力的样例操作题。书的后还给出了习题与指导的部分参考答案。

现在物联网可以说是炙手可热的概念，在智能家居、智能汽车、工业自动化生产、智能城市等领域，都有物联网的身影。单片机行业也将从自动化控制快速转向物联网产品的研发。本书在这个背景下为想从事物联网开发的朋友进行物联网的单片机入门指导。本书将采用主流的32位 ARM 单片机作为低功率物联网设备的核心组件，讲解蓝牙模块、Wi-Fi 模块和阿里云物联网平台的联网通信。本书使用 STM32 CubeIDE 集成开发环境、STM32 CubeMX 图形化编程工具，以及主流的 HAL 库，内容包括基础知识的讲解和各功能模块的编程与应用，带领大家完成一个基于阿里云物联网平台的小项目，通过项目开发实践验证学习成果。

本书从基础认知、核心技术、协议、测试和闪存系统五个方面对SSD固态存储进行全面且深入解读。相较于第1版，本书新增了近40%的新内容，并对之前20%左右的过时内容进行了更新或删减。基础概念部分，新增了近3年固态存储市场和闪存市场的变化，并重点介绍了一些特殊的SSD存储的知识，包括可计算存储、工业存储、混合存储以及相关产品架构。核心技术部分，除原有的主控、存储介质、他、FTL、ECC的原理和实现外，还专门增加了SSD主控、3D NAND、QLC闪存、新型存储器与SCM、混合式FTL等重点和热点技术。协议部分在原有基础上对PCIe、NVMe进行了近30%的新内容扩展，同时新增了对UFS协议的介绍和解读。测试部分基本都是新内容，主要介绍了与SSD相关的测试基本概念、原理、落地方法和工具。扩展部分是全新的章节，主要对闪存文件系统进行深入解读，这是当前各大SSD厂商及相关从业者关心的内容。

《“十四五”现代综合交通运输体系发展规划》强调推动既有设施数字化改造升级，交通运输领域产业数字化是不可阻挡的历史潮流，智慧交通也承载着人民对美好生活的向往和追求。本书从设计理论和建设实践两个方面对数字道路进行深入分析和研究，体系化地介绍了数字道路的发展历程、分级情况、新技术应用、系统构成、应用场景、建设实践方案、投资运营模式7个方面，对于未来数字道路的建设、管理和运营具有重要的参考价值。 本书具有创新性、全面性和实操性的特点，可以供道路数字化规划、设计、建设、管理人员使用，还可以作为科研院所技术人员、高等院校学生的辅导用书。

暂缺简介...

本书从科研、教学和工程实际应用出发，理论联系实际，全面系统地介绍了现场总线、工业以太网技术及其应用系统设计，力求所讲内容具有较强的可移植性、先进性、系统性、应用性、资料开放性，起到举一反三的作用。全书共分10章，主要内容包括：现场总线与工业以太网概述、控制网络基础、通用串行通信接口技术、PROFIBUS-DP现场总线、PROFIBUS-DP从站的系统设计、DeviceNet现场总线、工业以太网、TCP/IP、SERCOS工业以太网和时间敏感网络。全书内容丰富、体系先进、结构合理，理论与实践相结合，尤其注重工程应用技术。本书是在编者教学与科研实践经验的基础上，结合现场总线和工业以太网技术30多年的发展编写而成的，书中详细地介绍了编者在现场总线与工业以太网应用领域的科研成果，并给出了应用设计实例。本书适用于从事现场总线与工业以太网控制系统设计的工程技术人员，也可作为高等院校各类自动化、机器人、自动检测、机电一体化、人工智能、电子与电气工程、计算机应用、信息工程等专业的本科教材，同时可以作为相关专业的研究生教材。

《中国特色开源软硬件概要——面向普通高中信息技术学科教学》依托教育*教育装备研究与发展中心2020年度基本科研业务费专项资金资助课题《基于国内的具有自主知识产权的开源硬件普通高中实验项目开发研究》（课题编号：KZX202009），系统论述了中国特色开源软硬件的兴起和开源软硬件的发展现状综述，对常见教学用开源软硬件进行汇总分析，共考家了70多款开源主控板，提炼出“开源硬件分类表”，把常见教学用开源硬件分为五大类别，分别是MCI微控制器类、IOT物联网类、SBC单板机类、无桌面SBC类和AI算力加速类。本书还重点分析了中特色开源硬件、中国特色开源软件、中国特色开源软硬件生态建设、开源硬件项目设计等话题，进一提炼了开源软硬件的教育教学与育人价值。 本书可为普通高中开展新教材试点的省市规划与建设配套信息技术实验室或学科教室提供参考，为教育主管部门课程与装备建设提供决策依据，为学校采购提供支持，也等

本书介绍龙芯1B（LS1B）芯片的原理与应用开发，以培养读者的动手能力和增强读者的工程素养为目标，按照项目驱动的思路展开知识的讲解和实践操作。本书基于LS1B开发套件，讲解LS1B的结构及原理，还介绍进行嵌入式系统开发需掌握的GPIO、UART等外设的基本原理与常用库函数，以及国产物联网操作系统RT-Thread的原理及应用开发。最后通过一个综合设计——基于物联网的智慧路灯，让读者熟悉嵌入式系统设计流程。