Spelling suggestions: "subject:"1ogica."" "subject:"biologica.""
331 |
[en] MEASUREMENT AND EVALUATION OF INTANGIBLE ASSETS AND VALUE CREATION OF DIAGNOSIS AND TESTING LABORATORIES FOR ELECTRICAL EQUIPMENTS / [pt] MENSURAÇÃO E AVALIAÇÃO DOS ATIVOS INTANGÍVEIS E CRIAÇÃO DE VALOR DAS ATIVIDADES DE LABORATÓRIOS DE DIAGNÓSTICO E ENSAIOS DE EQUIPAMENTOS ELÉTRICOSARNOLDO FURTADO DE SA 20 February 2019 (has links)
[pt] Dentre os objetivos do Plano Estratégico do Sistema Eletrobras, destacam-se a intensificação da atuação integrada em pesquisa, desenvolvimento e inovação (PD e I) e a mensuração dos ativos tangíveis e intangíveis para geração de valor para o Sistema Eletrobras. Nesse contexto, esta pesquisa buscou contribuir para o aprimoramento da gestão de ativos intangíveis no âmbito da Rede de Laboratórios das Empresas Eletrobras (Relase), ao tornar disponível um modelo de mensuração e avaliação de ativos intangíveis desenvolvido para laboratórios de diagnóstico e ensaios de equipamentos elétricos. A pesquisa pode ser considerada descritiva, metodológica e aplicada. A partir dos resultados da revisão bibliográfica e
documental sobre os temas centrais da pesquisa, adaptou-se, para fins de aplicação em laboratórios de diagnóstico e ensaios de equipamentos elétricos, um modelo conceitual que já vem sendo adotado por instituições de Ciência e Tecnologia europeias para elaboração de seus relatórios de capital intelectual. Para a proposição e seleção dos indicadores e métricas que integram o modelo, empregaram-se métodos multicritério de apoio à decisão combinados com lógica fuzzy. A aplicabilidade do modelo pôde ser demonstrada mediante um estudo empírico no Laboratório de Diagnóstico em Equipamentos e Instalações Elétricas (Labdig) do Centro de Pesquisas de Energia Elétrica (Cepel). Considera-se que o ferramental desenvolvido por esta pesquisa possa ser replicado no âmbito da Relase, que abrange hoje um total de 98 laboratórios, sendo 16 destes acreditados para serviços de calibração. / [en] Among the objectives of the Eletrobras System Strategic Plan, two of them are highlighted – the intensification of the integrated practice in research, development and innovation (RD and I); and the measurement of tangible and intangible assets to generate value for the Eletrobras System. In this context, this dissertation aims at contributing to the improvement of the management of intangible assets within the Eletrobras Companies Laboratories Network (Relase – Rede de Laboratórios das Empresas Eletrobras), by providing an intangible asset measurement and assessment model developed for electrical equipment diagnosis and testing laboratories. The research can be considered descriptive, methodological and applied. Based on the results of the bibliographic review and documentary analysis on the central themes of the research, a conceptual model was adapted for the context of diagnosis and testing laboratories, which has already been adopted by European Science and Technology institutions concerning elaboration of their intellectual capital reports. In this research, for the proposal and selection of indicators and metrics, multicriteria decision support methods were incorporated into the model, combined with fuzzy logic. The applicability of the model has been demonstrated through an empirical study in the Laboratório de Diagnóstico em Equipamentos e Instalações Elétricas (Labdig) do Centro de Pesquisas de Energia Elétrica (Cepel). The results of this research can be replicated within Relase, which covers today a total of 98 laboratories, of which 16 are accredited for calibration services.
|
332 |
Uma abordagem matemática para auxiliar o diagnóstico de demências: tratando incertezas e quantificando processos / A mathematical approach to assist the diagnosis of dementia: treating uncertainties and quantifying processesFreire, Rodolpho 24 November 2014 (has links)
Este trabalho apresenta o desenvolvimento de um modelo para quantificar e apoiar o processo diagnóstico de demências (Demência de Alzheimer, Demência Vascular, Demência Frontotemporal e Demência de Corpos de Lewy), composto por três sub modelos. O primeiro modelo matemático proposto e baseado na teoria dos conjuntos fuzzy e tem como objetivo fornecer um escore de comprometimento cognitivo. Como resultado de sua aplicação em uma base com dados reais com 60 casos, obtivemos 52 acertos e 8 erros (13%) e uma área sob a curva ROC de 0,80. O segundo modelo permite identificar o tipo de demência, e optouse por utilizar um diagrama de decisão para representar o conhecimento do especialista. O diagrama foi modelado com base nas características de cada patologia e quando submetido aos testes dos especialistas obtivemos índices de erro que variam de 2% a 18%. Sendo a demência de Alzheimer a mais prevalente entre as demências e considerando a importância das neuroimagens para o diagnóstico diferencial, realizamos a avaliação de três técnicas de análise de neuroimagem, sendo duas multivariadas e uma univariada. Como resultado obtivemos que os modelos multivariados se mostram mais eficientes para avaliação de alterações morfológicas no cerébro em relação aos modelos univariados. Porém a complexidade de realização das análises não permitem nesse momento a integração de técnicas de avaliação de neuroimagens com modelos diagnósticos a serem usados em ambulatório. Durante a anamnese, o médico avalia, além do comprometimento cognitivo, sinais e sintomas que permitam identificar o tipo de demência bem como um conjunto de fatores de risco e de proteção que permite mensurar o risco do indivíduo desenvolver algum tipo de demência. Para avaliar esses fatores foi criado um modelo de risco de demência com base nos fatores de risco e proteção que comumente são analisados pelos médicos. Esse modelo foi avaliado por três especialistas e obtivemos índices de erro que variaram entre 13% e 20% e um índice de correlaço de Spearman que variou de 0,63 a 0,69. / This study proposes the development of a model to quantify and support the process of diagnose of dementia (Alzheimer\'s Dementia, Vascular Dementia, Frontotemporal Dementia and Dementia with Lewy Bodies) composed by three sub-models. The first mathematical model is based in the theory of fuzzy sets, and provides a score for cognitive impairment. As a result we obtained 52 correct classifications and eight errors (13%) and the area under the ROC curve was 0.80. In the second model a decision tree was elaborated to represent the expert\'s knowledge of the type of dementia. The decision diagram was modeled based on the characteristics of each pathology and the decision paths was tested by experts, resulting in erros varing between 2% to 18%. Since the Alzheimer\'s Disease is the most prevalent dementia and considering the importance of neuroimage exams to the dfferential diagnosis, we perform a evaluation of three techniques focused on neuroimage analisys, two multivariate techniques and one univariate technique. As a result it was verified that multivariate models are more efective to evaluate the morphological changes in the brain, compared to univariate models. However, the complexity to perform a analysis does not allows, at this moment, to integrate the neuroimage evaluation techniques whith diagnostic models designed to support the clinician in the ambulatory rotine. During the anamnesis the doctor evaluates (in addition to cognitive impairment and symptoms focused on identify the type of dementia), a number of risk and protection factors that allows measure the risk of the individual developing dementia. To perform the evaluation of these factors, a model of dementia risk was created based on the risk and protective factors that are commonly evaluated during the anmnese process. This model was evaluated by three experts and we achieve erros varing between 13% and 20% and Spearman\'s correlation value between the scores of 0.63 to 0.69.
|
333 |
Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais / Descriptive complexity of the logic of higher order with lower fixed point and analysis of expression of some modal logicsCibele Matos Freire 13 August 2010 (has links)
Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes
problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado
pela logica existencial de segunda-ordem, considerado o primeiro resultado da area,
outras relac~oes entre logicas e classes de complexidade foram estabelecidas. Os resultados
mais conhecidos normalmemte envolvem logica de primeira-ordem e suas extens~oes,
e classes de complexidade polinomiais em tempo ou espaco. Alguns exemplos sÃo que a
logica de primeira-ordem estendida com o operador de menor ponto xo captura a clsse
P e que a logica de segunda-ordem estendida com o operador de fecho transitivo captura
a classe PSPACE. Nesta dissertaÃÃo, analisaremos inicialmente a expressividade de algumas
logicas modais com relacÃo ao problema de decisÃo REACH e veremos que e possvel
expressa-lo com as logicas temporais CTL e CTL. Analisaremos tambem o uso combinado
de logicas de ordem superior com o operador de menor ponto xo e obteremos como
resultado que cada nvel dessa hierarquia captura cada nvel da hierarquia determinstica
em tempo exponencial. Como corolario, provamos que a hierarquia de HOi(LFP) nÃo
colapsa, ou seja, HOi(LFP) HOi+1(LFP) / In Descriptive Complexity, we investigate the use of logics to characterize computational
classes os problems through complexity. Since 1974, when Fagin proved that the
class NP is captured by existential second-order logic, considered the rst result in this
area, other relations between logics and complexity classes have been established. Wellknown
results usually involve rst-order logic and its extensions, and complexity classes
in polynomial time or space. Some examples are that the rst-order logic extended by
the least xed-point operator captures the class P and the second-order logic extended by
the transitive closure operator captures the class PSPACE. In this dissertation, we will
initially analyze the expressive power of some modal logics with respect to the decision
problem REACH and see that is possible to express it with temporal logics CTL and
CTL. We will also analyze the combined use of higher-order logics extended by the least
xed-point operator and obtain as result that each level of this hierarchy captures each
level of the deterministic exponential time hierarchy. As a corollary, we will prove that the
hierarchy of HOi(LFP), for i 2, does not collapse, that is, HOi(LFP) HOi+1(LFP)
|
334 |
MENTALISMO VS. ANTI-MENTALISMO. UN'ANALISI EPISTEMOLOGICA E UNA RICERCA EMPIRICA. / MENTALISM VS. ANTI-MENTALISM AN EPISTEMOLOGICAL ANALYSIS AND AN EMPIRICAL RESEARCHLO DICO, GIUSEPPE 13 March 2009 (has links)
Per spiegare i loro risultati gli psicologi sperimentali fanno uso di termini riferentisi al mentale. Tuttavia, nel corso della storia, essi hanno definito in modi differenti il concetto di mente e quindi il significato dei termini usati nelle sue teorie. Nella prima parte della tesi sono discusse quattro opzioni epistemologiche in base alle quali tali termini sono stati interpretati nella storia della psicologia scientifica (il ‘mentalismo’ dell’introspezionismo, l’‘anti-mentalismo’ del comportamentismo, il ‘mentalismo’ del cognitivismo, l’ ‘antimentalismo’ delle neuroscienze cognitive). Assumere una di queste posizioni piuttosto che un’altra implica il porre l’attenzione su tipi diversi di dati e dunque la scelta di differenti metodologie di raccolta e analisi degli stessi.
Nella seconda parte vengono replicati gli esperimenti del neurologo Damasio per testare la sua “ipotesi del marcatore somatico”. Tali esperimenti sono interessanti perchè utilizzano dati e metodologie che fanno riferimento a tutte e quattro le opzioni epistemologiche descritte nella prima parte. I risultati qui presentati non replicano quelli di Damasio e dunque sembrano falsificare la sua ipotesi.
L’analisi empirica e quella epistemologica mostrano come l’opzione mentalistico-introspezionistica (rifiutatata da Damasio in favore di quella neuroscientifica) meriti di essere considerata e perseguita come linea metodologica che può dare origine a risultati scientificamente fecondi. / Experimental psychologists use terms referring to mind for explaining their results. However, in the course of history, they have defined the concept of mind in many ways and so the meaning of the terms used in its theories. In the first part of this work four epistemological options according to which these terms have been interpreted all along the history of experimental psychology are discussed (the ‘mentalism’ of introspectionism, the ‘anti-mentalism’ of behaviourism, the ‘mentalism’ of cognitivism, the ‘anti-mentalism’ of cognitive neuroscience). Assuming one of these options implies to consider different kinds of data and so to choose different data collecting and analyzing methodologies.
In the second part the experiments proposed by neurologist Damasio for testing his ‘somatic marker hypothesis’ are replicated. Such experiments are interesting because they appeal to data and methodologies referring to all the four epistemological options above considered. The results presented do not replicate the Damasio’s ones and so they seem to falsify his hypothesis.
The epistemological analysis and the empirical research show how the introspectionistic-mentalistic option (refused by Damasio in favour of the neuroscientific option) deserve to be considered as a reliable methodological that can lead to important scientific results.
|
335 |
[en] HIERARCHICAL FUZZY INFERENCE SYSTEMS APPLIED TO HUMAN RELIABILITY ASSESSMENT / [pt] SISTEMAS DE INFERÊNCIA FUZZY HIERÁRQUICOS APLICADOS À CARACTERIZAÇÃO DA CONFIABILIDADE HUMANANICHOLAS PINHO RIBEIRO 09 June 2015 (has links)
[pt] A maioria dos estudos existentes em controle de qualidade de processos focam no desempenho de máquinas e ferramentas. Assim, estes já contam com bons métodos para serem controlados. Contudo, erros humanos em potencial estão presentes em todos os processos industriais que contenham a relação homem-máquina, fazendo com que a necessidade de se avaliar a qualidade do desempenho humano seja de igual importância. A abordagem para se avaliar quão suscetível à falha humana estão tais processos baseiam-se em probabilidades de erro, supondo que o desempenho humano funciona da mesma maneira que o desempenho de máquinas, ou em PSFs (Performance Shaping Factors), variáveis representativas de características de desempenho humano. Embora esta última abordagem seja mais eficiente, ainda existem críticas a sua falta de contextualização: tais características são avaliadas separadamente uma das outras, e independentemente da tarefa que o operador esteja realizando. Sistemas de Inferência Fuzzy (SIFs) permitem que variáveis lingüísticas sejam avaliadas em conjunto, isto é, passa a ser possível criar um modelo que assimile as nuances da variação do comportamento de um PSF concomitantemente com a alteração de outro PSF. Dessa forma, a caracterização da confiabilidade humana, considerando que diversos PSFs afetam no desempenho dos demais, pode ser satisfeita ao se fazer uso de SIFs interligados seqüencialmente - SIFs hierárquicos. Para se contextualizar a caracterização da confiabilidade humana por tarefa realizada, necessita-se que os PSFs pertinentes a cada determinada tarefa sejam medidos novamente e realimentados ao sistema (desenvolvido nesta dissertação). O SIF geral (composto por nove camadas de SIFs hierárquicos) foi testado com dados hipotéticos e dados reais de operadores e tarefas de uma empresa do setor elétrico brasileiro. Os resultados encontrados foram satisfatórios e evidenciaram que a Lógica Fuzzy, na forma de SIFs hierárquicos, pode ser utilizada para caracterizar a confiabilidade humana, com a vantagem de fazê-lo enquanto seu contexto é considerado. / [en] Most of existing studies in quality control focus on machinery performance. There are effective and advanced control methods to deal with that. However, potential human errors are present in every industrial process operated by humans. Therefore, evaluating the quality of human performance becomes as important as evaluate machinery s. The approach to evaluate how much processes are susceptible to human error are based on error probabilities, by assuming that human performance is similar to machinery performance, or on PSFs (Performance Shaping Factors) – variables representing human features. Although this based approach is more efficient, there are still criticisms about its lack of context awareness: those features are evaluated separately from one another, and regardless of which task the employee is performing. Fuzzy Inference Systems (FISs) allow linguistic variables to be evaluated simultaneously, thus making it possible to develop a method that gathers the nuances of behavioral changes of a PSF whilst another PSF varies. With this method, and considering that different PSFs affect the performance of others, human reliability can be assessed through the use of sequentially interconnected FISs – Hierarchical Fuzzy Inference Systems. In order to contextualize this assessment by tasks, each of the PSFs that affects each task will have to be measured and fed into the system (as developed within this dissertation) once per task and per employee. The main FIS (which contains nine layers of hierarchical FISs) was tested by using both hypothetical and real data from operators and tasks of a Brazilian electricity company. Results were satisfactory and attested that Fuzzy Logic, in the form of hierarchical FISs, can be used to assess human reliability, with the advantage of also taking the context into account.
|
336 |
Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais / Descriptive complexity of the logic of higher order with lower fixed point and analysis of expression of some modal logicsFreire, Cibele Matos January 2010 (has links)
Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-06-14T19:46:59Z
No. of bitstreams: 1
2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-06-14T19:48:16Z (GMT) No. of bitstreams: 1
2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5) / Made available in DSpace on 2016-06-14T19:48:16Z (GMT). No. of bitstreams: 1
2010_dis_cmfreire.pdf: 426798 bytes, checksum: 4ad13c09839833ee22b0396a445e8a26 (MD5)
Previous issue date: 2010 / In Descriptive Complexity, we investigate the use of logics to characterize computational classes os problems through complexity. Since 1974, when Fagin proved that the class NP is captured by existential second-order logic, considered the rst result in this area, other relations between logics and complexity classes have been established. Wellknown results usually involve rst-order logic and its extensions, and complexity classes in polynomial time or space. Some examples are that the rst-order logic extended by the least xed-point operator captures the class P and the second-order logic extended by the transitive closure operator captures the class PSPACE. In this dissertation, we will initially analyze the expressive power of some modal logics with respect to the decision problem REACH and see that is possible to express it with temporal logics CTL and CTL . We will also analyze the combined use of higher-order logics extended by the least xed-point operator and obtain as result that each level of this hierarchy captures each level of the deterministic exponential time hierarchy. As a corollary, we will prove that the hierarchy of HOi(LFP), for i 2, does not collapse, that is, HOi(LFP) HOi+1(LFP) / Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela logica existencial de segunda-ordem, considerado o primeiro resultado da area, outras relac~oes entre logicas e classes de complexidade foram estabelecidas. Os resultados mais conhecidos normalmemte envolvem logica de primeira-ordem e suas extens~oes, e classes de complexidade polinomiais em tempo ou espaco. Alguns exemplos são que a l ogica de primeira-ordem estendida com o operador de menor ponto xo captura a clsse P e que a l ogica de segunda-ordem estendida com o operador de fecho transitivo captura a classe PSPACE. Nesta dissertação, analisaremos inicialmente a expressividade de algumas l ogicas modais com rela cão ao problema de decisão REACH e veremos que e poss vel express a-lo com as l ogicas temporais CTL e CTL . Analisaremos tamb em o uso combinado de l ogicas de ordem superior com o operador de menor ponto xo e obteremos como resultado que cada n vel dessa hierarquia captura cada n vel da hierarquia determin stica em tempo exponencial. Como corol ario, provamos que a hierarquia de HOi(LFP) não colapsa, ou seja, HOi(LFP) HOi+1(LFP) / FREIRE, Cibele Matos. Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais. 2010. 54 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2010.
|
337 |
Kant e a musica na Critica da Faculdade do Juizo / Kant and the music in the Critique of JudgementJusti, Vicente de Paulo, 1950- 14 August 2018 (has links)
Orientador: Jose Oscar de Almeida Marques / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-14T05:15:28Z (GMT). No. of bitstreams: 1
Justi_VicentedePaulo_D.pdf: 1436170 bytes, checksum: df13abd731e3bf77576a57604166fbd6 (MD5)
Previous issue date: 2009 / Resumo: A proposta deste trabalho é verificar o tratamento dado por Immanuel Kant na Crítica da Faculdade do Juízo à música. Sob a aparente desconsideração do autor neste tema, encontra-se uma filosofia densa que provoca reflexões e contribui decisivamente para a discussão sempre atual sobre a apreensão, compreensão e classificação da música. A possibilidade de reconhecermos a música como agradável, bela e sublime constitui-se o núcleo central dos problemas analisados. No primeiro capítulo discutimos os conceitos kantianos apresentados na Terceira Crítica como sensação, sentimento, comoção, afeto, prazer, forma, conformidade a fins, intuição, juízos e reflexão. O problema é verificar se estes conceitos, tal como apresentados por Kant, podem ainda contribuir para a nossa compreensão do fenômeno musical. No segundo capítulo verificamos o mecanismo de funcionamento das faculdades de conhecimento kantianas na apreensão e compreensão do fenômeno musical. O terceiro capítulo é reservado à discussão da possibilidade de classificarmos a música como agradável e as condições desta proposição. A música bela é o tema do quarto capítulo, onde além da discussão do problema que dá nome ao capítulo, analisamos o objeto belo, a teleologia da natureza, a arte mecânica e arte estética, a música bela e a poesia e a teoria kantiana do gênio na produção musical. O quinto capítulo discute a possibilidade e as condições de falar-se em música sublime e as incontornáveis ligações desta classificação com o domínio prático (moral). As conclusões estão centralizadas na questão de que a música bela é a única categoria realmente estética, enquanto a agradável é parcialmente estética e parcialmente prática e a sublime é totalmente prática. A beleza fundada na forma exige a cognição, no sentido de utilização do entendimento sem conceitos. A comoção é aceita na experiência estética se ligada, no sublime, à representação prática (moral) que a arte apresenta ao homem. / Abstract: The aim of this dissertation is to examine Immanuel Kant's treatment of music in his Critique of Judgment. Beneath his apparent neglect for the subject one can find a dense philosophical reflection that decisively contributes to the always current discussion about music perception, understanding and categorization. The possibility of recognizing music as being agreeable, beautiful and sublime is the central interest of the problems I analyze. In the first chapter I discuss Kantian concepts presented in the third Critique such as sensation, sentiment, commotion, affect, pleasure, conformity to ends, intuition, judgment and reflection. My aim here is to decide whether these concepts can still be of use in understanding music as a phenomenon in the way Kant presents them. In chapter two I examine how Kant understands the function of our cognitive capacities in the perception and understanding of music. Chapter three deals with the possibility and conditions for classifying music as being agreeable. Beautiful music is the topic of the fourth chapter, in which I not only discuss the concept of beauty in music, but also analyze the problem of what is a beautiful object, how does teleology work in nature, what is mechanical art as opposed to aesthetic art, beautiful music in its relation to poetry, and the role of Kant's theory of genius in musical creativity. The fifth chapter discusses the possibility and conditions of the sublime in music and the unavoidable links of this category to the domain of morality. My conclusions are that beautiful music is the only really aesthetic category, while the agreeable is only partially aesthetic and partially moral, and the sublime is totally moral. Beauty based on form requires cognition, in the sense of a non-conceptual use of the understanding. Commotion is acceptable in aesthetic experience if it is connected, in the sublime, to a moral representation that art presents to human beings. / Doutorado / Doutor em Filosofia
|
338 |
Sistemas EsquemÃticos de DeduÃÃo Natural: um Estudo Prova-TeÃrico / Schematic Natural Deduction Systems: A Proof-Theoretical StudyAlexandre Silva Cavalcante 12 March 2010 (has links)
Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / O termo Teoria da Prova foi introduzido por Hilbert para identificar o estudo sobre provas formais. Pesquisas nessa Ãrea podem ser classificadas em: a) Teoria da Prova Redutiva
ou Interpretacional, cujo objetivo à demonstrar, entre outras coisas, a consistÃncia da matemÃtica utilizando somente mÃtodos finitistas, e b) Teoria da Prova Estrutural, onde caracterÃsticas estruturais das provas formais sÃo investigadas por meio de sistemas dedutivos como DeduÃÃo Natural e CÃlculo de Sequentes. Prawitz, por meio da Teoria da
Prova, definiu uma Teoria dos Significados para constantes logicas e propÃs regras esquemÃticas de introduÃÃo e de eliminaÃÃo para caracterizar os conectivos proposicionais.
Schroeder-Heister estendeu as definiÃÃes de Prawitz e formalizou o uso de regras como hipÃteses, tornando possÃvel a utilizaÃÃo de cÃlculos para suposiÃÃes separados de cÃlculos
para constantes lÃgicas. NÃo estamos interessados na investigaÃÃo de regras esquemÃticas para dar significado a constantes lÃgicas. Pretendemos, na verdade, definir procedimentos de normalizaÃÃo esquemÃticos, baseados em tais regras esquematicas, com objetivo de identificar condiÃÃes suficientes para um sistema ser normalizÃvel. Tais resultados sÃo pertinentes à Teoria Abstrata da Prova, termo usado para identificar o estudo das condiÃÃes
abstratas e gerais para a anÃlise prova-teÃrica de sistemas formais. Teoria Abstrata da Prova nÃo estuda cÃlculos lÃgicos especÃficos, mas famÃlias de cÃlculos instÃncias de regras
esquemÃticas. A nossa proposta, portanto, baseia-se em regras esquemÃticas que podem ser instanciadas por regras concretas, em particular, por regras que introduzem operadores modais. Provamos, tambÃm, Teoremas de NormalizaÃÃoo Fraca e Forte para sistemas esquemÃticos definidos em funÃÃoo de nossas regras esquemÃticas, obtemos condiÃÃes suficientes para que um sistema instÃncia destas regras seja normalizÃvel, definimos um procedimento que normaliza deduÃÃes concretas e comparamos nossas provas de normalizaÃÃo esquemÃtica com provas de normalizaÃÃo para sistemas definidos na literatura. / The term Theory Test was introduced by Hilbert to identify the study of formal proofs. Research in this area can be classified into: a) Proof Theory of reductive
or interpretational, whose goal is to demonstrate, among other things, the consistency of mathematics using only methods finitistas, b) Structural Proof Theory, where the structural characteristics of the formal proofs are investigated by means of deductive systems as Natural Deduction and Sequent Calculus. Prawitz through Theory
Proof set a Theory of Meaning for constants logics and proposed schematic introduction rules and elimination to characterize the propositional connectives.
Schroeder-Heister settings Prawitz extended and formalized the use of rules as hypotheses, making possible the use of separate calculations for assumptions of calculations
for logical constants. We are not interested in the investigation of schematic rules to give meaning to the logical constants. We intend to actually set schematic standardization procedures, based on such schematic rules? Attic, in order to identify sufficient conditions for a system to be normalizÃvel. These results are relevant to the Abstract Theory of Evidence, a term used to identify the study of the conditions
abstract and general to the proof-theoretical analysis of formal systems. Abstract Theory of Evidence do not study specific logical calculations, but families of calculations instances of rules
schematic. Our proposal is therefore based on rules schematic rules can be instantiated for concrete, in particular, by introducing rules modal operators. We prove also theorems NormalizaÃÃoo Weak and Strong systems defined in schematic funÃÃoo schematic of our rules, we obtain sufficient conditions for a system instance is normalizÃvel these rules, we define a procedure that normalizes deductions concrete evidence and compare our standards with evidence schematic standards for systems defined in the literature.
|
339 |
Uma abordagem matemática para auxiliar o diagnóstico de demências: tratando incertezas e quantificando processos / A mathematical approach to assist the diagnosis of dementia: treating uncertainties and quantifying processesRodolpho Freire 24 November 2014 (has links)
Este trabalho apresenta o desenvolvimento de um modelo para quantificar e apoiar o processo diagnóstico de demências (Demência de Alzheimer, Demência Vascular, Demência Frontotemporal e Demência de Corpos de Lewy), composto por três sub modelos. O primeiro modelo matemático proposto e baseado na teoria dos conjuntos fuzzy e tem como objetivo fornecer um escore de comprometimento cognitivo. Como resultado de sua aplicação em uma base com dados reais com 60 casos, obtivemos 52 acertos e 8 erros (13%) e uma área sob a curva ROC de 0,80. O segundo modelo permite identificar o tipo de demência, e optouse por utilizar um diagrama de decisão para representar o conhecimento do especialista. O diagrama foi modelado com base nas características de cada patologia e quando submetido aos testes dos especialistas obtivemos índices de erro que variam de 2% a 18%. Sendo a demência de Alzheimer a mais prevalente entre as demências e considerando a importância das neuroimagens para o diagnóstico diferencial, realizamos a avaliação de três técnicas de análise de neuroimagem, sendo duas multivariadas e uma univariada. Como resultado obtivemos que os modelos multivariados se mostram mais eficientes para avaliação de alterações morfológicas no cerébro em relação aos modelos univariados. Porém a complexidade de realização das análises não permitem nesse momento a integração de técnicas de avaliação de neuroimagens com modelos diagnósticos a serem usados em ambulatório. Durante a anamnese, o médico avalia, além do comprometimento cognitivo, sinais e sintomas que permitam identificar o tipo de demência bem como um conjunto de fatores de risco e de proteção que permite mensurar o risco do indivíduo desenvolver algum tipo de demência. Para avaliar esses fatores foi criado um modelo de risco de demência com base nos fatores de risco e proteção que comumente são analisados pelos médicos. Esse modelo foi avaliado por três especialistas e obtivemos índices de erro que variaram entre 13% e 20% e um índice de correlaço de Spearman que variou de 0,63 a 0,69. / This study proposes the development of a model to quantify and support the process of diagnose of dementia (Alzheimer\'s Dementia, Vascular Dementia, Frontotemporal Dementia and Dementia with Lewy Bodies) composed by three sub-models. The first mathematical model is based in the theory of fuzzy sets, and provides a score for cognitive impairment. As a result we obtained 52 correct classifications and eight errors (13%) and the area under the ROC curve was 0.80. In the second model a decision tree was elaborated to represent the expert\'s knowledge of the type of dementia. The decision diagram was modeled based on the characteristics of each pathology and the decision paths was tested by experts, resulting in erros varing between 2% to 18%. Since the Alzheimer\'s Disease is the most prevalent dementia and considering the importance of neuroimage exams to the dfferential diagnosis, we perform a evaluation of three techniques focused on neuroimage analisys, two multivariate techniques and one univariate technique. As a result it was verified that multivariate models are more efective to evaluate the morphological changes in the brain, compared to univariate models. However, the complexity to perform a analysis does not allows, at this moment, to integrate the neuroimage evaluation techniques whith diagnostic models designed to support the clinician in the ambulatory rotine. During the anamnesis the doctor evaluates (in addition to cognitive impairment and symptoms focused on identify the type of dementia), a number of risk and protection factors that allows measure the risk of the individual developing dementia. To perform the evaluation of these factors, a model of dementia risk was created based on the risk and protective factors that are commonly evaluated during the anmnese process. This model was evaluated by three experts and we achieve erros varing between 13% and 20% and Spearman\'s correlation value between the scores of 0.63 to 0.69.
|
340 |
[en] PATTERN RECOGNITION APPLIED IN FINE ART AUTHENTICATION / [pt] RECONHECIMENTO DE PADRÕES APLICADO NA AUTENTICAÇÃO DE QUADROS DE ARTEGUILHERME NOBREGA TEIXEIRA 29 August 2002 (has links)
[pt] Assinaturas e caligrafias foram utilizadas durante décadas
como uma marca característica de cada indivíduo. Por trás
dos métodos utilizados para reconhecer estas
caracterísitcas está o fato que toda pessoa possui seu
próprio jeito de mover a mão enquanto escreve. Sendo assim
é razoável pensar que cada pintor tem uma maneira própria
de atacar a tela de pintura com o seu pincel, deixando
assim um padrão pessoal de acidentes geométricos, que
poderiam ser utilizados para identificá-lo.A partir desse
principio surge a idéia de aplicar visão computacional para
reconhecer padrões específicos de cada pintor que poderiam
ser utilizados no processo de autenticar quadros de arte.
A dissertação aqui descrita apresenta os resultados de uma
pesquisa que objetiva o desenvolvimento de um método para
definir a autenticidade de quadros de arte. Um novo
procedimento para segmentação de pinceladas em um quadro
juntamente com uma nova técnica de medição de textura para
capturar as assinaturas nas pinceladas é proposto. Além
disso, o trabalho investiga a utilização de métodos não-
paramétricos de classificação, para discriminar entre
potenciais pintores. O método proposto é avaliado com um
conjunto de experimentos cujo objetivo é discriminar entre
dois pintores brasileiros muito conhecidos: Portinari e
Bianco. / [en] Signatures and hand writings were used during decades as a
unique characteristic to recognize an individual. Methods
to recognize these characteristics were base don the fact
that each individual has an unique way to move his hand
while writing. Taking that into account, it is reasonable
to think that each painter has an unique way to strike the
painting board with his stroke, leaving a distinguishing
personal pattern, that can be used to identify him.
From this principle comes the idea to apply computer vision
to recognize specific patterns that could be used in the
process of authentication of fine art paintings.This work
shows the results of a research where the main purpose is
to develop a methodology to find the authenticity of fine
art paintings. A new segmentation process of strokes of a
painting allied to a new technique of texture measure to get
the implicit signatures in the strokes is proposed. Beyond
that, this work investigates non-parametric classification
methods to discriminate potential painters. The proposed
method is evaluated with a set of experiments where the
purpose is to discriminate between two well known Brazilian
painters : Portinari and Bianco.
|
Page generated in 0.1265 seconds