Formal Methods in Architecture : Proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022 / / edited by Plácido Lizancos Mora, David Leite Viana, Franklim Morais, Jorge Vieira Vaz

• Autore: Lizancos Plácido
• Pubblicazione: Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2023
• Edizione: 1st ed. 2023.
• Descrizione fisica: 1 online resource (522 pages)
• Disciplina: 720.1
• Soggetto topico: Buildings - Design and construction; Architecture; Computer-aided engineering; Building Construction and Design; Computer-Aided Engineering (CAD, CAE) and Design; Cities, Countries, Regions
• Altri autori: VianaDavid Leite MoraisFranklim Vieira VazJorge
• Nota di contenuto: Intro -- Preface -- Acknowledgements -- Contents -- About the Editors -- Statements by the Keynote Speakers and the Chairs of the 6FMA -- The Formalization of Architecture as a Social Dialogical Tool: An Introduction to Innovative Theoretical Frames in Architectural Design -- 1 Introduction -- 2 Chapter One: The Dialogical Hope -- 3 Chapter Two: Some Examples of Human Interlocation -- 4 Conclusion -- References -- The Architectonics of Form: Intelligibility of Space and Form in Space-Time -- 1 Introduction -- 2 The Dynamics of Form and Embodied Vision -- 3 Conceptual Space Independent of the Observer -- 4 The Three-Dimensional Shape of Embodied Vision in Space-Time-Towards a Formal Method -- References -- Research, Diffusion and Transfer in Architecture-The European Context -- 1 Introduction -- 2 The Role of Architecture in Horizon Europe -- 3 Impact Assessment -- 4 Conclusions -- Some Controversies Around Formalization in Architecture -- 1 Formalization as a Current Path of Cognitive and Methodological Evolution -- 1.1 Formal Is not Digital -- 2 What About Architecture? -- 3 Architecture Is Historically Defined as a Discipline of Deep Abstract Thinking -- 3.1 Spatial Organization of Human Life -- 3.2 Construction and Environmental Control -- 3.3 Abstract Thinking in Architecture Becomes More Complex, Assumes Other Roles, and Gains Autonomy -- 3.4 The Self-autonomization of Architectonic Languages -- 4 Struggles -- 4.1 Normative Versus Rational Methods -- 4.2 "Be Tolerant in the Use of Linguistic Forms" -- 4.3 Denotational Semantics -- 4.4 Denotation Through Connotation -- 4.5 Interlacing Multiple Languages -- 4.6 Development and Experimentation of Languages -- 4.7 Positioning Is not Arbitrary, but Socially Engaged -- 5 The Need for an Autonomous Architectural Formalization. ; Developments in Space Configuration, Accessibility and Visibility Analysis -- A Spatial Analysis Proposal for Activity Affordance in Exhibition Halls -- 1 Introduction -- 2 Literature Review -- 2.1 Quantitative Representations of Architectural Space -- 2.2 Considerations for Room Analysis -- 3 Methodology -- 3.1 Construction of the Grid -- 3.2 Adjacency and Valency -- 3.3 Accessibility and Second-Degree Valency -- 3.4 Computation of Connections and Valences -- 3.5 Translation of Hexagonal Coordinates into Rectangular Coordinates -- 4 Data -- 5 Statistical Results -- 6 Discussion -- 7 Conclusions and Future Work -- References -- VISSOP: A Tool for Visibility-Based Analysis -- 1 Introduction -- 2 Background -- 3 How VISSOP Works -- 3.1 Relational Isovists -- 3.2 Visibility-Based Analysis Methods -- 3.3 Measurements -- 4 Applications and Possibilities -- 4.1 Case Study -- 5 Discussion and Future Work -- 6 Conclusion -- References -- Restructuring Urban Form Through Restructuring Accessibility: An Integrated Urban Network Approach -- 1 Introduction -- 2 Research Methodology -- 3 Research Findings -- 3.1 The Qualitative Spatial Patterns -- 3.2 The Urban Spatial Structure -- 3.3 Implications on Land Use Planning -- 4 Discussion and Conclusion -- References -- Urban Design, Architecture and Space Syntax in the Conception of Public Spaces-A Look at Luanda'S Revitalization -- 1 Introduction -- 2 Theoretical Framework -- 2.1 Urban Design Theories and Practices -- 2.2 Public Space and Public Life -- 3 Methods -- 3.1 Space Syntax and Public Open Space Revitalization -- 3.2 Axial Analysis -- 4 Methodology of Analysis -- 4.1 The Revitalization of the Bay of Luanda -- 5 Results -- 6 Discussion -- 7 Summary and Preliminary Conclusions -- References. ; Integrating Formal Methodologies in a Multi-Layered Analysis for Management Policies for the Pedestrian Use of Public Space -- 1 Introduction -- 2 Empirical Data -- 2.1 Empirical Data on the Use of Spaces -- 2.2 Empirical Data-Physical, Geometric, and Functional Surveys -- 3 Pedestrian Dynamics Methodologies -- 3.1 Traffic Flow Methodologies-Mobility Analysis -- 3.2 Agent-Based Methodologies -- 3.3 Space Syntax-Segments -- 3.4 Visibility Graph Analysis -- 3.5 3D Space Syntax -- 4 Conclusions -- 5 Future Work -- References -- Space Syntax as a Distributed Artificial Intelligence System: A Framework for a Multi-Agent System Development -- 1 Introduction -- 2 Pedestrian Route Election and Allocation -- 3 Agent Technologies and Existing Frameworks Implementations -- 3.1 Built Environment Existing Representations: NETLogo and Repast GIS Extensions -- 3.2 Built Environment Existing Representations for Evacuation Simulations -- 3.3 Steering Behaviours Implementation: Relevant Gaming Technologies -- 4 Multi-agent Systems Models (MAS) Foundational Basis -- 4.1 FIPA and Agent Communication Protocols -- 4.2 Agent's Coordination -- 5 Agents Properties, Architectures and Multi-Agent System MAS Definition. -- 5.1 Agent Architectures, Foundations of Agent's Reasoning -- 5.2 Classical Architecture: Reactive Versus Deliberative -- 5.3 Classical Architecture: Belief-Desire-Intention (BDI) Model -- 5.4 Classical Architecture: Hybrid/Layered Architecture -- 5.5 Cognitive Architecture -- 6 Conclusions -- 6.1 Goal and Decision-Making Process Customization: Cost Function -- 6.2 Adequate Existing Technological Approaches -- 6.3 Agents' Architectures, Languages and Attributes -- References -- Examination of the Diffusion of COVID-19 Cases in Viçosa, Minas Gerais (Brazil): A Configurational Approach -- 1 Introduction -- 2 Contextualization of the Study Territory. ; 3 Theoretical Methodological Bases -- 3.1 Space Syntax -- 3.2 Kernel Maps -- 4 Correlation Between Configurational Analysis and Density Maps -- 4.1 Reading and Interpretation of Correlations -- 5 Conclusions -- References -- Applying a Morphological Approach into Istanbul's Urban Landscape -- 1 Introduction -- 2 Characterizing the Urban Landscape Through the Method of Morphological Regionalization -- 3 The Urban History of Istanbul -- 4 The Turkish Planning System and Built Heritage -- 5 The Application into Istanbul -- 5.1 First-Order Regions -- 5.2 Second-, Third-, and Fourth-Order Regions -- 6 Conclusions -- References -- Evaluating Urbanity by Measuring Urban Morphology Attributes -- 1 Introduction-The Quality of Urban Space -- 2 Attributes/Indicators/Performance/Quality -- 3 Indicators -- 4 Performance -- 4.1 Configuration -- 4.2 Density and Urban Form -- 4.3 Occupation (Population and Housing Density) -- 4.4 Mixed Use and Diversity -- 4.5 Public-Private Space Interfaces -- 5 Discussion (on Quality and Lessons Learned for Urban Design) -- 6 Conclusion and Future Work -- References -- Developments in Architectural Design Automation -- Plausible Layout Generation Using Machine Learning, Evolutionary Optimisation and Parametric Methods -- 1 Introduction -- 2 Related Work -- 3 Research Design and Methodology -- 4 Placing the Building Shape and Primary Circulation -- 5 Machine Learning Experiments -- 6 Placing Secondary Circulation and the Rooms -- 7 Results -- 8 Next Steps and Improvements -- 9 Conclusions -- 10 Related Software and Tools -- References -- Experimental Form-Finding Method. Case Study: 'Weather Pavilion' -- 1 Introduction -- 1.1 Nature-Adaptive Design/Bio-Background -- 1.2 Digital Form-Finding and Algorithmic Design -- 1.3 Structural and Shape Optimization in Architecture -- 1.4 Tensegrity (Tensional Integrity) Systems. ; 1.5 Goals of the Paper and Architectural Philosophy -- 2 Methods -- 2.1 Weather-Triggered Form-Finding -- 2.2 Data -- 2.3 'DNA' -- 2.4 Growth -- 2.5 Force Load -- 2.6 Analysis -- 2.7 Optimization -- 2.8 Simulation -- 3 Results -- 3.1 Pros of the Method -- 3.2 Cons of the Method -- 3.3 Future Work and Possible Further Applications of the Method -- 4 Conclusion -- References -- Modelling the Relationships Between Ground and Buildings Using 3D Architectural Topological Models Utilising Graph Machine Learning -- 1 Introduction -- 2 Motivation -- 3 Building and Ground Relationship -- 4 Graph Neural Network (GNN) -- 4.1 Application of Graph Machine Learning in Architecture -- 4.2 Topologic -- 5 Methodology -- 6 Generating the Building/Ground Case Study (Rules) -- 6.1 Flat Ground (FG) -- 6.2 Sloped Ground (SG) -- 7 Generating the Building/Ground Case Study (Iteration) -- 7.1 Flat Ground (FG) Iteration Form -- 7.2 Sloped Ground (SG) Iteration Form -- 8 Experimental Results -- 8.1 Deep Graph Convolutional Neural Network (DGCNN) -- 8.2 Prediction of New Building and Ground Relationship Scenario -- 9 Conclusion -- References -- Associative Synthesis with Deep Neural Networks for Architectural Design -- 1 Introduction -- 2 Method -- 2.1 Project 1 -- 2.2 Project 2 -- 2.3 Project 3 -- 3 Conclusion -- References -- Behind Algorithmic Geometric Patterns: A Framework for Facade Design Exploration -- 1 Introduction -- 2 Methods -- 3 Mastering Unpredictability -- 4 Mathematics-Based Implementation -- 4.1 Pattern -- 4.2 Fabrication -- 5 Evaluation -- 5.1 Algorithmic-Based Exploration -- 5.2 Algorithmic-Based Manufacturing -- 6 Conclusion -- References -- Formal Studies on the Parts and Wholes of Historical Bricklay Designs -- 1 Introduction -- 2 Methodology -- 3 Setting Up a Generative System -- 3.1 Characteristics of Bricks -- 3.2 Parameters of Bricklaying. ; 3.3 Rules of Bricklaying.
• Sommario/riassunto: This book comprises the select proceedings of the 6th International Symposium on Formal Methods in Architecture (6FMA), A Coruña 2022. The contents focus on the use of methodologies, especially those that have witnessed recent developments stemming from mathematical and computer sciences and are developed in a collaborative way with architecture and related fields. This book constitutes a contribution to the debate and to the introduction of new methodologies and tools in the mentioned fields that derive from the application of formal methods in the creation of new explicit languages for problem-solving in architecture and urbanism. Some of the themes in the book are CAD and BIM, mixed realities, photogrammetry and 3D scan, architectural design automation, urban and building performance analysis, SCAVA-space configuration, accessibility and visibility analysis. This book proves a valuable resource for those in academia and industry.
• Titolo autorizzato: Formal Methods in Architecture
• ISBN: 9789819922178; 9819922178
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910736978403321
• Lo trovi qui: Univ. Federico II
• Serie: Digital Innovations in Architecture, Engineering and Construction, . 2731-7277