A seleção de fornecedores tem impacto significante no custo e na qualidade de produtos manufaturados. Por isso, a seleção de fornecedores passou a ser vista como uma atividade bastante crítica para o desempenho da empresa compradora. Muitos estudos da literatura propõem o uso dos métodos multicritério fuzzy TOPSIS (Technique for Order of Preference by Similarity to Ideal Solution) e fuzzy AHP (Analytic Hierarchy Process) para apoiar a seleção de fornecedores. Contudo, não são encontrados estudos que avaliem o desempenho destes métodos quando usados neste domínio de problema. Diante desta lacuna, este estudo compara os métodos fuzzy TOPSIS (CHEN, 2000) e fuzzy AHP (CHANG, 1996) no apoio à seleção de fornecedores. Esta pesquisa utiliza uma abordagem quantitativa descritiva empírica, baseada em modelagem e simulação. Os métodos fuzzy TOPSIS e fuzzy AHP foram aplicados em um caso ilustrativo de seleção de fornecedores. O desempenho dos fornecedores e o peso dos critérios foram avaliados por um especialista de uma empresa. Modelos de simulação foram implementados usando MATLAB® e aplicados na seleção de fornecedores de uma empresa de uma cadeia de suprimentos automotiva. Cinco fornecedores foram avaliados em relação à qualidade, custo, entrega, perfil e relacionamento. O peso dos critérios e o desempenho dos fornecedores foi avaliado por meio da opinião de um especialista da empresa. Posteriormente, os métodos fuzzy TOPSIS e fuzzy AHP foram comparados em relação à capacidade de apoiar a decisão em grupo, qualificação de fornecedores, escolha final de fornecedores, situações de compra e modelagem de decisões sob incerteza. A eficiência dos métodos em relação à complexidade computacional e à interação requerida com o usuário também foi comparada. Os resultados mostraram que o fuzzy TOPSIS é mais flexível e mais adequado que o fuzzy AHP para modelar diferentes tipos de cenários de seleção de fornecedores. A realização desta discussão é sugerida por Ertugrul e Karakasoglu (2008), e é relevante para ajudar pesquisadores e gestores na escolha de abordagens efetivas para lidar com diferentes cenários de seleção de fornecedores. / Supplier selection has a significant influence on the cost, quality and delivery of products of the buying company. Therefore, supplier selection has become a very critical activity to the performance of the buying company. Several studies presented in the literature propose the use of fuzzy TOPSIS (Technique for Order of Preference by Similarity to Ideal Solution) and fuzzy AHP (Analytic Hierarchy Process) to aid the decision process of supplier selection. However, there are no comparative studies of these two methods when applied to the problem of supplier selection. Thus, this paper presents a comparative analysis of the methods fuzzy TOPSIS (Chen, 2000) and fuzzy AHP (Chang, 1996) applied to the problem of supplier selection. A descriptive quantitative approach was adopted as the research method. Algorithms of the methods fuzzy TOPSIS and fuzzy AHP were developed in Matlab© and applied to the selection of suppliers of a company in the automotive production chain. Five suppliers were evaluated regarding quality of conformance, cost, delivery, profile and relationship. The weight of the criteria and the performance of the suppliers were evaluated by specialist opinion from the studied company. The methods Fuzzy TOPSIS e Fuzzy AHP were compared in terms of ability to support the group decision, supplier qualification, final choice of suppliers, buying situations and modeling decisions under uncertainty. The efficiency of the methods with respect to computational complexity and the required user interaction was also compared. The comparative analysis shows that Fuzzy TOPSIS presents better than Fuzzy AHP performance, especially in scenarios in wich many alternatives are evaluated. Thus, Fuzzy TOPSIS is more flexible and appropriate than Fuzzy AHP to deal with supplier selection problem. This paper presents a new study, comparing the methods Fuzzy TOPSIS and Fuzzy AHP. As commented by Ertugrul and Karakasoglu (2008), a study such as this can contribute to the advance of knowledge, helping researchers and practitioners choosing more effective approaches to supplier selection.

Made available in DSpace on 2015-04-14T13:48:13Z (GMT). No. of bitstreams: 1 457458.pdf: 14106092 bytes, checksum: 445257e0ef6a6248a5b72ac5e3cf953b (MD5) Previous issue date: 2014-03-26 / The public housing policies have been adopted by the government in response to housing needs. The housing settlements - particularly those formed by apartment blocks - were and still remain in the urban environment, the form of capitalist production more utilized to meet this demand. This research aims to analyze the impacts of federal and municipal public policies on the promotion of multi families housing settlements in Pelotas, between the period POST- BNH (1987/2010 ). To achieve this purpose it was initialized the characterization of multi families housing settlements built in the municipality. For each of the moments identified at POST BNH (Transition Period -1987/2000, Implementation Period of the Arrendamento Residencial Program 2001/2008 and Implementation Period of Minha Casa Minha Vida - 2009/2010) the conduct of the Brazilian State was founded. It was analyzed the financing forms and the sources of funds used on the implementation of these policies. It was verified how the urban integration of these housing settlements occurred. And, it was investigated how the legislation and the technical specifications of the Programs focused on this production. The study sought to contribute to the analysis of how these actions interfered with the possibility of access to the Programs, to the public services and urban infrastructure and the right to housing in cities. / As pol?ticas p?blicas de habita??o t?m sido adotadas pelo poder p?blico no enfrentamento das necessidades de moradia. Os conjuntos habitacionais - e em particular aqueles formados por blocos de apartamentos foram e continuam sendo, no meio urbano, a forma de produ??o capitalista mais utilizada para atender a essa demanda. Esta pesquisa objetiva analisar os impactos das pol?ticas p?blicas federais e municipais sobre a promo??o de conjuntos habitacionais multifamiliares em Pelotas, no per?odo P?S-BNH (1987/2010). Para atender a essa finalidade partiu-se da caracteriza??o dos conjuntos habitacionais multifamiliares produzidos no munic?pio. Para cada um dos momentos identificados no P?S-BNH (Per?odo de Transi??o-1987/2000, Per?odo de implementa??o do Programa de Arrendamento Residencial 2001/2008 e Per?odo de implanta??o do Programa Minha Casa Minha Vida - 2009/2010), a conduta do Estado brasileiro foi fundamentada. Analisou-se as formas de financiamento e as origens dos recursos empregados na implementa??o dessas pol?ticas. Verificou-se como ocorreu a inser??o urbana desses empreendimentos. E, averiguou-se como a legisla??o e as especifica??es t?cnicas dos Programas incidiram sobre essa produ??o. O estudo procurou contribuir para a an?lise de como essas a??es interferiram na possibilidade de acesso aos Programas, aos servi?os p?blicos e infraestrutura urbana e ao direito a cidade.

O propósito desta pesquisa é uma análise da metodologia projetual da arquitetura de interesse social tomando como objeto de estudo o projeto do conjunto residencial Jardim Edith de autoria dos escritórios MMBB Arquitetos e Hereñú e Ferroni Arquitetos. O objetivo deste procedimento é identificar os principais problemas, desafios e limitações na área de habitação popular, analisando os parâmetros projetuais através do critério de interação com o meio urbano, durabilidade e qualidade arquitetônica. O trabalho procura analisar a trajetória do projeto desde sua primeira fase até a proposta final. Para este fim divide-se o estudo em quatro partes dedicadas às quatro versões principais que foram elaborados entre 2008 e 2013. A análise de cada uma delas é submetida aos mesmos critérios, que correspondem às escalas diferentes do projeto, como: organização das quadras, tipologia dos blocos residenciais, unidades habitacionais, áreas de uso coletivo, composição arquitetônica e qualidade estética. O passo final consiste na criação de um quadro síntese, que inclui as informações essenciais sobre cada versão do projeto, estabelecendo uma forma de resumo do processo projetual e mostrando sua evolução no tempo. O conjunto residencial Jardim Edith é decerto um marco importante na discussão sobre habitação de interesse social, um exemplo da arquitetura econômica, resistente que usa os recursos simples sem comprometer os valores estéticos do projeto. / The purpose of this dissertation is to analyze the methodology of social housing architecture taking as an object of study the project of the residential complex Jardim Edith designed by MMBB Arquitetos and Hereñú e Ferroni Arquitetos. The objective of this procedure is to identify the main problems, challenges and limitations in social housing design, analyzing the parameters such as interaction with the urban environment, durability and architectural quality. The research analyzes the trajectory of the project from its first stage to the final proposal. For this purpose the study is divided into four parts addressing the four main versions developed between 2008 and 2013. The analysis of each of them is subject to the same criteria that correspond to the different scales of the project: organization of the plot, typology of residential blocks, housing units, public spaces, architectural composition and aesthetic quality. The final step is to create a table that includes the essential information about each version of the project as a form of summary of the design process and its evolution over time. The residential complex Jardim Edith is certainly an important milestone in the discussion about social housing and it is an example of economic, resistant architecture that uses simple resources without compromising the aesthetic values.

O Método da Coordenada Geradora Hartree-Fock Polinomial (pMCG-HF), desenvolvido por R.C. Barbosa e A.B.F. da Silva [1], é uma ferramenta matemática valiosa que permite gerar funções de base (também conhecidas como conjuntos de base). As funções de base geradas por este método têm um bom comportamento e são capazes de calcular valores precisos de propriedades eletrônicas moleculares. Porém, depois de gerar funções de base do hidrogênio até o flúor [2], fez-se necessário a adição de expoentes à função de base, correspondentes a cada átomo, para melhor adaptação à realização dos cálculos moleculares. Estas funções adicionais são o que chamamos de funções de polarização. A adição de funções de polarização, através de otimização computacional, é muito custosa, deste modo o desenvolvimento de uma regra de polarização para se esquivar desta otimização é de grande importância e por isso se transforma na beleza e no objetivo deste trabalho. Portanto, nesta dissertação, estudar-se-á um procedimento para escolher funções de polarização que reduza drasticamente o tempo computacional, no sentido de permitir uma seleção, mais simples, de expoentes da própria função de base primitiva para serem usadas nas funções de polarização p, d, f, g, etc. para a obtenção de propriedades moleculares calculadas através de métodos químico-quânticos / The polynomial generate coordinate method pGCM developed by R.C. Barbosa and A.B.F. da Silva [1] is an remarkble mathematic tool for the generation of basis functions (also known as basis sets). The basis sets generated from this method have a good behavior and are able to produce accurate values for electronic molecular properties. In fact, after generating a basis set [2] we need to add a set of exponent functions in order to better adequate a basis set to perform molecular calculations. These sets of additional functions are called polarizations functions. This work provides a methodology where the polarization functions are obtained from the initial basis set (the primitive set) without optimizing them separately by using optimization algorithms that are, computationally speaking, very costly. This procedure reduces drastically the computational time used to find polarization functions to be used in molecular quantum chemical calculations. Our methodology permits to choose the polarization functions directly from the primitive orbital exponents of each atomic symmetry s, p, d, f etc. in a very simple manner. The finding of polarization functions using our methodology was performed with several quantum chemical methods.

Esta dissertação apresenta uma metodologia baseada em Algoritmos Genéticos e Teoria dos Conjuntos Fuzzy que determina o número ótimo de medidores de Qualidade de Energia, bem como os pontos onde os mesmos devem ser instalados para monitorar Afundamentos e Elevações de Tensão em redes de transmissão de energia elétrica. A metodologia desenvolvida representa uma ferramenta para diversas áreas de uma empresa de energia elétrica, porque ela indica a melhor maneira para se alocar medidores de Qualidade de Energia, considerando as restrições econômicas a que as empresas estão sujeitas. Além disto, a metodologia também determina a melhor configuração para um sistema de medição para um sistema de potência, quando há barras que devem ser monitoradas e/ou o número de medidores disponíveis é menor que o mínimo necessário para atingir a completa Observabilidade. O trabalho desenvolvido também representa uma importante aplicação dos Algoritmos Genéticos em conjunto com a Teoria dos Conjuntos Fuzzy. Ele define aspectos a serem considerados no problema de monitoração de Qualidade de Energia Elétrica e sugere rapidamente a melhor forma de atender diferentes objetivos e restrições operacionais. A fim de validar o modelo proposto, nesta dissertação, três redes elétricas são avaliadas para determinar o número mínimo de medidores de Qualidade de Energia, bem como a localização onde esses equipamentos deveriam ser instalados. Os níveis de Redundância e de Observabilidade são apresentados, bem como as formulações usadas para atingir os resultados apresentados. / This dissertation presents a methodology based on Genetic Algorithms and Fuzzy Mathematical Programming to determine the optimum number of power quality monitors and the locations they should be installed to measure Voltage Sags and Swells in transmission power networks. The methodology developed represents a tool for planning power networks, because it indicates the best way to allocate the power quality monitors, considering economical constraints. Similar to this, the methodology also determines the best configuration for a monitoring system when there are important busses to monitor and the number of monitors available is lower than the minimal needed to accomplish completely Observability. The work presented here also represents an important Genetic Algorithms application. With fuzzy mathematical programming it easily allows the definition of aspects to be considered in the monitoring problem and quickly suggests the best way to attend different objectives and operational restrictions. In order to validate the developed model proposed in this dissertation three electric power networks are assessed to determine the minimum number of power quality monitors as well as the locations where these devices should be installed. The levels of Redundancy and Observability are presented as well as the formulations used to achieve the results.

Data from insect studies may present different features. Univariate responses may be analyzed using generalized linear models (continuous and discrete data), survival models (time until event data), mixed effects models (longitudinal data), among other methods. These models may be used to analyse data from experiments which assess complex ecological processes, such as competition and predation. In that sense, computational tools are useful for researchers in several fields, e.g., insect biology and physiology, applied ecology and biological control. Using different datasets from entomology as motivation, as well as other types of datasets for illustration purposes, this work intended to develop new modelling frameworks and goodness-of-fit assessment tools. We propose accelerated failure rate mixed models with simultaneous location and scale modelling with regressors to analyse time-until-attack data from a choice test experiment. We use the exponential, Weibull and exponentiated-Weibull models, and assess goodness-of-fit using half-normal plots with simulation envelopes. These plots are the subject of an entire Chapter on an R package, called hnp, developed to implement them. We use datasets from different types of experiments to illustrate the use of these plots and the package. A bivariate extension to the N-mixture modelling framework is proposed to analyse longitudinal count data for two species from the same food web that may interact directly or indirectly, and example datasets from ecological studies are used. An advantage of this modelling framework is the computation of an asymmetric correlation coefficient, which may be used by ecologists to study the degree of association between species. The jointNmix R package was also developed to implement the estimation process for these models. Finally, we propose a goodness-of-fit assessment tool for bivariate models, analogous to the half-normal plot with a simulation envelope, and illustrate the approach with simulated data and insect competition data. This tool is also implemented in an R package, called bivrp. All software developed in this thesis is made available freely on the Comprehensive R Archive Network. / Dados provenientes de estudos com insetos podem apresentar características diferentes. Respostas univariadas podem ser analisadas utilizando-se modelos lineares generalizados (dados contínuos e discretos), modelos de análise de sobrevivência (dados de tempo até ocorrência de um evento), modelos de efeitos mistos (dados longitudinais), dentre outros métodos. Esses modelos podem ser usados para analisar dados provenientes de experimentos que avaliam processos ecológicos complexos, como competição e predação. Nesse sentido, ferramentas computacionais são úteis para pesquisadores em diversos campos, por exemplo, biologia e fisiologia de insetos, ecologia aplicada e controle biológico. Utilizando diferentes conjuntos de dados entomológicos como motivação, assim como outros tipos de dados para ilustrar os métodos, este trabalho teve como objetivos desenvolver novos modelos e ferramentas para avaliar a qualidade do ajuste. Foram propostos modelos de tempo de vida acelerado mistos, com modelagem simultânea dos parâmetros de locação e de escala com regressores, para analisar dados de tempo até ataque de um experimento que avaliou escolha de predadores. Foram utilizados modelos exponencial, Weibull e Weibull-exponenciado, e a qualidade do ajuste foi avaliada utilizando gráficos meio-normais com envelope de simulação. Esses gráficos são o assunto de um Capítulo inteiro sobre um pacote para o software R, chamado hnp, desenvolvido para implementá-los. Foram utilizados conjuntos de dados de diferentes tipos de experimentos para ilustrar o uso desses gráficos e do pacote. Uma extensão bivariada para os modelos chamados \"N-mixture\" foi proposta para analisar dados longitudinais de contagem para duas espécies pertencentes à mesma teia trófica, que podem interagir direta e indiretamente, e conjuntos de dados provenientes de estudos ecológicos são usados para ilustrar a abordagem. Uma vantagem dessa estratégica de modelagem é a obtenção de um coeficiente de correlação assimétrico, que pode ser utilizado por ecologistas para inferir acerca do grau de associação entre espécies. O pacote jointNmix foi desenvolvido para implemetar o processo de estimação para esses modelos. Finalmente, foi proposta uma ferramenta de avaliação de qualidade do ajuste para modelos bivariados, análoga ao gráfico meio-normal com envelope de simulação, e a metodologia _e ilustrada com dados simulados e dados de competição de insetos. Essa ferramenta está também implementada em um pacote para o R, chamado bivrp. Todo o software desenvolvido nesta tese está disponível, gratuitamente, na Comprehensive R Archive Network (CRAN).

O propósito desta pesquisa é uma análise da metodologia projetual da arquitetura de interesse social tomando como objeto de estudo o projeto do conjunto residencial Jardim Edith de autoria dos escritórios MMBB Arquitetos e Hereñú e Ferroni Arquitetos. O objetivo deste procedimento é identificar os principais problemas, desafios e limitações na área de habitação popular, analisando os parâmetros projetuais através do critério de interação com o meio urbano, durabilidade e qualidade arquitetônica. O trabalho procura analisar a trajetória do projeto desde sua primeira fase até a proposta final. Para este fim divide-se o estudo em quatro partes dedicadas às quatro versões principais que foram elaborados entre 2008 e 2013. A análise de cada uma delas é submetida aos mesmos critérios, que correspondem às escalas diferentes do projeto, como: organização das quadras, tipologia dos blocos residenciais, unidades habitacionais, áreas de uso coletivo, composição arquitetônica e qualidade estética. O passo final consiste na criação de um quadro síntese, que inclui as informações essenciais sobre cada versão do projeto, estabelecendo uma forma de resumo do processo projetual e mostrando sua evolução no tempo. O conjunto residencial Jardim Edith é decerto um marco importante na discussão sobre habitação de interesse social, um exemplo da arquitetura econômica, resistente que usa os recursos simples sem comprometer os valores estéticos do projeto. / The purpose of this dissertation is to analyze the methodology of social housing architecture taking as an object of study the project of the residential complex Jardim Edith designed by MMBB Arquitetos and Hereñú e Ferroni Arquitetos. The objective of this procedure is to identify the main problems, challenges and limitations in social housing design, analyzing the parameters such as interaction with the urban environment, durability and architectural quality. The research analyzes the trajectory of the project from its first stage to the final proposal. For this purpose the study is divided into four parts addressing the four main versions developed between 2008 and 2013. The analysis of each of them is subject to the same criteria that correspond to the different scales of the project: organization of the plot, typology of residential blocks, housing units, public spaces, architectural composition and aesthetic quality. The final step is to create a table that includes the essential information about each version of the project as a form of summary of the design process and its evolution over time. The residential complex Jardim Edith is certainly an important milestone in the discussion about social housing and it is an example of economic, resistant architecture that uses simple resources without compromising the aesthetic values.

A afinidade eletrônica (AE) é uma importante propriedade de átomos e moléculas, sendo definida como a diferença de energia entre a espécie neutra e seu respectivo íon negativo. Uma vez que a AE é uma fração muito pequena da energia eletrônica total das espécies neutra e aniônica, é necessário que tais energias sejam determinadas com elevado grau de precisão. A receita utilizada para o cálculo teórico acurado da AE atômica e molecular baseia-se na escolha de um conjunto adequado de funções de base juntamente com o emprego de teorias com altos níveis de correlação eletrônica. Durante o cálculo, o mesmo conjunto de base é utilizado para descrever o elemento neutro e seu respectivo ânion. Geralmente, os conjuntos de base para descrever propriedades de ânions possuem seus expoentes otimizados em ambiente neutro, e sua difusibilidade é conferida pela adição de funções difusas para cada valor de momento angular, l. A ideia deste trabalho está no desenvolvimento de conjuntos de base otimizados exclusivamente em ambiente aniônico para cálculos precisos de afinidade eletrônica. Deste modo, foram escolhidos os átomos para serem estudados: B, C, O e F. Os conjuntos de base foram gerados pelo Método da Coordenada Geradora Hartree-Fock, empregando a técnica da Discretização Integral Polinomial para a solução das integrais do problema. Os conjuntos de base obtidos são compostos por (18s13p) primitivas que foram contraídos para [7s6p] via esquema de contração geral proposto por Raffenetti. Os conjuntos contraídos foram polarizados para 4d3f2g e 4d3f2g1h, sendo os expoentes otimizados em ambiente CISD através do método SIMPLEX. Avaliaram-se as funções de base no cálculo de afinidades eletrônicas, tendo seus resultados comparados aos obtidos utilizando as bases aug-cc-pVQZ e aug-cc-pV5Z. A análise dos resultados demonstrou que os conjuntos de base difusos, gerados neste trabalho, reproduzem de maneira satisfatória as afinidades eletrônicas em relação ao valor experimental. Os conjuntos difusos polarizados para 4d3f2g1h apresentaram eficiência superior aos conjuntos aug-cc-pVQZ e, em alguns casos, aos conjuntos aug-cc-pV5Z que são consideravelmente maiores. / The electron affinity (EA) is an important property of atoms and molecules defined as the energy difference between the neutral species and its negative ion. Since the EA is a very small fraction of the total electronic energy of anionic and neutral species, one must determine these energies with high accuracy. The recipe used to calculate accurate atomic and molecular EAs is based on the choice of an adequate basis set and the use of high level of electron correlation calculations. In the computation of EAs, the same basis set is used to describe both neutral and negatively charged species. In general, the basis sets designed to describe anionic properties have their exponents optimized in neutral environment, and its diffuseness is acquired through the addition of diffuse functions for each angular momentum. The main idea of this work is to develop basis sets optimized exclusively in anionic environment that would be applied in accurate calculations of electron affinity. Thus, here follows the chosen atoms to be studied: B, C, O and F. The basis sets were generated by the Generator Coordinate Hartree-Fock Method through the Polynomial Integral Discretization Method. Basis sets were obtained containing (18s13p) primitives that were contracted to [7s6p] via Raffenetti\'s general contraction scheme. The contracted basis sets were polarized to 4d3f2g and 4d3f2g1h, and the exponents of polarization were optimized in a CISD environment through the Simplex algorithm. The basis sets quality was evaluated through the calculation of the electron affinities. The results were compared to those obtained by using the aug-cc-pVQZ and aug-cc-pV5Z basis-sets. The calculation showed that our diffuse basis sets reproduce satisfactorily the electron affinities when compared to the experimental data. The diffuse basis sets polarized to 4d3f2g1h showed to be more efficient than the aug-cc-pVQZ basis sets and in some cases also better than the aug-cc-pV5Z basis sets that are considerably larger.

Made available in DSpace on 2016-04-27T16:57:27Z (GMT). No. of bitstreams: 1 Pericles Cesar de Araujo.pdf: 2815289 bytes, checksum: 8b5efd754b4e27e42558c8f0ebe0c75e (MD5) Previous issue date: 2013-08-18 / This thesis aims at dealing with issues concerning the scientification of Mathematics Education and, consequently, the methods used in researches in that area. It means dealing with methodological issues, under qualitative, quantitative and mixed perspectives with the objective of discussing the increase, always desired, of the reliability of data analysis. It is a theoretical research, with methodological procedures adequate to this kind of study, that is, bibliographical review, analysis of thesis, dissertations, articles and books. Among the theoretical background, we mention Didactic Engineering, Conceptual Metaphor, Fuzzy Logics, Bayesian Statistics and elements from Popper, Kuhn and Lakatos theories. The Didactic Engineering was considered the common thread of reflections; the Fuzzy Logics, inserted for the research universe in Mathematics Education, is characterized by an important heterogeneity of the phenomena. The Bayesian Statistics is a referential to deal with the qualitative aspect. As results, we propose in this thesis, mixed methods of research in Mathematics Education. The first is the one that considers the combination of two methods: the Bayesian method and the Didactic Engineering; the second is the Fuzzy and Bayesian. This way, we understand that with this thesis, we contribute to the discussion on the use of mixed methodology in researches in Mathematics Education, as well as present a method with potential to develop the research in Mathematics Education with scientific characteristics that meet the demands of Popper, Kuhn and Lakatos / Esta tese tem por objetivo tratar das questões relativas à cientificidade da Educação Matemática, e em consequência, dos métodos utilizados na pesquisa dessa área. Ou seja, tratar das questões metodológicas, nas perspectivas qualitativas, quantitativas ou mistas com vistas a discutir a ampliação, sempre desejável, da confiabilidade da análise de dados. Trata-se de uma pesquisa de caráter teórico, com procedimentos metodológicos adequados a esse tipo de estudo, ou seja, realização de levantamento bibliográfico, análise de dissertações, teses, artigos, e livros. Entre as bases teóricas, estão a Engenharia Didática Clássica, a Metáfora Conceitual, a Lógica Difusa, a Estatística Bayesiana, e elementos das teorias de Popper, Kuhn e Lakatos. A Engenharia Didática Clássica foi considerada um fio condutor das reflexões; a Lógica Difusa é inserida, pois o universo da pesquisa em Educação Matemática é caracterizado por uma acentuada heterogeneidade de fenômenos. A Estatística Bayesiana é um referencial para tratar do aspecto quantitativo. Como resultado são propostos nesta tese métodos mistos de pesquisas em Educação Matemática. O primeiro deles é aquele que considera a agregação de dois métodos: o Método Bayesiano e a Engenharia Didática Clássica; o segundo é o Método Estatístico Bayesiano de Dados Difusos. Assim, avaliamos que trazemos, com esta tese, uma contribuição para a discussão sobre o uso de metodologias mistas na pesquisa em Educação Matemática, bem como que apresentamos um método com potencialidades de munir a pesquisa em Educação Matemática de características científicas que atendam às exigências de Popper, Kuhn e Lakatos

Para obter-se uma operação segura dos sistemas elétricos de potência (SEP), é imprescindível uma estimação de estado (EE) confiável, pois, as ações de controle e operação, em tempo real, dos SEP se baseiam no banco de dados obtido pelo processo de EE. O primeiro passo, para o sucesso do processo de EE, é a obtenção de um plano de medição confiável, ou seja, um plano de medição que garanta a observabilidade do sistema e a não presença de medidas críticas e dos conjuntos críticos de medidas. Entretanto, tendo em vista a possibilidade de ocorrer, durante a operação de um SEP, de problemas causando a perda de medidas, a obtenção de um plano de medição confiável é uma condição necessária, mas não suficiente, para o sucesso do processo de EE. Face ao exposto, desenvolveu-se neste trabalho um programa computacional que possibilita uma EE confiável mesmo em situação de perda de medidas. O programa proposto permite, de uma forma rápida em termos de velocidade de execução, análise e restauração da observabilidade, identificação de medidas críticas e de conjuntos críticos de medidas, bem como a atualização dessas características qualitativas de conjunto de medidas após a perda de medidas. Como embasamento teórico para o desenvolvimento do programa proposto, foram utilizados dois algoritmos destinados à análise das características qualitativas de conjuntos de medidas, que se baseiam na fatoração triangular da matriz Jacobiana, bem como técnicas de esparsidade e de desenvolvimento de programas computacionais. Para comprovar a eficiência do programa proposto, vários testes foram realizados, utilizando o sistema de 6, 14 e 30 barras do IEEE e 121 barras da ELETROSUL. / To obtain a safe power system (PS) operation, becomes necessary a reliable state estimation (SE), since the real time control actions of a PS are based on the data obtained through the SE process. The first requirement for a successful SE process is the existence of a reliable measurement placement plan, that is, a measurement placement plan that guarantees system observability and the absence of both critical measurements and critical sets. However, considering that during the operation of a PS measurements can be lost decreasing the measurement-redundancy, one can say that although a reliable measurement placement plan is a necessary condition to guarantee a reliable state estimation, it is not sufficient. This dissertation presents a computer program that allows for a reliable SE, even in situations of problems causing loss of measurements. The proposed software allows, in a very fast way in terms of execution time, observability analysis and restoration, identification of critical measurements and critical sets, as well as the updating of these measurement set qualitative characteristics after loss of measurements. As a theoretical background for the development of the software, two algorithms were utilized allowing for the analysis of measurement set qualitative characteristics based on the triangular factorization of the Jacobian matrix, as well as sparsity techniques and techniques for the development of programs. To prove the efficiency of the proposed software, several tests were performed using the system of 6, 14 and 30 buses from IEEE and 121 buses from ELETROSUL.