Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-22T11:53:48Z (GMT). No. of bitstreams: 1 232785.pdf: 1394581 bytes, checksum: bf7368f4a4ec0562449e233848435da8 (MD5) / O presente trabalho tem como objetivo o tratamento do problema de ampliação do carregamento de linhas de transmissão aéreas por meio do desenvolvimento de uma metodologia baseada em Lógica Difusa (Fuzzy) para o cálculo da temperatura superficial do condutor na linha e a estimação do seu valor até uma semana a frente. A pesquisa foi feita em duas etapas, na primeira foi feito o treinamento do sistema de inferência difuso empregado e na segunda foram feitas simulações para determinar os melhores valores para os seus parâmetros de ajuste e o seu comportamento na estimação da temperatura do condutor. Para o treinamento do sistema foram utilizados dados climáticos, amplitude de corrente e temperatura superficial do condutor, todos medidos em uma linha de transmissão real durante 31 dias consecutivos. Para determinar a quantidade de regras de inferência presentes no sistema, um algoritmo de agrupamento difuso foi empregado para organizar a massa de dados históricos em conjuntos. A cada conjunto desses uma regra foi definida, tendo seus parâmetros determinados através de uma técnica de regressão linear múltipla. As simulações foram feitas com uma parte dos dados históricos não utilizada no treinamento. Os baixos valores dos erros encontrados nessa última etapa mostram que a metodologia é viável e bastante promissora para os estudos na área de ampacidade. The present work has as objective the development of a Fuzzy Logic based methodology for the calculation of the conductor superficial temperature in an overhead transmission line and to estimate its value up to one week ahead. The research was made in two stages, the first in the training of the fuzzy inference system used and the second in simulations to determine the best values for their adjustment parameters and its behavior in the evaluation of the conductor temperature. Climate data, current and conductor superficial temperature were used for the system training. These values were measured in a real transmission line for 31 consecutive days. In order to set up the inference rules present in the system, a fuzzy cluster estimation method was used to organize the historical data in clusters and a recursive least squares method was used to determine the coefficients in the concluding parts of the rules. The simulations were made with a part of the historical data not used in the training. The low values of the errors found in the last stage show that the methodology is viable and quite promising for ampacity studies.

ALMEIDA JÚNIOR, Antenor Teixeira. Espaços e atratores: estratégias de categorização na emergência de interferências sobre a conceitualização de violência. 2013. 184f. – Tese (Doutorado) – Universidade Federal do Ceará, Departamento de Letras Vernáculas, Programa de Pós-graduação em Linguística, Fortaleza (CE), 2013. / Submitted by Márcia Araújo (marcia_m_bezerra@yahoo.com.br) on 2016-01-19T18:35:33Z No. of bitstreams: 1 2013_tese_atajunior.pdf: 2885641 bytes, checksum: 4f0fc10c7ba0f795d9a6a874f8c74b94 (MD5) / Approved for entry into archive by Márcia Araújo(marcia_m_bezerra@yahoo.com.br) on 2016-01-20T10:53:28Z (GMT) No. of bitstreams: 1 2013_tese_atajunior.pdf: 2885641 bytes, checksum: 4f0fc10c7ba0f795d9a6a874f8c74b94 (MD5) / Made available in DSpace on 2016-01-20T10:53:28Z (GMT). No. of bitstreams: 1 2013_tese_atajunior.pdf: 2885641 bytes, checksum: 4f0fc10c7ba0f795d9a6a874f8c74b94 (MD5) Previous issue date: 2013 / In this research, I analyzed the characteristics and mechanisms that make categorization, as a cognitive process, a Complex Adaptive System and the strategies of categorization that work in the emergency of inferences for the conceptualization of the category VIOLENCE and subcategory URBAN VIOLENCE. The theoretical support for the investigation of the research aims are the assumptions of the paradigm of chaos, complexity and complex systems, as outlined by Bertalanffy (1977), Morin (2005), Holland (1995, 1998) and Larsen-Freeman and Cameron ( 2008; 2012), who propose the concepts of systems, complexity, attractors, phase space and characteristics and mechanisms of a Complex Adaptive System. In the case of inferential process, I sought theoretical support in Relevance Theory, as proposed by Sperber and Wilson (1995, 2001), Feltes (1999, 2007), Alves and Gonçalves (2006) and Yus (2008, 2013). To get to the characterization of categorization as a Complex Adaptive System, I considered the properties presented by Holland (1995) and Larsen-Freeman and Cameron (2008), seeking to expand the concept and explain the instability of the categorical system based on the complexity theory (Morin, 1977). For this investigation, based on the complexity theory, it was also necessary to include the concept of system, phase space and attractors so relevant to the methodological approach used in this research. Such a procedure resulted in a typology of categorization strategies for the analysis and explanation of how the various feasible spaces for the conceptualizing of VIOLENCE are triggered. The category "VIOLENCE" was chosen for analysis in view of its update status in the last twenty years and the various researches on the subject carried out by Larsen-Freeman and Cameron, Macedo and Feltes, scholars whose studies served as basis for the methodological proposal of this thesis. In order to verify the research hypotheses, a methodological design which involved intensive direct observation of 33 categorizers was used. The participants answered questionnaires about the categorization of VIOLENCE and participated of verbal protocols to verify the inference mechanisms involved in the process. The analyses result allow for the following conclusions: VIOLENCE categorization has the properties and mechanisms of Complex Adaptive Systems because the systems present, in whole and in parts, variation within a stable range. The categorizers use the inferential process to trigger the attractors that lead to the phase space in which diverse knowledge about violence is available for its conceptualization in a strategic way. / Nesta pesquisa, analisamos as características e mecanismos que tornam a categorização, como processo cognitivo, um Sistema Adaptativo Complexo e as estratégias de categorização que atuam na emergência de inferências para a conceitualização da categoria VIOLÊNCIA e a subcategoria VIOLÊNCIA URBANA. Nosso suporte teórico para a investigação dos nossos objetivos são os pressupostos do paradigma do caos, da complexidade e dos sistemas complexos, conforme delineados por Bertalanffy (1977), Morin (2005), Holland (1995; 1998) e Larsen- Freeman e Cameron (2008; 2012), que propõem os conceitos de sistemas, complexidade, atratores, espaço fase e características e mecanismos de um Sistema Adaptativo Complexo. No caso do processo inferencial, buscamos amparo teórico na Teoria da Relevância, conforme proposta por Sperber e Wilson (1995; 2001), Feltes (1999; 2007), Alves e Gonçalves (2006) e Yus (2008; 2013). Para chegarmos à caracterização da categorização como Sistema Adaptativo Complexo, levamos em consideração as propriedades apresentadas por Holland (1995) e Larsen- Freeman e Cameron (2008), buscando ampliar o conceito e explicar a instabilidade do sistema categorizacional à luz da complexidade (MORIN, 1977). Para essa investigação com base na complexidade foi necessário ainda incluir o conceito de sistema, espaço fase e atratores tão caros à abordagem metodológica utilizada. Esse procedimento resultou em uma tipologia de estratégias de categorização para análise e explicitação de como se aciona os diversos espaços possíveis para conceitualização de VIOLÊNCIA. Escolhemos a categoria VIOLÊNCIA para investigar nosso objetivo tendo em vista a atualização do assunto nos últimos vinte anos e pelos trabalhos com essa categoria realizados por Larsen-Freeman e Cameron, Macedo e Feltes, cujos estudos serviram de base para nossa proposta metodológica. Para verificarmos nossas hipóteses, utilizamos como desenho metodológico uma pesquisa com observação direta e intensiva de 33 categorizadores que responderam a questionários sobre a categorização de VIOLÊNCIA e participaram de protocolos verbais para verificação dos mecanismos de inferenciação. Os resultados das análises permitem as seguintes conclusões: a categorização de VIOLÊNCIA possui propriedades e mecanismos dos Sistemas Adaptativos Complexos, pois os sistemas apresentam no todo e nas partes, variedade dentro de uma estabilidade. Os categorizadores utilizam o processo inferencial para acionar os atratores que levam ao espaço fase em que se encontram diversos conhecimentos sobre violência para sua conceitualização de forma estratégica.

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2007 / Bibliografia: f. 118-133 / O objetivo desta pesquisa é explicar a noção de teoria das multiplicidades (Mannigfaltigkeitslehre), desde a sua gênese matemática até o seu significado na lógica pura (reine Logik) como doutrina da ciência (Wissenschaftslehre), chegando às suas implicaçõ / This research aims to explain the Theory of Manifolds (Mannigfaltigkeitslehre) since its mathematical genesis until its meaning in the pure logic (reine Logik) as theory of science (Wissenschaftslehre), reaching its philosophical consequences relating to

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2006 / Inclui bibliografia / Este estudo se debruça sobre a obra de um dos mais significativos pensadores do século XX, Ludwig Wittgenstein. Sobre sua obra é possível que se estabeleça um duplo direcionamento no processo de entendimento. Uma via chamada de ortodoxa defende que as idé / This study is about Ludwig Wittgenstein, one of the most significant 20th century thinkers. The understanding process of his work can be established in two ways. The former, called orthodox, defends that ideas contained in Tractatus Logico-Philosophicus a

Submitted by Reginaldo Soares de Freitas (reginaldo.freitas@ufv.br) on 2017-04-17T16:20:31Z No. of bitstreams: 1 texto completo.pdf: 4580745 bytes, checksum: 15b36a9ae574edc9911bb3c74e5252f6 (MD5) / Made available in DSpace on 2017-04-17T16:20:31Z (GMT). No. of bitstreams: 1 texto completo.pdf: 4580745 bytes, checksum: 15b36a9ae574edc9911bb3c74e5252f6 (MD5) Previous issue date: 2016-03-21 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O presente trabalho traz os resultados de uma pesquisa realizada em duas instituições de ensino de Belo Horizonte e região metropolitana, com alunos do curso de graduação em Matemática na modalidade licenciatura e alunos do ensino médio que responderam a dois testes de lógica e raciocínio lógico quantitativo, realizados antes e depois de participarem de um curso específico desses conteúdos. Essa pesquisa foi devidamente registrada no CEP - Comitê de Ética e Pesquisa com Seres Humanos, sob o número 1.366.414. O principal objetivo foi destacar a importância da lógica e do raciocínio lógico quantitativo na formação acadêmica dos discentes, sobretudo aqueles ligados às ciências exatas. Esta pesquisa buscou a validação com os testes T de Student, F de Snedecor e o Teste Z de sete hipóteses a priori levantadas. As hipóteses foram constituídas com o intuito de fundamentar a exigência de aulas específicas de lógica e raciocínio lógico quantitativo em todas as esferas educacionais. Os resultados desse trabalho indicam certo grau de relevância para os cursos específicos de lógica e raciocínio lógico quantitativo no desempenho dos discentes submetidos aos testes que envolvem esses conteúdos. Dessa forma, justifica-se uma ênfase maior nesses conteúdos quando se trata de educação básica. / This paper presents the results of a survey conducted in two schools of Belo Horizonte and the metropolitan area, with students of the degree in Mathematics at the undergraduate mode and high school students who responded to two logic tests and quantitative logical reasoning, performed before and after participating in a specific course of such content. This research was duly registered with the CEP - Research Ethics Committee in Human Beings, under number 1366414. The main objective was to highlight the importance of logic and quantitative logical reasoning in academic education of students, especially those related to the exact sciences. This study aimed to validate with the Student t test, F Snedecor and Z test seven hypotheses a priori raised. The assumptions were made in order to support the demand for specific classes of logical and quantitative logical reasoning in all educational spheres. The results of this study indicate a degree of relevance to the specific courses of logic and quantitative logical reasoning in the performance of students subjected to tests involving such content. Thus, it justified a greater emphasis on these content when it comes to basic education.

FERREIRA, Francicleber Martins. Modelos minimais e hierarquia de expressividade. 2007. 122 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2007. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-11T15:45:38Z No. of bitstreams: 1 2007_dis_fmferreira.pdf: 752533 bytes, checksum: 98c57917ae2bd6af5de38f25d9ce7c39 (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-15T15:38:19Z (GMT) No. of bitstreams: 1 2007_dis_fmferreira.pdf: 752533 bytes, checksum: 98c57917ae2bd6af5de38f25d9ce7c39 (MD5) / Made available in DSpace on 2016-07-15T15:38:19Z (GMT). No. of bitstreams: 1 2007_dis_fmferreira.pdf: 752533 bytes, checksum: 98c57917ae2bd6af5de38f25d9ce7c39 (MD5) Previous issue date: 2007 / Neste trabalho, o conceito de Modelo Minimal e seu uso na semântica de certas lógicas são estudados. Nós analisamos o poder expressivo de diversas lógicas que usam o conceito de Modelo Minimal para definir sua relação de satisfação. Os principais teoremas estudados foram o Teorema de Löwenheim-Skolem e o Teorema de Definibilidade de Beth. No Capítulo 1, nós damos algumas motivações e revisamos alguns conceitos básicos de Lógica. No Capítulo 2, nos estudamos a Lógica de Menor Ponto Fixo|LFP. Nós exibimos uma prova de que o Teorema de Beth não vale para LFP. Nós usamos teorias infinitas para provar isso. Utilizando um resultado de Hodkinson para L!!1!, nós mostramos que o Teorema de Beth continua não valendo mesmo para teorias finitas de LFP. Nós continuamos estudando problemas de definibilidade para LFP e demonstramos que, para tipos especiais de definições implícitas formadas por Sistemas Recursivos, que funcionam como definições recursivas em determinados contextos, existe uma definição explícita. Nós promavos ainda que o Teorema de LÄowenheim-Skolem Descendente vale para qualquer conjunto de fórmulas de LFP, independentemente de sua cardinalidade. No Capítulo 3, a Circunscrição de McCarthy e as Teorias Circunscritivas Aninhadas de Lifschitz, uma generalização da primeira. Nós abordamos o poder expressivo de Circunscrição e a falha do Teorema de LÄowenheim-Skolem Descendente. Nós também investigamos questões de definibilidade no contexto de Circunscrição. Nós encerramos esse capítulo mostrando que as Teorias Circunscritivas Aninhadas possuem poder expressivo comparável com o da Lógica de Segunda-Ordem. No Capítulo 4, nós estendemos uma lógica criada por van Benthem dando origem a duas outras lógicas, a saber, U-MIN e I-MIN. Nós provamos que ambas são equivalentes entre si em poder expressivo e daí em diante chamamos U-MIN de MIN. Nós introduzimos a Lógica Si-MIN de minimalização simultânea e provamos que Si-MIN é equivalente a U-MIN e I-MIN e também à Lógica de Segunda-Ordem. Nós então propomos o fragmento MIN¢ de MIN, cujo poder expressivo situa-se entre o da Lógica de Segunda-Ordem e o de LFP. No Capítulo 5, nós reunimos nossas conclusões e apontamos trabalhos futuros.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Programa de Mestrado Profissional em Matemática em Rede Nacional, 2015. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2015-12-04T12:46:10Z No. of bitstreams: 1 2015_AndréAndersondaSilvaNunes.pdf: 2728666 bytes, checksum: 85369fb54ffd730b414379b1782dfeff (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2015-12-17T15:29:30Z (GMT) No. of bitstreams: 1 2015_AndréAndersondaSilvaNunes.pdf: 2728666 bytes, checksum: 85369fb54ffd730b414379b1782dfeff (MD5) / Made available in DSpace on 2015-12-17T15:29:30Z (GMT). No. of bitstreams: 1 2015_AndréAndersondaSilvaNunes.pdf: 2728666 bytes, checksum: 85369fb54ffd730b414379b1782dfeff (MD5) / A escolha do tema visa introduzir de forma simplificada os princípios do método axiomático, bem como a forma organizada de pensar e argumentar, ambos aplicados à Teoria dos Conjuntos. Convidamos o leitor, principalmente o professor de ensino básico, a buscar o aperfeiçoamento de sua forma de argumentar através de regras convencionalmente aceitas e bem definidas da Lógica Básica. Tal competência argumentativa é fundamental na árdua tarefa de conduzir os discentes a evoluir de um modo informal (no Ensino Fundamental) a um sofisticado método de organização de demonstrações, fundamentado em um sistema dedutivo completo. O modelo axiomático utilizado no ensino básico é o da Geometria Euclidiana Plana. Neste trabalho, entretanto, o investimento foi no tratamento da Teoria dos Conjuntos, dada sua grande importância dentro de todos os outros ramos da Matemática. / The choice of theme is to provide a simple way of introduction to the principles of axiomatic method and an organized way of thinking and arguing, both applied to Set Theory. We invite the reader, especially the teacher of elementary education, to seek the improvement of their way to argue through conventionally accepted and wellde _ned rules of the Basic Logic. This argumentative competence is fundamental in the arduous task of leading the students to evolve in an informal way (in elementary school) to a sophisticated method of organizing proofs, based on a complete deductive system. The axiomatic model used in basic education is the Euclidean geometry. In this work, however, the investment was in the treatment of Set Theory, given its great importance in all other branches of mathematics.

Made available in DSpace on 2015-07-22T20:49:48Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-10-29. Added 1 bitstream(s) on 2015-08-11T03:25:35Z : No. of bitstreams: 1 Publico-0243a.pdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5). Added 1 bitstream(s) on 2015-08-11T03:25:35Z : No. of bitstreams: 2 Publico-0243a.pdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Publico-0243b.pdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5). Added 1 bitstream(s) on 2015-08-11T03:25:35Z : No. of bitstreams: 3 Publico-0243a.pdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Publico-0243b.pdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Publico-0243.pdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Objetivos: Verificar a eficiência da punção com agulha de Veress no hipocôndrio esquerdo, a acurácia dos testes descritos e o valor diagnóstico dos valores da pressão intraperitoneais em função do volume de gás injetado em modelagem utilizando lógica nebulosa (fuzzy). Métodos: 91 pacientes, sem quaisquer critérios de exclusão, consecutivamente agendados para procedimentos videolaparoscópicos, tiveram a parede abdominal puncionada no hipocôndrio esquerdo. Os pacientes receberam anestesia geral e ventilação controlada mecânica segundo o protocolo. Após a punção foram utilizadas cinco provas para testar o posicionamento da ponta da agulha no interior da cavidade peritoneal: prova da aspiração – PA, da resistência à infusão – Pres, da recuperação do líquido infundido – Prec, prova do gotejamento - PG, e a prova da pressão intraperitoneal inicial -PPII. Os resultados das provas foram comparados entre os resultados da literatura para grupos com critérios de exclusão definidos. Os resultados foram considerados para cálculo da sensibilidade (S) e da especificidade (E) e valores preditivos positivos (VPP) e valores preditivos negativos (VPN). O volume e pressão foram registrados a cada 20 segundos até 12 mmHg. Métodos inferenciais estatísticos e nebulosos (fuzzy) foram utilizados em modelagem computacional. Resultados: Ocorreram 13 fracassos. A PA teve E=100% e VPN=100%. Pres teve S=100%; E= 0; VPP= 85,71% VPN= não se aplica. Prec: S= 100%; E= 53,84%; VPP= 92,85%; VPN= 100%. PG: S= 100%; E= 61,53%; VPP= 93,97% VPN= 100%. Na PPII, a S, E, VPP e VPN=100%. A pressão varia em função do volume injetado, modulado principalmente pelo IMC (R²= 73% para grupo homogêneo, R²= 58,81% para heterogêneo). Conclusão: A punção no hipocôndrio esquerdo é eficiente, as provas realizadas orientam o cirurgião a despeito do gênero, IMC ou cirurgias prévias. A pressão intraperitoneal como função dos volumes injetados é parâmetro do posicionamento da ponta da agulha, variando conforme o índice de massa corporal, do gênero e da ocorrência de cirurgia prévia. A utilização da lógica nebulosa ou difusa provou-se eficaz e eficiente na modelagem desta relação. A construção de um sistema difuso de suporte à decisão utilizando o conhecimento heurístico foi o mais eficaz. / Objectives: To evaluate the Veress needle left hypochondrium puncture efficiency, the accuracy of reported tests results and the prognosis value of intra peritoneal pressure measures as function of the injected gas volumes in a fuzzy logic modeling control system. Methods: 91 patients, without any restrictions, sequentially scheduled for video laparoscopic procedures were punctured in the left hypochondrium. They were all under general anesthesia and mechanical controlled ventilation as described in the protocol. Five tests regarding the intra abdominal positioning of the needle tip were carried out: aspiration test – AT, liquid infusion resistance test – ResT, infused liquid recovery test – RecT, dripping test – DT, and the initial intra peritoneal pressure test – IIPT. The test‟s results were compared with data from previous reports from demographic selected group. The levels of sensitivity (SE), specificity (SP), the predictive positive values (PPV) and the negative values (PNV) were calculated. The volume and pressure measures were recorded at every 20 seconds until 12 mmHg. Statistical and fuzzy inferential methods were applied for computational modeling. Results: 13 failures occurred. The AT showed SP=100% and PNV=100%. The ResT showed SE=100%, and SP=0, PPV=85,71%, PNV did not apply. The RecT showed SE= 100%, SP= 53,84%, PPV= 92,85%; PNV= 100%. DT: SE= 100%; SP= 61,53%; PPV= 93,97% PNV= 100%. The IIPP showed SE, SP, PPV e PNV=100%. The pressure values are function of the injected gas volume and suffers influence mainly from the BMI (R²= 73% for homogeneous group, R²=58,81% for heterogeneous). Conclusion: The left hypochondryum puncture is efficient, the tests carried out guide the surgeon despite BMI, sex distinction or previous surgery. The intra peritoneal pressure measure as function of the injected gas volume is a parameter of the needles‟ tip positioning, fluctuating according the body mass index, sex and previous surgery. Fuzzy logic demonstrated to be efficacious and efficient in modeling the volume/pressure relation. The heuristic knowledge was more efficient in building a fuzzy controller. / TEDE / BV UNIFESP: Teses e dissertações

Orientador: Marcos Antonio Alves / Banca: Rodrigo Martins Borges / Banca: Hércules Araújo de Feitosa / Resumo: Objetivamos avaliar a razoabilidade da abordagem bayesiana de Colin Howson ao problema da indução, tal como formulado por David Hume. Propomos que uma abordagem ao problema da indução será razoável se nossa compreensão da indução não regride em relação àquela fornecida por Hume. Por sua vez, o bayesianismo é uma corrente teórica derivada da adoção das teses conhecidas como gradualismo, probabilismo e revisão pela condicionalização; seu mérito é fornecer um modelo para representar e atualizar graus de crença. Em seu turno, o problema da indução configura-se como a busca para justificar racionalmente argumentos indutivos, tendo em vista a tese humeana segundo a qual é impossível fazê-lo, seja mediante argumentos demonstrativos, seja mediante argumentos prováveis. Para satisfazer a nosso objetivo, esta Dissertação divide-se em quatro capítulos. No primeiro capítulo, expomos o problema da indução e como Howson o interpreta. No segundo capítulo, comentamos propostas de solução ao problema da indução analisadas por ele. No terceiro capítulo, introduzimos conceitos e teses de probabilidade e bayesianismo. No quarto capítulo, apresentamos, em primeiro lugar, as teses específicas de Howson em relação ao problema da indução; em segundo lugar, criticamos sua interpretação de Hume, suas objeções a outras abordagens e sua própria proposta; finalmente, averiguamos a sua razoabilidade. Finalizamos o trabalho sintetizando as considerações realizadas. / Abstract: We aim to evaluate the reasonability of Colin Howson's bayesian approach to the problem of induction, as elaborated by David Hume. We propose that an approach to the problem of induction will be reasonable if our induction understanding does not regress in relation to that provided by Hume. In turn, bayesianism is a theoretical position derived from the adoption of gradualism, probabilism and conditionalization theses; its merit is to provide a model for representing and updating degrees of belief. The problem of induction is the search to rationally justify inductive arguments, due to the humean thesis according to which it is impossible to do so, neither through demonstrative arguments, nor through probable arguments. To achieve our goal, this Dissertation is divided into four chapters. In the first chapter, we expose the problem of induction and how Howson interprets it. In the second chapter, we discuss solutions to the problem of induction analyzed by him. In the third chapter, we introduce probability and bayesianism concepts and theses. In the fourth chapter, we present, first, Howson's specific theses regarding the problem of induction; second, we criticize his interpretation of Hume, his objections to other approaches, and his own proposal; finally, we examine whether it is reasonable or not. We finish this master's degree dissertation summarizing ours considerations. / Mestre

GRADVOHL, S. T. S. Análise de riscos em sistemas de abastecimento de água sob a perspectiva do plano de segurança da água. Estudo de caso: região metropolitana de Fortaleza no Estado do Ceará. 2012. 213 f. Tese (Doutorado em Engenharia Civil: Saneamento Ambiental) - Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2012. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2013-06-24T11:37:15Z No. of bitstreams: 1 2012_tese_stsgraduohl.pdf: 4243153 bytes, checksum: 75753dcdfff1bd4d5156c319135de768 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2013-06-24T11:43:40Z (GMT) No. of bitstreams: 1 2012_tese_stsgraduohl.pdf: 4243153 bytes, checksum: 75753dcdfff1bd4d5156c319135de768 (MD5) / Made available in DSpace on 2013-06-24T11:43:40Z (GMT). No. of bitstreams: 1 2012_tese_stsgraduohl.pdf: 4243153 bytes, checksum: 75753dcdfff1bd4d5156c319135de768 (MD5) Previous issue date: 2012 / The third edition of the Guidelines for Drinking Water Quality of the World Health Organization - WHO brought a new vision and concern for health, whose purpose is the guarantee of water quality as a tool for public health protection. For this, the Water Safety Plan (PSA) was proposed as a tool to ensure the quality of water from a water supply system from a comprehensive planning risk assessment and management, involving all stages of system supply, from catchment to distribution to final consumers. The plan involves some key measures to ensure the water quality evaluation system for water supply, operational monitoring and its effective administration thereof. The development plan also covers some essential steps, and among them include the assessment of risk factors and risk characterization. The methods used in the PSA are based on many of the principles and concepts applied in other systems of risk management, as the system of multiple barriers and Hazard Analysis and Critical Control Point (HACCP). This paper presents a methodology using fuzzy logic-based tools and Multicriteria Analysis methodologies in order to assist in decision making. As a case study, we selected the Water Supply Systems (WSS) that serve 13 of the 15 municipalities of the Metropolitan Region of Fortaleza, in Ceará. Using the methodology can be concluded that systems with a level of relevance with a Low Risk scale are more prevalent, in general, outside the specific case of only one, who took higher level of relevance in the Moderate Risk scale. Besides indicating the relevance of the levels of risk of each WSS, the methodology also allowed us to classify them according to the scale of risk. On a scale of risk and the relative level, the municipalities could be sorted, where the lowest risk was evident to Maracanaú and the last, to Cascavel. Furthermore, the methodology proved to be an alternative to providing subsidies for risk assessment and decision making in line with the guidelines of the Water Safety Plans. / A terceira edição dos Guias para a Qualidade de Água Potável da Organização Mundial de Saúde – OMS trouxe uma nova visão e preocupação com a saúde, cuja finalidade é a garantia da qualidade da água como instrumento de proteção à saúde pública. Para isso, o Plano de Segurança da Água (PSA) foi proposto como ferramenta para assegurar a qualidade da água proveniente de um sistema de abastecimento de água a partir de um planejamento integral de avaliação dos riscos e gestão, envolvendo todas as etapas do sistema de abastecimento, desde a bacia de captação até a sua distribuição ao consumidor final. O plano envolve algumas medidas essenciais para garantia da qualidade da água: a avaliação do sistema de abastecimento de água, o monitoramento operacional eficaz e a sua respectiva gestão. O desenvolvimento do plano também abrange algumas etapas essenciais e, dentre elas, inclui-se a avaliação dos fatores de perigo e caracterização dos riscos. Os métodos utilizados no PSA baseiam-se em muitos dos princípios e conceitos aplicados em outros sistemas de gestão de riscos, como o sistema de barreiras múltiplas e a análise de perigo e de pontos críticos de controle (APPCC). O presente trabalho traz uma proposta metodológica utilizando ferramentas baseadas na Lógica Fuzzy e metodologias de Análise Multicritério, com o intuito de auxiliar no processo decisório. Como estudo de caso, foram selecionados os Sistemas de Abastecimento de Água (SAA) que atendem 13 dos 15 municípios da Região Metropolitana de Fortaleza, no Estado do Ceará. Utilizando a metodologia pode-se concluir que os sistemas estão com nível de pertinência mais preponderante, de maneira geral, em uma escala de Risco Baixo, fora o caso específico de apenas um deles, que ficou com maior nível de pertinência para a escala de Risco Moderado. Além de indicar os níveis de pertinência do risco em que se encontra cada SAA, a metodologia permitiu ainda classificá-los em função da escala de risco. Numa escala de risco e em nível relativo, os municípios puderam ser classificados em ordem, onde o de mais baixo risco evidenciado foi o município de Maracanaú e, o último, o de Cascavel. Ademais, a metodologia mostrou-se ser uma alternativa para fornecer subsídios para avaliação dos riscos e tomada de decisão em consonância com as diretrizes dos Planos de Segurança da Água.