Programa de Pós-Graduação em Geotecnia. Núcleo de Geotecnia, Escola de Minas, Universidade Federal de Ouro Preto. / Submitted by Oliveira Flávia (flavia@sisbin.ufop.br) on 2015-10-16T16:50:52Z No. of bitstreams: 2 license_rdf: 19418 bytes, checksum: 6dde0d96f18aca4c252a500311f54121 (MD5) TESE_AlgoritmoAgrupamentoDescontinuidades.pdf: 4101321 bytes, checksum: 68c6eec732bdc99941712e49b4cf8c3e (MD5) / Approved for entry into archive by Gracilene Carvalho (gracilene@sisbin.ufop.br) on 2015-10-29T18:48:25Z (GMT) No. of bitstreams: 2 license_rdf: 19418 bytes, checksum: 6dde0d96f18aca4c252a500311f54121 (MD5) TESE_AlgoritmoAgrupamentoDescontinuidades.pdf: 4101321 bytes, checksum: 68c6eec732bdc99941712e49b4cf8c3e (MD5) / Made available in DSpace on 2015-10-29T18:48:25Z (GMT). No. of bitstreams: 2 license_rdf: 19418 bytes, checksum: 6dde0d96f18aca4c252a500311f54121 (MD5) TESE_AlgoritmoAgrupamentoDescontinuidades.pdf: 4101321 bytes, checksum: 68c6eec732bdc99941712e49b4cf8c3e (MD5) Previous issue date: 2015 / O agrupamento de descontinuidades em famílias nem sempre é uma tarefa trivial, particularmente quando se utiliza apenas o diagrama de frequência de polos, método clássico. Este, em alguns casos, apresenta caráter subjetivo, uma vez que o tamanho da área da célula de contagem, a sobreposição entre os agrupamentos e a presença de outliers dificultam a definição visual das famílias. Nestes casos, é útil a aplicação de métodos numéricos em conjunto com o método clássico. Para isso, este trabalho propõe um algoritmo baseado no método Fuzzy K-means que permite agrupar as descontinuidades em famílias sem a influência das fontes de erro do método clássico. Além disso, o trabalho traz, como principais contribuições, um novo método de inicialização do Fuzzy K-means, fundamentado na distribuição de probabilidades de Fisher para dados esféricos, que torna o algoritmo insensível a escolha dos centros iniciais, adaptação de quatro medidas de validação do Espaço Euclidiano para o Espaço Esférico a fim de auxiliar na definição do número de famílias e critérios para identificação de outliers e da região de sobreposição. Os resultados do algoritmo se mostraram satisfatórios quando comparados ao método clássico e aos principais métodos numéricos, utilizando, como referência, cinco conjuntos de fraturas estudados na literatura e aplicados por diversos autores para validação das técnicas numéricas de agrupamento de descontinuidades. _______________________________________________________________________________ / ABSTRACT: The clustering of discontinuity sets is not always a trivial task, especially when only the pole density diagram is used, the classical method. This process is subjective once the size of the counting circle, the pole overlapping and the presence of outliers between families make difficult the definition of their characteristics. In these cases, it is useful to apply numerical and classical methods together. For that, this work proposes an algorithm based on the Fuzzy K-means method, that allows the clustering of the discontinuities into families without the influence of sources errors of the classical method. In addition, this work brings as major contributions, a new initialization method of the Fuzzy K-means, based on the Fisher’s probability distribution for spherical data, which makes the algorithm insensitive to the selection of initial centers, the adaptation of four validation measures from Euclidean Space to Spherical Space in order to help the definition of the number of families and criteria for identification of outliers and the pole overlapping region. The algorithm results were satisfactory compared to the classical method and the main numerical methods, using as reference five fracture sets studied in the literature and applied by various authors for validation of numerical techniques of discontinuity clustering.

Le concept classique d’ «efficacité symbolique» de Claude Lèvi-Strauss aide à l’interprétation des formulations de Sigmund Freud et de Jacques Lacan sur le processus humanisant de symbolisation dans lequel, à partir de la fonction fondamentale de l’ancêtre, la jouissance est limitée par les lois du langage. D’importantes recherches psychanalytiques ont constaté des altérations dans la culture, desquelles résultent une perte progressive de la fonction de l’ancêtre et, par conséquent, la fragilisation de l’efficacité symbolique qu’elle soutient, provoquant la prévalence de certains traits psychopathologiques en tant qu’effets de conditions spécifiques de la culture contemporaine. Dans cette thèse, je cherche à savoir si les initiatives éducationnelles, développées au sein des écoles, peuvent provoquer des effets d’efficacité symbolique parmi leurs éduqués et leurs éducateurs. Pour cela, je présente des découpages d’initiatives éducationnelles que j’ai analysés sous l’angle de la théorie psychanalytique. Comme méthodologie de recherche, je me suis inspiré de la construction du cas, méthode de rédaction de recherche psychanalytique dans laquelle le psychanalyste, volontairement, ne reproduit pas la réalité objective de son analysant, mais élabore des hypothèses métapsychologiques, dépendantes de son propre inconscient et de son propre transfert - de la même manière, j’assume les récits des initiatives éducationnelles et les hypothèses interprétatives en tant que formulations personnelles. Je me suis inspiré aussi du concept d’acte, plus spécifiquement de l’acte analytique formulé par Jacques Lacan, dans le sens où, bien plus que d’offrir des voies déjà tracées, l’acte implique une certaine transgression et création relatives au style de chaque psychanalyste, au parcours de chaque psychanalyse et à un pari sur ses effets. Quant au chercheur, inspiré par l’acte analytique, il créé et transgresse conformément à son style et aux spécificités de sa recherche – il parie lui aussi sur ces effets de manière que, en renonçant à la mythique « capture » de l’objet à être recherché, ceux-ci ne pourront être perçus que dans un a posteriori. Je conclus donc que, au sein des écoles, bien plus que la transmission de connaissances objectives, des actes éducatifs, soutenus par des éducateurs qui admettent le manque inhérent à tout savoir, offrent des espaces de parole d’une certaine historicité et ainsi, renvoient aux références à l’ancêtre, provoquant potentiellement des effets subjectivants d’efficacité symbolique, cette dernière étant comprise comme l’efficacité de l’acceptation de la perte inhérente à la condition humaine / O clássico conceito de “eficácia simbólica” de Claude Lèvi-Strauss auxilia na interpretação das formulações de Sigmund Freud e Jacques Lacan acerca do processo humanizante de simbolização, em que, a partir da função fundamental do ancestral, o gozo é limitado pelas leis da linguagem. Importantes pesquisas psicanalíticas constatam alterações na cultura que implicam num progressivo esvaziamento da função do ancestral e, consequentemente, na fragilização da eficácia simbólica por ela sustentada, promovendo a prevalência de certos traços psicopatológicos, enquanto efeitos de condições específicas da cultura contemporânea. Nesta tese, procuro investigar se iniciativas educacionais, desenvolvidas no âmbito das escolas, podem promover efeitos de eficácia simbólica em seus educandos e educadores. Para tanto, apresento recortes de iniciativas educacionais que são por mim analisadas à luz da teoria psicanalítica. Enquanto metodologia de pesquisa, me inspirei na construção do caso, método de redação da pesquisa psicanalítica em que o psicanalista, assumidamente, não retrata a realidade objetiva de seu analisante, mas, sim, constrói hipóteses metapsicológicas, sujeitas ao seu próprio inconsciente e a sua própria transferência - da mesma forma, assumo os relatos de iniciativas educacionais e as hipóteses interpretativas enquanto construções minhas. Inspirei-me, ainda, no conceito de ato, mais especificamente no ato analítico, formulado por Jacques Lacan, no sentido de que, mais do que proporcionar caminhos pré-determinados, o ato pressupõe uma certa transgressão e criação, relativas ao estilo de cada psicanalista, ao percurso de cada psicanálise e a uma aposta em seus efeitos. Já o pesquisador, inspirado no ato analítico, cria e transgride de acordo com seu estilo e com as especificidades de sua pesquisa – ele aposta, também, em seus efeitos de forma que, renunciando à mítica “captura” do objeto a ser pesquisado, estes somente poderão ser percebidos num a posteriori. Concluo que, no âmbito das escolas, mais do que a transmissão de conhecimentos objetivos, atos educativos sustentados por educadores que aceitam a falta inerente a qualquer saber, promovem espaços de fala, de uma certa historicidade e, assim, implicam em referências à ancestralidade produzindo, potencialmente, efeitos subjetivantes de eficácia simbólica, entendida, esta, como a eficácia da assunção da perda intrínseca à condição humana.

Le concept classique d’ «efficacité symbolique» de Claude Lèvi-Strauss aide à l’interprétation des formulations de Sigmund Freud et de Jacques Lacan sur le processus humanisant de symbolisation dans lequel, à partir de la fonction fondamentale de l’ancêtre, la jouissance est limitée par les lois du langage. D’importantes recherches psychanalytiques ont constaté des altérations dans la culture, desquelles résultent une perte progressive de la fonction de l’ancêtre et, par conséquent, la fragilisation de l’efficacité symbolique qu’elle soutient, provoquant la prévalence de certains traits psychopathologiques en tant qu’effets de conditions spécifiques de la culture contemporaine. Dans cette thèse, je cherche à savoir si les initiatives éducationnelles, développées au sein des écoles, peuvent provoquer des effets d’efficacité symbolique parmi leurs éduqués et leurs éducateurs. Pour cela, je présente des découpages d’initiatives éducationnelles que j’ai analysés sous l’angle de la théorie psychanalytique. Comme méthodologie de recherche, je me suis inspiré de la construction du cas, méthode de rédaction de recherche psychanalytique dans laquelle le psychanalyste, volontairement, ne reproduit pas la réalité objective de son analysant, mais élabore des hypothèses métapsychologiques, dépendantes de son propre inconscient et de son propre transfert - de la même manière, j’assume les récits des initiatives éducationnelles et les hypothèses interprétatives en tant que formulations personnelles. Je me suis inspiré aussi du concept d’acte, plus spécifiquement de l’acte analytique formulé par Jacques Lacan, dans le sens où, bien plus que d’offrir des voies déjà tracées, l’acte implique une certaine transgression et création relatives au style de chaque psychanalyste, au parcours de chaque psychanalyse et à un pari sur ses effets. Quant au chercheur, inspiré par l’acte analytique, il créé et transgresse conformément à son style et aux spécificités de sa recherche – il parie lui aussi sur ces effets de manière que, en renonçant à la mythique « capture » de l’objet à être recherché, ceux-ci ne pourront être perçus que dans un a posteriori. Je conclus donc que, au sein des écoles, bien plus que la transmission de connaissances objectives, des actes éducatifs, soutenus par des éducateurs qui admettent le manque inhérent à tout savoir, offrent des espaces de parole d’une certaine historicité et ainsi, renvoient aux références à l’ancêtre, provoquant potentiellement des effets subjectivants d’efficacité symbolique, cette dernière étant comprise comme l’efficacité de l’acceptation de la perte inhérente à la condition humaine / O clássico conceito de “eficácia simbólica” de Claude Lèvi-Strauss auxilia na interpretação das formulações de Sigmund Freud e Jacques Lacan acerca do processo humanizante de simbolização, em que, a partir da função fundamental do ancestral, o gozo é limitado pelas leis da linguagem. Importantes pesquisas psicanalíticas constatam alterações na cultura que implicam num progressivo esvaziamento da função do ancestral e, consequentemente, na fragilização da eficácia simbólica por ela sustentada, promovendo a prevalência de certos traços psicopatológicos, enquanto efeitos de condições específicas da cultura contemporânea. Nesta tese, procuro investigar se iniciativas educacionais, desenvolvidas no âmbito das escolas, podem promover efeitos de eficácia simbólica em seus educandos e educadores. Para tanto, apresento recortes de iniciativas educacionais que são por mim analisadas à luz da teoria psicanalítica. Enquanto metodologia de pesquisa, me inspirei na construção do caso, método de redação da pesquisa psicanalítica em que o psicanalista, assumidamente, não retrata a realidade objetiva de seu analisante, mas, sim, constrói hipóteses metapsicológicas, sujeitas ao seu próprio inconsciente e a sua própria transferência - da mesma forma, assumo os relatos de iniciativas educacionais e as hipóteses interpretativas enquanto construções minhas. Inspirei-me, ainda, no conceito de ato, mais especificamente no ato analítico, formulado por Jacques Lacan, no sentido de que, mais do que proporcionar caminhos pré-determinados, o ato pressupõe uma certa transgressão e criação, relativas ao estilo de cada psicanalista, ao percurso de cada psicanálise e a uma aposta em seus efeitos. Já o pesquisador, inspirado no ato analítico, cria e transgride de acordo com seu estilo e com as especificidades de sua pesquisa – ele aposta, também, em seus efeitos de forma que, renunciando à mítica “captura” do objeto a ser pesquisado, estes somente poderão ser percebidos num a posteriori. Concluo que, no âmbito das escolas, mais do que a transmissão de conhecimentos objetivos, atos educativos sustentados por educadores que aceitam a falta inerente a qualquer saber, promovem espaços de fala, de uma certa historicidade e, assim, implicam em referências à ancestralidade produzindo, potencialmente, efeitos subjetivantes de eficácia simbólica, entendida, esta, como a eficácia da assunção da perda intrínseca à condição humana.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciência Política, Programa de Pós-Graduação em Ciência Política, 2016. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2016-07-25T13:54:48Z No. of bitstreams: 1 2016_MariaEduardaBorbaDantas.pdf: 1376448 bytes, checksum: 19f684d93f1fe32797e768a5619bec18 (MD5) / Approved for entry into archive by Ruthléa Nascimento(ruthleanascimento@bce.unb.br) on 2016-07-27T20:55:30Z (GMT) No. of bitstreams: 1 2016_MariaEduardaBorbaDantas.pdf: 1376448 bytes, checksum: 19f684d93f1fe32797e768a5619bec18 (MD5) / Made available in DSpace on 2016-07-27T20:55:30Z (GMT). No. of bitstreams: 1 2016_MariaEduardaBorbaDantas.pdf: 1376448 bytes, checksum: 19f684d93f1fe32797e768a5619bec18 (MD5) / O objetivo desta dissertação é o de averiguar a possibilidade de uma interpretação pós-colonial da tese da constitucionalização simbólica, desenvolvida por Marcelo Neves. Situando-nos contrariamente a compreensões recentes que têm sido ventiladas acerca da obra de Neves – particularmente, no sentido de que seria eurocêntrica e colonializante –, defendemos que o autor realiza uma descrição do constitucionalismo e do Estado Democrático de Direito desde uma perspectiva denotadamente periférica, que tensiona, desloca e critica teses centrais da teoria dos sistemas sociais. Mobilizando as distinções inclusão/exclusão e centro/periferia, Neves insere, na teoria constitucional, o tema das desigualdades e da exclusão social, permitindo a observação do constitucionalismo desde a perspectiva de uma sociedade moderna mundializada e globalizada, não obstante caracterizada também por uma evolução assimétrica e hierarquizada. Defendemos que a tese da constitucionalização simbólica dá azo ao surgimento de um constitucionalismo periférico, possibilitando uma reflexão sobre questões clássicas das teorias da democracia, da teoria política e do constitucionalismo, e é imprescindível para repensar – desde um ponto de vista periférico – as relações entre direito, política e Estado Democrático de Direito, seja no centro, seja nas periferias da sociedade mundial. ________________________________________________________________________________________________ ABSTRACT / The purpose of this dissertation is to enquire about the possibility of a post-colonial take on the symbolic constitutionalization thesis, developed by Marcelo Neves. Positioning ourselves against recent comprehensions of Neves's work – specifically, the ones arguing that it is Eurocentric and colonizing –, we contend that the author promotes a description of constitutionalism and of Democratic State from an eminently peripheral perspective, tensioning, shifting and criticizing some of social systems theory most important thesis. Mobilizing the distinctions inclusion/exclusion and center/periphery, Neves looks into constitutional theory through the themes of social inequalities and exclusion, allowing for the observation of constitutionalism in the framework of a mundialized and globalized modern society, nevertheless marked by an asymmetrical, hierarchized evolution. We propose that the symbolic constitutionalization thesis opens the possibility for the emergence of a peripheral constitutionalism, which grants a reflection on classical questions forwarded by theories of democracy, political theory and constitutionalism, and is crucial to rethink – from a peripheral point of view – the relationships between law, politics and Democratic State, whether in the center, whether in the peripheries of world society.

Dissertação apresentada ao Programa de Pós-Graduação em Educação da Universidade do Extremo Sul Catarinense – UNESC, como requisito parcial para obtenção do título de Mestre em Educação. / A evasão escolar tem apresentado, ao longo dos anos, números alarmantes nas instituições de ensino do país. Nos cursos técnicos subsequentes do Instituto Federal de Santa Catariana (IF-SC) os altos índices de evasão tem chamado atenção. Além do desperdício de recursos públicos, a Instituição não está atendendo totalmente seu principal objetivo, que é de elevar o grau de escolaridade da população, demostrando que são necessárias ações para reverter esse quadro. Neste sentido, este estudo teve como objetivo compreender os motivos que levam os estudantes a se evadirem dos cursos técnicos subsequentes do IF-SC – Campus Criciúma. Como objetivos específicos, foi proposto analisar o perfil socioeconômico dos estudantes evadidos e o perfil dos estudantes que permaneceram; identificar os diferentes motivos que levam os estudantes à evasão e que não constam no Plano de Desenvolvimento Institucional (PDI) e apresentar elementos para a instituição e servidores repensarem as potencialidades de mudança em suas práticas. A partir de revisão bibliográfica sobre questões relacionadas ao fracasso, evasão escolar e violência simbólica, buscou-se compreender o fenômeno da evasão escolar no contexto do IF-SC. Para isto, utilizaram-se os conceitos de Maria Helena Souza Patto e Pierre Bourdieu. Esta é uma pesquisa de cunho exploratório com uma abordagem qualitativa e quantitativa. Como instrumentos de coletas de dados empíricos foram utilizados questionários com os estudantes ingressantes nos cursos subsequentes no primeiro semestre de 2014 e entrevistas com os estudantes dessa turma que foram evadindo ao longo do mesmo ano. Os resultados de pesquisa indicaram que o principal motivo da evasão é a dificuldade de estudar e trabalhar ao mesmo tempo, sendo que os alunos trabalhadores com melhor renda apresentam uma maior tendência a evadir, pois não percebem o investimento no curso técnico como rentável após a formatura. A violência simbólica também foi detectada nos depoimentos dos estudantes, assim como a não identificação com o curso, além de outros motivos que levam à evasão. A pesquisa também analisou o PDI do IF-SC e verificou que, no que trata da evasão, é superficial e necessita de uma reavaliação.

Under new perspectives and new looks, this research seeks to understand postmodern society under a sociological and understanding bias, where fashion is one of the central points. The social power along with the fashion, are supported by the theory of the imaginary whose analysis presents new notes for the ways of thinking and creating fashion. The problematic of this thesis arises with the unsustainable aspects of the contemporary fashion, fruit of a utilitarian and progressive modernity. Hypothetically, social networks as devices of the imaginary support this process of sustainable production giving visibility to the narrative, allowing the identification and materialization of the subjectivity of the social imaginary. The author proposes Six Essential Characters that should serve as guidelines for a phenomenological analysis. They are, virtualized sustainability; Postmodern crafts; Nomadism; Technological narrative; Time and space on-line; And object with aura. The aim was to create an analysis alignment whose dichotomous inspiration of the terms came from Maffesoli 's readings, and its main purpose is to propose a form of dissemination of social imaginaries, from which social networks should function as symbolic enhancers for new forms of fashion creation. The chosen methodology permeates the study from the theoretical reference to the technique of analysis, which is the narration of the lived. The understanding character, brings possibilities and does not present concrete results, is a discourse of the social. The result of the analysis comes from the intertwining between these characters and the hatter's case study. Thus, it was possible to conclude that Du E-holic materializes its potentialities in the hat, an object not compulsory in the current dress, but which is acquired by what it represents, by the symbolic value that it involves, by the magic, by the aura that emanates and without Social networks as devices of the imaginary, Du E-holic would not have enough visibility to instill possibilities about sustainability in fashion. / Submitted by Graziela Brunhari Kauling (graziela.kauling@unisul.br) on 2017-12-13T17:39:15Z No. of bitstreams: 2 license_rdf: 805 bytes, checksum: c4c98de35c20c53220c07884f4def27c (MD5) TESE Graziela Brunhari Kauling.pdf: 3524624 bytes, checksum: ea48a30245d35d16b4a8656481044c54 (MD5) / Approved for entry into archive by Kellen Oliveira (kellen.oliveira@unisul.br) on 2017-12-14T11:39:33Z (GMT) No. of bitstreams: 2 license_rdf: 805 bytes, checksum: c4c98de35c20c53220c07884f4def27c (MD5) TESE Graziela Brunhari Kauling.pdf: 3524624 bytes, checksum: ea48a30245d35d16b4a8656481044c54 (MD5) / Made available in DSpace on 2017-12-14T11:39:33Z (GMT). No. of bitstreams: 2 license_rdf: 805 bytes, checksum: c4c98de35c20c53220c07884f4def27c (MD5) TESE Graziela Brunhari Kauling.pdf: 3524624 bytes, checksum: ea48a30245d35d16b4a8656481044c54 (MD5) Previous issue date: 2017 / A partir de novas perspectivas e novos olhares, esta pesquisa procura entender a sociedade pós-moderna sob um viés sociológico e compreensivo, em que a moda é um dos pontos centrais. A potência social, juntamente com a moda, é amparada pela teoria do imaginário cuja análise apresenta novos apontamentos para as formas de pensar e criar moda. A problemática desta tese surge com os aspectos insustentáveis da moda contemporânea, fruto de uma modernidade utilitarista e progressista. Hipoteticamente, as redes sociais, enquanto dispositivos do imaginário, dão suporte a esse processo de produção sustentável, dando visibilidade à narrativa, permitindo a identificação e materializando a subjetividade do imaginário social. A autora propõe Seis Caracteres Essenciais que devem servir como eixos norteadores para uma análise fenomenológica. São eles: sustentabilidade virtualizada; artesania pós-moderna; nomadismo potencializador; narrativa tecnológica; tempo e espaço on-line e objeto com aura. O intuito foi criar um alinhamento de análise cuja inspiração dicotômica dos termos surgiu a partir das leituras de Maffesoli, e visa principalmente propor uma forma de disseminação de imaginários sociais, das quais as redes sociais devem funcionar como potencializadoras simbólicas para novas formas de criação de moda. A metodologia escolhida permeia o estudo desde o referencial teórico até a técnica de análise, que é a narração do vivido. O caráter compreensivo traz possibilidades e não apresenta resultados concretos, pois é um discurso do social. O resultado da análise vem do entrecruzamento entre esses caracteres e o estudo de caso do chapeleiro. Assim, foi possível concluir que Du E-holic materializa suas potencialidades no chapéu, um objeto não obrigatório na vestimenta atual, mas que é adquirido pelo que representa, pelo valor simbólico que envolve, pela magia, pela aura que emana. Além disso, sem as redes sociais como dispositivos do imaginário, Du E-holic não teria visibilidade suficiente para instituir possibilidades sobre a sustentabilidade na moda.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2012. / Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2013-03-26T12:25:57Z No. of bitstreams: 1 2012_LynwoodLivideSouza.pdf: 3283291 bytes, checksum: bad0af51e42f936c999d812381f18ea1 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2013-03-26T13:54:38Z (GMT) No. of bitstreams: 1 2012_LynwoodLivideSouza.pdf: 3283291 bytes, checksum: bad0af51e42f936c999d812381f18ea1 (MD5) / Made available in DSpace on 2013-03-26T13:54:38Z (GMT). No. of bitstreams: 1 2012_LynwoodLivideSouza.pdf: 3283291 bytes, checksum: bad0af51e42f936c999d812381f18ea1 (MD5) / O presente trabalho apresenta uma nova metodologia para caracterização, detecção e classificação de sinais de exames de eletroencefalografia (EEG), visando o aprimoramento e agilidade na obtenção de diagnósticos com o objetivo de auxiliar o profissional de saúde, uma vez que os exames de EEG são caracterizados por longos trechos de registros temporais da atividade elétrica do cérebro, que devem ser minuciosamente examinados pelos médicos. Devido à dificuldade associada à caracterização e à detecção de sinais epileptiformes e à importância do diagnóstico, existem na literatura vários métodos desenvolvidos para abordar este problema, tais como: Métodos Auto-Regressivos (AR), Aproximação da Energia (TEO), Análise de Domínio de Freqüência, Análise de Tempo-Frequência, Transformada de Wavelets e Métodos Não- Lineares como os modelos estatísticos. Porém, nenhum modelo não foi capaz de atingir uma performance inteiramente confiável em seus resultados, onde a média de acertos entre os trabalhos expostos na literatura fica em torno de 80,7%, um índice de acertos que apesar de significativo, ainda não é satisfatório para este tipo de exame. A fim de contribuir para o estudo do problema, propôs-se neste trabalho a aplicação da Dinâmica Simbólica para caracterização dos sinais, que se baseia na representação por seqüências de símbolos do estado do sistema e operadores de mudança de estado, e algoritmos genéticos para a otimização da representação, de forma que os sinais epileptiformes pudessem ser distinguidos dos sinais considerados normais por uma rede neural artificial, treinada para este fim. Os resultados obtidos demonstram que a metodologia fornece 92,4% de precisão e 96% de acerto. _______________________________________________________________________________________ ABSTRACT / This paper presents a new technique for characterization and classification of signals of tests electroencephalography (EEG), seeking to improve agility and make a diagnosis in order to assist the professional, since the EEG tests are characterized by long stretches of time records electrical activity of the brain that should be thoroughly examined by doctors. Due to the difficulty associated with the characterization and detection of epileptiform signs and the importance of diagnosis exist in literature several methods developed to address this problem, such as autoregressive method (AR), Energy Approach (TEO), Domain Analysis Frequency, Time-Frequency Analysis, Wavelet Transform and Non-Linear methods such as statistical models. But no model has not been able to achieve a performance fully confident in their results, where the mean score among the works exhibited in the literature is around 80.7%, although a number is not a significant acceptable value for this type of examination. To contribute to the study of the problem, proposed in this paper the application of symbolic dynamics for the characterization of signals, which is based on representation by sequences of symbols of the state of the system and operators of state change, and genetic algorithms for optimization of the representation, so that the signals could be distinguished from epileptiform signals considered normal for an artificial neural network trained for this purpose. The results demonstrate that the method provides 92.4% precision and 96% accuracy.

Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-10T04:02:35Z (GMT). No. of bitstreams: 1 BatistaNeto_AlbertoLeopoldo_M.pdf: 764702 bytes, checksum: 38e943aef1a6e4a5f892916208eca7a5 (MD5) Previous issue date: 2007 / Resumo: Visando a atingir um esclarecimento sobre os conceitos fundamentais envolvidos no estudo das combinações entre lógicas, empreendemos uma alise do problema da representação geral de sistemas lógicos (com ênfase no conceito central de conseqüência lógica), juntamente com o do estabelecimento de uma noção apropriada de tradução ou morfismo entre os sistemas definidos de um determinado modo, com base em que podemos fundamentar algumas técnicas de combinação, especialmente a fibrilação algébrica. Tais técnicas são definidas e apresentadas em suas propriedades mais relevantes, sendo encontrados, no caso particular da fibrilação, problemas tais como o colapso e o anti-colapso. Para estes, a solução parece residir na escolha de formas adequadas de representar lógicas em geral e de traduzir lógicas umas nas outras. Uma apresentação modelo-teorética mostra-se apropriada para algumas representações de lógicas em geral (como, por exemplo, sistemas de Hilbert), embora não o seja para outras (como sistemas de conseqüências múltiplas). No entanto, duas das mais promissoras tentativas de solucionar, em particular, o problema do anti-colapso da fibrilação algébrica as meta-traduções e os transfers elementares podem ser definidas dentro desse arcabouço. Os transfers incluindo os transfers elementares - foram definidos em [17] - e aqui apresentamos uma representação das meta-traduções como tipo específico de transfer / Abstract: In order to accomplish an elucidation of the fundamental concepts involved in the study of the combinations between logics, we undertake an analysis of the problem of the general representation of logical systems (with an emphasis on the central concept of logical consequence) together with that of the establishment of an appropriate notion of translation or morphism between the logical systems defined in a certain fashion, on which basis we can ground some of the combination techniques, specially that of algebraic fibring. Such techniques are defined and presented in their most relevant features, and we find, in the particular case of fibring, problems such as collapsing and anticollapsing. The solution for these seem to rest on the choice of adequate forms of representing logics in general and translating logics into others. A modeltheoretic presentation shows itself appropriate for some representations of logics in general (such as Hilbert calculi), although they are not for some others (such as multipleconclusion systems). Notwithstanding, two of the most promising attempts to solve, in particular, the problem of the anticollapsing of algebraic fibring metatranslations and elementary transfers , are definable within that framework. Transfers including elementary transfers have been defined in [17] and we here present a representation of metatranslations as an specific kind of transfers / Mestrado / Logica / Mestre em Filosofia

Submitted by Isaac Francisco de Souza Dias (isaac.souzadias@ufpe.br) on 2016-01-19T17:42:17Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) dissertation.pdf: 864300 bytes, checksum: 624346f890c947cf26d691a5fc74d707 (MD5) / Made available in DSpace on 2016-01-19T17:42:17Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) dissertation.pdf: 864300 bytes, checksum: 624346f890c947cf26d691a5fc74d707 (MD5) Previous issue date: 2015-04-24 / FACEPE / Probabilistic software analysis aims at quantifying how likely a target event is to occur, given a probabilistic characterization of the behavior of a program or of its execution environment. Examples of target events may include an uncaught exception, the invocation of a certain method, or the access to confidential information. The technique collects constraints on the inputs that lead to the target events and analyzes them to quantify how likely it is for an input to satisfy the constraints. Current techniques either handle only linear constraints or only support continuous distributions using a “discretization” of the input domain, leading to imprecise and costly results. This work proposes an iterative distribution-aware sampling approach to support probabilistic symbolic execution for arbitrarily complex mathematical constraints and continuous input distributions. We follow a compositional approach, where the symbolic constraints are decomposed into sub-problems whose solution can be solved independently. At each iteration the convergence rate of the computation is increased by automatically refocusing the analysis on estimating the sub-problems that mostly affect the accuracy of the results, as guided by three different ranking strategies. Experiments on publicly available benchmarks show that the proposed technique improves on previous approaches in terms of scalability and accuracy of the results. / Análise Probabilística de Software (PSA) visa a quantificar a probabilidade de que um evento de interesse seja alcançado durante a execução de um programa, dada uma caracterização probabilística do comportamento do programa ou do seu ambiente de execução. O evento de interesse pode ser, por exemplo, uma exceção não capturada, a invocação de um método específico, ou o acesso à informação confidencial. A técnica coleta restrições sobre as entradas que levam para os eventos de interesse e as analisa para quantificar o quão provável que uma entrada satisfaça essas restrições. Técnicas atuais ou suportam apenas restrições lineares, ou suportam distribuições contínuas utilizando uma "discretização" do domínio de entrada, levando a resultados imprecisos e caros. Este trabalho apresenta uma abordagem iterativa, composicional e sensível às distribuições para suportar o uso de PSA em restrições com operações matemáticas arbitrariamente complexas e distribuições contínuas de entrada. Nossa abordagem composicional permite que as restrições sejam decompostas em subproblemas que podem ser resolvidos independentemente. Em cada iteração a análise é reorientada automaticamente para a estimação dos subproblemas que mais afetam a precisão dos resultados, assim aumentando a taxa de convergência da computação. Esta reorientação é guiada por três diferentes estratégias de ranqueamento. Experimentos em programas publicamente disponíveis mostram que a técnica proposta é melhor do que abordagens existentes em termos de escalabilidade e precisão.

Made available in DSpace on 2014-06-12T15:59:28Z (GMT). No. of bitstreams: 2 arquivo5127_1.pdf: 1281889 bytes, checksum: 27f0d0f476fb317baa37e42f70c3bf82 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / Este trabalho propõe NLForSpec, uma ferramenta para geração de especificações formais a partir de casos de teste em Linguagem Natural. NLForSpec é parte de um projeto maior desenvolvido em parceria entre o CIn-UFPE e a Motorola, que tem como objetivo automatizar a seleção, geração e avaliação de casos de teste para aplicações de telefones móveis. Uma das principais tarefas desse projeto é atualizar automaticamente os requisitos a partir de casos de teste mais atuais. Nesse cenário, a ferramenta NLForSpec é responsável por gerar especificações na linguagem formal CSP (Communicating Sequential Processes) a partir de descrições de casos de teste. Essas especificações serão utilizadas como entrada no processo de atualização ou geração de documentos de requisitos a partir de casos de teste mais atuais. NLForSpec foi construída com base na arquitetura simbólica tradicional para interpretação de LN, e contém quatro bases de conhecimento (Léxico, Gramática de Casos, Ontologia e Base de Especificações CSP) e três módulos de processamento (POS-Tagging, Processamento Semântico e Geração de Casos de Teste Formais). NLForSpec apresentou um desempenho satisfatório em um estudo de caso realizado para o domínio de descrições de casos de teste para aplicações de Messaging da Motorola