区域物流公共信息平台建设设计与实现

本书以现代物流理论及其相关的信息技术为基础，以南方物流公共信息平台建设为例，重点研究了物流公共信息平台建设的功能规划、平台设计和技术实施，提出了以电子口岸为重要依托、构建集口岸大通关和国内、国际物...

室内环境设计与手绘表现技法

本书从手绘表现全程对于室内设计的徒手表现进行了步骤式的详解，通过大量的设计案例向学习者表现了室内空间分类、动线设计、透视方法、墨线图表现、手绘着色等，使室内设计的学习者对于手绘表现过程一目了然。...

设计思维与手绘表达

本书在形式内容上,涵盖了钢笔、铅笔的线条表现,着色上结合马克笔、彩色铅笔、水彩、水粉，其中,范例作品的内容包含了室内设计、室外景观、建筑小品、建筑立面研究草图设计稿、展板设计稿、展示家具、绿化等...

设计与手绘表现丛书 2 建筑景观

无论在建筑空间、室内空间、景观园林还是产品设计等领域，其创意与设计理念表达的流程都有相似、相通之处。本系列丛书作品大多选自设计师的项目案例，分《家居空间》《商业空间》《建筑景观》等分册，内容以作品...

基于转型期价值观转变的中国建筑创作研究

本书以价值观作为研究的切入点和线索，建立了建筑研究和社会研究的内在联系，通过价值观相关理论研究的引入，在历史考察和理论分析的基础上建立了价值观与建筑的研究框架，并在这个框架上从宏观转型社会和微观多元...

人大监督程序研究 基于议事程序的视角

法治的进步与社会的发展呼唤人大监督，而完备的程序是人大监督的必要条件。吸取既有的议会议事程序经验，可以为完善我国人大监督程序提供重要借鉴。本书认为，人大监督的程序化是其监督权正当性的要求，作为一项重...

硬件设计验证 基于模拟与形式的方法

本书全面介绍硬件系统设计验证的技术和方法，主要涉及基于模拟和形式验证的方法，内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期，形式验证背景知识、判定图与sat问题、...

基于VERILOG HDL的数字系统设计与实现

本书基本上以语言为基础，循序渐进设计数字电路，并最终完成复杂数字系统，最终通过本书的学习可以独立进行FPGA设计，完成数字系统设计。书中讲解项目设计时，任务明确、条理清晰、结构规范、系统性强，并对硬件电路.....

基于FPGA密码技术的设计与应用

本书简要概述了密码学和硬件密码学知识，简要介绍Quartus II、ModelSim、Nios II IDE 等基本软件工具的操作应用（包括嵌入式系统的硬件配置、硬件设计、硬件仿真、软件设计以及软件调试等）；着重分析和讲解了基于...

设计有道 城市设计创作与实践