本书主要介绍物联网规划与设计方面的知识，首先对物联网技术国内外发展情况进行介绍，讲解物联网体系结构和网络设计方法，然后就物联网的感知层、网络层和应用层的设计流程进行描述，最后给出智慧农业和智慧社区两个典型的物联网系统的设计实例。本书内容涉及物联网系统集成方法、物联网体系结构及其各层次（感知层、传输层、应用层）的设计原则

《语义物联网》从项目团队当前正在开展的主要研究方向出发，介绍了语义物联网研究领域中的关键技术和研究成果。从语义物联网主要研究和解决的问题以及面临的挑战展开，重点讨论物联网前端资源描述和建模、物联网感知数据描述和处理、物联网感知数据自动语义标注、物联网语义事件处理、物联网时空语义建模等方面的关键技术和方法，并对语义物联网

本书由多年从事网络技术教学工作及系统集成项目的教师及工程技术人员编写。本书以注重实际操作、注重主流技术、注重网络应用为中心，主要目的是让学生掌握和熟悉网络互联的组网方法和相关设备的配置，能够利用互联网络作为本学科的学习与研究工具，适应信息化社会的发展。本书既能保持教学的系统性，又能反应当前网络互联发展的最新技术。

《安全协议实施安全性自动化分析与验证》系统介绍安全协议实施安全性自动化分析与验证的基本理论和关键技术及**成果。主要内容包括安全协议实施安全性分析与验证的国内外发展现状、一阶定理证明器ProVerif及应用、自动化安全协议证明器CryptoVerif及应用、基于计算模型自动化抽取安全协议Blanchet演算实施模型、安

本书主要介绍认证与密钥协商协议的设计方法以及协议中所涉及的相关知识。针对若干应用环境，例如VoIP网络、电子医疗健康网络、智能电网等应用环境，本文详细阐述了认证与密钥协商协议设计的思想，具体的设计步骤。此外，对提出协议的安全性采用不同方法进行了详细的分析和证明，并对提出协议的性能进行了实验对比分析。 本书针对不同应用

内容提要 这是一本全面介绍IllustratorCS6应用技巧的书，从软件基本应用讲起，配合大量实训练习，详细介绍了IllustratorCS6的功能和特性。全书共计14章，以循序渐进的方法讲解Illustrator的基本操作，颜色及图案填充，图形的选择，变换与变形，画笔工具与符号艺术，修剪、混合与封套扭曲，文字，图

《新编中文版PhotoshopCS6入门与提高（第2版）》是一本讲解PhotoshopCS6基本功能及运用的书。 《新编中文版PhotoshopCS6入门与提高（第2版）》共分为12课，除了对PhotoshopCS6中的功能进行由浅入深的讲解外，还为每个重要功能安排了操作练习。每个练习都有详细的制作流程，图文并茂，一目

本书由一线讲师和设计师倾力编写，深入挖掘PhotoshopCS6的核心工具、命令与功能，帮助读者在短时间内迅速掌握PhotoshopCS6的应用方法与技巧，并将其运用到实际操作中。全书分为4个部分：第一部分是Photoshop入门和基本操作；第二部分是Photoshop核心功能，如选区与填色、绘画与图像修饰、调色、照片

本书以零基础讲解与自学为宗旨，以图文并茂、理论与实战相结合的方式引导读者深入学习，涵盖了PhotoshopCC常用的各个功能，深入浅出地讲解使用Photoshop处理图片的各项技术以及实战技能。书中的实例针对性强，以便读者在学习软件技法的同时能够快速掌握每个知识点，为日后应用于工作打好基础。通过理论知识、实战、提示等内

本书以AutoCAD2019软件为平台，从实际工作需求出发，并结合实例和习题，系统地介绍AutoCAD2019的相关知识和应用方法，引导读者深入学习。 全书分为4篇，共22章。第1篇为基础入门篇，介绍了AutoCAD2019的安装与配置方法等；第2篇为二维绘图篇，介绍了二维图像的绘制与编辑、图层、图块、文字和表格、尺寸