Global ETD Search

11	Aplicação de lógica paraconsistente anotada em tomadas de decisão na engenharia de produção. / Application of paraconsistent annotated logic in production engineering decision making. Carvalho, Fábio Romeu de 28 November 2006 (has links) Em Engenharia de Produção, os processos de decisão constituem um dos temas centrais e envolvem fatores de naturezas diversas, que os cercam de dificuldades. Nesses processos, não raramente, estão presentes fatores de natureza subjetiva, informações imprecisas, quando não vagas e mesmo conflitantes, que podem levar a decisões distorcidas, comprometendo a clareza e a objetividade de uma análise. Para manipular logicamente um conjunto de informações vagas, subjetivas, inconsistentes ou paracompletas, são necessárias lógicas alternativas da clássica, pois esta não pode, ao menos diretamente, ser empregada para tal fim. Assim, a lógica paraconsistente pode, em princípio, ser uma ferramenta adequada para a tarefa. No presente trabalho será apresentado um processo de auxílio às tomadas de decisão, denominado de Método de Análise pelo Baricentro (MAB), que se baseia na lógica paraconsistente anotada evidencial Et e no algoritmo para-analisador, introduzidos em (DA COSTA et al., 1999) e (DA SILVA FILHO; ABE, 2001). Esse método permite, de modo não trivial, o tratamento de informações com aquelas características e evidencia a possibilidade de aplicações da lógica Et em Administração, Marketing, Engenharia de Produção, previsão de diagnósticos, aplicações financeiras, entre outros temas. Um estudo de caso real, com resultados plenamente satisfatórios, mostra sua aplicabilidade na prática. Além disso, o MAB abre, entre outras, a perspectiva de se transformarem análises qualitativas em quantitativas. / In Production Engineering, decision making processes represent one of the most important topics and involve factors of various natures, which are, in turn, surrounded by difficulties. Quite often in these processes, there are factors of subjective nature, inaccurate data, sometimes even vague or conflicting information, which may lead to distorted decisions that eventually compromise the clarity and objectiveness of the analysis. In order to logically handle a set of vague, subjective, inconsistent or paracomplete information, logic other than classic is required, once the latter cannot, at least directly, be applied for such purpose. Hence, paraconsistent logic can, in principle, be an adequate tool for the task. In this paper, we will present an auxiliary process in decision making called Baricenter Analysis Method (BAM), which is based in Paraconsistent Annotated Evidential Logic Et and in a para-analyzer algorithm, introduced in (DA COSTA et al., 1999) and (DA SILVA FILHO; ABE, 2001). This methodology allows, in quite an unusual way, the treatment of information containing those characteristics and points out the possibility of applications of logic Et in Business Administration, Marketing, Production Engineering, anticipation of diagnosis, financial applications, among other subjects. Furthermore, BAM opens the possibility of transforming qualitative into quantitative analysis. Algoritmo para-analisador Decision making Decision rule Level of requirement Lógica paraconsistente Nível de exigência Non-classical logic systems Para-analyzer algorithm Paraconsistent logic Regra de decisão Sistemas lógicos não-clássicos Tomada de decisão
12	Développement d'un autoquestionnaire pour le diagnostic des algies pelviennes aigües / Development of a self assessed questionnaire for the diagnosis of acute pelvic pain Huchon, Cyrille 06 April 2012 (has links) Les algies pelviennes aigues constituent le premier motif de consultation aux urgences gynécologiques. Les étiologies possibles de ces algies pelviennes aigues sont nombreuses et incluent à la fois des affections gynécologiques et non gynécologiques. Certaines de ces affections peuvent, en l’absence de diagnostic précoce et d’un traitement adapté, avoir des conséquences très graves. Dans ce travail, nous avons développé un autoquestionnaire standardisé de manière qualitative dédié aux urgences gynécologiques par des entretiens structurés. Nous avons ensuite construit des modèles de prédiction clinique dédiés (i) au diagnostic de rupture tubaire chez les patientes porteuses de grossesses extra-utérines et (ii) au diagnostic de torsion d’annexe à partir de cet autoquestionnaire. Après avoir défini le concept d’urgence potentiellement à risque en gynécologie, nous avons proposé (iii) un modèle de prédiction clinique de celles-ci basé sur notre autoquestionnaire standardisé. A l’issue du développement de ces modèles, nous avons sélectionné certains items de l’autoquestionnaire standardisé afin d’en proposer une version simplifiée. L’utilisation de nos modèles pour le tri et le diagnostic des patientes aux urgences gynécologiques pourrait permettre d’optimiser la prise en charge des patientes. Dans les groupes à haut risque de pathologie, les patientes pourraient bénéficier d’une prise en charge plus rapide avec une éventuelle diminution de la morbidité secondaire à la pathologie. Pour les patientes classées à bas risque, une désescalade des examens complémentaires et des chirurgies inutiles pourrait aussi permettre une diminution de la morbidité d’origine iatrogène. / Acute pelvic pain is the main reason for emergency gynecologic consultation. The possible etiologies of acute pelvic pain are numerous and include both gynecological and non gynecological diseases. Some of these conditions may, in the absence of early diagnosis and appropriate treatment, have very serious consequences. In this work, we developed qualitatively a standardized self-assessed questionnaire dedicated to gynecological emergencies by structured interviews. We then developed clinical prediction rules for (i) the diagnosis of tubal rupture in patients who have ectopic pregnancies and (ii) the diagnosis of adnexal torsion. After a definition of the concept of potentially at risk emergencies in gynecology, we have proposed (iii) a clinical prediction rule based on our questionnaire. Following the development of these models, we selected items from the self-assessed questionnaire in order to propose a simplified version. Using our models for triaging and diagnosis of patients with gynecologic emergencies may optimize the management of patients. In groups at high risk of disease, patients may benefit from faster medical management with a possible decrease in morbidity. For patients classified as low risk, decrease of complementary tests and unnecessary surgery could also allow a reduction of iatrogenic morbidity. Diagnostic Urgences gynécologiques Tri Questionnaire Modèle de décision clinique Modèle de prédiction clinique Grossesse extra-utérine Torsion d’annexe Score Diagnostic Gynecological emergencies Triage Questionnaire Clinical decision rule Clinical prediction rule Ectopic pregnancy Adnexal torsion Score
13	Aplicação de lógica paraconsistente anotada em tomadas de decisão na engenharia de produção. / Application of paraconsistent annotated logic in production engineering decision making. Fábio Romeu de Carvalho 28 November 2006 (has links) Em Engenharia de Produção, os processos de decisão constituem um dos temas centrais e envolvem fatores de naturezas diversas, que os cercam de dificuldades. Nesses processos, não raramente, estão presentes fatores de natureza subjetiva, informações imprecisas, quando não vagas e mesmo conflitantes, que podem levar a decisões distorcidas, comprometendo a clareza e a objetividade de uma análise. Para manipular logicamente um conjunto de informações vagas, subjetivas, inconsistentes ou paracompletas, são necessárias lógicas alternativas da clássica, pois esta não pode, ao menos diretamente, ser empregada para tal fim. Assim, a lógica paraconsistente pode, em princípio, ser uma ferramenta adequada para a tarefa. No presente trabalho será apresentado um processo de auxílio às tomadas de decisão, denominado de Método de Análise pelo Baricentro (MAB), que se baseia na lógica paraconsistente anotada evidencial Et e no algoritmo para-analisador, introduzidos em (DA COSTA et al., 1999) e (DA SILVA FILHO; ABE, 2001). Esse método permite, de modo não trivial, o tratamento de informações com aquelas características e evidencia a possibilidade de aplicações da lógica Et em Administração, Marketing, Engenharia de Produção, previsão de diagnósticos, aplicações financeiras, entre outros temas. Um estudo de caso real, com resultados plenamente satisfatórios, mostra sua aplicabilidade na prática. Além disso, o MAB abre, entre outras, a perspectiva de se transformarem análises qualitativas em quantitativas. / In Production Engineering, decision making processes represent one of the most important topics and involve factors of various natures, which are, in turn, surrounded by difficulties. Quite often in these processes, there are factors of subjective nature, inaccurate data, sometimes even vague or conflicting information, which may lead to distorted decisions that eventually compromise the clarity and objectiveness of the analysis. In order to logically handle a set of vague, subjective, inconsistent or paracomplete information, logic other than classic is required, once the latter cannot, at least directly, be applied for such purpose. Hence, paraconsistent logic can, in principle, be an adequate tool for the task. In this paper, we will present an auxiliary process in decision making called Baricenter Analysis Method (BAM), which is based in Paraconsistent Annotated Evidential Logic Et and in a para-analyzer algorithm, introduced in (DA COSTA et al., 1999) and (DA SILVA FILHO; ABE, 2001). This methodology allows, in quite an unusual way, the treatment of information containing those characteristics and points out the possibility of applications of logic Et in Business Administration, Marketing, Production Engineering, anticipation of diagnosis, financial applications, among other subjects. Furthermore, BAM opens the possibility of transforming qualitative into quantitative analysis. Algoritmo para-analisador Lógica paraconsistente Nível de exigência Regra de decisão Sistemas lógicos não-clássicos Tomada de decisão Decision making Decision rule Level of requirement Non-classical logic systems Para-analyzer algorithm Paraconsistent logic
14	Dolování dat z databází / Data Mining Slezák, Milan January 2011 (has links) The thesis is focused on an introduction of data mining. Data mining is focused on finding of a hidden data correlation. Interest in this area is dated back to the 60th the 20th century. Data analysis was first used in marketing. However, later it expanded to more areas, and some of its options are still unused. One of methodologies is useful used for creating of this process. Methodology offers a concise guide on how you can create a data mining procedure. The data mining analysis contains a wide range of algorithms for data modification. The interest in data mining causes that number of data mining software is increasing. This thesis contains overviews some of this programs, some examples and assessment.
15	Statistical Inference Chou, Pei-Hsin 26 June 2008 (has links) In this paper, we will investigate the important properties of three major parts of statistical inference: point estimation, interval estimation and hypothesis testing. For point estimation, we consider the two methods of finding estimators: moment estimators and maximum likelihood estimators, and three methods of evaluating estimators: mean squared error, best unbiased estimators and sufficiency and unbiasedness. For interval estimation, we consider the the general confidence interval, confidence interval in one sample, confidence interval in two samples, sample sizes and finite population correction factors. In hypothesis testing, we consider the theory of testing of hypotheses, testing in one sample, testing in two samples, and the three methods of finding tests: uniformly most powerful test, likelihood ratio test and goodness of fit test. Many examples are used to illustrate their applications. finite population correction factor statistical hypothesis type I error composite hypothesis power Central limit theorem Basu theorem critical value goodness of fit test likelihood ratio test Lehmann-Scheffe theorem complete statistic ancillary statistic P-value type II error Rao-Blackwell theorem simple hypothesis one-sided test two-sided test significance level sufficient statistic alternative hypothesis testing hypothesis null hypothesis rejection region confidence interval confidence level minimum variance unbiased estimator interval estimation uniformly most powerful test Cramer-Rao inequality likelihood function mean square error moment estimator error of estimation point estimation maximum likelihood estimator bias consistent estimator minimal sufficient statistic factorization theorem unbiased estimator statistic most powerful test test statistics Neyman-Pearson lemma decision rule

Page generated in 0.0713 seconds