形式与政治 建筑研究的一种方法

本书以文集方式汇编了作者二十余年的研究成果。内容涵盖空间形式、视觉形式，形式设计、制度空间、设计过程的制度问题、艺术与制度的关系、世界背景下中国建筑文化的基本特征等议题。本书提出三种建筑作为形...

产品造型设计表现方法

产品创意的核心构成 意境与形式

工业设计领域中对设计方法的理解，往往集中在可操作性、规范性、专业性等方面。作者在总结自己的设计和授课体会的基础上，对产品创意的核心构成这一问题进行了思考，对设计在做什么，设计如何具有感染力，设计如何与...

B方法与形式化软件开发技术研究

本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。...

产品创新设计与表现研究

产品创新设计在工业设计中占有地位越来越高，本书从产品设计概述开始逐步展开，由平面的立体化到立体形态的创造，逐层深入，进而论述了产品创新设计与表现等方面的内容。主要内容有：产品设计概述、产品设计的类别与...

工业产品艺术设计与表现技法研究

本书详细介绍了工业产品艺术设计基本概念、工业产品艺术设计的发展，以及相关的工业产品艺术设计的基础、工业产品艺术设计的流程及方法、工业产品标志的艺术设计、工业产品造型设计等。此外，还研究介绍了工业...

液压系统故障判断与排除方法

国外机电工业产品结构研究的理论方法

形式感+ 网页视觉设计创意拓展与快速表现

随着生活和沟通的全面网络化，也随之带来了更多的网页设计的相关人资需求，伴随着这个行业的薪资可观度，也越来越多的专业和非专业人士选择了加入了网页设计的队伍中，如何能够找到简单直观的设计方法成为了众多追...

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

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