Essa pesquisa objetiva examinar o papel do diagrama nas casas seriadas do arquiteto americano Peter Eisenman e evidenciar a base formal de seu trabalho de projeto. Trabalha-se com a hipótese de que seus diagramas são a priori, isto é, antecedem as questões de programa, e que seu trabalho diagramático forja um contexto que faz das obras os objetos de uma rede de relações de formas e de significados. A partir do início dos anos sessenta, o diagrama passa a ser a chave de seu projeto teórico, que tem como problema de fundo o mito de uma arquitetura autônoma, formulada na fronteira entre as disciplinas da semiótica, da fenomenologia, da cognição e da filosofia. Nessa fronteira, o diagrama participa operativamente da ideia de uma arquitetura conceitual que não se afirma simplesmente pela presença do edifício, mas fundamentalmente por relações lógicas que constituem a base da abordagem formalista da arquitetura. Em princípio, a tese apresenta os diferentes significados que o diagrama assume nas várias áreas do conhecimento e procura destacar a contribuição de Eisenman na investigação sobre o papel operativo do conceito no projeto arquitetônico. Segue-se a esse tópico a contextualização da agenda teórica de Eisenman a partir de sua inserção no ambiente cultural inglês, quando ele assimila o recorte analítico de seu mentor, Colin Rowe, para formular a sua primeira crítica ao funcionalismo. Como contraponto à ideia de que Eisenman aborda os diagramas como um a priori formal, examina-se os conceitos de diagrama e de forma na tese de doutorado de Christopher Alexander, texto em que ele defende uma visão mecanicista do diagrama como solução extensiva do projeto. A partir desses contextos, desenvolve-se um exame do papel dos diagramas nas leituras do precedente histórico que Eisenman empreende em análises formais de obras modernistas e de obras do arquiteto italiano Giuseppe Terragni. Tomando-se como premissa que seu trabalho analítico começa já na construção dos textos críticos, evidencia-se as bases formais dos diagramas do texto de Eisenman e a transposição dessas bases para o conjunto de estudos de casas que ele reúne como uma série de objetos numerados, de 1 a 11 A. A partir do levantamento e da classificação de um grande volume de registros gráficos e de escritos sobre essas obras, descrevem-se as referências e as articulações dos diagramas que constituem a pré-história do experimento de projeto de Peter Eisenman. Como conclusão, retorna-se aos textos do autor, escritos durante e após os projetos das casas, para se apontar a opção de Eisenman por fundamentar seu discurso com conceitos da linguística e da filosofia, em detrimento de uma explicitação do diagrama como sua chave formal e conceitual, para ler e para construir a arquitetura. A partir da constatação de que o diagrama de Eisenman é um dispositivo de linguagem que lhe permite discutir as regras da representação e as convenções do discurso sobre a forma de dentro do exercício de projeto, considera-se que seu trabalho diagramático coloca a perspectiva de um modo de conhecimento autônomo, fundado na racionalidade formal. / This research examines the role of the diagram in the series of houses designed by American architect, Peter Eisenman, and underlines the formal basis of his design work. The hypothesis is that his diagrams are a priori, meaning they precede any issues in the program, and that his diagrammatic work creates a context that makes the projects objects in a network of relationships of forms and meanings. From the early 1960s, the diagram became the key to his theoretical thinking, which has, as its basic problem, the myth of an autonomous architecture, formulated on the border between the disciplines of semiotics, phenomenology, cognition, and philosophy. On this border, the diagram takes an operative part in the idea of a conceptual architecture that does not simply affirm itself by the presence of the building but fundamentally by logical relationships that form the basis of a formalistic approach to architecture. The first chapter presents the main meanings a diagram assumes in different areas of knowledge and seeks to highlight Eisenman\'s contribution to the investigation into the operative role of the concept in an architectural project. This chapter is followed by the contextualization of Eisenman\'s theoretical agenda, from its insertion into the English cultural environment, when he assimilates the analytical approach of his mentor, Colin Rowe, then to formulate his first critique of functionalism. As a counterpoint to the idea that Eisenman addresses diagrams as a formal a priori principle, the concepts of the diagram and form in the doctorate thesis by Christopher Alexander are examined, a text in which he advocates a mechanistic view of the diagram as an extensive design solution. From these contexts, an examination is developed, about the role of diagrams in historical readings that Eisenman uses in his formal analysis of modernist works, and in the works by the Italian architect, Giuseppe Terragni. Assuming as a premise that his analytical work already starts with the construction of critical texts, the fifth and sixth chapter highlight the formal basis of the diagrams in Eisenman\'s text, and the transposition of these basis for his houses studies, which he gathers together as a series of numbered objects, from 1 to 11 A. Based on a archival survey, on the classification of a large volume of project records and writings about these works, the chapter eighth describes the prehistory of Peter Eisenman\'s design experiment: the diagram\'s references and articulations extensive to the whole series. In conclusion, the author\'s texts, written during and after the house projects, are returned to in order to identify Eisenman\'s decision to base his ideas on concepts from linguistics and philosophy, rather than on an explanation of the diagram as the formal and conceptual key, with which he read and constructed architecture. After noting that Eisenman\'s diagram is a device of language that allows him to discuss the rules of architectural representation and the conventions of discourse on how to exercise it within a project, it is considered that his work with diagrams develops in the perspective of an autonomous mode of knowledge, based on formal rationality.

A tendência em ampliar o uso das tecnologias com aproveitamento da energia solar no setor residencial traz para os profissionais da área de projeto novos desafios que é o de reestruturar seus modelos de concepção e desenvolvimento de projetos a fim de garantir o comportamento em uso e a eficiência dos sistemas construtivos seguros. O Modelo conceitual de identificação e qualificação de risco proposto foi elaborado a partir da pesquisa de investigação e de desenvolvimento experimental. Foram considerados aspectos relativos às demandas de segurança em uso, construção do conhecimento a partir da sistemografia e a forma de integração desses saberes em um único sistema. O desenvolvimento experimental ocorreu durante o processo de projeto, produção, montagem, uso e operação de um protótipo denominado Ekó House. A metodologia aplicada envolveu quatro fases: Fase 1 - Exploratória - com pesquisas bibliográficas (as tecnologias, normas e práticas de projeto; Fase 2 - Definições - com a escolha da base teórica de apoio ao modelo; Fase 3 - Desenvolvimento - proposições e experimentos e Fase 4 - Teste e consolidação. Para validar o modelo aplicou-se a validação por generalização analítica, ou seja, expandir e generalizar a teoria. O modelo proposto, inovador no âmbito da sistemografia, apoiou-se na Teoria do Sistema Geral: teoria da modelização proposta por LE MOIGNE. Essa teoria trabalha com sistemas complexos e se apoia em processadores, são eles: de operação, informação e decisão que condicionam a integração sistêmica do projeto. Verificou-se durante a aplicação do modelo que ele estimula o aprofundamento das análises das soluções de projeto, quando: a)Identifica e formaliza conceitos que suportam o desenvolvimento das soluções nos diversos sistemas; xv b)Facilita a compreensão e síntese das múltiplas informações que precisam ser compatibilizadas no projeto; c)Formaliza um único principio \"segurança do usuário\" para a lógica de concepção e desenvolvimento de projeto; d)Organiza e permite que se priorizem as informações técnicas [fabricantes e normas];e)Facilita o entendimento por meio de informações as ações de organização e coordenação dos sistemas no espaço e de sua relação com as funcionalidades, uso e estética; e f)Fomenta a busca de soluções mais adequadas a segurança do usuário. Sendo assim, o teste do modelo validou a hipótese. Ele contribui como ferramenta guia de aprimoramento do processo de projeto. / The increasing use of solar energy technologies in the residential sector brings new challenges to professionals who work in the field of design, such as the need to restructure their mindset regarding to the conception and to the development of design, in order to ensure the performance and the efficiency of safe building systems. In this context, this thesis main goal is to propose a conceptual model for the identification and qualification of risk within residential architecture that uses solar energy technologies based on systemography. It\'s an investigative and experimental research, considering aspects related to: meet the demands of safety in use, the knowledge construction and how those could be managed. The experimental development was carried out during the process of design, production, assembly, use and operation of a prototype named Ekó House. The applied method has encompassed four stages: 1) Exploratory - bibliographic research about technologies, codes, rules and design practices; 2) Definitions - the choice of the theoretical basis to ground the model; 3) Development - propositions and experiments and 4) Proofing and consolidation. In order to verify the model it was carried out a test wherewith is possible to perform a validation by analytical generalization, that is, expand and generalize the theory. The proposed model, which represents an innovation in sistemography field, was based on LE MOIGNES\'s Systemic Theory. This Theory enabled the implementation in complex systems, using information, decision and operating processors which condition the design systemic integration. The results obtained by the research show that the model: a) incorporates knowledge, thus, being helpful along the decision-making process; b) eases the understanding and the overview of the diverse information needed by the design; c) formalizes a logic of design conception and development; d) xvii organizes and prioritizes the design technical recommendations [rules and manufacturers]; e) is able to promote an interference in the system\'s organization and coordination in space and also in its relation to functionality and aesthetics; it also f) guides the use of more suitable configurations to the design development. The model presents itself as a tool that is capable of reducing misuse of standards, conflicts between building systems, Technologies and architecture, as well as design failures that compromise safety in use.

Essa pesquisa objetiva examinar o papel do diagrama nas casas seriadas do arquiteto americano Peter Eisenman e evidenciar a base formal de seu trabalho de projeto. Trabalha-se com a hipótese de que seus diagramas são a priori, isto é, antecedem as questões de programa, e que seu trabalho diagramático forja um contexto que faz das obras os objetos de uma rede de relações de formas e de significados. A partir do início dos anos sessenta, o diagrama passa a ser a chave de seu projeto teórico, que tem como problema de fundo o mito de uma arquitetura autônoma, formulada na fronteira entre as disciplinas da semiótica, da fenomenologia, da cognição e da filosofia. Nessa fronteira, o diagrama participa operativamente da ideia de uma arquitetura conceitual que não se afirma simplesmente pela presença do edifício, mas fundamentalmente por relações lógicas que constituem a base da abordagem formalista da arquitetura. Em princípio, a tese apresenta os diferentes significados que o diagrama assume nas várias áreas do conhecimento e procura destacar a contribuição de Eisenman na investigação sobre o papel operativo do conceito no projeto arquitetônico. Segue-se a esse tópico a contextualização da agenda teórica de Eisenman a partir de sua inserção no ambiente cultural inglês, quando ele assimila o recorte analítico de seu mentor, Colin Rowe, para formular a sua primeira crítica ao funcionalismo. Como contraponto à ideia de que Eisenman aborda os diagramas como um a priori formal, examina-se os conceitos de diagrama e de forma na tese de doutorado de Christopher Alexander, texto em que ele defende uma visão mecanicista do diagrama como solução extensiva do projeto. A partir desses contextos, desenvolve-se um exame do papel dos diagramas nas leituras do precedente histórico que Eisenman empreende em análises formais de obras modernistas e de obras do arquiteto italiano Giuseppe Terragni. Tomando-se como premissa que seu trabalho analítico começa já na construção dos textos críticos, evidencia-se as bases formais dos diagramas do texto de Eisenman e a transposição dessas bases para o conjunto de estudos de casas que ele reúne como uma série de objetos numerados, de 1 a 11 A. A partir do levantamento e da classificação de um grande volume de registros gráficos e de escritos sobre essas obras, descrevem-se as referências e as articulações dos diagramas que constituem a pré-história do experimento de projeto de Peter Eisenman. Como conclusão, retorna-se aos textos do autor, escritos durante e após os projetos das casas, para se apontar a opção de Eisenman por fundamentar seu discurso com conceitos da linguística e da filosofia, em detrimento de uma explicitação do diagrama como sua chave formal e conceitual, para ler e para construir a arquitetura. A partir da constatação de que o diagrama de Eisenman é um dispositivo de linguagem que lhe permite discutir as regras da representação e as convenções do discurso sobre a forma de dentro do exercício de projeto, considera-se que seu trabalho diagramático coloca a perspectiva de um modo de conhecimento autônomo, fundado na racionalidade formal. / This research examines the role of the diagram in the series of houses designed by American architect, Peter Eisenman, and underlines the formal basis of his design work. The hypothesis is that his diagrams are a priori, meaning they precede any issues in the program, and that his diagrammatic work creates a context that makes the projects objects in a network of relationships of forms and meanings. From the early 1960s, the diagram became the key to his theoretical thinking, which has, as its basic problem, the myth of an autonomous architecture, formulated on the border between the disciplines of semiotics, phenomenology, cognition, and philosophy. On this border, the diagram takes an operative part in the idea of a conceptual architecture that does not simply affirm itself by the presence of the building but fundamentally by logical relationships that form the basis of a formalistic approach to architecture. The first chapter presents the main meanings a diagram assumes in different areas of knowledge and seeks to highlight Eisenman\'s contribution to the investigation into the operative role of the concept in an architectural project. This chapter is followed by the contextualization of Eisenman\'s theoretical agenda, from its insertion into the English cultural environment, when he assimilates the analytical approach of his mentor, Colin Rowe, then to formulate his first critique of functionalism. As a counterpoint to the idea that Eisenman addresses diagrams as a formal a priori principle, the concepts of the diagram and form in the doctorate thesis by Christopher Alexander are examined, a text in which he advocates a mechanistic view of the diagram as an extensive design solution. From these contexts, an examination is developed, about the role of diagrams in historical readings that Eisenman uses in his formal analysis of modernist works, and in the works by the Italian architect, Giuseppe Terragni. Assuming as a premise that his analytical work already starts with the construction of critical texts, the fifth and sixth chapter highlight the formal basis of the diagrams in Eisenman\'s text, and the transposition of these basis for his houses studies, which he gathers together as a series of numbered objects, from 1 to 11 A. Based on a archival survey, on the classification of a large volume of project records and writings about these works, the chapter eighth describes the prehistory of Peter Eisenman\'s design experiment: the diagram\'s references and articulations extensive to the whole series. In conclusion, the author\'s texts, written during and after the house projects, are returned to in order to identify Eisenman\'s decision to base his ideas on concepts from linguistics and philosophy, rather than on an explanation of the diagram as the formal and conceptual key, with which he read and constructed architecture. After noting that Eisenman\'s diagram is a device of language that allows him to discuss the rules of architectural representation and the conventions of discourse on how to exercise it within a project, it is considered that his work with diagrams develops in the perspective of an autonomous mode of knowledge, based on formal rationality.

A tendência em ampliar o uso das tecnologias com aproveitamento da energia solar no setor residencial traz para os profissionais da área de projeto novos desafios que é o de reestruturar seus modelos de concepção e desenvolvimento de projetos a fim de garantir o comportamento em uso e a eficiência dos sistemas construtivos seguros. O Modelo conceitual de identificação e qualificação de risco proposto foi elaborado a partir da pesquisa de investigação e de desenvolvimento experimental. Foram considerados aspectos relativos às demandas de segurança em uso, construção do conhecimento a partir da sistemografia e a forma de integração desses saberes em um único sistema. O desenvolvimento experimental ocorreu durante o processo de projeto, produção, montagem, uso e operação de um protótipo denominado Ekó House. A metodologia aplicada envolveu quatro fases: Fase 1 - Exploratória - com pesquisas bibliográficas (as tecnologias, normas e práticas de projeto; Fase 2 - Definições - com a escolha da base teórica de apoio ao modelo; Fase 3 - Desenvolvimento - proposições e experimentos e Fase 4 - Teste e consolidação. Para validar o modelo aplicou-se a validação por generalização analítica, ou seja, expandir e generalizar a teoria. O modelo proposto, inovador no âmbito da sistemografia, apoiou-se na Teoria do Sistema Geral: teoria da modelização proposta por LE MOIGNE. Essa teoria trabalha com sistemas complexos e se apoia em processadores, são eles: de operação, informação e decisão que condicionam a integração sistêmica do projeto. Verificou-se durante a aplicação do modelo que ele estimula o aprofundamento das análises das soluções de projeto, quando: a)Identifica e formaliza conceitos que suportam o desenvolvimento das soluções nos diversos sistemas; xv b)Facilita a compreensão e síntese das múltiplas informações que precisam ser compatibilizadas no projeto; c)Formaliza um único principio \"segurança do usuário\" para a lógica de concepção e desenvolvimento de projeto; d)Organiza e permite que se priorizem as informações técnicas [fabricantes e normas];e)Facilita o entendimento por meio de informações as ações de organização e coordenação dos sistemas no espaço e de sua relação com as funcionalidades, uso e estética; e f)Fomenta a busca de soluções mais adequadas a segurança do usuário. Sendo assim, o teste do modelo validou a hipótese. Ele contribui como ferramenta guia de aprimoramento do processo de projeto. / The increasing use of solar energy technologies in the residential sector brings new challenges to professionals who work in the field of design, such as the need to restructure their mindset regarding to the conception and to the development of design, in order to ensure the performance and the efficiency of safe building systems. In this context, this thesis main goal is to propose a conceptual model for the identification and qualification of risk within residential architecture that uses solar energy technologies based on systemography. It\'s an investigative and experimental research, considering aspects related to: meet the demands of safety in use, the knowledge construction and how those could be managed. The experimental development was carried out during the process of design, production, assembly, use and operation of a prototype named Ekó House. The applied method has encompassed four stages: 1) Exploratory - bibliographic research about technologies, codes, rules and design practices; 2) Definitions - the choice of the theoretical basis to ground the model; 3) Development - propositions and experiments and 4) Proofing and consolidation. In order to verify the model it was carried out a test wherewith is possible to perform a validation by analytical generalization, that is, expand and generalize the theory. The proposed model, which represents an innovation in sistemography field, was based on LE MOIGNES\'s Systemic Theory. This Theory enabled the implementation in complex systems, using information, decision and operating processors which condition the design systemic integration. The results obtained by the research show that the model: a) incorporates knowledge, thus, being helpful along the decision-making process; b) eases the understanding and the overview of the diverse information needed by the design; c) formalizes a logic of design conception and development; d) xvii organizes and prioritizes the design technical recommendations [rules and manufacturers]; e) is able to promote an interference in the system\'s organization and coordination in space and also in its relation to functionality and aesthetics; it also f) guides the use of more suitable configurations to the design development. The model presents itself as a tool that is capable of reducing misuse of standards, conflicts between building systems, Technologies and architecture, as well as design failures that compromise safety in use.

Made available in DSpace on 2016-03-15T19:22:38Z (GMT). No. of bitstreams: 1 Rosana Simprini Tateoka.pdf: 16106513 bytes, checksum: a8adde836f2932281512bfb36a341b54 (MD5) Previous issue date: 2014-08-14 / The aim of this work is to present three study cases of big office buildings in the city of São Paulo built in the 21st century, between 2001 and 2012; show the main characteristics of its projects, such as the requirements made by investors, architectural solutions, building´s dimensions, building´s position on site, slab sizing, arrangement of pillars, ceiling height, location and spaces chosen to integrate the support core, coating surfaces, air conditioning and automation system, urban legislation, environmental certifications and structural challenges faced, besides making a brief view of the relation between the city of São Paulo and office buildings, its constructions and conception of how workplaces have been organized by enterprises. The first study case is the Infinity Tower Building constructed in 2012, designed by Aflalo & Gasperini office in partnership with the American office KPF. The second one is the Patio Victor Malzoni Building, constructed in 2011 and designed by Botti Rubin Arquitetos office and the third study case is the Comendador Yerchanik Kissajikian Building (CYK) constructed in 2003 and designed by KV&A architecture office. / Este trabalho tem a finalidade de apresentar três estudos de caso de edifícios corporativos de grande porte na cidade de São Paulo no século XXI, no período de 2001 a 2012, e revelar as principais características dos seus projetos, como: as solicitações dos investidores, as soluções dadas pelos arquitetos, o dimensionamento dos prédios, o seu posicionamento no terreno, o tamanho das lajes, a disposição dos pilares, o pé-direito, a localização e os ambientes contemplados no núcleo de apoio, o revestimento da envoltória, os sistemas de ar condicionado e automação, a legislação urbanística, as certificações ambientais obtidas e os desafios estruturais apresentados, além de fazer um breve contextualização da relação da cidade de São Paulo com os edifícios de escritórios, a sua produção e como os ambientes de trabalho estão sendo elaborados pelas empresas. O primeiro estudo é do Edifício Infinity Tower, construído em 2012 e projetado pelo escritório de arquitetura Aflalo & Gasperini em parceria com o escritório americano KPF, o segundo é do Edifício Pátio Victor Malzoni, construído em 2011 e projetado pelo escritório Botti Rubin Arquitetos e o terceiro é do Edifício Comendador Yerchanik Kissajikian (CYK), construído em 2003 e projetado pelo escritório KV&A arquitetura.

Made available in DSpace on 2016-03-15T19:22:53Z (GMT). No. of bitstreams: 1 Tiago Azzi Collet e Silva.pdf: 8883571 bytes, checksum: a0b11aab505739f4fd3a040372e834ea (MD5) Previous issue date: 2015-01-28 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work has the main objective the expansion of knowledge about housing project process, and has intention the upgrading of slums from an architectural point of view, legislative and population density. It also aims to discuss the city architectural project as a tool inside slums, and the habitation as a right for all. Based on the concepts and understandings of rights to the city and habitation, this work searches to place the panorama of Public Policy for slums programs of São Paulo City Hall, considering for that, as a study case, the slum Garden Edith. This study also searches to discuss the urbanization from the verticality perspective versus housing and building density. As final result this research promotes the discussion on the Garden Edith as the housing project edified versus the edified issues relative to the amount of housing units obtained. For this approach, this work suggests some rules for housing projective analysis in São Paulo. / Esse trabalho tem como objetivo geral contribuir para a ampliação do conhecimento sobre o processo de projeto habitacional, e tem como finalidade a urbanização de favelas do ponto de vista arquitetônico, legislativo e adensamento populacional. Visa também discutir o papel do projeto arquitetônico como ferramenta de construção da cidade dentro de assentamentos precários (favelas), e aborda a questão da moradia como um direito de todos. A partir dos conceitos e entendimentos de direito à cidade e à habitação, busca-se situar o panorama da Política Pública para o Programa de Urbanização de Favelas da Prefeitura de São Paulo, considerando para isso, como estudo de caso, a favela do Jardim Edith. Nesse estudo procura-se discutir também a sua urbanização do ponto de vista de verticalidade versos densidade habitacional e construtiva. Como resultado final desta pesquisa, espera-se fomentar a discussão sobre a implantação do conjunto habitacional Jardim Edith versos as suas questões edilícias em relação à quantidade de unidades habitacionais obtidas. Para isso sugere-se um roteiro de abordagem para análises projetuais de implantações de conjuntos habitacionais na Cidade de São Paulo.

Made available in DSpace on 2016-03-15T19:23:13Z (GMT). No. of bitstreams: 1 Javier Lopes Puente.pdf: 3493226 bytes, checksum: 138e0296039fd07f0609077b956e1b5c (MD5) Previous issue date: 2009-08-14 / Fundo Mackenzie de Pesquisa / The proposal of this research is an approaching of the architecture production for car dealers in Brazil, its main characteristics and their study based under the aspect of buildings with low environmental impact. To achieve this objective a study of architectural projects were done through survey of building and projects published in relevant and specialized publications in Brazil. The guide lines, drawings, area guides and other materials for construction by vehicles manufactures, were developed by them, for the construction of facilities to its distributors, and in parallel was made a research along the main systems of environmental impact assessment, international and national development, for environmental and certification of buildings. Concluding with a discussion of results and technical proposals for the low environmental impact: comfort (thermal and environmental), control (light and sunlight); care for the environment, energy consumption reduction; orientation, recycling and reuse, natural ventilation and urban integration. In Appendix 1 are presented in Tables prepared for the assessment of buildings, as part of the issues of certification and LEED-NC (Leadership in Energy and Environmental Design - New Constructions) and AQUA (Alta Qualidade Ambiental), used to see whether the decisions of project could collaborate in the environmental impact reduction and in which percentage.Vehicles dealers abroad information were provided in Appendix 2, which have adopted different design decisions that can help reducing environmental impact. A research time line was presented in Appendix 3, giving the cut time, linked to the deployment of automotive industry in Brazil, covering the period from January 1999 to December 2008. / O objetivo da pesquisa é abordar a produção da arquitetura para concessionários de automóveis, no Brasil, suas principais características e seu estudo sob o aspecto de edificações com baixo impacto ambiental. Para atingir o objetivo foi feito o estudo de projetos arquitetônicos por meio do levantamento em campo de instalações e de projetos publicados em veículos especializados e relevantes no Brasil. Foram estudados os manuais, desenhos, guias de áreas e outros materiais elaborados pelas montadoras, destinados a construção das instalações dos distribuidores, paralelamente pesquisaram-se os principais sistemas, internacionais e nacionais em desenvolvimento, para avaliação do impacto ambiental e certificação de edifícios. E, conclui-se com a discussão dos resultados e das propostas técnicas relativas ao baixo impacto ambiental: conforto (ambiental e térmico); controle (iluminação e insolação); cuidados com o meio ambiente; redução do consumo de energia; orientação; reciclagem e reuso; ventilação natural e inserção urbana. No Apêndice 1 são apresentadas as Tabelas para a avaliação das edificações, elaboradas a partir de parte dos quesitos das certificações LEED-NC (Leadership in Energy and Environmental Design - New Constructions) e AQUA (Alta Qualidade Ambiental), utilizadas para verificar até que ponto as decisões de projeto poderiam colaborar na redução do impacto ambiental e em que percentual. Apresentam-se informações de concessionários de veículos no exterior, no Apêndice 2, que adotaram decisões de projeto diferenciadas que podem contribuir para a redução do impacto ambiental. Durante a pesquisa construiu-se cronologicamente a linha do tempo, no Apêndice 3, justificando o recorte temporal, ligado à implantação da indústria automobilística no Brasil, abrangendo o período de janeiro de 1999 a dezembro de 2008.

La formulation des missions est le point de départ du développement de systèmes-de- systèmes, étant utilisée comme base pour la spécification, la vérification et la validation d’architectures de systèmes-de-systèmes. Élaborer des modèles d’architecture pour systèmes-de-systèmes est une activité complexe, cette complexité reposant spécialement sur les comportements émergents, c'est-à-dire, des comportements issus des interactions entre les parties constituantes d’un système-de-systèmes qui ne peuvent pas être prédits même si on connaît tous les comportements de tous les systèmes constituants. Cette thèse adresse le lien synergique entre mission et architecture dans le cadre des systèmes-de-systèmes à logiciel prépondérant, en accordant une attention particulière aux comportements émergents créés pour réaliser les missions formulées. Nous proposons ainsi une approche pour la conception d’architecture de systèmes-de-systèmes dirigée par le modèle de mission. Dans notre approche, le modèle de mission sert à dériver et à valider les architectures de systèmes-de-systèmes. Dans un premier temps, nous générons la structure de l’architecture à l’aide de transformations de modèles. Ensuite, lors que l’architecte spécifie les aspects comportementaux, la description de l’architecture résultante est validée à l’aide d’une démarche conjointe qui comprend à la fois la vérification des propriétés spécifiées et la validation par simulation des comportements émergents. La formalisation en termes de logique temporelle et la vérification statistique de modèles sont les fondements formels de l’approche. Un outil mettant en œuvre l’ensemble de l’approche a été également développé et expérimenté. / The formulation of missions is the starting point to the development of Systems-of-Systems (SoS), being used as a basis for the specification, verification and validation of SoS architectures. Specifying, verifying and validating architectural models for SoS are complex tasks compared to usual systems, the inner complexity of SoS relying specially on emergent behaviors, i.e. features that emerge from the interactions among constituent parts of the SoS which cannot be predicted even if all the behaviors of all parts are completely known. This thesis addresses the synergetic relationship between missions and architectures of software-intensive SoS, giving a special attention to emergent behaviors which are created for achieving formulated missions. We propose a design approach for the architectural modeling of SoS driven by the mission models. In our proposal, the mission model is used to both derive, verify and validate SoS architectures. As first step, we define a formalized mission model, then we generate the structure of the SoS architecture by applying model transformations. Later, when the architect specifies the behavioral aspects of the SoS, we generate concrete SoS architectures that will be verified and validated using simulation-based approaches, in particular regarding emergent behaviors. The verification uses statistical model checking to verify whether specified properties are satisfied, within a degree of confidence. The formalization in terms of a temporal logic and statistical model checking are the formal foundations of the developed approach. A toolset that implements the whole approach was also developed and experimented.

Power consumption is a major concern for modern processors. Voltage scaling is one of the most effective mechanisms to reduce power consumption. However, voltage scaling is limited by large memory structures, such as caches, where many cells can fail at low voltage operation. As a result, voltage scaling is limited by a minimum voltage (Vccmin), below which the processor may not operate reliably. Researchers have proposed architectural mechanisms, error detection and correction techniques, and circuit solutions to allow the cache to operate reliably at low voltages. Architectural solutions reduce cache capacity at low voltages at the expense of logic complexity. Circuit solutions change the SRAM cell organization and have the disadvantage of reducing the cache capacity (for the same area) even when the system runs at a high voltage. Error detection and correction mechanisms use Error Correction Codes (ECC) codes to keep the cache operation reliable at low voltage, but have the disadvantage of increasing cache access time. In this thesis, we propose a novel architectural technique that uses spare cache blocks to back up a set-associative cache at low voltage. In our mechanism, we perform memory tests at low voltage to detect errors in all cache lines and tag them as faulty or fault-free. We have designed shifter and adder circuits for our architecture, and evaluated our design using the SimpleScalar simulator. We constructed a fault model for our design to find the cache set failure probability at low voltage. Our evaluation shows that, at 485mV, our designed cache operates with an equivalent bit failure probability to a conventional cache operating at 782mV. We have compared instructions per cycle (IPC), miss rates, and cache accesses of our design with a conventional cache operating at nominal voltage. We have also compared our cache performance with a cache using the previously proposed Bit-Fix mechanism. Our result show that our designed spare cache mechanism is 15% more area efficient compared to Bit-Fix. Our proposed approach provides a significant improvement in power and EPI (energy per instruction) over a conventional cache and Bit-Fix, at the expense of having lower performance at high voltage.

O presente documento tem por objetivo apresentar a dissertação desenvolvida no Programa de Mestrado em Ciência da Computação e Matemática Computacional do ICMC/USP. A presente pesquisa busca avançar o estado da arte considerando um conceito chamado arquitetura base que integra Veículos Aéreos Não Tripulados (VANTs) com uma plataforma web, no contexto de arquitetura de software, determina uma arquitetura inicial que se adapta as exigências de cada área. Os estudos também avançam na apresentação de uma plataforma web integrando vários VANTs e agregando diferentes módulos com variações que satisfaça a necessidade para diferentes áreas de aplicações. Com frequência os VANTs são utilizados por inúmeras áreas, como agricultura, segurança, monitoramento ambiental, coleta de dados, cidades inteligentes, entre outras, seja para visualizar imagens, vídeos ou informações de voos e é de extrema importância que essas informações estejam além de acessível bem organizadas. Muitos trabalhos são encontrados na literatura sobre VANT, mas poucos tratam o problema de acesso a informações de voos. Neste trabalho é abordado uma arquitetura de software base para a comunicação e recuperação de informações de VANTs. Para isso, a arquitetura base propõem coletar e processar diferentes informações, ou seja como cada VANT tem suas semelhanças e compartilham estruturas comuns, neste cenário, explorando estas similaridades, é proposto esta arquitetura base. Para validar esta hipótese foi realizado um estudo de caso em duas fazendas com cultivos de mangas, com a finalidade de integrar o VANT, a estação base, a estação local e a estação web, podendo recuperar informações. A principal contribuição do trabalho é o auxílio no desenvolvimento da pesquisa na área de VANTs, além de ter também um ambiente que possa ser utilizado em larga escala por diversos pilotos de VANTs para armazenamento de dados dos voos, parte destes dados ficariam em domínio público e outra parte ficaria disponível apenas ao proprietário do VANT. / This paper aims to present the dissertation developed in the Masters Program in Computer Science and Computational Mathematics of the ICMC / USP. The present research seeks to advance state of the art considering a concept called base architecture that integrates Unmanned Aerial Vehicles (UAV) with a platform in the context of software architecture determines an initial architecture that adapts the requirements of each area. The studies also advance in the presentation of a web platform integrating several UAVs and adding different modules with variations that satisfy the need for different areas of applications. Often the UAVs are used by numerous areas such as agriculture, security, environmental monitoring, data collection, smart cities, among others, whether to view images, videos or flight information and it is of the utmost importance that this information is beyond reach well organized. Many papers are found in the UAV literature, but few address the problem of access to flight information. In this work, a base software architecture for the communication and flight information of UAVs is addressed. For this, the base architecture proposes to collect and process different information, that is how each UAV has its similarities and share common structures, in this scenario, exploring these similarities, this base architecture is proposed. To validate this hypothesis, a case study was carried out on two farms with mango crops, in order to integrate the UAV, the base station, the local station and the web station, and can retrieve flight information. The main contribution of the work is the aid in the development of research in the area of UAVs, in addition to having an environment that can be used in large scale by several pilots of UAVs to store flight data, part of this data would be in the public domain and another part would be available only to the UAV owner.