本书主要介绍信息物理融合系统的基本理论,包括系统设计、规约、建模和分析方法。针对基于模型的设计、并发理论、分布式算法、规约和验证的形式化方法、控制理论、实时系统和混成系统等分支学科,从不同侧面对信息物理融合系统进行描述。本书采用数学化的建模、基于模型的设计,以及规约与分析等概念,并配以案例研究图解来阐述信息物理系统所涉及的分布式算法、网络协议、控制设计和机器人等理论。本书适合作为计算科学、计算机工程和电子工程相关学科的高年级本科生或一年级研究生的教材。
本书依据ISO近年来新修订的标准,以基本概念、基本理论、基本方法为线索,以常用的统计方法为中心,对质量管理的统计方法进行了深入浅出的介绍,使读者不仅了解方法,“知其然”,而且知道方法的理论脉络,“知其所以然”,理例结合,突出方法应用的重点,使随机变量所遵循的统计规律,跃然纸上,通俗易懂。 本书可作为高等学校管理类专业“质量管理”相关课程的教材,也可供从事实际工作的质量管理人员阅读。特别需要指出的是,本书所涉及的内容与全国质量专业技术人员职业资格考试的内容相近,可作为其学习的参考用书。
地下管线是满足城市运行和市民生产生活的重要基础,担负着城市的信息传递、能源输送、排涝减灾及废物排弃等功能,是城市赖以生存和发展的物质基础。随着地下管线探测技术、数字测绘技术、计算机技术、网络技术、GIS技术、数据存储技术、通信技术和物联网等技术的发展和融合,城市地下管线迫切需要进行智能化管理。张鹏程等编著的这本《智慧管线(城市地下综合管线信息管理系统)》首先对地下管线的相关概念进行了简要介绍,提出了地下管线普查和数据成果的基本要求,介绍了地下管线管理平台基础软件的安装和使用;接着介绍了地下管线管理平台的系统总体设计和关键技术、地下综合管线内外业一体化系统、地下管线监理入库更新系统、管线综合管理与应用系统、地下综合管线三维管理系统、管线规划辅助设计系统与辅助审查系统、地下管线数据共