Green Peter Reservoir, Middle Santiam River, Oregon; design memorandum.

no. 4. Right Bank Road [and] 4 supplements.--no. 8. Clearing: Green Peter Dam.--no.9. Geology and foundations--no. 10. Concrete dam.--no. 11. Powerhouse and switchyard; preliminary design report [and [suppl] 1. Powerhouse; structural and architectural design. [suppl] 2. Powerhouse; mechanical design. no. 13. Fish facilities.--no. 14. Concrete aggregates.

Building by design /

Cover title.

Building by design /

A grants program supported by Build Illinois, and the National Endowment for the Arts.

Design guidelines for creating defensible space /

Includes bibliographical references.

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.^

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.

Exploring design patterns for sustainable behaviour

Products and services explicitly intended to influence users’ behaviour are increasingly being proposed to reduce environmental impact and for other areas of social benefit. Designing such interventions often involves adopting and adapting principles from other contexts where behaviour change has been studied. The ‘design pattern’ form, used in software engineering and HCI, and originally developed in architecture, offers benefits for this transposition process. This article introduces the Design with Intent toolkit, an idea generation method using a design pattern form to help designers address sustainable behaviour problems. The article also reports on exploratory workshops in which participants used the toolkit to generate concepts for redesigning everyday products—kettles, curtains, printers and bathroom sinks/taps—to reduce the environmental impact of use. The concepts are discussed, along with observations of how the toolkit was used by participants, suggesting usability improvements to incorporate in future versions.

Projeto Sol Morumbi - Paulinia : as lembranças da infancia e adolescencia pelos caminhos da Educação Fisica

Universidade Estadual de Campinas . Faculdade de Educação Fisica

Residential high-rise buildings in São Paulo: aspects related to the adequacy to the occupant`s needs

This paper analyzes the production of apartment buildings for the middle-income segment in the city of So Paulo, Brazil, from a historical perspective. Tracing the response to the occupants` needs, the focus is on family profiles and their demands, the relationship between architectural design and marketing, and satisfaction levels of current users. The paper begins with a brief historical overview of how apartment buildings have evolved over the past eight decades, highlighting the consolidation of the tripartite model. Next, it analyzes family profiles and their current needs, which would call for a redesign of domestic space. From a different angle, it shows how the real-estate market reacts to this situation, namely by introducing minor changes in the domestic space that are closely linked to major investments in marketing. This leads to a discussion on the quality of recent architectural designs in light of Post-Occupancy Evaluation (POE) case studies, which corroborate the tendencies previously outlined. The conclusions drawn from the POEs suggest that the market should establish a closer and deeper relationship between the assessment of the human behavior in the domestic space and the architectural quality of homes as a means of increasing satisfaction levels and improving design performance.

The new research centre of the Brazilian Petroleum Company in Rio de Janeiro, Brazil: The achievements in the thermal performance of air-conditioned buildings in the tropics

The study on the thermal performance of the air-conditioned buildings of the new research centre of the Brazilian Petroleum Company, in the tropical climate of Rio de Janeiro, was part of a bigger research and consultancy, project involving environmental issues. The architectural design was the subject of a national competition in 2004, encompassing over 100,000 m(2). According to the design brief, out of the 10 buildings of the new research centre, 7 have to be either completely or partially air-conditioned, due to specific occupation requirements. The challenge for better thermal performance was related to systems` energy efficiency, to the introduction of natural ventilation and to the notion of adaptive comfort, which were verified with the support of thermal dynamic simulations. At the early stages of the assessments, the potential for natural ventilation in the working spaces considering the mixed-mode strategy achieved 30% of occupation hours. However, the development of the design project led to fully air-conditioned working spaces, due to users` references regarding the conventional culture of the office environment. Nevertheless, the overall architectural approach in accordance to the climatic conditions still showed a contribution to the buildings` energy efficiency. (C) 2008 Elsevier B.V. All rights reserved.

Kidosaki redux: Trans-cultural trans-location

This paper concerns a collaborative experiment in architectural design teaching and thinking developed during a workshop held at The University of Queensland in 2000. The programme explored the possibilities and the consequences of relocating location-specific architecture to a different context - a 'Trans-Cultural Trans-Location'. The project involved the careful study by Australia-based students of a house designed for a Japanese family in a dense part of Tokyo by the eminent Japanese architect Tadao Ando, and the subsequent translocation of the ideas that underlay the building to a suburban location in Brisbane, for a theoretical equivalent Australian family. This experimental project examined the universality of architectural concepts, their appreciation and the pedagogical setting. The project raised questions of: - How well do students from one culture comprehend architecture designed specifically for another – which are the areas of misunderstanding and understanding? - How can students transpose architectural ideas from one social and physical context to one that is almost entirely the opposite? - What are the limits of collaboration and exchange in design teaching and how do they reveal similarities, inconsistencies and the unexpected in the aims of the teacher and of the student? These questions suggest that in order to comprehend a design, we must understand the culture within which it originated, and that we must understand the cultures within which we work in order to design. This paper is written in two parts. The first part establishes a framework for discussing the contrast of the cultural settings studied. The second part considers the nature, conduct and results of the Studio Workshop itself.

Domain-Specific Language for Coordination patterns

The integration and composition of software systems requires a good architectural design phase to speed up communications between (remote) components. However, during implementation phase, the code to coordinate such components often ends up mixed in the main business code. This leads to maintenance problems, raising the need for, on the one hand, separating the coordination code from the business code, and on the other hand, providing mechanisms for analysis and comprehension of the architectural decisions once made. In this context our aim is at developing a domain-specific language, CoordL, to describe typical coordination patterns. From our point of view, coordination patterns are abstractions, in a graph form, over the composition of coordination statements from the system code. These patterns would allow us to identify, by means of pattern-based graph search strategies, the code responsible for the coordination of the several components in a system. The recovering and separation of the architectural decisions for a better comprehension of the software is the main purpose of this pattern language

A Concepção Arquitectónica Como Processo: o exemplo de Christopher Alexander

Começam a surgir indícios de que se procura uma substituição da capacidade criativa humana pela programação de processos passíveis de uma automatização informática. Utilizamos o exemplo da obra de Christopher Alexander e advogamos que a concepção arquitectónica proposta por aquele arquitecto é, desde o início, a construção de uma linguagem de estrutura formal funcionalista, por isso programável e algorítmica, cuja discriminação varia da, função focada sobre a concepção do objecto (produção-exigências) para a função focada sobre o sujeito (fruiçãonecessidades). A estrutura de processamento daquele sistema tem origem, no conceito de “resolução de problema” ( problem solving ) e tem como objectivo, a efectiva programação daquilo que hoje é o trabalho criativo humano. Comprova-o o facto de o sistema da “pattern language” ter uma utilização cada vez maior nas investigações informáticas, desde a própria estrutura de programas evolutivos, até aos “object oriented design” ligados à investigação da Inteligência Artificial, passando pelo conceito de “Patterns”, como uma disciplina de engenharia informática para a resolução de problemas 1 . Verificámos na nossa investigação que, paradoxalmente, o mesmo sistema que procura uma libertação democrática da arquitectura – segundo o princípio, “arquitectura de todos para todos” – parece ser, no actual contexto histórico ocidental, um dos sistemas capazes de limitar a Arquitectura, através de um processamento algorítmico de concepção que visa a manipulação de modelos formais preestabelecidos – não obrigatoriamente estáticos – numa “performance” funcional.

O Esquisso como Lugar de Convergência

Esta comunicação constitui o resultado de uma reflexão sobre a análise do processo de concepção arquitectónica propondo como principal aspecto desse processo a relação íntima e complexa que se estabelece entre o arquitecto e o desenho por ele desenvolvido. Procura-se descrever a importância do desenho de concepção como primeiro reflexo visível do mundo da imaginação e como reflexo de uma manifestação emocional que encontra na folha de papel a luz necessária ao sucesso da leitura e entendimento do seu significado. Trata-se de salientar a importância do esquisso/projecto enquanto modo de exteriorização das vontades, de libertação de desejos e reminiscências bem como, verificar a sua essência como estrutura de projecção de cenários e objectos que preenchem o que, em termos de psicanálise, se pode designar de mundo interior. O projecto será abordado como lugar de confronto e de convergência sendo o esquisso a sua manifestação primeira, pelo que, se irá particularizar a reflexão sobre o esquisso segundo diversas premissas como forma de valorizar a sua necessária complexidade. O esquisso como lugar da convergência do saber, do conhecimento e da experiência. O esquisso como estrutura organizadora (do pensamento e da forma). O esquisso como símbolo narcisista da relação intima, dialéctica, da corporalidade (do sujeito arquitecto) com a folha de papel. O esquisso como símbolo da introspecção e da relação entre o corpo e a imaginação/ mente. O esquisso entendido como possível receptáculo do mundo interior e dos seus objectos. O esquisso como resultado de um gesto simbólico, e das imagens motivadoras, que se perpétua por um encadeamento consequente de registos. Ao mesmo tempo questiona-se, também, o lugar do esquisso e o seu enquadramento no contexto actual dominado pelo digital e pelos sistemas de informação.

A utilização da madeira na construção de edifícios: alternativas às soluções tradicionais

Esta dissertação insere-se num projecto de investigação relacionado com o papel que a madeira apresenta na construção nos tempos de hoje, necessário para obtenção do Mestrado em Engenharia Civil. A madeira apresenta, enquanto material de construção, especificidades únicas: é um material orgânico, ao contrário da pedra, do aço e do betão; é um material combustível, sem que isto implique necessariamente uma baixa resistência ao fogo; é um material tradicional, presente em pavimentos e coberturas de edifícios antigos e é, paradoxalmente, um material novo, adoptado em arrojadas obras de arquitectura contemporânea. Estas características, associadas à necessidade de garantir a sustentabilidade da construção e de conservar e reabilitar o património edificado, tornam essencial o estudo das propriedades mecânicas do material, dos seus processos de degradação química e biológica, dos meios de protecção e do comportamento de elementos estruturais ao fogo. As estruturas em madeira têm tido uma procura crescente no nosso país, revelando-se uma opção interessante, como alternativa a estruturas de aço ou de betão. No entanto, por configurarem ainda soluções estruturais, materiais e processos construtivos pouco comuns entre nós, considera-se que não estão suficientemente divulgados os instrumentos de que podemos e devemos dispor para a garantia da qualidade destas estruturas. É apresentado um estudo de viabilidade económica no âmbito do nosso país, comparando casas em madeira, modulares pré-fabricadas, com casas cuja construção é feita em alvenaria e betão armado, de forma a poder comparar os custos para ambas as soluções construtivas. Para tal, foram realizadas visitas a empresas, fábricas e a obras com o objectivo de entender como funciona o processo de fabrico de uma casa pré-fabricada em madeira.