[pt] O presente trabalho tem como objetivo apresentar um novo tipo de conjunto direcional, constituído por um elemento ativo e vários elementos passivos dispostos ao longo de um arco de circunferência de círculo. Embora o problema seja analisado sob o ponto de vista teórico, devido às dificuldades ainda existentes para uma realização experimental, a quase total identidade entre o modelo real e o utilizado na análise, sugere que os resultados obtidos forneçam dados suficientemente precisos sobre o comportamento da antena. São representadas várias curvas relativas ao ganho, impedância e relação frente-costas que evidenciam o desempenho da antena, e permitem o dimensionamento da mesma. Finalmente, são incluídas diversas sugestões para uma avaliação experimental. / [en] This work introduces a novel directional array, composed of an active element and several passive ones disposed along a circular arc. Simulated results for gain, input impedance and front-to-back relation provide curves that illustrate the antenna behavior and allow its synthesis. Suggestion for the experiemental implementation are also presented.

[pt] Este estudo tem como tema a análise dos campos radiados por um conjunto de alimentadores para a iluminação de um sistema único refletor embarcado em satélite, utilizando para a produção de diagramas modelados. É usada uma técnica para o tratamento do acoplamento mútuo entre os campos de aberturas retangulares num plano condutor elétrico infinito, de forma que os alimentadores aqui tratados serão guias retangulares abertos e cornetas piramidais. Uma formulação assintótica inédita foi desenvolvida para o aclopamento entre duas aberturas afastadas entre si. Como aplicação foram realizadas diversas sínteses para a iluminação do território brasileiro. / [en] This study aims the analysis of the radiated fields of na array feeding a single reflector system for satellite applications, used to produce shaped beams. It is used a technique for the treatment of the mutual coupling effects between rectangular apertures in an infinite electric conductor plane, so the feeds used are open-ended rectangular waveguides and pyramidal horns. It is also presented a new asymptotic approach for the mutual coupling between far-distanced apertures. In order to study the application of these formulations, some synthesis for the illumination of the Brazilian territory were made.

[pt] A generalização da equação de Riccati estudada neste trabalho é z′(t) = z(t)(n) + an−1(t)z(t)(n−1) + . . . + a1(t)z(t) + a0(t). A Aplicação de Avanço leva za em zb se o problema de valor inicial, com z(a) = za, tem solução definida em [a,b] com z(b) = zb. Quando a = 0 e b = 1, a Aplicação de Avanço é conhecida como Aplicação de Poincaré. O conjunto singular é o subconjunto da esfera de Riemann contendo as singularidades da aplicação de avanço. No caso genérico, o conjunto singular é a união de curvas com um número finito de descontinuidades: correspondentes às soluções que alcançam o infinito pelo menos duas vezes. Como consequência será apresentado um método, baseado na configuração do conjunto singular, para determinar o número de soluções periódicas. Será exibida uma família de equações não autônomas cuja Aplicação de Poincaré é a Identidade num aberto do plano complexo. / [en] The generalization of the Riccati equation studied in this work is z′(t) = z(t)n + an−1(t)z(t)n−1 + . . . + a1(t)z(t) + a0(t). The Advance Map takes za at zb if the initial value problem, with z(a) = za, has a solution defined on [a, b] with z(b) = zb. When a=0 and b=1 the Advance Map is known as Poincará Map. The singular set is the subset of the Riemann sphere containing the singularities of the advance map. In generic case, the singular set is the union of curves witha number finite discontinuities: corresponding solutions that reach infinity at least twice. As a consequence will be presented a method, based on configuration set singular, to determine the number of periodic solutions. A family of non-automous equations whose Poincaré Map is the Identity in a non-empty open subset of the complex plane will be presented.

[pt] Este trabalho tem por objetivo apresentar novas técnicas de análise e julgamento para a tomada de decisão no que concerne ao planejamento estratégico das empresas de energia elétrica. Procura abordar a tomada de decisão e a comercialização da empresa, de uma maneira totalmente inovadora, onde os agentes baseiam suas decisões em seu conhecimento e sua criatividade. Para isso faz-se uso da Teoria de FUZZY SETS, de forma simples e consistente, fornecendo resultados mais estruturados para a análise de investimento. É proposta a utilização da Teoria dos Jogos Não- cooperativos, onde as incertezas são modeladas através de conjuntos fuzzy, sua posterior desfuzificação e finalmente a determinação do ponto de equilíbrio. Alguns exemplos ilustram o modelo proposto ao cálculo do preço da energia elétrica; também é abordado o estudo de um sistema real da América Latina. / [en] The objective of this work is to present new analysis and judgment techniques to help decisions actions in the field of strategic planning of the electric utility industries. It intends to help the industry with business trade, in an innovative way, where the decisions are based on the agents previous knowledge and creativity. In order to do so the FUZZT SETS THEORY is used, in a simple and consistent manner, to generated more structure results for investment analysis. The theory of non-Cooperative Games is proposed, where the uncertain are modeled through fuzzy sets, their defuzzification and finally the determination of the equilibrium point. Some examples show the usage of the proposed model to the calculation of electric energy price; also it is discussed a study of a real latin America System.

[pt] A mineração de conjuntos de itens frequentes em sequências de dados possui diversas aplicações práticas como, por exemplo, análise de comportamento de usuários, teste de software e pesquisa de mercado. Contudo, a grande quantidade de dados gerada pode representar um obstáculo para o processamento dos mesmos em tempo real e, consequentemente, na sua análise e tomada de decisão. Sendo assim, melhorias na eficiência dos algoritmos usados para estes fins podem trazer grandes benefícios para os sistemas que deles dependem. Esta dissertação apresenta o algoritmo MFI-TransSWmais, uma versão otimizada do algoritmo MFI-TransSW, que utiliza vetores de bits para processar sequências de dados em tempo real. Além disso, a dissertação descreve a implementação de um sistema de recomendação de matérias jornalísticas, chamado ClickRec, baseado no MFI-TransSWmais, para demonstrar o uso da nova versão do algoritmo. Por último, a dissertação descreve experimentos com dados reais e apresenta resultados da comparação de performance dos dois algoritmos e dos acertos do sistema de recomendações ClickRec. / [en] The mining of frequent itemsets in data streams has several practical applications, such as user behavior analysis, software testing and market research. Nevertheless, the massive amount of data generated may pose an obstacle to processing then in real time and, consequently, in their analysis and decision making. Thus, improvements in the efficiency of the algorithms used for these purposes may bring great benefits for systems that depend on them. This thesis presents the MFI-TransSWplus algorithm, an optimized version of MFI-TransSW algorithm, which uses bit vectors to process data streams in real time. In addition, this thesis describes the implementation of a news articles recommendation system, called ClickRec, based on the MFI-TransSWplus, to demonstrate the use of the new version of the algorithm. Finally, the thesis describes experiments with real data and presents results of performance and a comparison between the two algorithms in terms of performance and the hit rate of the ClickRec recommendation system.

[pt] Esta tese propõe uma metodologia para obter uma solução para problemas de programação linear fuzzy. A metodologia aqui descrita apresenta um conjunto de soluções em que tanto os valores das variáveis quanto o valor ótimo para a função de custo, ou função objetivo, possuem uma faixa de valores possíveis. Assim, é possível fornecer um conjunto de soluções factíveis que atendam a diferentes cenários, além de fornecer ao tomador de decisões uma ferramenta de análise mais útil, permitindo que sejam analisadas outras soluções possíveis antes de se escolher uma solução em particular. O problema é resolvido de forma iterativa, tornando mais simples e de fácil aplicação a metodologia desenvolvida. / [en] This work proposes an approach to obtain a solution to linear fuzzy programming problems. The approach described here presents a solution set in where both the variables values and the cost function optimun value to have an associated membership function. Thus, it is possible to provided not only a feasible solution set applicable to different scenarios but also to supply the decision maker with a more powerful tool for the analysis of other possible solutions. The problem is solved in an interactive way, so that the developed is approach easily applicable and simple to handle

[pt] Este trabalho apresenta o resultado de algumas reflexões voltadas para o ensino de matemática, em especial nas áreas de aritmética e álgebra, abordando conteúdos relativos aos conjuntos numéricos presentes no currículo de matemática do ensino fundamental II. Os objetivos dessas reflexões foram verificar o quão importantes podem ser os registros semióticos (ver capítulo 4, seção 4.2.1), a teoria da zona de desenvolvimento proximal (ZPD) proveniente da teoria sócio-construtivista (ver capítulo 4, seções 4.2.2 e 4.2.2.1), e o uso da calculadora na investigação acerca de números decimais e no estudo dos conjuntos numéricos. Com base num espaço democrático e que valoriza o diálogo, a vida cotidiana do aluno com o mundo da matemática e utilizando a troca de experiências entre eles, temos como objetivo a compreensão de conceitos e aprendizagem significativa acerca dos conteúdos abordados. A aritmética, em especial, exige um olhar cuidadoso no que diz respeito às representações e propriedades operatórias que um número pode apresentar. O desenvolvimento de métodos que estimulam esse olhar faz com que o entendimento dos educandos em relação aos números decimais ganhe significados importantes e consideráveis. Por fim, este trabalho também defende a questão da utilização da tecnologia na escola através do uso orientado de calculadoras, nas aulas de matemática, como um recurso pedagógico que pode se mostrar bastante eficiente, visto que a tecnologia está cada vez mais presente no cotidiano da sociedade. Os resultados dessas reflexões foram traduzidos no desenvolvimento de uma atividade aplicada junto aos alunos, e foram expostos ao longo desse trabalho. Atividade essa que foi aplicada predominantemente em turmas do sétimo ano do ensino fundamental, uma vez que eles possuem os pré-requisitos necessários para os questionamentos propostos nela, porém não tiveram ainda grande contato com o conteúdo proposto por essa atividade. E também foi aplicada em uma turma de oitavo ano, como atividade de recuperação paralela. Criamos também uma atividade interessante para a abordagem dos números irracionais na qual exploramos triângulos retângulos. Espera-se que essas reflexões possam colaborar de alguma maneira na educação básica, para o desenvolvimento de uma educação matemática mais autônoma e significativa. / [en] This work presents the result of some reflections on the teaching of mathematics, especially in the areas of arithmetic and algebra, addressing contents related to the numerical sets present in the mathematics curriculum of elementary school II. The objectives of these reflections were to verify how important the semiotic records can be (see chapter 4, section 4.2.1), the zone of proximal development theory (ZPD) derived from the socio-constructivist theory (see chapter 4, sections 4.2.2 and 4.2.2.1), and the use of the calculator in the investigation of decimal numbers and in the study of numerical sets. Based on a democratic space that values dialogue, the student s daily life with the world of mathematics and using the exchange of experiences between them, we aim to understand concepts and meaningful learning about the contents covered. Arithmetic, in particular, requires a careful look at the representations and operative properties that a number can present. The development of methods that stimulate this view makes the student s understanding of decimal numbers gain important and considerable meanings. Finally, this work also defends the question of the use of technology in school through the oriented use of calculators, in mathematics classes, as a pedagogical resource that can prove to be quite efficient, since technology is increasingly present in the daily life of society. The results of these reflections were translated into the development of an applied activity with the students, and were exposed throughout this work. This activity was applied predominantly in classes of the seventh year of elementary school, since they have the necessary prerequisites for the questions proposed in it, but they have not yet had great contact with the content proposed by this activity. It was also applied to an eighth grade class, as a parallel recovery activity. We have also created an interesting activity for addressing irrational numbers in which we explore right triangles. We hope that these reflections can collaborate in some way in basic education, for the development of a more autonomous and meaningful mathematics education.

[pt] Observando a dificuldade de batimento (match) dos padrões de comportamento das funções de autocorrelação e de autocorrelação parcial teóricas com as respectivas funções e as autocorrelação e de autocorrelação parcial estimadas de uma séries temporal, aliada ao fato da dificuldade em definir um número em específico como delimitador inequívoco do que seja um lag significativo, tornam clara a dose de julgamento subjetivo a ser realizado por um especialista de análise de séries temporais na tomada de decisão sobre a estrutura de Box & Jenkins adequada a ser escolhida para modelar o processo estocástico sendo estudado. A matemática nebulosa permite a criação de sistemas de inferências nebulosas (inferência dedutiva) e representa o conhecimento de forma explícita, através de regras nebulosas, possibilitando, facilmente, o entendimento do sistema em estudo. Por outro lado, um modelo de redes neurais representa o conhecimento de forma implícita, adquirido através de exemplos (dados), possuindo excelente capacidade de generalização (inferência indutiva). Esta tese apresenta um sistema especialista composto de cinco redes neurais nebulosas do tipo retropropagação para o auxílio na análise de séries temporais não sazonais. O sistema indica ao usuário a estrutura mais adequada, dentre as estruturas AR(1), MA (1), AR(2), MA(2) e ARMA(1,1), tomando como base a menor distância Euclidiana entre os valores esperados e as saídas das redes neurais nebulosas. / [en] It is well known the difficulties associated with the tradicional procedure for model identification of the Box & Jenkins model through the pattern matching of the theoretical and estimated ACF and PACF. The decision on the acceptance of the null hypothesis of zero ACF (or PACF) for a given lag is based on a strong asymptotic result, particularly for the PACF, leading, sometimes, to wrong decisions on the identified order of the models. The fuzzy logic allows one to infer system governed by incomplete or fuzzy knowledge (deductive inference) using a staighforward formulation of the problem via fuzzy mathematics. On the other hand, the neural network represent the knowledge in a implicit manner and has a great generalization capacity (inductive inference). In this thesis we built a specialist system composed of 5 fuzzy neural networks to help on the automatic identificationof the following Box & Jenkins ARMA structure AR(1), MA(1), AR(2), MA(2) and ARMA (1,1), through the Euclidian distance between the estimated output of the net and the corresponding patterns of each one of the five structures.

[pt] O uso de abordagens de programação estocástica e redução de cenários tem se tornado imprescindível na análise e predição de comportamento de sistemas dinâmicos. Entretanto, tais técnicas não levam em conta o conhecimento prévio sobre domínio que o usuário possui. O presente trabalho tem por objetivo o desenvolvimento de uma abordagem visual e interativa para abordar o problema de redução de cenários com dados temporais. Para tanto, nós propomos a implementação de uma série de visualizações de dados temporais integradas. Também propomos a adaptação de um algoritmo de projeção multidimensional para lidar com dados temporais. Desta forma, podemos representar graficamente a evolução de um conjunto de cenários ao longo do tempo. Outra visualização proposta no presente trabalho é uma adaptação de Bump chart para lidar com dados temporais acumulados; através dele, um usuário pode comparar a evolução das distâncias entre os diferentes cenários e um cenário de referência. Para validar a nossa proposta, fizemos uma implementação das técnicas propostas e conduzimos um estudo com usuários de diferentes áreas do conhecimento e níveis de experiência. Os resultados obtidos até então indicam que uma abordagem visual para o problema de redução de cenários é viável, e permite a seleção de um conjunto razoável de cenários. Além disso, constatamos que essa abordagem pode ser útil em um contexto de exploração de dados visando a redução de cenários. O usuário também pode explorar visualmente os resultados de outras técnicas de redução de cenários usando nossa abordagem. Os usuários entrevistados reportaram facilidade em cumprir as tarefas propostas e comentaram positivamente sobre os mecanismos de interação fornecidos pelo nosso protótipo. Também testamos os cenários escolhidos usando nossa proposta contra outras abordagens encontradas tanto na literatura quanto em uso na indústria. Os resultados obtidos foram bons, indicando que nossa proposta é viável em casos de uso reais. / [en] Stochastic programming and scenario reduction approaches have become invaluable in the analysis and behavior prediction of dynamic systems. However, such techniques often fail to take advantage of the user s own expertise about the problem domain. This work provides visual interactive support to assist users in solving the scenario reduction problem with timeseries data. We employ a series of time-based visualization techniques linked together to perform the task. By adapting a multidimensional projection algorithm to handle temporal data, we can graphically present the evolution of the ensemble. We also propose to use cumulative bump charts to visually compare the ranks of distances between the ensemble time series and a baseline series. To evaluate our approach, we developed a prototype application and conducted observation studies with volunteer users of varying backgrounds and levels of expertise. Our results indicate that a graphical approach to scenario reduction may result in a good subset of scenarios and provides a valuable tool for data exploration in this context. The users liked the interaction mechanisms provided and judged the task to be easy to perform with the tools we have developed. We tested the proposed approach against state-of-the-art techniques proposed in the literature and used in the industry and obtained good results, thus indicating that our approach is viable in a real-world scenario.

[pt] A teoria da verdade de Tarski, também conhecida como teoria clássica da verdade, forneceu uma definição para o conceito de verdade que pode ser considerada adequada do ponto de vista material, no sentido de implicar logicamente todas as definições parciais de verdade para sentenças isoladas, do tipo ´s é verdadeira se e somente se p`, sendo p uma sentença qualquer de uma das linguagens às quais a definição tarskiana de verdade se aplica, e sendo s um nome para tal sentença. Essa definição de verdade é consistente - até onde se sabe - mas para garantir a consistência da mesma Tarski precisou restringir seu campo de aplicação ao conjunto das linguagens que não podem ser utilizadas para tratar de sua própria semântica, às quais chamamos linguagens semanticamente abertas. Uma outra teoria da verdade, devida a J. Barwise e J. Etchemendy, foi desenvolvida com vistas a poder ser aplicada de modo consistente às linguagens semanticamente fechadas. Entretanto, para garantir a consistência de sua teoria, Barwise e Etchemendy acabaram por formulá-la de um modo em que a mesma não pudesse ser considerada materialmente adequada, no sentido especificado acima. Isso poderia causar a impressão de que a consistência de uma definição de verdade exigisse que se abrisse mão da adequação material da mesma, tal como fazem Barwise e Etchemendy, ou então que se restringisse seu campo de aplicação às linguagens semanticamente abertas, tal como faz Tarski. Construindo uma definição de verdade materialmente adequada no sentido em questão, e ao mesmo tempo aplicável a linguagens semanticamente fechadas, contudo, S. Kripke mostrou que isso não é o caso. Após uma análise comparativa dessas três teorias da verdade, encontramos razões para formular uma outra definição de verdade, baseada nas intuições russellianas acerca dessa noção, e capaz de ser aplicada consistentemente às linguagens semanticamente fechadas, mantendo a adequação material no sentido acima descrito. No presente trabalho, podem ser encontradas essa análise comparativa das teorias da verdade de Tarski, Barwise-Etchemendy e Kripke, bem como a definição de verdade que formulamos de modo a satisfazer as condições que mencionamos acima. / [en] The tarskian theory of truth, that is also known as the classical theory of truth, has provided a truth definition that may be considered adequate from a material standpoint. By a materially adequate truth definition we understand a truth definition that logically entails every partial truth definition for a specific sentence, of the kind ´s is true if and only if p`, where p is any sentence from some language that is object of the tarskian truth definition, and where s is a name for such sentence. This truth definition is consistent - so far as we know - but in order to guarantee its consistency Tarski had to restrict its field to the set of the languages which cannot be used to speak about their own semantics. These languages are called semantically open languages. Another truth definition, due to J. Barwise and J. Etchemendy, was developed in order to be consistently applied to semantically closed languages. However, in order to assure the consistency of their theory, Barwise and Etchemendy developed it in such a way that it cannot be considered as a materially adequate theory in the sense that has been specified above. We may conclude from this that in order to guarantee the consistency of a truth definition we have either to abandon its material adequacy or to restrict its field to the set of semantically open languages. Kripke showed that this is not the case through developing a truth definition that is both materially adequate and applicable to semantically closed languages. After doing a comparison between these three truth theories, we have found some reasons to formulate another truth definition, which is based on russellian intuitions concerning the notion of truth, and which is able to be consistently applied to semantically closed languages and is also materially adequate in the sense specified above. In this dissertation one can find the comparison between the truth theories of Tarski, Barwise and Etchemendy, and Kripke, which we just mentioned, and also the truth definition that we formulated in order to satisfy the conditions which we described above.