HABITAR SOCIAL - a produção contemporânea na cidade de São Paulo é uma dissertação de mestrado desenvolvida no âmbito da habitação de interesse social, que tem como objetivo analisar projetos contemporâneos de conjuntos habitacionais promovidos pela Secretaria Municipal de Habitação de São Paulo (Sehab). A pesquisa abrange o período compreendido entre os anos de 2001 e 2013. Dentro desse período, buscou-se conhecer as atuações da Secretaria de Habitação (Sehab) e identificar a produção realizada. Entre as atuações da Sehab, destacaram-se as intervenções em urbanizações de favelas. Durante o processo de urbanização, muitas vezes, parte da população precisa ser removida, por estarem vivendo em áreas de risco. A remoção dos moradores leva à necessidade de realocação dessas famílias e, para atender a essa necessidade, são construídos os conjuntos habitacionais em áreas que não sejam de risco, mas que encontrem-se próximas ao local onde esses moradores viviam anteriormente. Esse trabalho tem como objetivo analisar a produção desses conjuntos, pois essas novas casas é que darão condições à essas pessoas de viverem um uma moradia digna e fazerem parte do bairro e da cidade onde moram. Quatro projetos foram selecionados para serem observados com maior detalhe: Comandante Taylor, realizado pelo escritório Piratininga Arquitetos Associados; Jardim Edite, desenvolvido pelos escritórios MMBB e H+F Arquitetos; Parque Novo Santo Amaro V, de autoria de Vigliecca & Associados; e Real Parque desenvolvido pelos arquitetos Geni Sugai e Jefferson Diniz, junto ao escritório Paulistano de Arquitetura. Para desenvolver um estudo legítimo e que permitisse servir de referência para outras análises, fez-se necessário definir uma padronização de critérios, a partir dos quais os projetos foram observados. Outros trabalhos relacionados à habitação coletiva foram utilizados como referência para a definição desses critérios, que foram definidos dentro de três escalas principais: conjunto; edifício e unidade, permitindo que os conceitos aplicados, a cada uma delas, fossem identificados com maior detalhe. O objetivo final desse trabalho não é avaliar positivamente ou negativamente os conjuntos analisados em sua totalidade, mas tornar visíveis os critérios de qualidade existentes para que possam servir de referência para novos projetos. Além da definição dos critérios, as análises também foram embasadas na experiência de visitar os conjuntos e absorver as sensações transmitidas pelos moradores com relação aos ambientes em que vivem e em que convivem dentro dos conjuntos. Após a análise dos quatro projetos, foi realizado um capítulo que estabelece relações entre esses projetos, e também, outras referências da produção contemporânea de habitação. Por fim, espera-se que essa dissertação de mestrado, a partir das análises realizadas, conceitos destacados e relações estabelecidas, seja uma contribuição à \"cultura de projeto\"1. 1 Termo utilizado pela arquiteta Lizete Rubano em sua tese de doutorado: Cultura de Projeto: Um estudo das ideias e propostas para habitação coletiva. 2001. / HABITAR SOCIAL: the contemporary production in the city of São Paulo is a master\'s degree thesis developed at social housing sphere with the objective of analysing contemporary social housing buildings promoted by the São Paulo City Housing Department. The research covers the period between the years 2001 and 2013. Over this period, it was intended to know the activities performed by the City Housing Department and identify the production accomplished. Among these activities stand out the interventions in slums urbanizations. During the process of urbanization, part of the population needed many times to be removed for living in risk areas. The removal of residents led to the necessity of relocating these families and, to meet this need, housing complexes are built in areas which do not offer any risk, but are located near the site where these residents used to live before. This present study aims at analysing the production of theses complexes, as these new houses will be the ones which will provide these people with decent housing and will allow them to be part of the neighbourhood and the city where they live. Four projects have been selected to be observed in more details: Comandante Taylor, performed by Piratininga Arquitetos Associados office; Jardim Edite, developed by MMBB and H+F Arquitetos; Parque Novo Santo Amaro V, by Vigliecca & Associados; and Real Parque, developed by the architects Geny Sugei and Jefferson Diniz, together with Paulistano de Arquitetura office. In order to develop a legitimate study and one that could be used as reference for future analyses, it was necessary to define a standardization of criteria from which such projects were observed. Other studies related to collective housing were used as reference to the definition of these criteria, which were defined within three main scales: complex, building and unit, allowing the applied concepts to each one of them to be identified in more detail. The final objective of this study is not to evaluate positively or negatively the housing complexes analysed in their total, but to make the existing quality criteria visible, so that they can be reference to new projects. In addiction to the criteria definition, the analyses were also based on the experience of visiting the complexes and absorbing the sensations transmitted by the residents regarding the environments where they live and where they mingle inside the complexes. After the analyses of the four projects, it was performed a chapter to establish links between these projects, and also other references about the housing contemporary production. Finally, it is expected that this master\'s degree thesis, considering the analyses performed, featured concepts and established relations, be a contribution to the \"project culture\"1. 1 Term used by the architect Lizete Rubano in her doctorate\'s thesis: Cultura de Projeto: Um estudo das ideias e propostas para habitação coletiva, 2001.

Made available in DSpace on 2016-04-18T12:12:37Z (GMT). No. of bitstreams: 3 Constance de Carvalho Correia Jacob Melo1.pdf: 3026912 bytes, checksum: 8d2db0b6d93eeadd13aa53c05a0913a1 (MD5) Constance de Carvalho Correia Jacob Melo2.pdf: 3599664 bytes, checksum: 04230696008c276c57ce84e4980f3c57 (MD5) Constance de Carvalho Correia Jacob Melo3.pdf: 382557 bytes, checksum: de56bcd945b570754dabc181e666c8a7 (MD5) Previous issue date: 2009-08-20 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Este trabalho tem por objetivo geral entender como ocorreu a expansão urbana da cidade de Teresina, no Piauí, destacando as políticas públicas habitacionais adotadas, não só em Teresina, mas aquelas de abrangência nacional e que repercutiram em Teresina. Para tanto, a pesquisa está dividida em dois diferentes períodos: uma analisa a partir da criação do BNH, ou melhor desde a implantação do primeiro conjunto habitacional de interesse social em Teresina, em 1966, até a extinção do BNH em 1986. O segundo momento refere-se ao período após a extinção do BNH, quando a Caixa Econômica Federal assume a política habitacional do país. O objetivo principal é compreender a dinâmica urbana, analisando suas transformações e a expansão urbana de Teresina, destacando a lógica de ocupação do solo aplicada com os conjuntos habitacionais, e, finalmente, entender as políticas habitacionais urbanas representadas pelas legislações aprovadas.

O método da Coordenada Geradora é uma poderosa ferramenta para gerar funções de base. Sua última versão, chamada de método da Coordenada Geradora polinomial, permite a geração de funções de base mais eficientes e precisas a um baixo custo computacional. Nesta tese, além da geração de funções de base para os átomos do primeiro período da Tabela Periódica, uma estratégia de selecionar expoentes da própria função de base para posteriormente refiná-los, com o intuito de gerar funções de polarização e difusas, é apresentada e testada em cálculos de propriedades eletrônicas de átomos e moléculas. / Ab initio electronic structure calculations for atoms and especially for molecules are mostly carried out within the finite basis set expansion method in the Hartree-Fock theory by Roothaan. The search for ever more efficient basis sets has been a constant quest and here we show a new alternative to develop efficient Gaussian-Type Functions (GTF) basis sets for atomic and molecular calculations by employing the Polynomial Generator Coordinate Hartree-Fock method.

Conjuntos de funções de base Gaussianos são desenvolvidos para os átomos da primeira fila dos metais de transição Sc - Zn. Esses conjuntos de base foram construídos por meio do método da Coordenada Geradora Hartree-Fock (GCHF - Generator Coordinate Hartre-Fock) baseado em uma expansão polinomial de grau 3 para discretizar as equações Griffin-Wheeler-Hartree-Fock. Neste procedimento, a maneira na qual as equações são discretizadas está baseada em uma malha de pontos flexíveis não igualmente espaçada para cada uma das simetrias orbitais requeridas para descrever os átomos estudados, a diferença do método GCHF original é que a malha é igualmente espaçada para todas as simetrias. Inicialmente, foi gerado um conjunto de base balanceado consistindo de 23s17p13d funções gaussianas primitivas. A partir deste, um conjunto padrão de qualidade 7Z na valência foi construído e, posteriormente, enriquecido com grupos de funções de polarização e gerando assim:pGCHF - 7Z - 2f 1g, pGCHF - 7Z - 3f 2g e pGCHF - 7Z - 3f 2g1h. Energias atômicas Hartree-Fock para os dois estados eletrônicos de menor energia, para os átomos do Sc - Zn, foram calculadas com nossos conjuntos e comparadas com valores da energia numérica. Os resultados apresentaram um erro máximo de 1.02 mHartree, demostrando a capacidade desta expansão polinomial no desenvolvimento de conjuntos de base acurados para átomos dos metais de transição (MT) 3d. Cálculos em nível da Teoria do Funcional da Densidade (DFT - Density Functional Theory), utilizando nove diferentes funcionais, foram realizados com nossos conjuntos de base. A energia eletrônica total e propriedades incluíndo: geometrias otimizadas, cumprimentos de ligação e, frequências vibracionais, foram examinadas para um conjunto de sistemas moleculares (hidretos, dicloretos, dímeros, trímeros e óxidos de metais de transição). Os resultados são comparados com valores teóricos obtidos com conjuntos de base cc-pVnZ (n= Q ou 5) e com valores experimentais, quando disponiveís na literatura. Os resultados mostram que os valores de energia total cc-pV5Z, podem ser atingidos com nossos conjuntos de base com um menor número de funções de polarização. Outros cálculos moleculares dão resultados aproximados com valores experimentais e valores de referência DFT/cc-pV5Z. O ponto mais importante para ser mencionado é que os conjuntos de base da coordenada geradora requerem somente uma pequena fração de tempo computacional para alcançar a convergência, quando comparados com cálculos DFT/cc-pVQZ e DFT/cc-pV5Z. / Gaussian basis set functions have been constructed for the atoms of the first row of the transition metals from Sc to Zn. These basis sets were built by means of the Generator Coordinate Hartree-Fock (GCHF) method based on a polynomial expansion of degree 3 for the discretization of the Grifin-Wheler-Hartree-Fock equations. In this procedure, the equations were discretized through a mesh which is not equally spaced for each one of the orbital symmetries required to describe the atoms studied in this work, differently from the original method, in which the mesh is equally spaced for all symmetries. At first, it was generated a minimal basis set consisting of 23s17p13d primitive functions. Starting with this pattern set was construted a set of 7Z quality in the valence and then, this one was enriched with polarization functions classified as: 2f1g, 3f2g y 3f2g1h, which originated 3 sets of basis functions namely: pGCHF-7Z-2f1g, pGCHF-7Z-3f2g y pGCHF-7Z-3f2g1h. Hartree-Fock energies for the atoms Sc-Zn were calculated with our basis sets, for the two electronic states with the lowest energy and compared with values of numerical energy. The maximum error presented for the results was 1.02mH, showing the ability of this polynomial expansion to create accurate basis sets for atoms of third-rows transition metals. Density Functional Theory (DFT) calculations using a set of nine functionals were realized with our basis sets. The total electronic energy and properties such as: optimized geometries, bond distances and vibrational frequencies were calculated for a set of molecules (hydrides, dichlorides, dimers, trimmers and oxides). The obtained values were compared with theoretical values obtained with calculations using the basis set cc-pVnZ and with some experimental values found in the literature. The outcomes showed that reference values of the total electronic can be reproduced by ours basis sets, although ours have a less degree of polarization. Other molecular calculations yield results very close to experimental values and reference theorical values calculated with DFT/cc-pV5Z. The most important point to be mentioned here is that our generator coordinate basis sets require only a tiny fraction of the computational time when compared to DFT/cc-pV5Z calculations.

O presente trabalho centra-se no estudo da narrativa do romance O Castelo, escrito em 1922, pelo escritor tcheco Franz Kafka. Por meio da análise formal da obra em questão, objetiva-se estabelecer relações entre aspectos presentes na narrativa que possuam associações metafóricas a temas vigentes no cotidiano do autor e, conseqüentemente, do homem moderno, e que possuam conotação negativa, tais como o poder, simbolizado pela burocracia, pela divinização, e pelo espaço. Partindo dessa premissa, propõe-se relacionar esses temas à teoria dos conjuntos da matemática, na qual um conjunto maior contém um conjunto menor, esse atuando por sua vez como um subconjunto daquele. Propõe-se aqui fazer uma analogia do conjunto poder e seu enfoque negativo como poder com o subconjunto burocracia, este intimamente ligado àquele, e que possui intersecção com os subconjuntos divinização e espaço. Por fim, ressaltar-se-á a universalidade da obra de Kafka, que possibilita a efetuação de analogias temáticas das mais diversas, não só as aqui expostas em forma de conjuntos e subconjuntos, pelo fato de seu texto ser multifacetado no tocante a temas. / This monograph focuses on analyzing the narrative of The Castle, a novel written by the Czech author Franz Kafka, in 1922. It aims at establishing a connection between certain aspects within the text which may have a metaphorical association with themes related to not only the authors life experiences, but also any other modern mans. It will be centered on a formal analysis of the novel and on metaphorical aspects within the narrative, which may have a negative connotation linked with power, represented by bureaucracy, divinization and space. Afterwards, we will propose a relation of such themes to the set theory from Mathematics, in which a greater set contains a smaller set, also known as a subset. We aim at drawing an analogy of power as a set and its negative connotation with the bureaucratic subset, which are intimately connected. Bureaucracy intersects the two other subsets called divinization and space. Eventually, we will focus on the universality of Kafkas work, which enables the drawing of many other thematic analogies, not only the ones discussed in this set theory proposed in this monograph, due to the fact that Kafkas work is multifaceted in terms of themes.

Submitted by Renata Lopes (renatasil82@gmail.com) on 2018-09-03T15:49:55Z No. of bitstreams: 1 robertomalheirosmoreirafilho.pdf: 1784153 bytes, checksum: 65d1abd13eb713e62923e5d3c4d69acf (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2018-09-03T15:53:44Z (GMT) No. of bitstreams: 1 robertomalheirosmoreirafilho.pdf: 1784153 bytes, checksum: 65d1abd13eb713e62923e5d3c4d69acf (MD5) / Made available in DSpace on 2018-09-03T15:53:44Z (GMT). No. of bitstreams: 1 robertomalheirosmoreirafilho.pdf: 1784153 bytes, checksum: 65d1abd13eb713e62923e5d3c4d69acf (MD5) Previous issue date: 2012-07-30 / PROQUALI (UFJF) / A criação de regras de apoio à decisão com base em sistemas de informação é o objeto central da Teoria dos Conjuntos Aproximativos - TCA (Rough Sets Theory). Um trabalho apresentado por Pawlak em 1982 deu início a diversos estudos com o objetivo de criar regras de decisão baseadas em sistemas de informações com múltiplos atributos condicionantes e um ou mais atributos de decisão. Ao longo do tempo, os atributos com relação de dominância, onde há uma escala de valores, vêm recebendo destaque. Para lidar com este tipo de dados foi desenvolvido a DRSA (Dominance-based Rough Sets Approach). O excessivo rigor exigido para a criação de regras pela proposta básica do DRSA fez com que novas propostas surgissem. Além das regras determinísticas, com 100% de certeza, surgiram regras probabilísticas, com algum percentual controlado de incerteza. Existem algumas vertentes de estudo de aplicações de DRSA e a abordagem aqui proposta explora a possibilidade de aumento na qualidade da aproximação e, consequentemente, na qualidade das regras geradas, considerando a possibilidade de união de algumas classes do atributo de decisão com princípio de dominância. Com isto, são preservados os princípios do uso de DRSA. De acordo com a necessidade do pesquisador, a redução de classes pode ser utilizada em conjunto com as outras alternativas de DRSA apresentadas até o momento. Duas novas propostas de união de classes do atributo do critério de decisão são apresentadas, comentadas e criticadas nesta tese, uma baseada em função densidade de probabilidades e outra baseada em transformações probabilísticas. / Creating rules for the support of the decision process is the main subject of Rough Sets Theory. The study first published by Pawlak in 1982 was a catalyst of several studies focusing on creating rules for the support of the decision making process based on multiple attributes conditioning one or more decision attributes. As the studies evolved, attributes with the feature of dominance – attributes measured in some scale – have caught attention. This gave rise to DRSA (Dominance-based Rough Sets Approach). The excessively strict guidelines of DRSA original studies led to the creation of new guidelines that consider not only deterministic rules – 100% certainty – but also probabilistic rules, which account for a certain degree of uncertainty. There are other developments of DRSA and the approach here taken evaluates alternatives for enhancing the quality of the approximation evaluation, therefore enhancing the quality of the rules, by clustering classes of values of decision attributes without compromising the guiding principles of DRSA. According to the need of researcher, the reduction of classes can be used in conjunction with other alternatives of development of DRSA. Two different proposals for the clustering of attributes are presented and evaluated in this study, one based on density functions and the other based on probabilistic transformations.

Muitos sistemas físicos são modelados por sistemas dinâmicos discretos. Com o advento da tecnologia digital os sistemas discretos tornaram-se ainda mais importantes, sendo assim, o desenvolvimento de ferramentas analíticas para este tipo de sistema é de grande importância. Neste trabalho, estudam-se alguns dos principais resultados relacionados à estabilidade de sistemas dinâmicos discretos, e alguns novos são propostos. É bem conhecido na literatura que a estabilidade de um ponto de equilíbrio pode ser caracterizada pelo Método Direto de Lyapunov, via uma função auxiliar denominada função de Lyapunov. LaSalle, ao estudar a teoria de Lyapunov, estabeleceu uma importante relação entre função de Lyapunov e conjuntos limites de Birkhoff, que deu origem ao Princípio de Invariância de LaSalle. Este, entre outras coisas, permite a análise de estabilidade assintótica. Tanto o Método Direto de Lyapunov quanto o Princípio de Invariância requerem que a variação da função de Lyapunov seja não positiva ao longo das trajetórias do sistema. Em sistemas com comportamentos mais complexos, dificilmente encontra-se uma função com esta propriedade. Neste trabalho, propõe-se uma versão mais geral do Princípio de Invariância para sistemas discretos, a qual não exige que a variação da função de Lyapunov seja sempre não positiva. Com isto, a obtenção de funções deste tipo torna-se mais simples e muitos problemas, que antes não poderiam ser tratados com a teoria convencional, passam a ser tratados através deste novo resultado. Os resultados desenvolvi- dos, neste trabalho, são úteis para encontrar estimativas de atratores de sistemas não-lineares discretos. / Many physical systems are modeled by discrete dynamic systems. With the evolution digital technology, the discrete systems became still more important, so the development of analytic tools for this type of system has high importance nowadays. ln this work, some of the main results in stability of discrete dynamic systems are studied and some new ones are proposed. lt is well known in the literature that the stability of an equilibrium point may be characterized by the Lyapunov\'s Direct Method, with a function known as Lyapunov auxiliary function. LaSalle, when studying the Lyapunov theory, established an important relationship between Lyapunov function and Birkhoff limit sets. Then, he created the Lasalle\'s lnvariance Principle. This, among other features, allows the analysis of asymptotically stability. Both the Lyapunov\'s Direct Method and the lnvariance Principle request the variation of the Lyapunov function to be negative semidefinite along the system trajectory. In systems with more complex behaviors, a function is hardly found with this property. This work developed a more general version of the lnvariance Principle for discrete systems, which does not require the variation of the Lyapunov function to be always negative semidefinite. This new theory enables to find these functions easily and many insoluble problems, which could not be treated with the conventional theory before, become treatable by this new result. The results of this work are useful to find estimates of discrete nonlinear systems atractors.

Orientador: Leandro Silva Medrano / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Civil, Arquitetura e Urbanismo / Made available in DSpace on 2018-08-26T09:42:04Z (GMT). No. of bitstreams: 1 Rappl_Katrin_M.pdf: 17357410 bytes, checksum: e3d80752ec9e86229b17e3a4475a3f9f (MD5) Previous issue date: 2015 / Resumo: A atual política nacional brasileira incentiva grandes investimentos públicos na área da construção, apoiados principalmente pelos programas "Plano de Aceleração do Crescimento" (PAC) e "Programa Minha Casa Minha Vida" (PMCMV) e que por sua vez possibilitam amplas mudanças no espaço urbano. A construção de habitações com o objetivo de diminuir o déficit habitacional no país é uma das prioridades destes programas, o qual é estimado em 5,9 milhões de domicílios (FUNDAÇÃO JOÃO PINHEIRO, 2012). Entretanto, nota-se que a qualidade dos projetos e sua relação com a cidade são deixadas a um plano secundário. Desse modo, a perspectiva de crescimento urbano acelerado no Brasil intensifica a necessidade de discussão sobre este tema e também a aplicação de parâmetros arquitetônicos, econômicos e urbanos capazes de assegurar a qualidade do projeto na quantidade desejada. Essa pesquisa teve como objetivo identificar as atuais diretrizes arquitetônicas e urbanas do PMCMV e analisar similaridades e diferenças com programas praticados na Espanha, país que construiu mais de 5 milhões de habitações entre 2000 e 2008 (MINISTERIO DE FOMENTO, 2012), em especial o Plan de Vivienda vinculado à Consejería de Medio Ambiente, Vivienda y Ordenación del Territorio (Madri) e o Programa de Actuación Urbanística na escala do Município de Madri, que configuram a formação de território. Desde a "bolha imobiliária" à diversidade de experiências bem sucedidas no campo das HIS (Habitação de Interesse Social), são muitos os exemplos de grande relevância acadêmica, produzidos e premiados na Espanha e que podem indicar alternativas aos modelos tipológicos e urbanos utilizados no Brasil. Desse modo, a pesquisa justifica-se pela necessidade premente, em cenário nacional, de novas formulações na relação entre arquitetura e cidade, fundamentais para que o desejado avanço no campo habitacional seja igualmente percebido na qualidade de nossas cidades / Abstract: Currently in Brazil, it is possible to identify initiatives that are supported by large public investments, administered primarily by programs such as: Plano de Aceleração do Crescimento (Acceleration Growth Program - PAC) and Programa Minha Casa Minha Vida (My Home, My Life Program ¿ PMCMV). These programs are responsible for managing great investments in the construction area which enable major changes in urban space. One of their priorities is to stimulate housing construction in order to reduce the housing deficit in the country, which is estimated at 5.9 million households (FUNDAÇÃO JOÃO PINHEIRO, 2012). However, it is noticeable that the quality of the projects and their relationship with the city are left aside. Thereby, the prospect of accelerated urban development in Brazil intensifies the need for discussion on this topic and also for the application of architectural, economic, and urban parameters to ensure project quality in the desired quantity. This research aimed to identify the current architectural and urban guidelines of the PMCMV and analyze similarities and differences with programs performed in Spain, a country that has built more than 5 million homes between 2000 and 2008 (MINISTERIO DE FOMENTO, 2012), especially the Plan de Vivienda (Housing Plan) linked to Consejería de Medio Ambiente, Vivienda y Ordenación del Territorio and also the Programa de Actuación Urbanística (Urban Action Programs) on the level of the city of Madrid, which can shape territory formation. From the "housing bubble" economic disaster to the diversity of successful experiences in the Social Housing field, there have been many examples of great academic importance produced and awarded in Spain which may indicate alternatives to urban and typological models used in Brazil. Thus, this research is justified by the pressing need, in the national scenario, of new formulations on the relationship between architecture and city, essential to the advancement in the housing field as well as in the quality of our cities / Mestrado / Arquitetura, Tecnologia e Cidade / Mestra em Arquitetura, Tecnologia e Cidade

Orientador: Marcelo Firer / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-21T02:49:59Z (GMT). No. of bitstreams: 1 LucasD'Oliveira_RafaelGregorio_M.pdf: 16647897 bytes, checksum: a2258aca5a39f0a7d0bd2243b905a772 (MD5) Previous issue date: 2012 / Resumo: Até o trabalho presente, só era conhecido o raio de empacotamento de um código poset nos casos do poset ser uma cadeia, hierárquico, a união disjunta de cadeias do mesmo tamanho, e para algumas famílias de códigos. Nosso objetivo é abordar o caso geral de um poset qualquer. Para isso, iremos dividir o problema em dois. A primeira parte consiste em encontrar o raio de empacotamento de um único vetor. Veremos que este problema é equivalente à uma generalização de um problema NP-difícil famoso conhecido como \o problema da partição". Veremos então os principais resultados conhecidos sobre este problema dando atenção especial aos algoritmos para resolvê-lo. A receita principal destes algoritmos é o método da diferenciação, e sendo assim, iremos estendê-la para o caso geral. A segunda parte consiste em encontrar o vetor que determina o raio de empacotamento do código. Para isso, mostraremos como é as vezes possível comparar o raio de empacotamento de dois vetores sem calculá-los explicitamente / Abstract: Until the present work, the packing radius of a poset code was only known in the cases where the poset was a chain, hierarchy, a union of disjoint chains of the same size, and for some families of codes. Our objective is to approach the general case of any poset. To do this, we will divide the problem into two parts. The first part consists in finding the packing radius of a single vector. We will show that this is equivalent to a generalization of a famous NP-hard problem known as \the partition problem". Then, we will review the main results known about this problem giving special attention to the algorithms to solve it. The main ingredient to these algorithms is what is known as the differentiating method, and therefore, we will extend it to the general case. The second part consists in finding the vector that determines the packing radius of the code. For this, we will show how it is sometimes possible to compare the packing radius of two vectors without calculating them explicitly / Mestrado / Matematica / Mestre em Matemática

Orientador : Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencia Humanas / Made available in DSpace on 2018-08-03T23:35:45Z (GMT). No. of bitstreams: 1 Carvalho_TadeuFernandesde_D.pdf: 5853507 bytes, checksum: 96ccd702fdeba40a1a0098acc9416bf8 (MD5) Previous issue date: 2004 / Resumo: O objetivo deste trabalho é desenvolver alguns principios básicos de um Cálculo Diferencw Paraconsistente. Como elementos motivadores para isso, apresentamos, na Introdução, alguns dados sobre o desenvolVÚI1ento do cálculo diferencial, desde suas origens ao advento da anãlise não-standard, bem como relativos à história da lógica e à da teoria de conjuntos, focalizando os sistemas lógicos paraconsistentes e as teorias paraconsistentes de conjuntos. Apresentamos, no Capítulo 1, propriedades básicas das hierarquias dos sistemas eu, Cn' e Cns, I ;S; n ;S; m, de da Costa, destacando o sistema CIs, e a teoria paraconsistente de conjuntos CHUI> de da Costa, respectivamente a lógica e a teoria de conjuntos subjacentes ao cálculo paraconsistente pretendido. No Capítulo 2 apresentamos algumas propriedades clássicas do cãlculo e das entidades infinitesimais, e esboçamos um cãlculo diferencial paraconsistente, à ia da Costa. Finalmente, no Capítulo 3 descrevemos algumas propriedades básicas de superestruturas, e introduzimos o conceito de superestrutura paraconsistente, para obter um Teorema de Transferência, com o qual encerramos o presente trabalho / Abstract: The aim ofthis work is to develop some basic principies ofa Paraconsistent Differential Calculus. We present at the ntroduction as motivation for this intent some notes about the history of differential ca1culus, from its birth to non-standard analysis's arrival, followed by some notes about the history of logic and set theory, focusing paraconsistent 10gica1 systems and paraconsistent set theories, introduced by Newton éameiro Monso da Costa. We present at Chapter 1 some basic properties of da Costa's paraconsistent logics hierarchies eu, Cn * and Cn-, 1 ;S; n;S; m, detaching CI=, and da Costa's paraconsistent system CHU!> once these are the intended Paraconsistent Calculus's logic and set theory. In Chapter 2 we present some classic properties of the differential calculus and infinitesimal entities, and outline a paraconsistent differential ca1culus a Ia da Costa. In Chapter 3 we describe basic properties on superstructures, and introduce paraconsistent superstructures, in order to obtain a Transfer Theorem, with which we end this work / Doutorado / Doutor em Filosofia