O objetivo desta dissertação é o de analisar uma experiência de habitação popular, o Programa Mutirão da Moradia, executado em Goiânia (GO), em 1983, quando em um único dia – 16 de outubro – foram construídas mil casas com peças pré-moldadas de concreto. Os dados utilizados para essa análise foram extraídos de documentos oficiais, de arquivos particulares dos profissionais que trabalharam no programa e das entrevistas por eles concedidas. O interesse pelo tema se justifica pelo fato de tratar-se de um programa destinado a resolver o déficit habitacional para a população de baixa renda e, acima de tudo, a provocar um impacto capaz de promover politicamente o governador Íris Rezende, em âmbito nacional. A dissertação está estruturada em cinco capítulos em que se enfocam o projeto, a implementação, o mutirão, as controvérsias e os desafios da ocupação. Na conclusão, fica claro que os objetivos políticos do então governador foram alcançados, mas que a experiência construtiva em larga escala não foi aprimorada. Vale ressaltar que, apesar das inúmeras falhas, o processo construtivo era inovador. / The theme of this dissertation is to analyze the program “Mutirão da Moradia”. This was a popular housing program carried out in Goiânia (GO) on October 16th, 1983 when they built one thousand pre-molded concrete houses in just one day. The data analysed were collected from official documents, private files from professionals who worked on the project and from some interviews with them. This theme was chosen because the project had the objective of solving a housing deficit for low income people, and above all, the governor, on that occasion Iris Rezende, also wanted to lever his political position in the national scenery. The dissertation is divided into 5 chapters: the project, the implementation, the “mutirão” (people’s volunteer work together in the day), the opposing views, and occupation challenges. In the conclusion, it becomes evident that the governor political objectives were achieved, but the building experience in big scale was not improved. It’s important to point out it was an innovative building process, though.

Este trabalho consiste em investigar as tendências pandiatônicas na obra "Preamble for a Solemn Occasion" para órgão (1953) de Aaron Copland (1900-1990). A análise inclui a busca pelos conteúdos intervalares mais recorrentes, a interação entre a tonalidade harmônica e a tonalidade melódica, e os centros tonais. Os referenciais teóricos utilizados foram os livros Tonality, Atonality e Pantonality de Rudolph Reti (1958), que fundamenta o conceito de pantonalidade, e Analytic Approaches to Twentieth-Century Music de Joel Lester (1989), que elucida acerca da teoria dos conjuntos. / The purpose of this research is to investigate the pandiatonic tendencies of the "Preamble for a Solemn Occasion" for organ (1953) by Aaron Copland (1900-1990). The analysis inc1udes a search for the most recurrent interval collections, the interaction between the harmonic and melodic tonalities, and the tonal centers. The theoretical framework inc1udes the works by Rudolph Reti: Tonality, Atonality e Pantonality (1958) where pantonality is defined, and Analytic Approaches to Twentieth-Century Music by Joel Lester (1989) for set theory analysis.

D'abord, on étudie trois façons d'associer une C*-algèbre à une transformation continue. Ensuite, nous donnons une nouvelle définition de l'entropie. Nous trouvons des relations entre les états KMS des algèbres préalablement définies et les états d'équilibre, donné par un principe variationnel. Dans la seconde partie, nous étudions les algèbres de Kajiwara-Watatani associees a un système des fonctions itérées. Nous comparons ces algèbres avec l'algèbre de Cuntz et le produit croisé. Enfin, nous étudions les états KMS des algèbres de Kajiwara-Watatani pour les actions provenant d'un potentiel et nous trouvouns des relations entre ces états et les mesures trouvee dans une version de le théorème de Ruelle-Perron-Frobenius pour les systèmes de fonctions itérées. / Primeiramente, estudamos três formas de associar uma C*-álgebra a uma transformação contínua. Em seguida, damos uma nova definição de entropia. Relacionamos, então, os estados KMS das álgebras anteriormente definidas com os estados de equilibro, vindos de um princípio variacional. Na segunda parte, estudamos as álgebras de Kajiwara-Watatani associadas a um sistema de funções iteradas. Comparamos tais álgebras com a álgebra de Cuntz e a álgebra do produto cruzado. Finalmente, estudamos os estados KMS das álgebras de Kajiwara-Watatani para ações vindas de um potencial e relacionamos tais estados KMS com medidas encontradas numa versão do teorema de Ruelle-Perron-Frobenius para sistemas de funções iteradas. / First, we study three ways of associating a C*-algebra to a continuous map. Then, we give a new de nition of entropy. We relate the KMS states of the previously de ned algebras with the equilibrium states, given by a variational principle. In the second part, we study the Kajiwara-Watatani algebras associated to iterated function system. We compare these algebras with the Cuntz algebra and the crossed product. Finally, we study the KMS states of the Kajiwara-Watatani algebras for actions coming from a potential and we relate such states with measures found in a version of the Ruelle-Perron- Frobenius theorem for iterated function systems.

Este estudo trata da avaliação da legislação urbanística que promove a implantação e qualificação de espaços públicos de lazer e recreação e de equipamentos e serviços urbanos básicos, e questiona a metodologia empregada para a elaboração e a eficácia dos mesmos. Para alcançar os objetivos desta investigação fez-se necessário: analisar as propostas existentes para a implantação dos equipamentos urbanos, serviços e áreas de lazer nos conjuntos habitacionais de baixa renda; avaliar a provisão e adequação dos serviços e equipamentos urbanos tais como áreas de pequeno comércio e serviços, escola de 1º grau, centro de educação infantil, posto de saúde, praças para recreação e lazer, oferecidos à população de conjuntos habitacionais; medir o impacto da adequação/inadequação ou inexistência desses serviços e equipamentos na avaliação de desempenho do conjunto, no nível de apropriação dos espaços abertos do conjunto, e no relacionamento entre os moradores e na interação social da comunidade. Foram selecionados quatro conjuntos habitacionais destinados a população de baixa renda, localizados no município de Bagé/RS. Neste estudo foram utilizados levantamento de arquivo, entrevistas, questionários, levantamento físico através de levantamento fotográfico, medições e observações de comportamento, que permitiram cruzar as informações e dar maior confiabilidade às análises. Este estudo mostra que os critérios para localização de equipamentos urbanos, serviços e áreas de lazer variam conforme autores, planos diretores e cidades. O estudo demonstra também que em Bagé, apesar da falta de planejamento e de critérios determinados no plano diretor do município, os equipamentos urbanos, com algumas exceções, estão distribuídos de maneira satisfatória, mas nem por isso deve–se deixar de lado a preocupação em definir essas normas para implantação de projetos futuros que contemplem o uso e ocupação do solo de forma ordenada.

O objetivo deste trabalho é o estudo do processo de favelização em andamento no Conjunto Habitacional Rubem Berta, localizado na zona Nordeste da cidade de Porto Alegre. O foco da análise é a espacialidade arquitetônica e urbana, resultante da interação entre os blocos originalmente projetados e as construções realizadas de modo espontâneo pelos moradores do conjunto. A análise busca mostrar de que modo a lógica do movimento vem a determinar a forma dos espaços abertos, através de novos tipos arquitetônicos que se inserem no conjunto. Da interação entre os blocos de apartamentos originalmente projetados e as construções realizadas espontaneamente resultam novas e inusitadas relações espaciais. Essas relações obedecem a duas ordens distintas: uma oriunda da geometria cartesiana e outra resultante da experiência espacial. O resultado desse processo é a formação de híbridos, tanto em termos de tipos arquitetônicos quanto de tipos de espaço público. A peculiaridade do Rubem Berta vem, portanto, dessa característica de híbrido, fruto da adição de intervenções espontâneas ao projeto original, que segue a ortodoxia modernista. Híbridos gerados pela colisão de duas ordens distintas são espaços cujo conceito original é deturpado na adaptação ao mundo real. As intervenções espontâneas individuais, sem controle do poder público, proporcionam uma constante mutação, e caracterizam portanto uma configuração espacial fragmentada e efêmera. O trabalho se insere num contexto em que a crescente urbanização informal é uma problemática comum nas cidades do assim chamado Terceiro Mundo, e em especial nas grandes cidades brasileiras. / The aim of this work is the study of the process of favelization of a Brazilian housing estate – Rubem Berta Housing Estate – located at the northeast zone of Porto Alegre city. The focus of the analysis is the architectonic and urban spaciality, given by the interaction between the constructions projected originally and the constructions built by the people who live at the Estate. The analisys wants to show how the movement logic sets the shape of the open spaces, through new architectonic types that can be found in the housing estate. From the interaction between the original constructions and the spontaneously built ones, results some new and unusual spacial relationships. These spacial relationships obey two distinct orders: one given by the Cartesian geometry and the other given by spacial experience. The result of this process is the creation of hybrids, of architectonic types as well as of public spaces types. The Rubem Berta Housing estate peculiarity comes, therefore, from the hybrid characteristic given by the sum of the original housing project – that follows the modernist orthodoxy – and the spontaneous interventions in the interstices of the original buildings. Hybrids are created, generated by the collision of two different orders. These are spaces which the original concept is misled for fitting in the real world. The spontaneous individual constructions, without any public control, make possible a constant mutation, and describe therefore, a fragmented and ephemere spacial configuration. This work is part of a context in which the growing of uncontrolled urbanization is a common problem of the cities of the so called Third World, especially of the great brazillian cities.

Nos últimos anos, váarios pesquisadores tais como: A. Bodin, A. Dimca, A. Durfee, A. Jacquemard, A. Menegon Neto, A. Némethi, A. Pichon, A. Verjovsky, A. Zaharia, D. Siersma, H. A. Hamm, D. Massey, H. Aguilar-Cabrera, H. H. Vui, J. Cisneros, J. Seade, J. Snoussi, L. D. Tráng, L. Paunescu, L. R. Dias, M. A. S. Ruas, M. Oka, M. Tibar, N. Dutertre, R. N. Araújo dos Santos, S. A. Broughton, T. Gaffney, Y. Chen, entre outros, têm apresentado generalizações dos Teoremas de fibrações de Milnor no ambiente real e complexo (e do Teorema de Kurdyka-Orro-Simon, ver por exemplo [Di, KOS]), visando um melhor entendimento de propriedades topológicas locais e globais das singularidades. Nesta direção de pesquisa esses autores tem utilizado várias ferramentas e técnicas de diversas áreas da matemática. O que mostra a riqueza e a complexidade destes estudos e acrescenta, em nossa modesta opinião, um aspecto que é ao mesmo tempo interessante e desafiador. Neste trabalho, mostraremos como estender as fibrações de Milnor em esferas no caso local e global, real e complexo, para uma aplicação C2-semi-algébrica F = (f1, . . . , fp) : RN → Rp e uma variedade W ⊂ RN semi-algébrica com possível singularidade. Com tal objetivo, introduziremos as condições de Milnor (a) e (b) generalizadas\" e mostraremos como adaptar a técnica da decomposição open book superior com binding singular, introduzida em [AT, ACT1]. Nossos resultados sugerem que tal estrutura de fibração pode ser um caso particular de algum Teorema estrutural mais geral. Além do mais, considerando π : Rp → Rp-1 a projeção canônica na meta, mostraremos que se F satisfaz tais condições, então G = π o F : RN → Rp-1 também satisfaz e, consequentemente, G também induz em W uma fibração suave localmente trivial. Concluiremos mostrando que após as projeções as fibras destes fibrados são homotopicamente equivalentes e, em seguida, apresentando algumas fórmulas que relacionam a característica de Euler do \"link relativo\" W ∩ F-1 (0) com a característica de Euler das fibras. / In the last years, several researchers such as: A. Bodin, A. Dimca, A. Durfee, A. Jacquemard, A. Menegon Neto, A. Némethi, A. Pichon, A. Verjovsky, A. Zaharia, D. Siersma, H. A. Hamm, D. Massey, H. Aguilar-Cabrera, H. H. Vui, J. Cisneros, J. Seade, J. Snoussi, L. D. Trang, L. Paunescu, L. R. Dias, M. A. S. Ruas, M. Oka, M. Tibar, N. Dutertre, R. N. Araújo dos Santos, S. A. Broughton, T. Gaffney, Y. Chen, and others, have proven generalizations of Milnor fibrationss Theorems in the real and complex settings (and Kurdyka-Orro-Simons Theorem, see e.g. [Di, KOS]), aiming a better understanding of the local and global topological properties of singularity. In this research branch, these authors have used many different tools and techniques from several areas of Mathematics. This shows the richness and complexities of these studies and adds, in our modest opinion, an aspect that is simultaneously interesting and challenging. In this work, we introduce the generalized Milnors conditions (a) and (b) to show an extension of the Milnor fibration Theorems on spheres in the local and global cases, in the real and complex setting. For this, we consider a C2-semi-algebraic mapping F = (f1, . . . , fp) : RN → Rp , a possible singular semi-algebraic variety W ⊂ RN, and we show how to adapt the technique of Higher open book decomposition with singular binding, introduced by [AT, ACT1], to prove such extension. Our results suggest that such fibration structure may be a particular case of a more general fibration structure. Furthermore, considering : Rp Rp-1 the canonical projection on the target space, we show that if F satisfies the generalized Milnors conditions (a) and (b), then G = π o F : RN → Rp-1 also satisfies these conditions and, hence G also induces on W a smooth locally trivial fibration. Finally, we show that after the projections on the target space, the fibers of these fiber bundles are homotopically equivalent. We conclude by proving some formulae connecting the Euler characteristic of \"relative link\" W ∩ F-1 (0) with the Euler characteristic of the fibers. Key words and phrases: generalized open book decomposition, fibration structure on semi-algebraic sets, topology of singularity, real and complex Milnors fibrations and, local and global fibration.

Submitted by Milena Rubi ( ri.bso@ufscar.br) on 2017-10-17T16:07:35Z No. of bitstreams: 1 CUNHA_Bruno_2017.pdf: 1281922 bytes, checksum: 605ecd45f46a3b67332ed6bd13043af5 (MD5) / Approved for entry into archive by Milena Rubi ( ri.bso@ufscar.br) on 2017-10-17T16:07:44Z (GMT) No. of bitstreams: 1 CUNHA_Bruno_2017.pdf: 1281922 bytes, checksum: 605ecd45f46a3b67332ed6bd13043af5 (MD5) / Approved for entry into archive by Milena Rubi ( ri.bso@ufscar.br) on 2017-10-17T16:07:53Z (GMT) No. of bitstreams: 1 CUNHA_Bruno_2017.pdf: 1281922 bytes, checksum: 605ecd45f46a3b67332ed6bd13043af5 (MD5) / Made available in DSpace on 2017-10-17T16:08:04Z (GMT). No. of bitstreams: 1 CUNHA_Bruno_2017.pdf: 1281922 bytes, checksum: 605ecd45f46a3b67332ed6bd13043af5 (MD5) Previous issue date: 2016-11-10 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / This work proposes both a study and a development of an algorithm for super-resolution of digital images using projections onto convex sets. The method is based on a classic algorithm for spatial super-resolution which considering the subpixel information present in a set of lower resolution images, generate an image of higher resolution and better visual quality. We propose the incorporation of a new restriction based on the Richardson-Lucy algorithm in order to restore and recover part of the spatial frequencies lost during the degradation and decimation process of the high resolution images. In this way the algorithm provides a hybrid approach based on projections onto convex sets which is capable of promoting both the spatial and spectral image super-resolution. The proposed approach was compared with the original algorithm from Sezan and Tekalp and later with a method based on a robust framework that is considered nowadays one of the most effective methods for super-resolution. The results, considering both the visual and the mean square error analysis, demonstrate that the proposed method has great potential promoting increased visual quality over the images studied. / Este trabalho visa o estudo e o desenvolvimento de um algoritmo para super-resolução de imagens digitais baseado na teoria de projeções sobre conjuntos convexos. O método é baseado em um algoritmo clássico de projeções sobre restrições convexas para super- resolução espacial onde se busca, considerando as informações subpixel presentes em um conjunto de imagens de menor resolução, gerar uma imagem de maior resolução e com melhor qualidade visual. Propomos a incorporação de uma nova restrição baseada no algoritmo de Richardson-Lucy para restaurar e recuperar parte das frequências espaciais perdidas durante o processo de degradação e decimação das imagens de alta resolução. Nesse sentido o algoritmo provê uma abordagem híbrida baseada em projeções sobre conjuntos convexos que é capaz de promover simultaneamente a super-resolução espacial e a espectral. A abordagem proposta foi comparada com o algoritmo original de Sezan e Tekalp e posteriormente com um método baseado em um framework de super-resolução robusta, considerado um dos métodos mais eficazes na atualidade. Os resultados obtidos, considerando as análises visuais e também através do erro médio quadrático, demonstram que o método proposto possui grande potencialidade promovendo o aumento da qualidade visual das imagens estudadas.

O presente trabalho tem como objetivo compreender as transformações da área urbana do município de Monte Alegre de Minas, em razão da construção dos conjuntos habitacionais (Pedra Branca, J.Tolendal e Primavera) por intermédio do Programa Minha Casa, Minha Vida (PMCMV). Este estudo tem em relação à ciência geográfica uma significativa importância, pois, o mesmo poderá contribuir para a compreensão das transformações que o espaço das pequenas cidades sofre diante da implantação desse tipo de empreendimento. Para a realização do mesmo, optou-se metodologicamente pela pesquisa bibliográfica e pela documental referente às políticas de produção de moradia no Brasil e o papel do Estado, a importância das pequenas cidades na rede urbana, assim como a legislação brasileira com abordagem nos direitos dos indivíduos, ressaltando a moradia digna como um desses. Outro instrumento metodológico foram as análises empíricas nos três conjuntos habitacionais com intuito de conhecer a realidade observada por meio de fotografias e imagens satélites, pois os mesmos se localizam em áreas distintas da cidade. Além disso, utilizaram-se recursos tecnológicos para elaboração de mapas de localização do município e dos conjuntos. E por fim, foram coletadas informações por meio de depoimentos livres das famílias que foram beneficiadas pelo programa e também daquelas que residem em áreas próximas desses locais. Concluiu-se, então, que o PMCMV tem assumido relevante papel no que se refere à minimização de um dos problemas mais críticos da contemporaneidade brasileira, o déficit habitacional e a incorporação do mesmo em Monte Alegre de Minas, resultando na modificação do espaço (físico e funcional), pois algumas áreas inicialmente apresentavam apenas 40 (quarenta) residências, todavia com o interesse imobiliário e pelo fato de estarem localizadas em uma área mais próxima do centro da cidade, transformaram-se em conjuntos com mais de 200 (duzentas) residências, com a presença de um pequeno comércio e de serviços de atendimento básico (área de lazer e creche de educação infantil) que atendem até mesmo os outros bairros. / The objective this work is to analyze the changes in the urban area of the municipality of Monte Alegre de Minas due to the construction of the housing complexes (Pedra Branca, J Tolendal and Primavera) through the My House, My Life program. This study has a great relevance in relation to the geographical studies, since it can contribute significantly to the understanding of the transformations that the space of the small cities suffer before the implantation of this type of enterprise. In order to carry out this study, methodological choice was made for bibliographical and documentary research concerning housing production policies in Brazil and the role of the State, the importance of small cities in the urban network, as well as Brazilian legislation with an approach to the rights of individuals, emphasizing decent housing as one of these. Another methodological instrument was empirical analysis in the three housing complexes in order to know the reality observed through photographs and satellite images, since they are located in different areas of the city, in addition, technological resources were used for the elaboration of location maps Municipality and set. Finally, information was collected through free testimonials from the families that benefited from the program, as well as from those living in areas near those sites. It was concluded that the PMCMV has assumed a relevant role in minimizing one of the most critical problems of the Brazilian contemporaneity the housing deficit and its incorporation in Monte Alegre de Minas resulted in the modification of the physical and functional space, because some areas initially had only 40 (forty) residences, but with real estate interest and because they were located in an area closer to the central area of the city, they became groups with more than 200 (two hundred) residences, with the presence a small local commerce and basic care services (leisure area and kindergarten) that serves even the other neighborhoods. / Dissertação (Mestrado)

The purpose of this monograph is to make a detailed study about studying of relations. So, we will provide some definitions. Developing this Themes like binary relations, equivalence relations and order relations. At the same we will show ways to represent relations highlighting the representation in the form of graphs. And we will finish the job with Topological Ordering in completing some tasks of a project. / O objetivo desta monografia é fazer um estudo detalhado sobre relações. Para tanto, forneceremos algumas definições. Para o desenvolvimento deste foram abordados temas como relações binárias, relações de equivalência e relações de ordem. No desenvolvimento deste veremos formas de representar as relações dando destaque a representação na forma de Grafos. E finalizamos o trabalho com a Ordenação Topológica na conclusão de algumas tarefas de um projeto.

Esta dissertação apresenta uma abordagem que aplica a Teoria de Projeto Axiomático à especificação de requisitos de sistemas de software visando melhorar a qualidade da solução de projeto desde a análise do problema até identificação dos requisitos efetivamente. O objetivo da abordagem desenvolvida é propor e integrar métodos que permitam o uso de Projeto Axiomático em um processo de Engenharia de Requisitos. A abordagem de especificação de requisitos proposta estabelece a aplicação do Axioma da Independência no estudo de problemas e necessidades do cliente. Desta forma, incluem-se no processo de engenharia de requisitos novos domínios de estudo, o domínio do problema e o domínio do cliente. É estabelecido um modelo de hierarquia para a decomposição de Problemas, Necessidades e Requisitos. Um processo de ziguezagueamento é sugerido para que se possa aplicar a abordagem proposta em conjunto com um processo de desenvolvimento interativo e incremental como o Processo Unificado. Apresenta-se um estudo de caso de um sistema de teste de equipamentos em uma linha de produção. O estudo de caso tem por objetivo demonstrar a aplicação prática da abordagem de especificação de requisitos proposta nesta dissertação. Além disso, apresentam-se os experimentos realizados durante o trabalho de pesquisa e seus resultados. Para exemplificar a execução dos experimentos é demonstrado o processo de especificação de requisitos para um sistema de relatórios de visitas a clientes. Este exemplo ajuda a ilustrar como a abordagem apresentada pode ser utilizada para aumentar a consistência e a qualidade dos requisitos de projetos de software. / This dissertation presents an approach that applies the Axiomatic Design Theory to the specification of software systems requirements. This Approach intends to improve the quality of design solution since its inception, which involves from the problem analysis to the requirements identification. The purpose of the proposed approach is to offer methods that allow the use of axiomatic design in a process of requirements engineering. The proposed requirements specification approach establishes the application of the Axiom of Independence in the study of problems and costumer needs. In this way, new domains, the problem domain and the costumer domain, are included in the requirements engineering process. It is established a hierarchical model for the decomposition of Problems, Needs and Requirements. A zig-zag process is suggested in order to use the propose approach in conjunction with a development process as the Unified Process. It is presented a case study of a system for equipment testing in a production line. The case study aims to demonstrate the practical application of the requirements specification approach proposed in this dissertation. In addition, the results of the experiments performed during the research are presented. The requirements specification process for a reporting system is shown to illustrate the experiments. This example helps billustrate how the proposed approach can be used to increase the consistency and quality of software requirements.