Orientador: Takaaki Ohishi / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-08T10:06:35Z (GMT). No. of bitstreams: 1 LeoneFilho_MarcosdeAlmeida_M.pdf: 1557959 bytes, checksum: 92dc63d4e3140cc61ba7900961c0e9fb (MD5) Previous issue date: 2006 / Resumo: Neste trabalho é proposta uma metodologia para previsão de séries temporais de carga de energia elétrica de curto prazo. Esta metodologia vem sendo muito utilizada no contexto da previsão de séries temporais e do reconhecimento de padrões. Os autores que propuseram esta metodologia a chamaram de "Ensembles". Este nome tenta explicar o é este modelo: uma combinação de partes que juntas formam um só modelo. Neste sentido, este nome expressa com relativa clareza qual é o principal aspecto desta metodologia, que no caso específico deste trabalho, é o de fazer várias previsões de uma mesma série temporal utilizando diferentes ferramentas que sozinhas são suficientemente competentes para prever a série temporal em questão, e em seguida combinar as soluções para, deste modo, tentar obter uma solução melhor do que quando é usada somente uma ferramenta. As ferramentas usadas para compor a previsão dos "Ensembles" finais são Redes Neurais Artificiais (RNAs) e Redes Neurais Nebulosas. Atualmente, estas redes são largamente utilizadas em problemas de previsão de séries temporais, principalmente quando o fator gerador destas séries é um sistema não-linear. Desta forma, isto as tornou candidatas potenciais para prever valores de uma série de cargas de energia elétrica, pois este tipo de série tem características essencialmente não-lineares. Sendo assim, foram utilizados quatro tipos de redes: RNAs MLPs, RNAs Recorrentes, RNAs de Base Radial e Redes Neurais Nebulosas tipo ANFIS. Com os modelos básicos de redes foram, utilizados Algoritmos Genéticos para evoluir os parâmetros destas redes e, assim, chegar a uma população de redes suficientemente competentes para fazer as previsões da série de cargas. Na próxima etapa, com os resultados das previsões da população de redes evoluídas foi feita a seleção dos melhores agrupamentos destas redes evoluídas e, como este processo requer a avaliação de diferentes configurações de modelos, esta seleção é baseada em Algoritmos Genéticos.Os resultados obtidos ao se utilizar "ensembles" mostraram que este modelo foi capaz de alcançar uma grande robustez na previsão, reduzindo os erros de previsão, suavizando os resultados de previsão e deixando o modelo menos suscetível a grandes erros quando surgem "outliers" no conjunto de dados / Abstract: This work proposes a methodology for short-term electric power load forecasting. This methodology is being widely used under the context of time series prediction and pattern recognition. It was named "ensembles" by the authors who developed it. This name carries the meaning of an assemblage of parts considered as forming a whole. Therefore, this name expresses rather clearly the main characteristic of this methodology, which under the framework of this study is to make several predictions of the same time series using various different tools in which every single one alone is sufficiently competent to predict the above mentioned time series. After that, the predictions are combined in order to achieve a better prediction compared to the one that is obtained if a single predictor is used. The tools implemented to form the final "ensembles" prediction are Artificial Neural Networks (ANNs) and Neuro-fuzzy Networks. Nowadays, these networks are being widely used in time series predictions problems, mainly when the factor that generates these series is a non-linear system. Hence, this fact has elected them as potential candidates to predict future values of an electric power load series because this series has essentially non-linear characteristics. As a result, four types of networks were utilized in this work: MLPs ANNs, Recurrent ANNs, Radial Basis ANNs and ANFIS type Neuro-fuzzy networks. So, with the basic networks models, Genetic Algorithms were applied to evolve the parameters of these networks and, as a consequence, a population of networks sufficiently capable of predicting future values of the load time series was built. On the next step, with the results obtained from the evolved population of networks, a selection of the most suitable results of the individual networks were made and, as soon as this process implies the evaluation of multiple different combinations of models, this methodology was based on Genetic Algorithms. Then, this selected networks were combined. The results when using "ensembles" revealed that this model was able to reach a great robustness in prediction tasks. In that sense, it was possible to reduce the level of prediction error, to smooth the resulting predictions and to make the model more stable reducing the possibilities of presenting high levels of errors when the used data set contains "outliers" / Mestrado / Energia Eletrica / Mestre em Engenharia Elétrica

Made available in DSpace on 2014-07-29T14:57:48Z (GMT). No. of bitstreams: 1 Dissertacao Andre Mesquita Rincon.pdf: 2371244 bytes, checksum: 7b92b62de0f555c3a97f1a973bcf5601 (MD5) Previous issue date: 2011-04-19 / The QualiPSo Project (Quality Platform for Open Source Software) has as goal to investigate Free/Libre/Open Source Software (FLOSS) products to define quality requirements that are important to set the products reliability. One of the QualiPSo Project activities is to evaluate the quality of the developed test sets by the FLOSS community. This work is part of the QualiPso Project and shows the results of the use of structural test criteria as a functional test sets quality measure to identify the state-of-the-practice of performed test activities by free software communities. Furthermore, this work contributes to establish an incremental test strategy to improve the test sets. / O projeto QualiPSo (Quality Platform for Open Source Software) tem por objetivo investigar produtos de software de código gratuito/livre/aberto (Free/Libre/Open Source Software FLOSS) para definir requisitos de qualidade que são importantes para se estabelecer a confiabilidade desses produtos. Uma das atividades do projeto QualiPSo visa avaliar a qualidade de conjuntos de teste desenvolvidos pelas comunidades de software livre. Esta dissertação de mestrado está inserida neste contexto e apresenta os resultados do emprego de critérios de teste estruturais como uma medida da qualidade de conjuntos de teste funcionais visando a identificar o estado-da-prática das atividades de teste desempenhadas pelas comunidades de software livre, bem como, a contribuir no estabelecimento de uma estratégia de teste incremental para evoluir os conjuntos de testes.

Made available in DSpace on 2014-07-29T16:02:20Z (GMT). No. of bitstreams: 1 ALEX NERI GUTIERREZ DISSERTACAO.pdf: 1234288 bytes, checksum: ae65a58b7c2fd793b3c15d44001d82d6 (MD5) Previous issue date: 2012-03-23 / This work has the main objective in the context of the fuzzy theory. Averaging method, differential inclusions are studied; finally this context of the fuzzy theory. / O trabalho tem como objetivo principal, o estudo de um método de averaging em problemas de valor inicial no contexto fuzzy. Com o intuito de facilitar a compreensão do trabalho, faz-se um estudo do, um método de averaging no contexto determinístico, teoria de inclusões diferencias, teoria dos conjuntos fuzzy, inclusões diferenciais fuzzy e finalmente mostra-se o um resultado da validade do método de averaging no contexto fuzzy.

Atualmente a paisagem de São Paulo, e também de outras cidades, é marcada por uma produção repetitiva e sem criatividade, mal representada por edifícios habitacionais parecidos e pouco relacionados ao contexto urbano no qual estão inseridos, concebidos por investidores imobiliários que atribuem pouca relevância ao valor autoral do arquiteto como forma de contribuição a seus empreendimentos. Com base neste cenário, a pesquisa partiu de uma pergunta ampla e direta: Onde estão os bons projetos em meio a tanta mesmice? Habitar Coletivo: obras diferenciadas contemporâneas em São Paulo apresenta um estudo das atuais obras de habitação coletiva localizadas na região metropolitana de São Paulo, do início do século XXI, pois, ao que parece, foi um período em que se construiu muito, porém, não necessariamente se construiu bem. Denominar esses estudos de casos como diferenciados, revela-se positivo pelo fato das obras contribuírem com novas possibilidades de agentes, de ocupação de lote urbano, novas técnicas construtivas, novas maneiras de agenciamento do programa, entre outras possibilidades reveladas, muitas vezes rebaixadas na produção comercial usual. Os projetos selecionados foram organizados em três grupos principais: Conjuntos horizontais, Edifícios pouco verticalizados com unidades habitacionais sobrepostas e Edifícios verticalizados com unidades habitacionais sobrepostas. Na segunda parte da pesquisa, Leitura dos projetos selecionados, foram realizadas as análises específicas a partir de dados obtidos primordialmente nos importantes canais de divulgação da produção arquitetônica, como as revistas ProjetoDesign e Arquitetura e Urbanismo; visitas realizadas às obras; conversa e coleta de dados com os escritórios de arquitetura; e redesenho dos projetos. Os textos de cada obra foram organizados a partir de assuntos que se repetem nos diferentes projetos: trajetória do arquiteto; agentes; partido de implantação; espaços exteriores; sistema estrutural e técnica construtiva; envoltória e unidade habitacional. Por fim, após cada leitura são expostas as fichas gráficas correspondentes, também organizadas por temas e escalas principais. A sistematização geral em grupos não engessa comparações apenas entre obras de uma mesma categoria, afinal, são vinculadas a múltiplos sistemas de valoração e possuem cada uma separadamente um conjunto de características muito particulares que, em determinados momentos, são comparáveis ou não a outros projetos, tratando-se, portanto, de uma produção heterogênea e singular. Desse modo, na terceira parte, Análise comparativa e considerações finais por temas presentes nos projetos selecionados, é realizado o cruzamento dos diversos assuntos presentes nos projetos, sendo possível perceber que as obras não representam tipos bem definidos, e sim, possuem ideias que ora pertence a um grupo temático e ora pertence a outro. Também foram identificadas situações de projetos onde os agentes empreendedores principais são os próprios arquitetos, ou situações com empreendedores que valorizam a arquitetura autoral de qualidade, entre outros agentes relevantes a pesquisa. O redesenho dos projetos foi de suma importância para algumas conclusões. Também é importante mencionar que não se trata de imaginar que as iniciativas destacadas devam ser entendidas como modelos de \"boa arquitetura\" a serem seguidos exclusivamente, ao mesmo tempo, os projetos selecionados conseguem expor alternativas superiores em qualidade ao que parece ser a regra do mercado imobiliário que rege decadentemente as cidades. / Nowadays, the view in São Paulo and also in other cities is known by a tiring and without creativity production, badly represented for the same habitable buildings which have no connection to the urban context where they belong to, conceived by housing investors who really do not care to the architect\'s authorship value as a contribution to their project. Basing on this picture the research initiates from one question: Where are the good and innovative projects among the usual and traditional proposals? Collective Housing: A Contemporary and Differential Proposal in São Paulo presents a current study of collective habitation essays in São Paulo metropolitan region since the beginning of XXI century that was apparently a period of intense construction, although not necessarily a good quality of construction. Calling this paper a differential proposal is positive for the fact that the buildings here proposed contribute to new agents possibilities, urban lots occupation, new building techniques, other options of heading the program, among many possibilities revealed that often are lowered in a usual commercial production. The selected projects were divides in three principal groups: horizontal residential buildings, medium upright buildings with superposed housing units and upright buildings with superposed housing units. In the second part of the paper, reading of the selected projects, particular analysis were made using information retrieved from respectable media channels of architectural production as ProjetoDesign and Arquitetura e Urbanismo magazines\' articles, while visiting the projects location, interviewing architecture offices\' staff and redrawing the projects. Each proposal text was organized according to the most frequent topics that appear in the different projects: architect\'s career, agents, implantation party, outdoors areas, structural systems and building techniques, envelopment and housing units. At last, after each reading the corresponding graphic card is exposed and also organized by subjects and main scales. The general group systematization doesn\'t obligate one to compare projects among the same category, once they are connected to multiple valorization systems and own individually a group of peculiar characteristics that in certain moments are comparable or not to other projects, being a mixed and singular production at the same time. In this way, the third part, Comparative analysis and final considerations about selected projects\' themes is found a crossing of many projects\' subjects where it\'s possible to notice that the proposals don\'t represent a well-defined type, otherwise they own ideas that in a moment belong to a thematic group and in another doesn\'t. It was observed as well situations where the principal entrepreneur agents were architects or situations where the architect\'s authorship is appreciated by the entrepreneur. The projects\' redrawing were essential to some conclusions. Finally it\'s good to mention that the chosen proposals are not necessarily considered \"good architecture\" to be exclusively followed, at the same time, the chosen proposals can expose superior alternatives regarding to quality which seems to be the housing market rule that guides the cities in a decadent way.

Neste trabalho apresentamos alguns jogos topológicos e suas aplicações à análise. Com esse fim, se fornece condições necessárias para que funções aproximadamente contínuas se tornem contínuas, se caracteriza os conjuntos estritamente pseudo-completos nos espaços de Banach e, assim também, se constrói um espaço de diferenciabilidade Gâteaux que não é Asplund fraco. / In this work we present some topological games and their applications to analysis. For this purpose, necessary conditions are given for nearly continuous functions to become continuous, we characterize the strictly pseudo-complete sets in the Banach spaces and we also construct a Gâteaux differentiability space that is not weak Asplund.

A teoria de sistemas semidinâmicos impulsivos é um capítulo importante e moderno da teoria de sistemas dinâmicos topológicos. Sistemas impulsivos descrevem processos de evolução que sofrem variações de estado de curta duração e que podem ser consideradas instantâneas. Os sistemas impulsivos admitem vários fenômenos interessantes às vezes, por causa da sua irregularidade, e às vezes por causa da sua regularidade. Para muitos fenômenos naturais, os modelos determinísticos mais realistas são frequentemente descritos por sistemas que envolvem impulsos. Esta teoria vem sendo desenvolvida continuamente. O presente trabalho apresenta resultados originais sobre a teoria de conjuntos minimais, movimentos recorrentes, movimentos quase periódicos e fracamente quase periódicos, teoria de estabilidade de Lyapunov, teoria da quase estabilidade de Zhukovskij e, finalmente, a construção de trajetórias negativas para sistemas semidinâmicos com impulsos. Os resultados novos apresentados neste trabalho estão contidos em três artigos, dos quais dois já foram aceitos para publicação. Veja [13], [14] e [15] / The theory of impulsive semidynamical systems is an important and modern chapter of the theory of topological dynamical systems. Impulsive systems describe the evolution of process whose continuous dynamics are interrupted by abrupt changes of state. This kind of systems admits various interesting phenomena sometimes, because of their irregularity, and sometimes because of their regularity. In many natural phenomena, the real deterministic models are often described by systems which involve impulses. This theory has been developed continuously. This work presents original results involving the theory of minimal sets, recurrent motions, almost periodic and weakly almost periodic motions, the study of Lyapunov stability and Zhukovshij Quasi stability and the construction of negative trajectories for impulsive semidynamical systems. The new results presented in this work are contained in three papers namely [13], [14] and [15]

O objetivo desta dissertação é apresentar a construção dos números reais a partir de cortes de Dedekind. Para isso, vamos estudar os números naturais, os números inteiros, os números racionais e as propriedades envolvidas. Então, a partir dos números racionais, iremos construir o corpo dos números reais e estabelecer suas propriedades. Um corte de Dedekind, assim nomeado em homenagem ao matemático alemão Richard Dedekind, é uma partição dos números racionais em dois conjuntos não vazios A e B em que cada elemento de A é menor do que todos os elementos de B e A não contém um elemento máximo. Se B contiver um elemento mínimo, então o corte representará este elemento mínimo, que é um número racional. Se B não contiver um elemento mínimo, então o corte definirá um único número irracional, que preenche o espaço entre A e B. Desta forma, pode-se construir o conjunto dos números reais a partir dos racionais e estabelecer suas propriedades. Esta dissertação proporcionará aos estudantes do Ensino Médio, interessados em Matemática, uma formação sólida em um de seus pilares, que é o conjunto dos números reais e suas operações algébricas e propriedades. Isso será muito importante para a formação destes alunos e sua atuação educacional. / The purpose of this dissertation is to present the construction of the real numbers from Dedekind cuts. For this, we study the natural numbers, the integers, the rational numbers and some properties involved. Then, based on the rational numbers, we construct the field of the real numbers and establish their properties. A Dedekind cut, named after the German mathematician Richard Dedekind, is a partition of the rational numbers into two non-empty sets A and B, such that each element of A is smaller than all elements of B and A does not contain a maximum element. If B contains a minimum element, then the cut represents this minimum element, which is a rational number. If B does not contain a minimal element, then the cut defines a single irrational number, which \"fills the gap\" between A and B. In this way, one can construct the set of real numbers from the rationals and establish their properties. This dissertation provides students who like Mathematics a solid basis in one of the pillars of Mathematics, which is the set of real numbers and their algebraic operations and properties. This text will be very important for your educational background and performance.

O principal objetivo desse trabalho é observar como o compositor italiano Luigi Dallapiccola trabalha, cria e manipula o material musical, as séries e seus desdobramentos, na composição da ópera Il Prigioniero. Por se tratar de uma obra conduzida por um percurso dramático, a análise também envolve, quando necessário, aspectos narrativos, dramatúrgicos, cenográficos e, consequentemente, psicológicos - ao abordar os personagens e suas interações na história. Durante a pesquisa, foram revelados processos composicionais idiossincráticos na maneira como Dallapiccola trabalha o serialismo, em particular, quando o compositor deriva coleções octatônicas de séries dodecafônicas, criando complexos harmônicos e melódicos, inter-relacionando materiais de natureza aparentemente antagônicas. A fim de demonstrar com a maior clareza possível a diversidade de materiais e técnicas utilizadas na criação da ópera, diferentes ferramentas analíticas foram aplicadas, muitas vezes de maneira complementar, durante as análises musicais. O trabalho está dividido em três capítulos sequenciais, além da introdução e das conclusões finais: o primeiro capítulo, introduz, de modo geral, a obra e o desenvolvimento técnico do compositor durante sua vida profissional; o segundo capítulo, aborda a construção dos materiais que alicerçam a composição da ópera; e o terceiro capítulo, expõe a maneira como o compositor cria e desenvolve a composição dramático-musical da ópera. / The main goal of this work is observing how the Italian composer Luigi Dallapiccola works, creates and manipulates the musical material, the series and its unfolding, in the composition of the opera \"Il Prigioniero\". Because it is a dramatic work, the analysis also involves, when necessary, narrative, dramaturgical, scenographic and, consequently, psychological aspects - in approaching the characters and their interactions in history. During the research, idiosyncratic compositional processes were revealed in the way Dallapiccola works serialism when the composer derives octatonic collections from dodecaphonic series, creating harmonic and melodic complexes, interrelating antagonistic materials. To demonstrate as clearly as possible, the diversity of materials and techniques used in the creation of the opera, different analytical tools were applied, often in a complementary way, during the musical analyzes. The work is separated into three sequential chapters, in addition to the introduction and final conclusions: the first chapter introduces, in a general way, the work and technical development of the composer during his professional life; The second chapter deals with the construction of the materials that sustain the composition of the opera; And the third chapter, exposes the way the composer creates and develops the dramatic-musical composition of opera.

Submitted by Cristiane Oliveira (cristiane.oliveira@fgv.br) on 2013-08-21T18:32:54Z No. of bitstreams: 1 1198200001.pdf: 12505181 bytes, checksum: 805b36754f4b2d01806fb756d7b8d761 (MD5) / Approved for entry into archive by Suzinei Teles Garcia Garcia (suzinei.garcia@fgv.br) on 2013-08-22T18:13:34Z (GMT) No. of bitstreams: 1 1198200001.pdf: 12505181 bytes, checksum: 805b36754f4b2d01806fb756d7b8d761 (MD5) / Made available in DSpace on 2013-08-22T18:20:23Z (GMT). No. of bitstreams: 1 1198200001.pdf: 12505181 bytes, checksum: 805b36754f4b2d01806fb756d7b8d761 (MD5) Previous issue date: 1981 / Trata-se de verificar particularmente no caso de Santo André, a maneira pela qual grupos privados e o governo tentam solucionar o problema habitacional; notar especialmente expressões dos fatores sociais, políticos e econômicos que afetaram a adoção de uma politica determinada de habitação popular; e como as diferentes associações da comunidade Sociedades Amigos de Bairros - SABs e Comunidades Eclésias de Base - CEBs) se estruturam, qual a sua representatividade e de que maneira levaram adiante suas reivindicações com referências ao problema da moradia.

O Teste Baseado em Modelos (TBM) emergiu como uma estratégia promissora para minimizar problemas relacionados à falta de tempo e recursos em teste de software e visa verificar se a implementação sob teste está em conformidade com sua especificação. Casos de teste são gerados automaticamente a partir de modelos comportamentais produzidos durante o ciclo de desenvolvimento de software. Entre as técnicas de modelagem existentes, Sistemas de Transição com Entrada/Saída (do inglês, Input/Output Transition Systems - IOTSs), são modelos amplamente utilizados no TBM por serem mais expressivos do que Máquinas de Estado Finito (MEFs). Apesar dos métodos existentes para geração de testes a partir de IOTSs, o problema da seleção de casos de testes é um tópico difícil e importante. Os métodos existentes para IOTS são não-determinísticos, ao contrário da teoria existente para MEFs, que fornece garantia de cobertura completa com base em um modelo de defeitos. Esta tese investiga a aplicação de modelos de defeitos em métodos determinísticos de geração de testes a partir de IOTSs. Foi proposto um método para geração de conjuntos de teste com base no método W para MEFs. O método gera conjuntos de teste de forma determinística além de satisfazer condições de suficiência de cobertura da especificação e de todos os defeitos do domínio de defeitos definido. Estudos empíricos avaliaram a aplicabilidade e eficácia do método proposto: resultados experimentais para analisar o custo de geração de conjuntos de teste utilizando IOTSs gerados aleatoriamente e um estudo de caso com especificações da indústria mostram a efetividade dos conjuntos gerados em relação ao método tradicional de Tretmans. / Model-Based Testing (MBT) has emerged as a promising strategy for the minimization of problems related to time and resource limitations in software testing and aims at checking whether the implementation under test is in compliance with its specification. Test cases are automatically generated from behavioral models produced during the software development life cycle. Among the existing modeling techniques, Input/Output Transition Systems (IOTSs) have been widely used in MBT because they are more expressive than Finite State Machines (FSMs). Despite the existence of test generation methods for IOTSs, the problem of selection of test cases is an important and difficult topic. The current methods for IOTSs are non-deterministic, in contrast to the existing theory for FSMs that provides complete fault coverage guarantee based on a fault model. This manuscript addresses the application of fault models to deterministic test generation methods from IOTSs. A method for the test suite generation based on W method for FSMs is proposed for IOTSs. It generates test suites in a deterministic way and also satisfies sufficient conditions of specification coverage and all faults in a given fault domain. Empirical studies evaluated its applicability and effectiveness. Experimental results for the analyses of the cost of test suite generation by random IOTSs and a case study with specifications from the industry show the effectiveness of the test suites generated in relation to the traditional method of Tretmans.