Az épített örökség védelme és a gazdasági stratégia (Protecting the architectural heritage and economic strategy)

Ez az esszé öt tételben vizsgálja, hogy a magyarországi épített örökség miért jutott olyan rossz helyzetbe, s a rendszerváltozás óta eltelt közel negyedszázad miért nem volt képes leküzdeni a háború és a szocializmus örökségét. Az írás második felében megkíséreljük fölvázolni azt, milyen gazdasági stratégia mentén lenne elérhető az a cél, hogy a hazai épített örökség üzleti és társadalmi hasznosítása is megvalósuljon. Ekkor tehertétel helyett – más országokban tapasztalt módon – a gazdasági fölemelkedés tartós tényezőjévé válhat. ___________ This essay advances five theses explaining the desolate state of the architectural heritage in Hungary. It also addresses the issue of why two decades of transition was not sufficient to remedy the shortcomings of four decades of socialism. In the second part of the study we attempt to draft a strategy that could help overcome these difficulties. It aims at a combination of business, municipal and civil society activities guided by a nationally coordinated plan. Following these guidelines the architectural heritage in Hungary could be transformed into an asset instead of a liability, as has been the case in many other European countries.

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic.^ This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.^

Experiential hospitality environments: The roles of the interior architectural features in affording meanings of place

People’s authentic sense of place is being overshadowed by less authentic experiences referred to as placelessness. Consequently, a demand for experiential interior environments has surfaced. Experiential environmental and place attachment theories suggested that the relationships between self, others, and the environment are what encourage users in creating meaningful authentic experiences. This qualitative study explored the roles of the experiential interior architectural features in affording users of hospitality environments higher-level needs, such as meanings of place. For the case study, ten participants stayed at a hotel for two nights. Participants were given a guided list of ten facets of an experience, which was insidiously structured by both experiential environmental and place attachment theories. The participants used photographs to document each of the facets on the guided list. The photos were then used during the photo elicitation interviews, which evoked additional qualitative information. Participants identified specific interior architectural features and described them using the themes associated to place attachment theories. The findings revealed that the interior architectural features might enrich the meanings a person associates with a given place. Possibly affording users higher-level needs. As a result, if an experiential interior environment allows users to foster relationships between self, others, and the physical environment, they may experience more authentic experiences and give more meanings to a place.

Effects of architectural features of air-permeable roof cladding materials on wind-induced uplift loading

Widespread damage to roofing materials (such as tiles and shingles) for low-rise buildings, even for weaker hurricanes, has raised concerns regarding design load provisions and construction practices. Currently the building codes used for designing low-rise building roofs are mainly based on testing results from building models which generally do not simulate the architectural features of roofing materials that may significantly influence the wind-induced pressures. Full-scale experimentation was conducted under high winds to investigate the effects of architectural details of high profile roof tiles and asphalt shingles on net pressures that are often responsible for damage to these roofing materials. Effects on the vulnerability of roofing materials were also studied. Different roof models with bare, tiled, and shingled roof decks were tested. Pressures acting on both top and bottom surfaces of the roofing materials were measured to understand their effects on the net uplift loading. The area-averaged peak pressure coefficients obtained from bare, tiled, and shingled roof decks were compared. In addition, a set of wind tunnel tests on a tiled roof deck model were conducted to verify the effects of tiles' cavity internal pressure. Both the full-scale and the wind tunnel test results showed that underside pressure of a roof tile could either aggravate or alleviate wind uplift on the tile based on its orientation on the roof with respect to the wind angle of attack. For shingles, the underside pressure could aggravate wind uplift if the shingle is located near the center of the roof deck. Bare deck modeling to estimate design wind uplift on shingled decks may be acceptable for most locations but not for field locations; it could underestimate the uplift on shingles by 30-60%. In addition, some initial quantification of the effects of roofing materials on wind uplift was performed by studying the wind uplift load ratio for tiled versus bare deck and shingled versus bare deck. Vulnerability curves, with and without considering the effects of tiles' cavity internal pressure, showed significant differences. Aerodynamic load provisions for low-rise buildings' roofs and their vulnerability can thus be more accurately evaluated by considering the effects of the roofing materials.

Medical School in the Drawing Board at Florida International University

College of Medicinemunication form the FLorida International University Office of Media Relations on the University's plan to create an Academic Health Center, including a doctorate program in medicine.

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic. This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.

Sustaining culture through architecture : how can local, vernacular architectural principles be adapted to contemporary design in a village in Guyana

This thesis explores how architecture can adapt local vernacular design principles to contemporary building design in a rural setting. Vernacular buildings in Guyana present a unique and coherent set of design principles developed in response to climatic and cultural conditions. The concept of “habitus” proposed by philosopher Pierre Bourdieu describing the evolving nature of social culture was used to interpret Guyanese local buildings. These principles were then applied to the design of a Women’s Center in the village of Port Mourant on the east coast of Guyana. The design specifically interpreted the “bottom-house” of local Guyanese architecture, an inherently flexible transitional outdoor space beneath raised buildings. The design of the Women’s Center demonstrates how contemporary architectural design can respond to climatic requirements, local preferences and societal needs to support the local culture.

Drawing as a technique to facilitate childrens memory

This study examined a technique to assist children to recall more information about witnessed events. Thirty-eight fourth-grade children from a public grade school in Miami Florida participated in the experiment. The participants watched a Red Cross demonstration and were interviewed one week later about details of the demonstration. All of the children were interviewed using a police style interview. In addition, half of the children were instructed to draw during the interview. The current study supported previous findings that the instruction to draw increased the amount of information recalled. The effect of drawing was greatest for high-visual events. In addition, the instruction to draw prompted an increase in non-verbal information, which had an unusually high accuracy rate.

Bennett Hall, 1938 drawing

Bennett Hall was named for Private Logan A. Bennett of the 62nd U.S. Colored Infantry which contributed money for Lincoln University;s founding. He was a life long resident of Jefferson City, Mo. , and remained an ardent supporter of Lincoln University. This two story brick building housed young women and was occupied in 1938. It is now the new phase of living and learning for students with a concentration in Agriculture and Natural Sciences.

Fibrous Aerial Robotics: study of spiderweb strategies for the design of architectural envelopes using swarms of drones and inflatable formworks

La tesi approccia in modo transdisciplinare biologia, architettura e robotica, con la finalità di indagare e applicare principi costruttivi attraverso l’interazione tra sciami di droni che depositano materiale fibroso su strutture gonfiabili di supporto. L’attenzione principale è nello sviluppo (attraverso un workflow computazionale che gestisce sciami di agenti costruttori) di una tettonica che integra struttura, spazio e ornamento all’interno dello stesso processo progettuale, il quale si sviluppa coerentemente dall’ideazione fino alla fabbricazione. Sono stati studiati modelli biologici quali le colonie di ragni sociali, i quali costruiscono artefatti di grandi dimensioni relativamente a quelle del singolo individuo grazie ad un’organizzazione coordinata ed emergente e alle proprietà dei sistemi fibrosi. L’auto-organizzazione e la decentralizzazione, insieme alle caratteristiche del sistema materiale, sono stati elementi indispensabili nell’estrapolazione prima e nella codificazione poi di un insieme di regole adatte allo sviluppo del sistema costruttivo. Parallelamente alla simulazione digitale si è andati a sviluppare anche un processo fisico di fabbricazione che, pur tenendo conto dei vincoli economici e tecnici, potesse dimostrarsi una prova di concetto e fattibilità del sistema costruttivo. Sono state investigate le possibilità che un drone offre nel campo della fabbricazione architettonica mediante il rilascio di fili su elementi gonfiabili in pressione. Il processo può risultare vantaggioso in scenari in cui non è possibile allestire infrastrutture costruttive tradizionali (es. gole alpine, foreste). Tendendo conto dei vincoli e delle caratteristiche del sistema di fabbricazione proposto, sono state esplorate potenzialità e criticità del sistema studiato.

Salutogenesis: a new paradigm for pervasive computing in healthcare environments?

Salutogenesis is now accepted as a part of the contemporary model of disease: an individual is not only affected by pathogenic factors in the environment, but those that promote well-being or salutogenesis. Given that "environment" extends to include the built environment, promotion of salutogenesis has become part of the architectural brief for contemporary healthcare facilities, drawing on an increasing evidence-base. Salutogenesis is inextricably linked with the notion of person-environment "fit". MyRoom is a proposal for an integrated architectural and pervasive computing model, which enhances psychosocial congruence by using real-time data indicative of the individual's physical status to enable the environment of his/her room (colour, light, temperature) to adapt on an on-going basis in response to bio-signals. This work is part of the PRTLI-IV funded programme NEMBES, investigating the use of embedded technologies in the built environment. Different care contexts require variations in the model, and iterative prototyping investigating use in different contexts will progressively lead to the development of a fully-integrated adaptive salutogenic single-room prototype.

Knot/Knotting Practice in Craft and Space

Knot/knotting Practice in Craft and Space is a three part research-creation project that used a study of knotting techniques to locate craft in an expanded field of spatial practice. The first part consisted of practical, studio based exercises in which I worked with various natural and synthetic fibres to learn common knotting techniques. The second part was an art historical study that combined craft and architecture history with critical theory related to the social production of space. The third part was an exhibition of drawing and knotted objects titled Opening Closures. This document unifies the lines inquiry that define my project. The first chapter presents the art historical justification for knotting to be understood as a spatial practice. Nineteenth-century German architect and theorist Gottfried Semper’s idea that architectural form is derived from four basic material practices allies craft and architecture in my project and is the point of departure from which I make my argument. In the second chapter, to consider the methodological concerns of research-creation as a form of knowledge production and dissemination, I adopt the format of an instruction manual to conduct an analysis of knot types and to provide instructions for the production of several common knots. In the third chapter, I address the formal and conceptual underpinnings of each artwork presented in my exhibition. I conclude with a proposal for an expanded field of spatial practice by adapting art critic and theorist Rosalind Krauss’s well-known framework for assessing sculpture in 1960s.

Comparing architectural styles for distributed expert knowledge modules in intelligent tutoring systems

Intelligent Tutoring Systems (ITSs) are computerized systems for learning-by-doing. These systems provide students with immediate and customized feedback on learning tasks. An ITS typically consists of several modules that are connected to each other. This research focuses on the distribution of the ITS module that provides expert knowledge services. For the distribution of such an expert knowledge module we need to use an architectural style because this gives a standard interface, which increases the reusability and operability of the expert knowledge module. To provide expert knowledge modules in a distributed way we need to answer the research question: ‘How can we compare and evaluate REST, Web services and Plug-in architectural styles for the distribution of the expert knowledge module in an intelligent tutoring system?’. We present an assessment method for selecting an architectural style. Using the assessment method on three architectural styles, we selected the REST architectural style as the style that best supports the distribution of expert knowledge modules. With this assessment method we also analyzed the trade-offs that come with selecting REST. We present a prototype and architectural views based on REST to demonstrate that the assessment method correctly scores REST as an appropriate architectural style for the distribution of expert knowledge modules.

Creating an Empire: Local Political Change at Angamuco, Michoacan, Mexico

Thesis (Ph.D.)--University of Washington, 2016-08