A decisao para selecao de projetos de Pesquisa e Desenvolvimento (P&D) pode ser classificada como um exemplo particular do problema gerencial mais geral da alocacao de recursos, cujos retornos sao multidimensionais, incertos e vagos. A Analise Hierarquica Difusa, proposta por Buckley e uma extensao do Processo de Hierarquia Analítica (PHA) de Saaty, onde sao utilizados coeficientes difusos em lugar dos coeficientes exatos. O objetivo deste trabalho e explorar detalhadamente o metodo da Analise Hierarquica Difusa e aplica-lo ao problema particular da selecao de projetos de P&D, criticando-o e identificando suas potencialidades elimitacoes. Observa-se que o metodo da Analise Hierarquica Difusa e uma generalizacao do Processo de Hierarquia Analítica (PHA)tradicional. Neste metodo, aceita-se tanto valores exatos comodifusos na atribuicao dos valores dos coeficientes de comparacao, porem, a metodologia de ordenacao de numeros difusos, ainda em fase de amadurecimento, tem influencia significativa na operacionalizacao do metodo como ferramenta gerencial, devido a dificuldade de distinguir a prioridade ou preferencia entre duas alternativas. A implementacao do metodo e facilmente conseguida de forma amigavel ao usuario, de maneira que a interface grafica com o usuario permita uma visualizacao simples e intuitiva das funcoes de pertinencia pelo decisor, contudo, a sua utilizacao no mundo real depende ainda da eliminacao das limitacoes constatadas neste trabalho.

The Subset-sum Problem (SSP) consists of finding a subset of a set of integers whose sum is as close as possible to a target amount, without exceeding it. The problem is NP-complete, but there are dynamic programming-based algorithms which can solve many instances in reasonable time. Most of these algorithms attempt to minimize the time taken to find the solution for "hard" problem instances, but have sub-optimal performance when dealing with "easy" instances, either containing few items or with multiple equivalent solutions of which just one needs to be found. In this work, we analyze the characteristics of several well-known approaches, including standard dynamic-programming Bellman recursion, Horowitz-Sahni decomposition and core algorithms, and suggest variations which improve their average-case performance for easy instances, without harming their worst-case performance significantly. One variation improves the performance of the YS87 single state - multiple stages algorithm for sparse instances. Another minimizes the amount of work required by decomposition-based approaches before a solution is found, allowing the computation to be aborted earlier for dense instances with many exact solutions; this is achieved by using the programming concept of generators in order to compute partial solutions only when they are needed. We also examine the characteristics of several SSP test instance types which are commonly used to compare algorithm performances, analyzing how the distribution of partial solutions varies according to the type and size of the instances. The times taken by several algorithm implementations to solve each of the SSP instance types are measured and compared, and the variations in their behavior when dealing with each one are explained based on the instances'; characteristics.

Essa tese parte da hipótese que uma pesquisa na área da cultura, envolvendo o método de pesquisa-ação e que faz uso de meios digitais, pode estruturar- se como uma ação cultural em si ou um conjunto de ações culturais capazes de produzir alguns resultados, tanto para os pesquisadores quanto para os pesquisados, concomitantes à sua implementação, instaurando um processo contínuo de retroalimentação crítico-reflexivo para ambos os grupos. A tese também examina os procedimentos metodológicos adotados no âmbito do projeto de políticas públicas Territórios Híbridos: meios digitais, comunidades e ações culturais, em especial nas ações realizadas no conjunto habitacional Waldomiro Lobbe Sobrinho, em São Carlos, objetivando sistematizar o conhecimento produzido na realização de ações culturais com meios digitais que envolvam atores públicos e privados, instituições acadêmicas e organizações do terceiro setor, em uma perspectiva de instruir futuras aplicações no escopo de políticas culturais, em especial em conjuntos habitacionais de interesse social. / The Thesis\' hypothesis is that research in cultural fields which embrace Action- Research methods and digital media resources can be structured as a cultural action or a set of cultural activities able to produce results concomitantly ot their implementation both for researchers and for the community or group of people who participate the research, establishing a continuous process of critical and reflexive feedback for both groups. The Thesis also examines the methodological procedures adopted in the public policies research called \"Territories Hybrids: digital media, communities and cultural activities\", especially in the actions performed in public housing complex Waldomiro Lobbe Sobrinho in São Carlos, in order to systematize the knowledge produced during the performance of cultural activities with digital media involving public and private stakeholders, academic institutions and nonprofit organizations, with the perspective of instructing future applications in the scope of cultural policies, especially in public housing context.

Estudos pioneiros na década de 1970 com cálculos ab initio inauguraram o campo da química quântica relativística computacional. Desde então, também devido ao crescimento exponencial da capacidade computacional, a aplicação de Hamiltonianos relativísticos em cálculos de química teórica tem se tornado cada vez mais frequente. No entanto, o desenvolvimento de conjuntos de funções de base para estes cálculos não seguiu no mesmo ritmo. Após décadas, as melhores opções disponíveis ainda apresentam certas limitações técnicas, como sinais de prolapso variacional. Desta forma, o objetivo deste trabalho foi a geração de eficientes conjuntos relativísticos de funções de base Gaussianas para aplicação em cálculos ab initio correlacionados. Usou-se então de uma versão polinomial do método da coordenada geradora Dirac-Fock para elaboração de um conjunto primitivo de funções otimizadas variacionalmente livres de prolapso. Funções de correlação/polarização e funções difusas foram adicionadas em acordo com uma incrementação do tipo quadruple-ζ. Estas funções foram escolhidas através do tratamento multi-referencial de interação de configurações com o Hamiltoniano Dirac-Coulomb. Cálculos moleculares de propriedades fundamentais atestaram a qualidade destes conjuntos, denominados RPF-4Z, em comparação com outras bases relativísticas bastante utilizadas na literatura. Adicionalmente, momentos de quadrupolo nuclear de isótopos de bismuto e potássio e uma curva de energia potencial do dímero de rádio foram obtidos com estes conjuntos. Ao prover funções de base que retornam resultados comparáveis a outros conjuntos relativísticos disponíveis de qualidade quadruple-ζ, mas com uma significativa redução na demanda computacional, espera-se que as bases RPF-4Z se traduzam em um grande avanço na área. / Pioneering studies with ab initio calculations from the 1970s gave rise to the computational relativistic quantum chemistry field. Since then, also due to the exponential growth in computational resources, the application of relativistic Hamiltonians in theoretical chemistry calculations has become more common. However, the development of basis sets to be used in such calculations have presented its struggles. After decades, technical limitations, such as the variational prolapse issue still persist. Hence, the aim of the present thesis was the development of efficient relativistic Gaussian basis sets to be applied in correlated ab initio calculations. In order to do that, a polynomial version of the generator coordinate Dirac-Fock method has been applied to obtain variationally optimized primitive sets that are free of prolapse. Correlating/polarization functions, as well as diffuse ones, were added to these sets in a quadruple-ζ type of increment. Such functions were chosen by means of the Dirac-Coulomb multi-reference configuration interaction treatment. Molecular calculations of fundamental properties have attested the high quality of the designated RPF-4Z sets in comparison with other well-known relativistic sets. Furthermore, nuclear electric quadrupole moments of bismuth and potassium isotopes and a potential energy curve of the radium dimer were also analyzed. Since these generated sets are as accurate as commonly used relativistic quadruple-ζ sets already available, but with the advantage of a reduced computational demand, the RPF-4Z sets are expected to represent a great advance in the field.

Nesta dissertação, abordaremos os dois tipos de infinitos existentes: o infinito potencial e o infinito actual. Apresentaremos algumas situações, exemplos que caracterizam cada um desses dois tipos. Focaremo-nos no infinito actual, com o qual discutiremos alguns dos desafios encontrados na teoria criada por Cantor sobre este assunto. Mostraremos também sua importância e a diferença entre este e o infinito potencial. Com isso, buscamos fazer com que o professor compreenda adequadamente os fundamentos matemáticos necessários para que trabalhe, ensine e motive apropriadamente seus alunos no momento em que o infinito e conjuntos infinitos são discutidos em aula. Desta forma, buscamos esclarecer os termos usados e equívocos comuns cometidos por alunos e também professores, muitas vezes enganados ou confundidos pelo senso comum. / In this dissertation, we will discuss the two types of infinities: the potential infinity and the actual infinity. We will present some situations, examples that characterize each of these two types. We will focus on the actual infinity, with which we will discuss some of the challenges found in the theory created by Cantor on this subject. We will also show its importance and the difference between this and the potential infinity. Thus, we seek to make teachers properly understand the mathematical foundations necessary for them to work, teach and properly motivate their students at the time the infinity and infinite sets are discussed in class. In this way, we seek to clarify the terms used and common mistakes made by students and also teachers, so often misguided or confused by common sense.

Esta tese de doutorado estuda a preservação dos conjuntos residenciais modernos empreendidos entre 1930 e 1964 no Brasil. Tais conjuntos residenciais são exemplares importantes da história da arquitetura moderna brasileira e têm sua salvaguarda seriamente ameaçada. Integrando as agendas da preservação e da habitação social, propomos estudá-los e entendê-los como patrimônio cultural, objetivando definir parâmetros conceituais e traçar estratégias de gestão e de preservação. Pretendemos tomar parte no debate sobre a preservação da arquitetura e do urbanismo modernos a partir do tópico da habitação social, enfrentando as questões da atribuição de valor e da atualidade e obsolescência das propostas do morar moderno. Para tanto, estudamos a historicização e a atribuição de valor à arquitetura moderna, suas relações com a historiografia da arquitetura e a construção de memória da arquitetura moderna no Brasil a partir dos anos 80 e as preservações no exterior e no Brasil, feita pelo Iphan, Inepac e Condephaat. Debatemos a habitação social e patrimônio cultural por meio do estudo dos tombamentos de vilas operárias e conjuntos residenciais, com foco no Conjunto Residencial do Pedregulho, estudado em detalhe na sua trajetória desde construção até os desafios do presente. / This doctoral thesis studies the conservation of modern housing developments that was carried out in Brazil between 1930 and 1964. These housing developments are important examples for the history of modern Brazilian architecture and their conservation is under serious threat. Bringing together the preservation and social housing agendas, we propose to study and understand them as cultural heritage in order to define conceptual parameters and set out strategies for their management and conservation. We intend to join the debate about the conservation of modern architecture and urbanism through the lens of social housing, tackling questions of value assignment and the relevance and obsolescence of proposals for modern living. To this end, we study the historicity and values assigned to modern architecture, its relationships with the historiography of architecture and with the construction of a record of modern architecture in Brazil from the 1980s and the conservation undertaken both abroad and in Brazil by the National Historical and Artistic Heritage Institute (Instituto do Patrimônio Histórico e Artístico Nacional: Iphan), the State Institute for Cultural Heritage (Instituto Estadual do Patrimônio Cultural: Inepac) and the Council for the Defence of Historical, Archaeological, Artistic and Touristic Heritage (Conselho de Defesa do Patrimônio Histórico, Arqueológico, Artístico e Turístico: Condephaat). We debate social housing and cultural heritage through a study of the registered listing of workers\' villages and housing developments as part of Brazil\'s historical heritage, with a focus on the Pedregulho Housing Development (Conjunto Residencial do Pedregulho), studying in detail the course from its construction to its present challenges.

Orientadores: Hermano M.F. Tavares, Fernando Antonio Campos Gomide / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-23T06:02:46Z (GMT). No. of bitstreams: 1 Caminhas_WalmirMatos_D.pdf: 9286248 bytes, checksum: 6278bb59afd29fde6eebfd6e5603e2c1 (MD5) Previous issue date: 1997 / Resumo: A detecção e diagnóstico de falhas (DDF) em sistemas dinâmicos baseados em redundância analítica são tratadas sob diversas abordagens, fundamentadas em conceitos básicos que incluem: espaço de paridade; estimação de estados; estimação de parâmetros; sistemas especialistas; reconhecimento de padrões e outros. Neste trabalho a DDF é abordada sob a ótica de classificação de padrões. O problema de classificação de padrões pode ser resolvido utilizando-se diversas técnicas, tais como algoritmos heurísticos, técnicas de probabilidade, redes neurais, lógica fuzzy e outras. Aqui, para classificação de padrões, é proposta uma estrutura de rede neurofuzzy and/or, além de uma modificação na estrutura clássica da rede neural auto-organizada. São propostas três estratégias de sistema de detecção e diagnóstico de falhas. Na primeira, os padrões são formados a partir das informações de entrada e saída da planta. A segunda e a terceira são baseadas em sistema de classificação de padrões e geração residual (estratégias híbridas). Na segunda, os resíduos são gerados a partir de comparações entre os estados para diversos observadores em modos deslizantes. Na terceira, são utilizados parâmetros do modelo da planta, que são os pesos de uma rede neurofuzzy. As estruturas foram testadas em três sistemas dinâmicos, a saber: sistema de acionamento elétrico utilizando máquina de corrente contínua; sistema de acionamento elétrico utilizando máquina de corrente alternada e sistema de tanques interativos (acoplados) / Abstract: Analytical redundancy for fault detection and diagnosis of dynamic systems, FDD, has been approached by several methodologies, state estimation, parameter estimation, expert systems, and pattern classification and recognition being typical examples. In particular, pattern classification and recognition methods adopt probabilistic, heuristic, neural, and fuzzy set based techniques as a solution framework. This work introduces the FDD as a pattern classification and recognition problem. Two neural approaches for pattern classific ation and recognition are introduced and compared: a neurofuzzy network composed by logical and and or neurons with a competitive learning, and a variation of a supervised Learning Vector Quantization (LVQ) network with ?N IND. 1?,? N IND. 2? and Noo norrns and a pruning scheme, respectively. In addition, three schemes are proposed to solve FDD problems. The first scheme uses input and output signals to classify the operational condition of the dynamic system. In this case mathematical models are not needed to detect and to diagnose faults. The second uses residues generated by comparisons among the states of several sliding mode observers. The third uses the parameters of a model of the system. The model parameters are the weights of a neurofuzzy network. The last two schemes constitute hybrid strategies to solve FDD problems. The schemes developed herein were tested in three different dynamic systems: a DC motor drive; an AC motor drive, and an interactive tank system. Simulation results are reported for these three example problems / Doutorado / Doutor em Engenharia Elétrica

The notion of surreal number was introduced by J.H. Conway in the mid 1970\'s: the surreal numbers constitute a linearly ordered (proper) class No containing the class of all ordinal numbers (On) that, working within the background set theory NBG, can be defined by a recursion on the class On. Since then, have appeared many constructions of this class and was isolated a full axiomatization of this notion that been subject of interest due to large number of interesting properties they have, including model-theoretic ones. Such constructions suggests strong connections between the class No of surreal numbers and the classes of all sets and all ordinal numbers. In an attempt to codify the universe of sets directly within the surreal number class, we have founded some clues that suggest that this class is not suitable for this purpose. The present work is an attempt to obtain an \"algebraic (set) theory for surreal numbers\" along the lines of the Algebraic Set Theory - a categorial set theory introduced in the 1990\'s: to establish abstract and general links between the class of all surreal numbers and a universe of \"surreal sets\" similar to the relations between the class of all ordinals (On) and the class of all sets (V), that also respects and expands the links between the linearly ordered class of all ordinals and of all surreal numbers. We have introduced the notion of (partial) surreal algebra (SUR-algebra) and we explore some of its category theoretic properties, including (relatively) free SUR-algebras (SA, ST). We have established links, in both directions, between SUR-algebras and ZF-algebras (the keystone of Algebraic Set Theory). We develop the first steps of a certain kind of set theory based (or ranked) on surreal numbers, that expands the relation between V and On. / A noção de número surreal foi introduzida por J.H. Conway em meados da década de 1970: os números surreais constituem uma classe (própria) linearmente ordenada No contendo a classe de todos os números ordinais (On) e que, trabalhando dentro da base conjuntista NBG, pode ser definida por uma recursão na classe On. Desde então, apareceram muitas construções desta classe e foi isolada uma axiomatização completa desta noção que tem sido objeto de estudo devido ao grande número de propriedades interessantes, incluindo entre elas resultados modelos-teóricos. Tais construções sugerem fortes conexões entre a classe No de números surreais e as classes de todos os conjuntos e todos os números ordinais. Na tentativa de codificar o universo dos conjuntos diretamente na classe de números surreais, encontramos algumas pistas que sugerem que esta classe não é adequada para esse fim. O presente trabalho é uma tentativa de se obter uma \"teoria algébrica (de conjuntos) para números surreais\" na linha da Teoria dos Algébrica dos Conjuntos - uma teoria categorial de conjuntos introduzida nos anos 1990: estabelecer links abstratos e gerais entre a classe de todos números surreais e um universo de \"conjuntos surreais\" emelhantes às relações entre a classe de todos os ordinais (On) e a classe de todos os conjuntos (V), que também respeite e expanda os links entre as classes linearmente ordenadas de todos ordinais e de todos os números surreais. Introduzimos a noção de álgebra surreal (parcial) (SUR-álgebra) e exploramos algumas das suas propriedades categoriais, incluindo SUR-álgebras (relativamente) livres (SA, ST). Nós estabelecemos links, em ambos os sentidos, entre SUR-álgebras e álgebras ZF (a pedra angular da Teoria Algébrica dos Conjuntos). Desenvolvemos os primeiros passos de um determinado tipo de teoria de conjuntos baseada (ou ranqueada) em números surreais, que expande a relação entre V e On.

Minimal Walks are a method of demonstrations in set theory and general topology. Although the main work of this document will be the construction of the L space, we intend to explain walk\'s fundamentals in a bit more detail. / Passeios mínimos são um método de demonstrações em teoria dos conjuntos e topologia geral. Apesar do trabalho principal dessa dissertação ser a existência do L espaço, a intenção é explicar os fundamentos dos passeios mínimos um tanto detalhadamente.

Neste trabalho apresentaremos o princípio seletivo S1(O;H ) que caracteriza a propriedade da diagonal Gd . Iremos também apresentar um jogo topológico G1(O;H ) induzido por esse princípio seletivo e estudaremos as relações entre esse jogo e a propriedade da diagonal Gd . Além disso, apresentaremos outros jogos topológicos e mostraremos quais são as relações destes com o jogo G1(O;H ). Finalmente, daremos algumas aplicações desses jogos e exemplos / In this work we present a selection principle S1(O;H) that characterizes the Gd -diagonal property. We also present a topological game G1(O;H ) induced by this selection principle and we study the relations between this game and the Gd -diagonal property. Besides that, we present other topological games and we show which are the relations between those topological games and the game G1(O;H ). Finally, we give some applications and examples.