Made available in DSpace on 2010-04-20T20:17:22Z (GMT). No. of bitstreams: 0 Previous issue date: 1993-03-25T00:00:00Z / Trata do processo de formulação e implementaria da política de regularização de ocupações na COHAB/SP. Indica as condições em que o problema surge na agenda de decisões da empresa e as transformações por que passa. medida que é absorvido pela rotina de trabalho. Analisa o papel desempenhado pelos técnicos e demais funcionários no encaminhamento de propostas para a elaboração da política destacando os aspectos ligados à racionalidade do processo

FERREIRA, Francicleber Martins. Modelos minimais e hierarquia de expressividade. 2007. 109 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2007. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-06-29T18:55:46Z No. of bitstreams: 1 2007_dis_fmferreira.pdf: 752533 bytes, checksum: 98c57917ae2bd6af5de38f25d9ce7c39 (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-06-29T18:56:33Z (GMT) No. of bitstreams: 1 2007_dis_fmferreira.pdf: 752533 bytes, checksum: 98c57917ae2bd6af5de38f25d9ce7c39 (MD5) / Made available in DSpace on 2016-06-29T18:56:33Z (GMT). No. of bitstreams: 1 2007_dis_fmferreira.pdf: 752533 bytes, checksum: 98c57917ae2bd6af5de38f25d9ce7c39 (MD5) Previous issue date: 2007 / Neste trabalho, o conceito de Modelo Minimal e seu uso na semântica de certas lógicas são estudados. Nós analisamos o poder expressivo de diversas lógicas que usam o conceito de Modelo Minimal para definir sua relação de satisfação. Os principais teoremas estudados foram o Teorema de Löwenheim-Skolem e o Teorema de Definibilidade de Beth. No Capítulo 1, nós damos algumas motivações e revisamos alguns conceitos básicos de Lógica. No Capítulo 2, nos estudamos a Lógica de Menor Ponto Fixo|LFP. Nós exibimos uma prova de que o Teorema de Beth não vale para LFP. Nós usamos teorias infinitas para provar isso. Utilizando um resultado de Hodkinson para L!!1!, nós mostramos que o Teorema de Beth continua não valendo mesmo para teorias finitas de LFP. Nós continuamos estudando problemas de definibilidade para LFP e demonstramos que, para tipos especiais de definições implícitas formadas por Sistemas Recursivos, que funcionam como definições recursivas em determinados contextos, existe uma definição explícita. Nós promavos ainda que o Teorema de LÄowenheim-Skolem Descendente vale para qualquer conjunto de fórmulas de LFP, independentemente de sua cardinalidade. No Capítulo 3, a Circunscrição de McCarthy e as Teorias Circunscritivas Aninhadas de Lifschitz, uma generalização da primeira. Nós abordamos o poder expressivo de Circunscrição e a falha do Teorema de LÄowenheim-Skolem Descendente. Nós também investigamos questões de definibilidade no contexto de Circunscrição. Nós encerramos esse capítulo mostrando que as Teorias Circunscritivas Aninhadas possuem poder expressivo comparável com o da Lógica de Segunda-Ordem. No Capítulo 4, nós estendemos uma lógica criada por van Benthem dando origem a duas outras lógicas, a saber, U-MIN e I-MIN. Nós provamos que ambas são equivalentes entre si em poder expressivo e daí em diante chamamos U-MIN de MIN. Nós introduzimos a Lógica Si-MIN de minimalização simultânea e provamos que Si-MIN é equivalente a U-MIN e I-MIN e também à Lógica de Segunda-Ordem. Nós então propomos o fragmento MIN¢ de MIN, cujo poder expressivo situa-se entre o da Lógica de Segunda-Ordem e o de LFP. No Capítulo 5, nós reunimos nossas conclusões e apontamos trabalhos futuros.

LIMA, Ítalo Siqueira. Extensões induzidas de altura mínima de um conjunto parcialmente ordenado. 2007. 78 f : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2007. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-07-01T19:49:21Z No. of bitstreams: 1 2007_dis_islima.pdf: 567978 bytes, checksum: 3ba284ffabfddf975efc4b51ef98ffe6 (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-07-01T19:49:52Z (GMT) No. of bitstreams: 1 2007_dis_islima.pdf: 567978 bytes, checksum: 3ba284ffabfddf975efc4b51ef98ffe6 (MD5) / Made available in DSpace on 2016-07-01T19:49:52Z (GMT). No. of bitstreams: 1 2007_dis_islima.pdf: 567978 bytes, checksum: 3ba284ffabfddf975efc4b51ef98ffe6 (MD5) Previous issue date: 2007

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação Interdisciplinar em Ciências Humanas, Florianópolis, 2014. / Made available in DSpace on 2015-04-29T21:00:56Z (GMT). No. of bitstreams: 1 332960.pdf: 3105702 bytes, checksum: 92a7adfe33991210a510772ad1aa1f8c (MD5) Previous issue date: 2014 / Esta tese discute, à luz da teoria do Bem Viver, sobre residentes do Conjunto Habitacional Casarão do Cordeiro, localizado no Bairro do Cordeiro, em Recife, Pernambuco, a partir do cotidiano dos moradores, das relações de identidade com o lugar e das lembranças da antiga morada nas palafitas de Brasília Teimosa, bairro situado na zona Sul de Recife, e que durante muitos anos foi palco de um cenário de degradação social e de risco para as pessoas que ali habitavam. Através da História Oral, busco identificar, desde os depoimentos de moradores que viveram essa realidade, a compreensão de bem viver num novo espaço. O quadro conceitual foi construído pelas discussões sobre: o bem viver, segundo a ideia Aristotélica (2007) de felicidade; o cotidiano, referenciado em Michel de Certeau (1984; 2009); o lugar, à luz das ideias de Christian Norberg-Schulz (2008), Yi-Fu Tuan (1980; 1983), Milton Santos (1994; 2004; 2012); a identidade, seguindo, sobretudo, os ensinamentos de Stuart Hall (1999); e a memória, seguindo as reflexões teórico-filosóficas de Bergson (1999) e Le Goff (1992). Esta tese reflete sobre o pensamento de que a felicidade é sinônima de um viver bem, alcançado pelas relações sociais construídas diariamente.<br> / Abstract : This thesis discusses, in light of the theory of Good Living, about residents, living on the Housing Complex ?Casarão do Cordeiro?, located in the suburb of Cordeiro, in the district of Recife, Pernambuco, based on their daily lives, their identity with the place and the memories from their former stilt house in Brasília Teimosa, neighborhood located in the southern area of Recife, which was, for many years, the scenario of social degradation and risk to the people who lived there.Through Oral History I seek to identify, based on the residents? testimonials who have lived this reality, the understanding of good living in a new housing. The conceptual framework draws on discussions about: good living according to the Aristotelian (2007) idea of happiness; everyday life referenced by the ideas of Michel de Certeau (1984; 2009); place, in light of the ideas of Christian Norberg-Schulz (2008), Yi-Fu Tuan (1980; 1983) , Milton Santos (1994; 2004; 2012) ; identity, following, mainly, the teachings of Stuart Hall (1999) ; and discussions on memory in light of Bergson (1999) and Le Goff (1992). This thesis reflects upon the thought that happiness and good life complement each other when achieved by social relations that are daily constructed.

Made available in DSpace on 2014-06-11T19:24:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-10-14Bitstream added on 2014-06-13T18:52:59Z : No. of bitstreams: 1 dias_chbb_me_rcla.pdf: 692647 bytes, checksum: 869fdb9734d900054c9edcfce9ca37cc (MD5) / Universidade Estadual Paulista (UNESP) / Desde cedo entramos em contato com as implicações lógicas. O binômio verdadeiro-falso está sempre presente em nossas vidas e nós nos acostumamos a aceitar que as coisas ou são verdadeiras ou são falsas. Divertimo-nos quando alguém nos conta histórias interessantes envolvendo lógica e que terminam em contradições, tais como, por exemplo, a do barbeiro que pode e não pode barbear a si mesmo, ou como a do advogado que consegue ganhar ou perder a mesma causa. Apreciamos mais paradoxos sem nos apercebermos que por trás deles existe toda uma teoria matemática, a chamada lógica fuzzy. Essa dissertação tem por objetivo apresentar um resumo deste teoria, mostrando como ela trata a existência de tais paradoxos e dar detalhes sobre uma visão compacta dos conjuntos fuzzy, a saber, utilizando uma representação geométrica. A análise de alguns resultados sobre tais conjuntos usando esta representação leva a uma justificativa para o estudo da lógica fuzzy, a saber, a diferença entre fuzziness e probabilidade, incluindo uma demonstração de que fuzziness, de fato, existe / Early on we got in touch with the logical implications. The binomial true-false is always present in our lives and we have come to accept that things are either true or false. Have fun when somebody tells interesting stories involving logic and ending with contradictions, such as, for example, the barber who can and can not shave himself, or as the lawyer who can win or lose the same cause. Appreciate more paradoxes without realizing that behind them there is a whole mathematical theory, called fuzzy logic. This thesis aims to present a summary of this theory, showing how it treats the existence of such paradoxes and give details about a compact view of fuzzy sets, namely, using a geometrical representation. The analysis of some results on such sets using this representation leads to a justification for the study of fuzzy logic, namely the difference between fuzziness and probability, including a demonstration that fuzziness in fact, exists

Made available in DSpace on 2016-06-02T20:30:59Z (GMT). No. of bitstreams: 1 6719.pdf: 2189907 bytes, checksum: 9012da16633635b39831afafd23bcc32 (MD5) Previous issue date: 2015-02-23 / Financiadora de Estudos e Projetos / The present study aimed to investigate whether preschool children would acquire arbitrary conditional discriminations between pictures of objects, whether they would form equivalence classes between the photos and if they would then incorporate the objects themselves into classes (with no direct teaching of relations between them). An additional objective was to determine whether children would group together schematic drawings of objects in the same classes. Six children around the age of four participated. Initially, tests aimed to evaluate generalized repertoires of conditional discriminations by identity (between photos and between objects). Next, conditional discriminations were taught that served as a baseline for forming three equivalence classes between photographs of abstract objects (without names). Half of the participants underwent the Sample as Node Training (AB / AC) and the other half the Linear- Series Training (AB / BC). Multiple probes that assessed both baseline relations, as well as derived relations (symmetries and equivalences), were used to evaluate the effects of teaching on the learning process and the acquisition of discriminations, as well as the emergence of derived relations. Following the emergence of classes with the use of photos, arbitrary conditional discrimination tests were performed between objects and between objects and photos, in order to assess the expansion of the original classes. Lastly, the children underwent conditional discrimination tests between schematic figures. All participants accurately performed identity-matching conditional discriminations between photos and between objects, and conditional discrimination between objects and their photos. In the probes prior to the teaching participants answered at random in the baseline (AB, and AC or BC), symmetry (BA and CA or CB) and equivalence relations (BC and CB; or AC and CA). After the acquisition of the first base line (AB), the probes showed that AB was maintained as well as the emergence of BA symmetries. Following the second baseline (AC or BC), most participants maintained AC (or BC) and presented the symmetries (CA or CB); however, deterioration of AB and BA occurred for four children, whereas one child formed equivalence classes. For the others, the equivalence relations emerged after the teaching of mixed baselines (training simultaneously with AB and AC or with AB and BC). Three participants showed positive results in tests of equivalence between objects, and exhibited expansion classes while simultaneously matching objects and photos. Two responded according to the classes in the tests with schematic figures. Apparently, the training structure produced no systematic effects neither on the emergence of relations between photos, nor on the expansion of classes. The results carry important implications for understanding the symbolic behavior involving levels of correspondence between two-dimensional and tridimensional stimuli. Methodological limitations should be addressed in future studies which evaluate the role of critical variables for the photos-objects equivalence based on the teaching involving only one of the stimuli modalities. / O presente trabalho teve por objetivo verificar se crianças pré-escolares aprenderiam discriminações condicionais arbitrárias entre fotografias de objetos, se formariam classes de equivalência entre as fotos e se, em seguida, incorporariam os próprios objetos às classes (sem ensino direto de relações entre eles). Um objetivo adicional foi verificar se as crianças agrupariam desenhos esquemáticos dos objetos nas mesmas classes. Participaram seis crianças com cerca de quatro anos de idade. Inicialmente, testes avaliaram repertórios generalizados de discriminações condicionais por identidade (entre fotos e entre objetos). Em seguida, foram ensinadas discriminações condicionais que serviram como linha de base para a formação de três classes de equivalência entre fotografias de objetos abstratos (sem nomes). Metade dos participantes realizou o Treino de Modelo como Nódulo (AB/AC) e outra metade o Treino Linear (AB/BC). Um delineamento de múltiplas sondagens, que avaliava tanto relações de linha de base, quanto relações derivadas (simetrias e equivalências), foi empregado para avaliar os efeitos do ensino sobre a aprendizagem e a retenção de discriminações, bem como sobre a emergência de relações derivadas. Após a emergência das classes com fotos, foram realizados testes de discriminação condicional arbitrária entre objetos, e entre fotos e objetos, com o objetivo de avaliar a expansão das classes originais. Por último, as crianças realizaram testes de discriminação condicional entre as figuras esquemáticas. Todos os participantes realizaram acuradamente discriminações condicionais de identidade entre fotos e entre objetos, e discriminações condicionais entre objetos e suas fotos. Nas sondas antes do ensino os participantes responderam ao acaso nas relações de linha de base (AB, e AC ou BC), de simetria (BA e CA ou CB) e de equivalência (BC e CB; ou AC e CA). Após a aprendizagem da primeira linha de base (AB), as sondas mostraram manutenção de AB e emergência das simetrias BA. Após a segunda linha de base (AC ou BC), a maioria dos participantes manteve AC (ou BC) e apresentou as simetrias (CA ou CB); porém para quatro crianças ocorreu deterioração de AB e BA, enquanto uma criança formou classes de equivalência. Para os demais as relações de equivalência emergiram após o ensino da linha de base cheia (treino misto simultâneo com AB e AC ou BC). Três participantes apresentaram resultados positivos nos testes de equivalência entre objetos, e mostraram expansão classes, relacionando simultaneamente objetos e fotos. Dois responderam de acordo com as classes nos testes com figuras esquemáticas. A estrutura de treino aparentemente não produziu efeitos sistemáticos sobre a emergência de relações entre fotos, nem sobre a expansão das classes. Os resultados têm importantes implicações para a compreensão do comportamento simbólico envolvendo níveis de correspondência entre estímulos bi e tridimensionais. Limitações metodológicas deverão ser equacionadas em estudos futuros que avaliem o papel de variáveis críticas para a equivalência fotos-objetos a partir do ensino com apenas uma das modalidades de estímulos.

Made available in DSpace on 2014-06-11T19:34:58Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-07-26Bitstream added on 2014-06-13T19:44:42Z : No. of bitstreams: 1 chaves_le_dr_guara.pdf: 1947123 bytes, checksum: ee8c45d5619f8378be62c209cfe77f98 (MD5) / O presente estudo teve por objetivo verificar a associação entre a exposição aos poluentes do ar e o número de internações hospitalares por asma e pneumonia. Para a verificação foi proposto desenvolver e validar modelos fuzzy (Mamdani) e neuro-fuzzy (Sugeno) e comparar qual dos modelos apresenta uma melhor eficácia para a predição de internações. A metodologia utilizada foi dividida em três módulos: limpeza e elaboração de dados, elaboração do modelo fuzzy (Mamdani) e elaboração do modelo neuro-fuzzy (Sugeno). Foram coletados dados reais de internações do DATASUS, os quais foram utilizados como saída do modelo. Os dados de entradas foram os poluentes do ar material particulado (MP10), dióxido de enxofre (SO2), ozônio (O3) e a temperatura aparente (Tap). As saídas geradas pelos modelos foram comparadas e correlacionadas com os dados reais de internações através do Coeficiente de Correlação de Pearson. Para o estudo o nível de significância estatístico adotado foi α = 5%. A acurácia dos modelos foi realizada utilizando a Curva ROC. Neste estudo foi possível desenvolver e validar os modelos. O modelo neuro-fuzzy apresentou melhor correlação do que o modelo fuzzy; porém a acurácia foi melhor para o modelo fuzzy / This study aimed at investigating the association between exposure to air pollutants and the number of hospital admissions for asthma and pneumonia. For such verification it was proposed to develop and validate the Mamdani fuzzy and neuro-fuzzy (Sugeno) models and compare which of the two provides better efficacy in predicting hospitalization. The methodology was divided into three modules: data cleaning and preparation, elaboration of the fuzzy model (Mamdani) and elaboration of the neuro-fuzzy model (Sugeno). Data were collected from DATASUS actual admissions, which were used as the models output. The input data were air pollutants particulate matter (PM10), sulfur dioxide (SO2), ozone (O3) and the apparent temperature (Tap). The outputs generated by the models were compared and correlated with the actual data of admissions through the Pearson Correlation Coefficient. In this study the level of statistical significance adopted was α = 5%. The accuracy of the models was performed using the ROC curve. In this study it was possible to develop and validate the models. The neuro-fuzzy model showed better correlation than the fuzzy model, but the accuracy was better for the fuzzy model

No período de 2005 a 2012, os programas de urbanização de favelas do Município de São Paulo promoveram conjuntos habitacionais populares com qualidade arquitetônica e urbanística. Por outro lado, a produção habitacional recente, atribuída ao setor privado, no âmbito do Programa Minha Casa Minha Vida (PMCMV), tal como a produção pública em favelas de Belo Horizonte, perpetuam uma trajetória de produção em que a habitação popular é tida como um produto de baixa qualidade, padronizado e segregado. Buscando vislumbrar possibilidades de superação desse impasse, esta dissertação compreende um estudo sobre a produção de habitação popular pelos programas de urbanização de favelas e pelo PMCMV, nos dois municípios citados, com ênfase na abordagem dos projetos habitacionais e na atuação do profissional arquiteto e urbanista na gestão pública. Como resultado, o trabalho caracteriza e interpreta a boa arquitetura dos conjuntos habitacionais populares de São Paulo, bem como identifica fatores determinantes e entraves à produção de habitação popular pelo Estado com acesso à arquitetura e à cidade. / During the period from 2005 to 2012, the slum upgrading programs in São Paulo promoted popular housing with architectural and urbanistic quality. On the other hand, the recent housing production, attributed to the private sector under the Minha Casa Minha Vida Program (PMCMV), as the public production in Belo Horizonte slums, perpetuates a history of production in which the housing is seen as a product of low quality, standardized and segregated. Seeking possibilities to overcome this impasse, this dissertation includes a study about the popular housing production by slums upgrading and MCMV programs, in the two mentioned cities, emphasizing the project approach and the professional architect and urbanist performance in public administration. As a result, this work interprets the \"good architecture\" of the slum production in São Paulo, and identifies some determinants and barriers to the public housing production with access to architecture and to the city.

Made available in DSpace on 2016-06-02T19:05:21Z (GMT). No. of bitstreams: 1 DissAG.pdf: 1368372 bytes, checksum: a38fba0c17555bf840c80e653af2d007 (MD5) Previous issue date: 2005-05-20 / In this work, the MIGFIR (Metric Indexing and Geometric Features-based Image Retrieval) system is presented. This system was developed mainly to make possible to index and retrieve certain image classes (like human face images, for example) with efficiency and accuracy using geometric measures, two new similarity functions and the metric access method called Slim-tree. This system also allows configuring important parameters during the definition of queries and makes possible to apply fuzzy sets and related concepts so that the language used in search expressions of one of the query classes that are supported be considerably close of the language usually applied by human beings. Efficiency and accuracy of the system at the execution of queries on several real and synthetic human face image sets are also presented. About efficiency, the obtained results show that MIGFIR can promote a quite considerable reduction of the execution time of queries in comparison with a similar approach that applies sequential scanning of the data. About accuracy, the results show that performance is satisfactory during the retrieval of human faces similar to certain example-images. / Neste trabalho apresenta-se o sistema denominado MIGFIR (Metric Indexing and Geometric Features-based Image Retrieval), que foi desenvolvido principalmente para permitir que determinados tipos de imagens (como de faces humanas, por exemplo) sejam indexados e recuperados com eficiência e precisão usando suas medidas geométricas, duas novas funções de similaridade e o método de acesso métrico Slim-tree. Esse sistema também permite que os usuários configurem parâmetros relevantes durante a definição de consultas, e possibilita ainda aplicar conjuntos nebulosos e conceitos relacionados para que a linguagem empregada nas expressões de busca de uma das classes de consulta suportadas se aproxime consideravelmente da linguagem normalmente utilizada por seres humanos. A eficiência e a precisão do sistema na execução de consultas sobre vários conjuntos reais e sintéticos de imagens de faces humanas também são apresentadas. Com relação à eficiência, os resultados obtidos mostram que o uso de MIGFIR pode promover uma redução bastante considerável do tempo de execução de consultas em comparação com uma abordagem similar que aplica varredura seqüencial dos dados. Já em termos de precisão, os resultados mostram que o desempenho é satisfatório na recuperação de faces humanas similares a determinados tipos de imagens-exemplo.

Made available in DSpace on 2016-06-02T19:06:24Z (GMT). No. of bitstreams: 1 DissJMV.pdf: 2450102 bytes, checksum: b1b886e21b1ae7831845abb32330cb4f (MD5) Previous issue date: 2005-05-13 / Financiadora de Estudos e Projetos / This work investigates two relational database models that extend the standard relational database model. Both models extend the standard relational model by allowing ways to represent uncertainty. The rough relational database model borrows the basic concepts form the rough set theory and deals with uncertainty by approaching relations using their lower and upper approximations. The fuzzy rough relational database model generalizes the rough relational model by introducing a degree of membership associated to elements, in a rough relation. The operators that are an intrinsic part of each of the models are formally defined and their pseudocodes are presented and discussed in details. A prototype system ROUGH-ID3, which implements a hybrid knowledge extraction approach by integrating a set of rough database operators with the symbolic system ID3 is proposed. / Este trabalho de pesquisa apresenta e investiga dois modelos teóricos de modelagem de bases de dados que incorporam conceitos da Teoria de Conjuntos Aproximados a uma Base de Dados Relacional. O primeiro, o Modelo Relacional Aproximado, incorpora conceitos como a indiscernibilidade buscando dar mais flexibilidade e versatilidade às Bases de Dados Relacionais, tornando a maneira como os dados são tratados mais próxima da maneira como a mente humana os trata. O segundo, o Modelo Relacional Aproximado Fuzzy, estende o Modelo Relacional Aproximado agregando conceitos da Teoria de Conjuntos Fuzzy, visando representar as relações do modelo por meio de uma função de pertinência fuzzy. Isso permite quantificar a pertinência das tuplas às relações da base. Ambos os modelos são implementados tendo os pseudocódigos de seus operadores desenvolvidos e implementados. Com base nestes modelos é proposto um sistema híbrido que utiliza os conceitos do Modelo Relacional Aproximado e Aproximado Fuzzy combinados a um método simbólico de aprendizado para viabilizar a extração de conhecimento certo e conhecimento com certo grau de incerteza, a partir de Bases de Dados Relacionais Aproximadas e Aproximadas Fuzzy.