Orientador: João Paulo Papa / Banca: Antonio Carlos Sementille / Banca: Alexandre Luís Magalhães Levada / Resumo: O processo de restauração de imagens tem como objetivo melhorar as imagens corrompidas por ruídos e borramentos. Técnicas iterativas podem controlar melhor o algoritmo de restauração a fim de restaurar detalhes em regiões borradas sem aumentar o ruído. Técnicas baseadas em Projeção em Conjuntos Convexos (Projections onto Convex Sets - POCS) tem sido utilizadas no contexto de restauração de imagens, projetando a solução em um hiperespaço até que algum critério de convergência seja encontrado. O resultado esperado é uma imagem melhor ao final de um número desconhecido de projeções. O número de conjuntos convexos e suas combinações permitem construir vários algoritmos de restauração de imagens baseados em POCS. O presente trabalho utiliza dois conjuntos convexos: Row-Action Projections (RAP) e Limited Amplitude (LA). O algoritmo RAP possui um parâmetro de relaxação ���� que depende das características da imagem que será restaurada. Assim, valores errados de ���� podem conduzir a uma pobre restauração. Propomos achar o valor de ���� modelando o problema como de otimização e utilizando diferentes técnicas evolucionistas. Além disso, é possível utilizar os parâmetros de restauração aprendidas sobre uma imagem e empregá-los para uma outra imagem / Abstract: The process of image restoration aims to enhance images corrupted by noise and blurred. Iterative techniques can better control the restoration algorithm in order to restore blurred regions in details without increasing noise. Techniques based on Projection Sets in Convex (Projections onto Convex Sets - POCS) have been used in the context of image restoration by projecting the solution in a hyperspace until some convergence criterion is met. The expected result is a better picture at the end of an unknown number of projections. The number of convex sets and its combinations allow you to build several image restoration algorithms based on POCS. This study uses two convex sets: Row Action Projections (RAP) and Limited Amplitude (LA). The RAP algorithm has a relaxation parameter ���� depends on the characteristics of the image that will be restored. Thus, erroneous values of ���� can lead to a poor restoration. We propose to find the value of ���� as the problem of modeling and optimization using different evolutionary techniques. Furthermore, is possible to use the parameters learned in restoring an image, and use them to another image / Mestre

Orientador: João Osvaldo Rodrigues Nunes / Coorientador: Carlos Alberto Tello Saenz / Banca: Alessandro Batezelli / Banca: Francisco Sergio Bernardes Ladeira / Banca: Isabel Vristina Moroz Caccia Gouveia / Banca: Eduardo Augusto Campos Curvo / Resumo: O Planalto Residual de Marília é uma morfoescultura localizada no Planalto Ocidental Paulista e na morfoestrutura da Bacia Sedimentar do Paraná. Ele possui como substrato rochoso os arenitos da Formação Marília (Grupo Bauru - Cretáceo Superior). Com o objetivo de verificar o papel e a importância da tectônica para sua gênese e evolução, realizou-se a datação de 110 grãos de zircão e 59 de apatita via Método Traços de Fissão-MTF. Ele se baseia em análises termocronológicas, fundamentado no estudo quantitativo de perturbações no retículo cristalino desses minerais provocados pela fissão espontânea do núcleo do isótopo 238U, que ocorre durante o tempo geológico. Os resultados obtidos em zircão tiveram intervalo de idade que variou de 640 até 70 Ma. Nas apatitas a variação foi de 489 a 71 Ma. Esses intervalos grandes de idades foram atribuídos a várias procedências de rochas-fontes de sedimentos para o substrato rochoso do planalto. Ao analisar os espectros de idades dos dois minerais, agrupou-os em três conjuntos, aos quais se associaram eventos termotectônicos: idades superiores a 470 Ma - colisões brasilianas... / Abstract: The Marília Residual Plateau is a morfosculpture located in Paulista Western Plateau and in morfostructure of the Paraná Sedimentary Basin. It has as rock substratum the sandstones of Marília Formation (Bauru Group - Late Cretaceous). In order to check the role and importance of tectonics to its genesis and evolution, it was done the dating of 110 grains of zircon and 59 of apatite by Fission Track Method - MTF. This method is based on thermal-chronological analyzes, grounded on the quantitative study of disturbances at the crystal lattice of these minerals caused by the spontaneous fission of the nucleus of 238U isotope, which occurs along geological time. The results obtained for zircon had ages break between 640 to 70 Ma. In apatite the variation was from 489 to 71 Ma. These large ranges of age were attributed to several origins of source rocks that provide the sediments to rock substratum of plateau. By analyzing the age spectrum of these two minerals, they were grouped into three sets, associated with thermo-tectonic events: ages over 470 Ma - brasiliano... / Doutor

Resumo: Dada a significativa importância da atividade citrícola no Estado de São Paulo, verifica-se a necessidade de um constante monitoramento destas áreas, contribuindo para a tomada de decisões rápidas e abrangentes, visando à manutenção desta exploração. Mesmo com sua extraordinária capacidade de analisar e interpretar dados de sensoriamento remoto, o ser humano tende à subjetividade ao registrar as informações observadas nas imagens. Muitas vezes, o conhecimento do analista sobre a área de estudo é limitado, o que faz do processo de classificação uma tarefa que demanda maior esforço e tempo para identificação dos objetos representados na superfície. A classificação de imagens é o processo de extração de informação para reconhecer padrões e objetos homogêneos e são utilizados em sensoriamento remoto para mapear áreas da superfície terrestre que correspondem aos temas de interesse. O trabalho teve por objetivo a comparação da eficiência de métodos de classificação de imagens orbitais em áreas cultivadas com citros, utilizando técnicas de geoprocessamento visando o planejamento e o gerenciamento localizado das áreas de produção de citros. A área de estudo utilizada corresponde a Fazenda Água Branca, município de Bariri/ SP. O SIG - Idrisi 15.0, foi utilizado no processamento das imagens do satélite LANDSAT-5 TM, órbita/ponto: 221/75, passagens de 16/06/2003 e 26/05/2007. Do trabalho realizado constatou-se que os resultados na avaliação de acurácia da classificação foram satisfatórios, sendo que a classificação do algoritmo CLUSTER apresentou qualidade excelente (0,9276) e muito boa (0,6485); o algoritmo MAXVER apresentou classificações excelentes, com Kappa de 0,8338 e 0,8818; e o índice gerado pelo método de classificação relativa... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The significative activity of the citrus crop in São Paulo State requires a constant monitoring of these areas, contributing to make the quick and comprehensive decisions, aiming to maintain this operation. Even with the extraordinary ability to analyze and interpret data from remote sensing, human beings tend to subjectivity to register the information in the observed images. Often, knowledge of the analyst about the study area is limited, which makes the process of classifying a task that demands more time and effort to identify the objects represented on the surface. The images classification is the process of extraction of information to recognize patterns and homogeneous objects and it is used in remote sensing to map areas of the surface that correspond to themes of interest. This study aimed to compare the efficiency of methods of classification of orbital images in areas cultivated with citrus, using GIS techniques to the planning and management located in the areas of citrus production. The study area is located in Água Branca Farm, city of Bariri/SP. The GIS - Idrisi 15.0 was used in the image processing. It noted that the evaluation results of the classification accuracy were satisfactory, which the classifications of the CLUSTER algorithm had excellent quality (0.9276) and very good (0.6485), the MAXVER algorithm had excellent ratings, with kappa of 0.8338 and 0.8818, and the index obtained by the method of Fuzzy classification submitted a rating between very good (0.7260) and good (0.5235) for 2003 and 2007, respectively. The methods used for the discrimination of areas cultivated with citrus showed different efficiencies in the classification of images. In general, the classifications for the 2003 images showed the best performance when compared... (Complete abstract click electronic access below) / Orientador: Sérgio Campos / Coorientador: Célia Regina Lopes Zimback / Coorientador: Zacarias Xavier de Barros / Banca: Sergio Lazaro de Lima / Banca: Osmar Delmanto Júnior / Mestre

Orientador: Suzete Maria Silva Afonso / Banca: Eliris Cristina Rizziolli / Banca: Everaldo de Mello Bonotto / Resumo: Este trabalho está inserido no contexto do Programa de Mestrado Pro ssional de Matemática em Rede Nacional - PROFMAT e apresenta a construção do conjunto de Cantor. Para exibir as propriedades do conjunto de Cantor, exploramos conteúdos presentes no Currículo Nacional do Ensino Básico de Matemática, tais como conjuntos, funções, intervalos reais e progressões geométricas. Utilizamos uma linguagem acessível aos alunos do Ensino Básico e apresentamos atividades envolvendo outros fractais, obtidos de forma semelhante ao conjunto de Cantor / Abstract: This work is in the context of Professional Program Master of Mathematics in National Network - PROFMAT and it presents the construction of the Cantor set. To study the properties of the Cantor set, we explore contents which are described in the National Curriculum for Basic Education in Mathematics, such as sets, functions, real intervals and geometric progressions. We use a accessible language to High School students and we present some activities involving other fractals, obtained in a similar way to the Cantor set / Mestre

Esta pesquisa propõe um método que aplica a Teoria de Projeto Axiomático (PA) ao processo de desenvolvimento de software que se orientam por regras. Nesse âmbito, salienta-se que não foi encontrada na literatura, durante os esforços de pesquisa deste trabalho, a aplicação da Teoria de Projeto Axiomático a sistemas orientados a Regras. Entretanto, a Teoria de Projeto Axiomático já sim foi foco de pesquisa e aplicação no processo de desenvolvimento de software orientado a objeto, servindo de inspiração ao presente trabalho. Dito isso, este trabalho propõe o método Projeto Axiomático aplicado ao Paradigma Orientado a Notificações e ao Paradigma Orientado a Regras (PA-PON-POR) desde que as regras sigam o modelo de estruturação dado pelo PON. O método PA-PON-POR propõe a decomposição funcional de requisitos do sistema em quatro níveis que são: Casos de Uso, Subcasos de Uso Independentes de Características Técnicas, Subcasos de Uso Dependentes de Características Técnicas e Serviços Técnicos. Além disso, o método PA-PON-POR aplica o Axioma da Independência do PA em cada um dos quatro níveis de decomposição por meio das matrizes de projeto e métricas de cálculo da reangularidade e semangularidade do próprio PA. As matrizes de projeto ainda auxiliam na identificação das Premissas exclusivas, elementos esses importantes quando um sistema PON-POR possui Regras que possuem Ações que instigam a geração de fatos conflitantes. O Axioma da Informação do Projeto Axiomático também é aplicado em cada nível de decomposição avaliando as soluções de projeto quanto a sua quantidade de informação. Ainda, o método PA-PON-POR apresenta um conjunto de métricas especificas para avaliação da qualidade estrutural da composição de Regras do sistema, fornecendo critérios para tomada de decisão sobre a qualidade do projeto especificado. Além disso, o método PA-PON-POR é passível de aplicação simultânea com o método existente de projeto de software baseado em desenvolvimento de aplicações PON-POR chamado de Desenvolvimento Orientado a Notificações e Orientado a Regras (DON-DOR), auxiliando na obtenção e validação de artefatos do mesmo. O método PA-PON-POR foi aplicado no desenvolvimento de dois softwares, o primeiro software refere-se um simulador de portão eletrônico e o segundo software refere-se a um sistema de vendas. Em ambas as aplicações, o método PA-PON-POR demonstrou ser eficiente no que se propõe, auxiliando no processo de criação de Regras e de sistemas PON-POR com alguma garantia de qualidade. / This research proposes a method to apply the Axiomatic Design Theory (ADT) in the Rule-oriented software development process. In this context, it was not found in the literature, by the efforts of this work research, the application of ADT in Rule-oriented software development. However, the ADT was focus on research in Object-Oriented software development in a previous work, which was used as inspiration in this current research work. This current research proposes the method Axiomatic Design for Notification-Oriented Paradigm and Rule-Oriented Paradigm (AD-NOP-ROP) since the rules follow the NOP structural model. This method proposes a functional decomposition of system requirements in four levels which are: Use Cases, Use Subcases that are Technical Feature Independent, Use Subcases that are Technical Feature Dependent, and Technical Service . Furthermore, the method AD-NOP-ROP applies the ADT Independence Axiom in each one of the decomposition levels by means of design matrixes and metrics which calculates reangularity and semangularity from ADT. The design matrixes still aids in the identification of Exclusive Premises, which are important elements of NOP-ROP systems with Rules whose Actions instigate the creation of conflicting facts. The Information Axiom from ADT is also applied in each decomposition level in order to evaluate design solutions in terms of its amount of information. Still, the method AD-NOP-ROP presents a set of metrics which are specific for evaluation of structural quality of Rule composition, thereby providing criteria for decision making with respect to design quality. Besides, the method AD-NOP-ROP can be used in a simultaneous way with the existent method used for software design based on NOP-ROP application development, so called Notification-Oriented and Rule-Oriented Application Development (NO-RO-AD), in order to assist in the achievement and validation of artifacts. The method AD-NOP-ROP was applied during the development of two software systems, the first one refers to an Electronic Gate and the second one refers to a Sales System. In both applications the method displayed efficiency in its purposes, assisting in the Rule creation process and also in the creation of NOP-ROP software with some quality assurance.

Made available in DSpace on 2014-04-29T02:00:58Z (GMT). No. of bitstreams: 1 000457458-Texto+Completo-0.pdf: 14106092 bytes, checksum: 445257e0ef6a6248a5b72ac5e3cf953b (MD5) Previous issue date: 2014 / The public housing policies have been adopted by the government in response to housing needs. The housing settlements - particularly those formed by apartment blocks - were and still remain in the urban environment, the form of capitalist production more utilized to meet this demand. This research aims to analyze the impacts of federal and municipal public policies on the promotion of multi families housing settlements in Pelotas, between the period POST- BNH (1987/2010 ). To achieve this purpose it was initialized the characterization of multi families housing settlements built in the municipality. For each of the moments identified at POST BNH (Transition Period -1987/2000, Implementation Period of the Arrendamento Residencial Program – 2001/2008 and Implementation Period of Minha Casa Minha Vida - 2009/2010) the conduct of the Brazilian State was founded. It was analyzed the financing forms and the sources of funds used on the implementation of these policies. It was verified how the urban integration of these housing settlements occurred. And, it was investigated how the legislation and the technical specifications of the Programs focused on this production. The study sought to contribute to the analysis of how these actions interfered with the possibility of access to the Programs, to the public services and urban infrastructure and the right to housing in cities. / As políticas públicas de habitação têm sido adotadas pelo poder público no enfrentamento das necessidades de moradia. Os conjuntos habitacionais - e em particular aqueles formados por blocos de apartamentos – foram e continuam sendo, no meio urbano, a forma de produção capitalista mais utilizada para atender a essa demanda. Esta pesquisa objetiva analisar os impactos das políticas públicas federais e municipais sobre a promoção de conjuntos habitacionais multifamiliares em Pelotas, no período PÓS-BNH (1987/2010). Para atender a essa finalidade partiu-se da caracterização dos conjuntos habitacionais multifamiliares produzidos no município. Para cada um dos momentos identificados no PÓS-BNH (Período de Transição-1987/2000, Período de implementação do Programa de Arrendamento Residencial – 2001/2008 e Período de implantação do Programa Minha Casa Minha Vida - 2009/2010), a conduta do Estado brasileiro foi fundamentada. Analisou-se as formas de financiamento e as origens dos recursos empregados na implementação dessas políticas. Verificou-se como ocorreu a inserção urbana desses empreendimentos. E, averiguou-se como a legislação e as especificações técnicas dos Programas incidiram sobre essa produção. O estudo procurou contribuir para a análise de como essas ações interferiram na possibilidade de acesso aos Programas, aos serviços públicos e infraestrutura urbana e ao direito a cidade.

Esta pesquisa propõe um método que aplica a Teoria de Projeto Axiomático (PA) ao processo de desenvolvimento de software que se orientam por regras. Nesse âmbito, salienta-se que não foi encontrada na literatura, durante os esforços de pesquisa deste trabalho, a aplicação da Teoria de Projeto Axiomático a sistemas orientados a Regras. Entretanto, a Teoria de Projeto Axiomático já sim foi foco de pesquisa e aplicação no processo de desenvolvimento de software orientado a objeto, servindo de inspiração ao presente trabalho. Dito isso, este trabalho propõe o método Projeto Axiomático aplicado ao Paradigma Orientado a Notificações e ao Paradigma Orientado a Regras (PA-PON-POR) desde que as regras sigam o modelo de estruturação dado pelo PON. O método PA-PON-POR propõe a decomposição funcional de requisitos do sistema em quatro níveis que são: Casos de Uso, Subcasos de Uso Independentes de Características Técnicas, Subcasos de Uso Dependentes de Características Técnicas e Serviços Técnicos. Além disso, o método PA-PON-POR aplica o Axioma da Independência do PA em cada um dos quatro níveis de decomposição por meio das matrizes de projeto e métricas de cálculo da reangularidade e semangularidade do próprio PA. As matrizes de projeto ainda auxiliam na identificação das Premissas exclusivas, elementos esses importantes quando um sistema PON-POR possui Regras que possuem Ações que instigam a geração de fatos conflitantes. O Axioma da Informação do Projeto Axiomático também é aplicado em cada nível de decomposição avaliando as soluções de projeto quanto a sua quantidade de informação. Ainda, o método PA-PON-POR apresenta um conjunto de métricas especificas para avaliação da qualidade estrutural da composição de Regras do sistema, fornecendo critérios para tomada de decisão sobre a qualidade do projeto especificado. Além disso, o método PA-PON-POR é passível de aplicação simultânea com o método existente de projeto de software baseado em desenvolvimento de aplicações PON-POR chamado de Desenvolvimento Orientado a Notificações e Orientado a Regras (DON-DOR), auxiliando na obtenção e validação de artefatos do mesmo. O método PA-PON-POR foi aplicado no desenvolvimento de dois softwares, o primeiro software refere-se um simulador de portão eletrônico e o segundo software refere-se a um sistema de vendas. Em ambas as aplicações, o método PA-PON-POR demonstrou ser eficiente no que se propõe, auxiliando no processo de criação de Regras e de sistemas PON-POR com alguma garantia de qualidade. / This research proposes a method to apply the Axiomatic Design Theory (ADT) in the Rule-oriented software development process. In this context, it was not found in the literature, by the efforts of this work research, the application of ADT in Rule-oriented software development. However, the ADT was focus on research in Object-Oriented software development in a previous work, which was used as inspiration in this current research work. This current research proposes the method Axiomatic Design for Notification-Oriented Paradigm and Rule-Oriented Paradigm (AD-NOP-ROP) since the rules follow the NOP structural model. This method proposes a functional decomposition of system requirements in four levels which are: Use Cases, Use Subcases that are Technical Feature Independent, Use Subcases that are Technical Feature Dependent, and Technical Service . Furthermore, the method AD-NOP-ROP applies the ADT Independence Axiom in each one of the decomposition levels by means of design matrixes and metrics which calculates reangularity and semangularity from ADT. The design matrixes still aids in the identification of Exclusive Premises, which are important elements of NOP-ROP systems with Rules whose Actions instigate the creation of conflicting facts. The Information Axiom from ADT is also applied in each decomposition level in order to evaluate design solutions in terms of its amount of information. Still, the method AD-NOP-ROP presents a set of metrics which are specific for evaluation of structural quality of Rule composition, thereby providing criteria for decision making with respect to design quality. Besides, the method AD-NOP-ROP can be used in a simultaneous way with the existent method used for software design based on NOP-ROP application development, so called Notification-Oriented and Rule-Oriented Application Development (NO-RO-AD), in order to assist in the achievement and validation of artifacts. The method AD-NOP-ROP was applied during the development of two software systems, the first one refers to an Electronic Gate and the second one refers to a Sales System. In both applications the method displayed efficiency in its purposes, assisting in the Rule creation process and also in the creation of NOP-ROP software with some quality assurance.

Made available in DSpace on 2015-05-15T11:45:57Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 742413 bytes, checksum: 120ce91b2b5330597c38e20520399322 (MD5) Previous issue date: 2008-04-23 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work, we studied a certain proprieties of invariant sets of descending flow defined by pseudogradient vector field. This analysis permit us to determine the existence and multiplicity of critical points of certain functionals bounded below in invariant sets by associate flow. We applied this concepts to nonlinear elliptic boundary value problems and nonlinear systems of ordinary differential equations. In variant cases, at least four solutions are obtained for these equations. / Neste trabalho, estudamos certas propriedades de conjuntos invariantes de fluxo decrescente definidos por campos de vetores pseudo-gradientes. Esta análise nos permitiu determinar a existência e multiplicidade de pontos críticos para certos funcionais limitados inferiormente em conjuntos invariantes pelo fluxo associado. Aplicamos esses conceitos a problemas elípticos não lineares em domínios limitados e a sistemas de equações diferenciais ordinárias não lineares. Em diferentes casos, pelo menos quatro soluções foram obtidas para essas equações.

Este trabalho trata da análise da produção da habitação de interesse social implementada pelo BNH (Banco Nacional de Habitação), na busca de subsídios para retomar a produção da habitação social. Foi realizado um estudo comparativo entre quatro conjuntos habitacionais produzidos pela COHAB – Companhia de Habitação do Estado do Rio Grande do Sul, na cidade de Montenegro, com o objetivo de compreender de que maneira a implantação do conjunto habitacional, no tocante a dimensão, configuração e localização, afeta a interação social entre os moradores do próprio conjunto e a interação do conjunto com o entorno imediato e a cidade. Os múltiplos métodos de coleta e análise de dados utilizados possibilitaram a complementaridade entre os dados obtidos. Foram realizados levantamentos de arquivo, levantamento físico, aplicação de mapas mentais com entrevistas, observações sistemáticas de uso dos espaços públicos abertos e aplicação de questionários. Adota-se uma abordagem perceptiva que utiliza a satisfação do usuário e o comportamento ambiental como indicadores de desempenho e de interação social. A análise estatística dos dados quantitativos foi realizada através da verificação das frequências e realização de testes não-paramétricos, como Kruskal-Wallis e Spearman. Também foram utilizados mapa figura-fundo, mapa de barreiras com indicação das constituições e análise sintática para medir os níveis de integração. Os resultados confirmam que as características de implantação de conjuntos habitacionais de interesse social (dimensão, configuração e localização) estão relacionadas entre si e tendem a afetar o tipo e a intensidade de interação entre os moradores do conjunto e a interação do conjunto com o entorno imediato e a cidade. Foi também constatado que conjuntos mais integrados podem contribuir para que os moradores se integrem ao bairro/ cidade e sejam reconhecidos como pertencentes à cidade. Ainda, foi constatado que conjuntos mais distantes da área urbana consolidada, geralmente de grande porte, tendem a promover interação limitada aos moradores do próprio conjunto. Os resultados também confirmam que as características fisicoespaciais dos espaços públicos abertos, mais especificamente o conforto decorrente da existência de vegetação e bancos, assim como as características socioeconômicas dos moradores podem afetar a interação social entre os moradores do conjunto e entre o conjunto e o entorno, uma vez que modificam o estilo de vida, os hábitos de compras no dia a dia e as formas de deslocamento, entre outros. Dessa forma, é ressaltada a importância de avaliar os efeitos das características de implantação de conjuntos habitacionais para que se produzam espaços mais qualificados que promovam e facilitem a interação social entre os moradores do conjunto, entre os moradores do conjunto com o entorno e com a cidade, promovendo o sentimento de pertencimento e cidadania. / This study deals with the analysis of the production of social housing implemented by BNH (National Housing Bank), in order to subsidize the future production of social housing. It was realized a comparative study of four housing units produced by COHAB - Housing Company of the State of Rio Grande do Sul, in the city of Montenegro, in order to understand how the performance of housing schemes related to size, spatial configuration and location, can affect social interaction among dwellers as well as interaction between the housing scheme and its urban context. The multiple methods of data collection and analysis used enabled complementarities between the data obtained through archives information, physical measurements, application of mental maps with interviews, systematic observations of the use of public open spaces and questionnaires. It was adopted a perceptive approach that considers user satisfaction and environmental behavior as indicators of environmental performance and social interaction. The statistical analysis of quantitative data was carried out by means of frequencies and nonparametric tests such as Kruskal-Wallis and Spearman correlations. Moreover, figure-ground map, map of physical barriers with indication of spatial constitutions and space syntax analysis were used in order to measure levels of integration. Results confirm that the characteristics of implementation of social housing related to size, configuration and location, are interrelated and tend to affect the type and intensity of interaction among residents in the housing scheme and interaction of the scheme with the immediate surroundings and the city. It was found that smaller housing schemes tend to show higher level of interaction not only among the residents in the scheme, but also with those who live nearby and in the city. Moreover, it was found that housing schemes farther located from the consolidated urban area, usually of large size, tend to promote limited interaction among residents of the housing scheme. The results further confirmed that physical characteristics of public open spaces, more specifically in relation to environmental comfort resultant from the presence of vegetation and benches, as well as socioeconomic characteristics can affect social interaction among the residents in the scheme and the surrounding neighborhood, due to its effect on life style, daily shopping routine and means of locomotion, among other things. Therefore, it is emphasized the importance of assessing the effects of characteristics of housing schemes related to size, spatial configuration and location in order to produce more qualified residential spaces that promote and facilitate social interaction among residents of housing schemes, among the residents of scheme and surrounding neighborhoods and the city, promoting a sense of belonging and citizenship.

[pt] A dissertação investiga, a partir do Tractatus de Wittgenstein, a articulação interna do mundo e da linguagem - a isomorfia - e elucida aquilo que, sendo idêntico aos dois, a saber, a forma lógica, permite a função de representação exercida pela linguagem. Para tanto, estabeleço, com o auxílio da Teoria de Conjuntos, que a isomorfia tractatiana respeita um mecanismo formal de mapeamento dos estados de coisas pelas proposições elementares numa função biunívoca preservadora de relações entre os nomes e os objetos nomeados. Portanto, demonstro a legitimidade do uso do conceito matemático de isomorfismo na interpretação tradicional do Tractatus. A partir disto, defendo a pertinência de se tomar a lógica, tal qual concebida no Tractatus, como uma espécie de metafísica reabilitada em oposição à metafísica tradicional, tomada, por Wittgenstein, como ilegítima. / [en] This dissertation investigates the internal articulation between world and language - the isomorphy - hold by Wittgenstein in his Tractatus. To do so, I determine using the Set Theory that the tractatian isomorphy functions mapping state of affairs in terms of atomic propositions through a peculiar relation between objects and names. As a result, I demonstrate that it is legitimate to use the mathematical concept of isomorphism to interpret Tractatus. According to this, I also defend that logic, as it is assumed by Wittgenstein, can be held as a regenerated metaphysics in contrast to the illegitimacy of the traditional one.