情感与理智——三星堆博物馆新馆及其形式生成解读

从形式生成的角度,解读三星堆博物馆新馆及其情感结合理智的设计过程,并对设计成果进行反思。

建筑形式生成的方法学

本文试图讨论被一般的设计方法学所忽视的一个关键性问题,即形式生成的方法学机制。通过对不同设计思维模型的讨论,及对建构、赋形、具体化和交流四个环节的深入阐述,提出了形式生成的思维模型,并着重分析了形式生成及转换的方法学机制。指出了设计方法学和设计哲学在形式过程中的制约关系。

模型驱动的Dafny程序形式化生成与自动验证

Dafny是一种内置规范结构的编程语言和静态程序证明器,它能验证程序的功能正确性以及将证明过程自动化,这既提高了软件开发的效率,又极大增强了软件开发的可靠性.该文探索了一种模型驱动的Dafny程序形式化生成的方法.首先,从问题的Radl规约出发,根据规约变换技术得到其Radl算法;然后,根据PAR方法中循环不变式开发新策略得到问题的循环不变式;最后,在Radl算法和循环不变式基础上利用模型等价转换规则生成Dafny程序,并由Dafny证明器自动验证其功能正确性.用该方法解决了2个典型问题的算法程序开发与验证,证实了该方法能够有效地提高Dafny程序的生成效率和可靠性.

基于AutoCAD的平面构成形式生成系统的设计

研究了平面构成形式生成的各种方法 ,在AutoCAD平台上 ,采用不同的算法和实现技巧 ,利用程序设计语言进行参数化设计 。

理性控制下的形式推导与生成——特拉尼法西斯宫的形式解读

该文以特拉尼理性主义设计为出发点,结合特拉尼的人生经历、建筑思潮及时代背景,追溯法西斯宫创作的构思来源,并根据最终方案确定整个修改历程,运用形式推导与生成的方法结合透明性对法西斯宫进行解读。探寻理性控制下空间与流线、建筑与环境、统一与差异背后蕴藏的几何关系,推敲建筑形体及建筑内外每一细节的生成依据,剖析古典主义与现代主义设计手法的完美结合,以期完整还原法西斯宫的设计过程,探索特拉尼用传统和现代构筑的世界。

体形系数与建筑的热交换控制设计——低碳视野下的建筑形式生成策略

建筑外维护界面热交换是建筑失热和得热的主要途径。体形系数与建筑体量和外维护界面大小有关,对于建筑的热交换来说有着重要影响。低碳视野下的建筑形式的生成需要对体形系数进行设计控制。

形式生成笔记--L形图解

以L形图解为载体,运用逻辑推导与类型归纳方法,探讨建筑内在形式生成机制。首先根据L形的图形特征,将其划分为“线型-L形”与“形心型-L形”;然后在二维平面上,对整体与局部进行L形平面的空间解析;再从空间单元、线形空间和几何空间三种类型出发,推演出L形图解在三维空间中的组合与衍生变换,构建动态空间操作方法。研究成果能够深化对基于几何图解的空间营造认知,对探索建筑设计隐含的形式内在逻辑与外在呈现具有一定的启示借鉴作用。

公共艺术《贝多芬》形式生成方法优缺点辨析

德国首都波恩的《贝多芬》是世界知名的公共艺术作品,但目前对这件作品的深入研究极为有限,影响了对其借鉴运用的水平。综合运用文献研究法、观察法、比较研究法和系统思考法等多种研究方法,侧重于从不同视角全面分析其优缺点,以期为中国公共艺术理论与实践创新提供理论支持。

场所、隐喻、形式生成——河南省农业科学院农业展览中心建筑设计

本文以河南省农科院农业展览中心建筑设计为例,阐述了建筑形式的生成不仅取决于功能,而是对于人——建筑——环境所构成的场所关系的特有反应,同时强调形式对于文化展览类建筑表达深层内涵的意义。

从形式的知识到形式生成——观念史启发下的设计理论探索

形式是现代建筑重要的概念,其含义丰富而多变。文章从共时性视角解读福蒂对于"形式"概念的历史演化研究,以此为据从形式呈现、形式转化和形式关联三个维度反思了现代建筑中的形式主义思想流派,并尝试探索一种当代的形式生成设计理论。

结合被动策略和能耗分析的建筑形式生成研究——以天津市泰达一大街展览馆为例

一段时间以来,随着建筑技术与设备的发展,气候条件越来越少被纳入建筑形式生成因素的考虑范围内,依靠空调设备调节建筑热环境逐渐成为主流。然而,建筑形式与气候环境息息相关,合理的设计方法应当是在设计之初,就将气候设计尤其是被动式设计作为一项基本的设计要素参与到前期构思之中,并以量化分析的方法辅助设计决策,实现建筑节能。通过提供一个完整的被动式设计研究的案例——天津市泰达一大街展览馆,对寒冷地区公共建筑整体形态的被动式策略进行了较为全面的归纳整合和分析应用,构建被动式设计的流程构架。通过理论结合实践的研究方法,选用适合天津市气候和本项目特征的被动式策略,并按照设计的流程依次应用于整体规划布局、建筑单体设计两个阶段。在设计过程中,结合能耗模拟与风环境模拟数据分析,协调气候因素与其他建筑设计因素之间的关系,实现方案的比选和优化,并推动建筑设计的科学决策和创新。

面向形式生成的极少主义建筑建构逻辑研究

受密斯建筑设计中建构逻辑“显”与“隐”的启示,以极少主义建筑简约形式与复杂建构的二元矛盾为切入点,探讨其建构逻辑与形式生成之间的规律,进而归纳出两种关系类型——“建构”逻辑之于形式的清晰性表达与“反建构”逻辑之于形式的抽象性表达,并在此基础上总结两种建构逻辑对应的操作方法及形式表达。立足于建构的语境,促进设计与建造的关联性,并对国内建筑设计实践有所启示。

从绘画到建筑形式语言的生成

通过研究从绘画转换到建筑形式的过程,探讨建筑形式语言的一种生成方式与途径。该文梳理了从绘画中获得形式参照的方式,结合形式要素和语义与语用过程的相互作用和影响,分析建筑形式语言生成的机制。建筑的形式可以通过引入绘画的形式要素、再现绘画的形式语言以及从绘画形式转换生成。形式生成的逻辑体现了建筑形式自治的模式,是一种与功能和意义生成建筑形式平行的思路。

自然秩序的有机重构——米拉莱斯建筑形式生成解析

文章试图从地形学的角度追溯米拉莱斯建筑形式生成的外在依据,以图解的方式解析米拉莱斯如何提取自然秩序并对建筑进行重构,从地形学的形式操作、要素有机拼贴、单元平滑包裹三个方面解析米拉莱斯的形式生成策略。

“师法万物”——一种全新的建筑形式生成方法

"师法万物"是台湾建筑学教学中一种全新的建筑形式生成方法。它通过剖析建筑之外事物的逻辑,产生一套此体系的规则与语法,然后再将此语法转化为建筑语法,通过实验,完成建筑的形式生成。简述了这套方法及其应用,阐述其在建筑学教学中的意义。

基于交通空间的建筑形式生成方法研究

以建筑中的交通空间作为探讨建筑形式生成的主要切入点,从探讨建筑形式生成的过程模型以及交通空间的形态特征入手,分别从原型运用、构件组合、三维动线以及倾斜楼板四个方面来探讨将交通空间作为建筑形式生成过程中的核心要素,通过对交通空间进行形式化表达进而获得建筑形式生成的具体设计方法,并结合一系列经典案例指出交通空间在建筑形式生成中的重要性意义及优势所在。

艾森曼早期数字建筑形式生成方法研究

1980年代,彼得·艾森曼(Peter Eisenman)先后受到雅克·德里达(Jacques Derrida)解构哲学与吉尔·德勒兹(Giles Louis Rene Deleuze)生成思想的影响,设计方法从对潜在关系的解构向形式生成转变,为数字形式生成方法论奠定了基础。对艾森曼与林恩(Greg Lynn)的建筑作品深入分析,在计算机技术发展的影响下,形式生成方法论的形成经过了从解构主义、自动生成探索到参数化生成设计的阶段,非线性的连续形式在当今数字化建筑领域仍是典型特征。研究形式生成方法论的形成,可以明确早期数字建筑师做出的重要贡献,更全面地把握形式生成的发展趋势,对于未来生成更复杂的建筑形式与拓展建筑师的设计思路具有重要意义。

当代风景园林设计形式的自主与自律:专业-历史-实证

无论是规划设计还是保护管理,风景园林专业行为本身都具有对外环境进行行为干预的实质,风景园林的设计形式无论作为意图的结果和还是实施意图的媒介,所具有的自主性是需要被讨论和批判的,本报告正是试图从专业、历史和实证的视角去探讨风景园林专业领域中的设计形式生成的自身规律和自主特质问题。

柴油机碳烟的生成及控制

本文阐述了柴油机排气微粒与碳烟的关系 ,说明了碳烟的生成原理、生成形式及对人体危害。提出控制碳烟及机内净化碳烟的方法 ,并予以佐证。

艺术设计中形式的思考

在艺术设计中,形式问题向来为设计师所关注。设计中的形式不完全等同于艺术中的形式,有它自身的特质。设计形式地生成有物理、个体心理以及社会文化的原因。对设计形式的产生、分类和功能作了论述。