Orientador: Arnaldo Vieira Moura / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-16T21:26:35Z (GMT). No. of bitstreams: 1 Pedrosa_LehiltonLelisChaves_M.pdf: 884292 bytes, checksum: e39efddad6809b28790b661469a5cfd2 (MD5) Previous issue date: 2010 / Resumo: Métodos formais são amplamente utilizados para modelar especificações e gerar casos de testes, imprescindíveis para validação de sistemas críticos. As Máquinas de Estados Finitos (MEFs) compõem um dos formalismos adotados, com várias aplicações em testes de sistemas aéreos e espaciais, além de sistemas médicos, entre vários outros. O objetivo de um método de geração automática de casos de testes é obter um conjunto de casos de testes, com o qual é possível verificar se uma dada implementação contém falhas. Um problema importante em métodos de geração de casos de teste com cobertura completa de falhas é o tamanho dos conjuntos de testes, que normalmente é exponencial no número de estados da MEF que está sendo testada. Para minimizar esse problema, diversas abordagens são adotadas, envolvendo melhorias nos métodos existentes, restrições do modelo de falhas e o uso de novas estratégias de teste. Esta dissertação estuda métodos automáticos para geração de casos de testes com cobertura completa de falhas e propõe dois novos métodos, que permitem reduzir o tamanho dos conjuntos de testes gerados. Primeiro, combinamos ideias do método Wp e do método G, visando usufruir as vantagens de ambos e obtendo um novo método, denominado Gp. Em seguida, descrevemos um novo modelo de falhas para sistemas compostos de vários subsistemas, possivelmente com um número alto de estados. Formalizamos tais sistemas, introduzindo o conceito de MEFs combinadas, e apresentamos um novo método de testes, denominado método C. Além disso, propomos uma abordagem de testes incremental, baseada no método C, que torna possível o teste de MEFs com um número arbitrário de estados. Estabelecemos comparações com abordagens tradicionais e mostramos que o uso da estratégia incremental pode gerar conjuntos de testes exponencialmente mais eficientes / Mestrado / Teoria da Computação / Mestre em Ciência da Computação

Orientadores: Gilberto Shigueo Nakamiti, Heloisa Vieira da Rocha / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-04T19:58:40Z (GMT). No. of bitstreams: 1 Julio_MarciaReginaFerroMoss_M.pdf: 5134591 bytes, checksum: 7b347ade85c8652d790d671fd0d3bd1c (MD5) Previous issue date: 2005 / Resumo: No momento da escolha da solução para um problema, muitas vezes o ser humano se vale de experiências passadas, ocorridas com problemas semelhantes e que, portanto, podem prever soluções de sucesso ou não. Sistemas Baseados em Casos (SBC) podem utilizar soluções anteriores para interpretar uma nova situação, ou criar uma solução apropriada para um novo problema. Este trabalho apresenta um estudo de métricas de similaridade em sistemas baseados em casos, aplicados à área da saúde, mais especificamente sobre epicondilite lateral, uma tendinite do cotovelo. O estudo sobre métricas de similaridade em sistemas baseados em casos foi realizado a partir de levantamentos bibliográficos sobre Raciocínio Baseados em Casos e sobretudo com o estudo e aprendizado obtido por meio da aplicação de RBC na área da Saúde. A aplicação foi desenvolvida com a participação de profissionais da área da saúde que muito colaboraram na construção da aplicação, bem como com o fornecimento de casos reais para os cadastros na base de casos e aplicação de testes de validação / Abstract: When solving a problem, humans ofien use past experiences with similar situations, which can help the prediction of failure or success. Case-Based Systems use past experiences to interpret a new situation, or to create an appropiate solution for a new problem. For work presents a study on similarity metrics in case-based systems, and an application concerning the health area, more specifically about Lateral Epiconditis, an elbow tendinitis. The study on similarity metrics in case-based systems was conducted from bibliographic research and more importantly, with the study and learning abtained with the health area application development. Health area professionals took part and helped the application development, as well as provided real cases to configure and validate the system / Mestrado / Engenharia de Software / Mestre Profissional em Computação

Orientador: Saide Jorge Calil / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-12T16:40:12Z (GMT). No. of bitstreams: 1 Nascimento_LeonardoNovaesdo_M.pdf: 728894 bytes, checksum: a634cf10f92a568a1d7fcacc8a4c1797 (MD5) Previous issue date: 2008 / Resumo: Embora pouco seja conhecido sobre a contribuição de equipamentos médicos no custo de atenção à saúde, eles têm sido apontados como grandes responsáveis pelo aumento nas despesas do setor de saúde. Este trabalho apresenta um método para analisar o modo como os equipamentos médico-hospitalares (EMH) consomem recursos durante os procedimentos médicos e para estimar os custos desses recursos. Focalizando o procedimento médico, o método combina o sistema de custeio baseado em atividades direcionado por tempo (Time-Driven Activity-Based Costing, TDABC) e técnicas de cálculo do custo do ciclo de vida (Life-Cycle Cost) para avaliar o papel dos equipamentos médicos no processo de assistência à saúde. O método é composto de duas fases: (1) mapeamento da estrutura de consumo de recursos e (2) identificação e alocação dos custos dos recursos ao procedimento. O método só avalia os custos diretamente relacionados aos equipamentos (como acessórios, itens descartáveis e manutenção). Os resultados mostraram que a contribuição dos equipamentos no custo de um procedimento médico depende do modo que ele é usado em cada procedimento e das práticas específicas do hospital. / Abstract: Although little is known about the contribution of medical equipment to the cost of providing health care, they have been pointed out as major cause of the increase in the health sector expenditures. This study presents a method to analyze the way medical equipment consumes resources during medical procedures and to estimate the costs of these resources. Focusing the medical procedure, the method combines Time-Driven Activity-Based Costing (TDABC) and Life-Cycle Cost (LCC) techniques to evaluate the role of medical equipment in the process of delivering health care. The method is composed of two phases: (1) mapping of the resource consumption structure and (2) identification and allocation of resource costs to procedures. The method only evaluates the costs directly related to the equipment (such as accessories, disposables and maintenance). The results showed that the contribution of equipment to the cost of a medical procedure depends on the way it is used in each procedure and on the hospital's specific practices. / Mestrado / Engenharia Biomedica / Mestre em Engenharia Elétrica

Orientador: Mauro Sergio Miskulin, Rosana G. S. Miskulin / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-08T03:31:45Z (GMT). No. of bitstreams: 1 PivaJunior_Dilermando_D.pdf: 2474733 bytes, checksum: 6f2118117d2c8fc9a5f56f799d06aafe (MD5) Previous issue date: 2006 / Resumo: Este trabalho apresenta a arquitetura computacional AUXILIAR, que foi especificada com o objetivo de potencializar a ação docente em módulos de Ensino de Engenharia. Para tanto foi implementado um mecanismo que, além de facilitar o processo de avaliação, procura por casos similares ocorridos com outros alunos em situações passadas semelhantes. Esta busca permite que o sistema possa redefinir o conteúdo que o aluno deve ser submetido e eliminar as deficiências detectadas durante a avaliação formativa, sem a necessidade de uma maior intervenção do professor no processo educativo. Para atingir tais objetivos foram utilizados conceitos de Inteligência Artificial, especificamente Raciocínio Baseado em Casos aplicado à Educação, e conceitos de Avaliação Formativa, buscando, com essa abordagem e com a utilização de metodologia específica para construção de cursos Online (AUXILIARCONSTRUTOR), facilitar a organização dos conteúdos pedagógicos a serem disponibilizados em cursos Online. Ao final, são apresentados resultados preliminares da utilização da arquitetura computacional AUXILIAR, em uma primeira implementação, em dois momentos, 1º e 2º semestres de 2005, e envolvendo disciplinas e turmas distintas de cursos específicos de Engenharia da Computação, Ciência da Computação e Tecnologia em Informática. Com essas perspectivas esta pesquisa procura investigar o desenvolvimento de uma ferramenta computacional inteligente utilizando a metodologia de Raciocínio Baseado em Casos (RBC) que potencializará a ação docente no gerenciamento, condução e redirecionamento dos alunos em módulos de ensino em cursos Online na área de Engenharia, proporcionando uma melhoria na aprendizagem / Abstract: This study presents the AUXILIAR computational architecture, which was specified with the objective of enhancing the professor action in the Engineering Teaching modules. To carry this out, it was implemented a mechanism that, besides facilitating the evaluation process, it looks for similar cases occurred with students on past similar situation. This search allows the system to redefine the content¿s student that must be submitted and eliminates the detected deficiencies during the formative evaluation without the professor¿s intervention in the educative process. To reach these proposals, have been used concepts on Artificial Intelligence, specifically Case-Based Reasoning applied to Education, and concepts of Formative Evaluation aiming with this focus and also with the usage of specific methodology applied to online courses assembling (called, AUXILIAR-CONTRUTOR), to facilitate the pedagogical contents organization to be available in online courses. At the end of the study, preliminary results of AUXILIAR computational architecture usage are presented, in a first implementation, in two moments (first and second half of 2005), involving distinct disciplines and classes of the Computing Engineering, Computer Science and Information Technology courses. With these perspectives, this research looks to investigate the development of an intelligent computational tool using the methodology of Case Based Reasoning (CBR) that enhances the teaching action in the management, conduction and redirection of the students in modules of education in online courses of Engineering area, providing an improvement in the learning / Doutorado / Automação / Doutor em Engenharia Elétrica

Orientador: Arnaldo Vieira Moura / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-15T05:28:23Z (GMT). No. of bitstreams: 1 Bonifacio_AdilsonLuiz_D.pdf: 1228504 bytes, checksum: 62db4b0286cfd1c735336e429629b3de (MD5) Previous issue date: 2009 / Resumo: O objetivo deste trabalho é prover métodos eficientes de geração de casos de teste para sistemas reativos críticos. Sistemas dessa natureza compreendem sistemas de tempo real e com transformações de contexto. Uma das técnicas mais usadas na geração de conjuntos de teste tem sido a abordagem baseada em modelos formais. Neste caso, os formalismos fornecem uma base sólida para que a atividade de teste seja efetuada de forma precisa e segura. Este trabalho propõe a construção de modelos formais, métodos e técnicas, bem como estratégias de teste, para dar suporte ao processo de geração automática de conjuntos de teste, aplicáveis a sistemas complexos. Porém, o processo de geração de testes baseado em modelos se torna, muitas vezes, impraticável em aplicações reais, devido ao problema da explosão combinatória de estados. Daí a necessidade de se encontrar modelos adequados que capturem o comportamento desejado dos sistemas a serem testados, bem como a importância de se construir métodos que contornem o problema da explosão do espaço de estado, de maneira razoável, permitindo que a geração de testes seja um processo aplicável a sistemas complexos. Entre os modelos abordados neste trabalho estão: (i) as tradicionais Máquinas de Estados Finito (FSM); (ii) uma extensão das FSMusando variáveis de contexto, as Máquinas de Estados Finito Estendida (EFSM); (iii) a extensão temporizada de EFSM (TEFSM), que possui, não apenas variáveis de contexto, mas também variáveis relógio; (iv) os modelos temporizados com entradas e saídas independentes, conhecidos como Timed I/O Automata (TIOA); e (v) uma extensão proposta para TIOA, denominado Timed I/O Context Automata (TIOCA), para compreender a evolução contínua de tempo e também as transformações de contexto. Com relação a geração de testes baseada em tais modelos, foi proposto, primeiramente, uma técnica de derivação de sequências de confirmação para TEFSM, usando model-checking. Em seguida, foi proposta uma generalização para um método de geração de conjuntos completos de teste usando FSM. Também foi desenvolvido um novo método de discretização do modelo TIOA, provendo a base necessária para a geração de casos de teste usando os conceitos de proposta de teste e produto síncrono. Por fim, foi desenvolvida uma extensão do método de discretização para TIOA também proposto neste trabalho, aplicado ao modelo TIOCA, permitindo a geração de testes em sistemas com evolução contínua de tempo e fluxo de dados, usando os conceitos de proposta de teste e produto de TIOCA / Abstract: This work aims to provide efficient test case generation methods for reactive and critical systems. In general, reactive and critical systems are real-time systems with context transformations. One of the most promising techniques for generating test suites is model-based testing. The formalisms supply the basis to perform a precise and dependable testing activity. In this scenery, our work proposes a construction of formal models, methods and techniques, as well as testing strategies, to support the process of automatically generating test suites for complex systems. However, the test generation process using formal models is usually infeasible in real applications, due to the state space explosion. Therefore, we need to find out suitable models to capture the system behaviors, and also to construct methods that can overcome the explosion problem, in a reasonable way, allowing the generation of test suites for complex systems. In this work we treat the following formal models: the conventional FSM; an extension of FSM using context variables (EFSM); the proposed extension of EFSM (TEFSM) to capture context variables and also clock variables; timed models, with disassociated input and output actions, called TIOA; and the proposed extension for TIOA, so-called TIOCA, to capture continuous time evolution and context transformations. In a first step of this work we proposed a technique to derive confirming sequences for TEFSM, using model-checking. Next, a classical method to generate complete test suites was generalized for FSM.We also proposed a new discretizationmethod for TIOA models, allowing the test case generation using test purpose and the synchronous product. Lastly, we extended the discretization method for TIOA to obtain more compact grid automata for TIOCA models, allowing the test case generation for systems with continuous time evolution and data flow transformations, using the notion of test purpose and the product of TIOCA / Doutorado / Teoria da Computação e Teste de Sistemas / Doutor em Ciência da Computação

A pesquisa teve como objetivo geral investigar, sob a ótica da Nova Sociologia Institucional, quais fatores contribuíram para o enfraquecimento e abandono do Custeio Baseado em Atividades nas empresas objetos do estudo, Beta e Gama. As publicações sobre o Custeio Baseado em Atividades aumentaram expressivamente a partir de 1985, porém não obtiveram sustentabilidade no longo prazo. Percebeu-se muita confusão nos conceitos sobre o método de custeio e resultados das pesquisas não comparáveis, o que contribui para o seu desentendimento conceitual e potencial abandono do método. O caminho que levou aos achados teve base em pesquisa qualitativa e nas empresas estudadas foram avaliados os estágios de adoção do ABC, estágios de institucionalização e as variáveis de desinstitucionalização. Pelos distintos objetivos que motivaram a adoção do ABC, a empresa Beta alcançou o terceiro e a Gama o segundo estágio de adoção. O isomorfismo normativo, incentivado pela recomendação de consultorias, apresentou muita importância nas empresas, enquanto os demais isomorfismos, mimético, coercitivo e competitivo, apresentaram menor relevância. Durante o período de vigência do método de custeio nenhuma das empresas alcançou o estágio de total institucionalização. Ao avaliar os fatores de abandono e desinstitucionalização do ABC, o pressuposto com maior expressão foi o de pressão social, por não trazer inovação informacional, não ser uma exigência da matriz, além da falta de incentivos fiscais. Na categorização dos pontos críticos, foram mapeados dez fatores para a não continuidade do ABC sendo desses, seis inovações não previstas na literatura consultada e quatro que reforçaram a literatura atual. A originalidade deste trabalho reside no conjunto de achados que permitiram o desenvolvimento de uma estrutura básica para que acadêmicos e profissionais analisem antes de incorrer em investimentos e alocação de colaboradores que não trarão o resultado financeiro esperado pela descontinuidade do artefato adotado pela empresa. / The research aimed to investigate under the perspective of New Institutional Sociology which factors contributed to the weakness and abandonment of Activity Based Costing in the companies studied, Beta and Gama. Research on the Activity Based Costing significantly increased since 1985, but did not achieve long-term sustainability. It was noticed a lot of confusion in concepts about the costing method and research results presented are not comparable which contributes to its conceptual misunderstanding and potential abandonment of the method. The path that led to the findings was based on qualitative research and the companies studied were evaluated the stages of ABC\' adoption, institutionalization\' stages and variables of deinstitutionalization. By distinct goals that motivated the adoption of ABC among the companies studied, Beta reached the third stage and Gama reached the second adoption stage. The normative isomorphism encouraged by the recommendation of consulting firms presented a lot of importance in companies, while the remaining isomorphisms, mimetic, coercive and competitive, had smaller relevance. During the period of the costing method neither company has reached the stage of full institutionalization. Evaluating the factors of abandonment and deinstitutionalization of ABC the assumption with highest expression was the social pressure, for not bringing innovation informational, not to be a requirement of the head quarter, besides the lack of fiscal incentives. The categorization of the critical points, ten factors were mapped to not continuity of ABC being these six innovations not covered in the literature, and four that reinforced the current literature. The originality of this research lives in the set of findings that allowed the development of a basic structure for academics and practitioners to analyse it before incurring investments and allocation of employees who will not bring the expected financial results due to the discontinuity of the tool adopted by the company.

Gestão de custos é uma preocupação crescente nas empresas, impulsionada num contexto de recursos escassos e concorrência cada vez mais acirrada. O aumento verificado na complexidade dos mercados e, como um reflexo, no incremento de linhas de produtos e serviços oferecidos pelas empresas aos seus clientes, tornou a mensuração dos custos um grande desafio. A tarefa de determinar desde uma política comercial por segmento até a definição do preço de venda depende fundamentalmente da correta mensuração dos custos sob diversas perspectivas, especialmente por cliente. Neste contexto, a suposição básica do estudo é de que o custo para servir pode colaborar com informações que permitem obter uma melhor avaliação do desempenho de seus clientes. A metodologia adotada no presente trabalho é de uma pesquisa bibliográfica, exploratória e com a elaboração de um estudo de caso de uma indústria de alimentos. O principal objetivo da pesquisa de verificar se o uso do conceito de custo para servir melhoraria a informação para o gerenciamento dos clientes foi atingido ao se obter dados mais específicos e detalhados dos mesmos, permitindo identificar as discrepâncias em sua rentabilidade. Os objetivos secundários de fornecer uma abordagem conceitual e de apontar as etapas e informações necessárias para a mensuração do custo para servir foram alcançados através da pesquisa bibliográfica e do estudo de caso. Como método de mensuração do custo dos processos relativos ao atendimento aos clientes, encontrou-se o ABC como a única forma de estabelecer a correta medida. O estudo de caso revelou um comportamento da dispersão da lucratividade dos clientes da empresa semelhante a teoria pesquisada, reforçando-a de forma ilustrativa e operacional. Os resultados encontrados na margem de servir, onde 52% dos clientes apresentaram margem negativa são considerados reveladores, e evidenciam que, numa empresa com diversidade de produtos e serviços, a informação do custo para servir pode ser vital para estabelecer a alocação de recursos aos clientes através de uma política comercial. Por tratar-se de estudo de caso único com suas especificidades, há ressalvas quanto à possibilidade de generalizações. Algumas limitações encontradas para a obtenção de informações para a pesquisa, como insolvência de clientes ou níveis de estoque por unidade de produto, servem de recomendação para aprimoramento em futuros estudos. / Cost management is a growing concern among companies, driven by lack of resources and fierce competition. Increased market complexity and, consequently, the wider range of products and services that companies provide to their customers have turned cost measurement into a great challenge. The task to determine a series of steps - from a commercial policy by segment to the definition of the sales price - lies basically on proper cost measurement under different views, particularly by customer. In this context, the basic assumption of this study is that the cost to serve may provide information to better assess customer performance. The methodology used in this study is a bibliographical, exploratory survey and includes a case study of a food company. The primary objective is to verify whether the cost-to-serve concept would improve the information required for customer management by providing more specific and detailed data and allowing for the identification of any discrepancies in profitability. Secondary objectives – to provide a conceptual approach and identify the steps and information required to measure cost to serve - were achieved with the bibliographical research and case study. As to the method to measure the cost of processes related to customer service, ABC was the only one that provided the correct measure. The case study showed a scattered profitability among the company´s users, similar to the theory addressed in the study, highlighting it with illustrative examples and operations. The results for margin to serve (in which 52% of the customers had a negative margin) are surprising, and show that in a company with a wide range of products and services, information on the cost to serve can be critical to allocate resources to customers based on a commercial policy. This is a single, specific study, therefore it should not be generalized. Some of the restrictions faced during data collection, such as customer insolvency or inventory level by product unit should be further improved in future studies.

Submitted by Franciele Moreira (francielemoreyra@gmail.com) on 2017-12-12T16:13:05Z No. of bitstreams: 2 Tese - Thiago Borges de Oliveira - 2017.pdf: 1684209 bytes, checksum: f64b32084ca6b13a58109e4d2cffe541 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-12-13T09:33:57Z (GMT) No. of bitstreams: 2 Tese - Thiago Borges de Oliveira - 2017.pdf: 1684209 bytes, checksum: f64b32084ca6b13a58109e4d2cffe541 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-12-13T09:33:57Z (GMT). No. of bitstreams: 2 Tese - Thiago Borges de Oliveira - 2017.pdf: 1684209 bytes, checksum: f64b32084ca6b13a58109e4d2cffe541 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-11-29 / Multiway spatial join is an important type of query in spatial data processing, and its efficient execution is a requirement to move spatial data analysis to scalable platforms as has already happened with relational and unstructured data. In this thesis, we provide a set of comprehensive models and methods to efficiently execute multiway spatial join queries in distributed systems. We introduce a cost-based optimizer that is able to select a good execution plan for processing such queries in distributed systems taking into account: the partitioning of data based on the spatial attributes of datasets; the intra-operator level of parallelism, which enables high scalability; and the economy of cluster resources by appropriately scheduling the queries before execution. We propose a cost model based on relevant metadata about the spatial datasets and the data distribution, which identifies the pattern of costs incurred when processing a query in this environment. We formalized the distributed multiway spatial join plan scheduling problem as a bi-objective linear integer model, considering the minimization of both the makespan and the communication cost as objectives. Three methods are proposed to compute schedules based on this model that significantly reduce the resource consumption required to process a query. Although targeting multiway spatial join query scheduling, these methods can be applied to other kinds of problems in distributed systems, notably problems that require both the alignment of data partitions and the assignment of jobs to machines. Additionally, we propose a method to control the usage of resources and increase system throughput in the presence of constraints on the network or processing capacity. The proposed cost-based optimizer was able to select good execution plans for all queries in our experiments, using public datasets with a significant range of sizes and complex spatial objects. We also present an execution engine that is capable of performing the queries with near-linear scalability with respect to execution time. / A multi-junção espacial é um tipo importante de consulta usada no processamento de dados espaciais e sua execução eficiente é um requisito para mover a análise de dados espaciais para plataformas escaláveis, assim como aconteceu com dados relacionais e não estruturados. Nesta tese, propomos um conjunto de modelos e métodos para executar eficientemente consultas de multi-junção espacial em sistemas distribuídos. Apresentamos um otimizador baseado em custos que seleciona um bom plano de execução levando em consideração: o particionamento de dados com base nos atributos espaciais dos datasets; o nível de paralelismo intra-operador que proporciona alta escalabilidade; e o escalonamento das consultas antes da execução que resulta em economia de recursos computacionais. Propomos um modelo de custo baseado em metadados dos datasets e da distribuição de dados, que identifica o padrão de custos incorridos no processamento de uma consulta neste ambiente. Formalizamos o problema de escalonamento de planos de execução da multi-junção espacial distribuída como um modelo linear inteiro bi-objetivo, que minimiza tanto o custo de processamento quanto o custo de comunicação. Propomos três métodos para gerar escalonamentos a partir deste modelo, os quais reduzem significativamente o consumo de recursos no processamento das consultas. Embora projetados para o escalonamento da multi-junção espacial, esses métodos podem também ser aplicados a outros tipos de problemas em sistemas distribuídos, que necessitam do alinhamento de partições de dados e da distribuição de tarefas a máquinas de forma balanceada. Além disso, propomos um método para controlar o uso de recursos e aumentar a vazão do sistema na presença de restrições nas capacidades da rede ou de processamento. O otimizador proposto foi capaz de selecionar bons planos de execução para todas as consultas em nossos experimentos, as quais usaram datasets públicos com uma variedade significativa de tamanhos e de objetos espaciais complexos. Apresentamos também uma máquina de execução, capaz de executar as consultas com escalabilidade próxima de linear em relação ao tempo de execução.

Submitted by Erika Demachki (erikademachki@gmail.com) on 2018-01-10T15:49:59Z No. of bitstreams: 2 Dissertação - Rafael Nunes Hidalgo Monteiro Dias - 2017.pdf: 14690145 bytes, checksum: d12e70a2cd0ee1087a184468c55f0b08 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-01-11T11:02:36Z (GMT) No. of bitstreams: 2 Dissertação - Rafael Nunes Hidalgo Monteiro Dias - 2017.pdf: 14690145 bytes, checksum: d12e70a2cd0ee1087a184468c55f0b08 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-01-11T11:02:36Z (GMT). No. of bitstreams: 2 Dissertação - Rafael Nunes Hidalgo Monteiro Dias - 2017.pdf: 14690145 bytes, checksum: d12e70a2cd0ee1087a184468c55f0b08 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-11-27 / This work presents a comparison between Fuzzy and dynamic matrix controllers. These controllers are applied to the direct current (DC) motor speed control, triggered by fully controlled three-phase rectifier. The construction of the real system and the development and validation of the computational model are described. The controllers’ parameters are obtained through an optimization process. Both control techniques are compared and results indicate better performance of the optimized controllers, which suggest their promise in nonlinear systems’ control, in which seeks out control without error, that fulfills well its duty and its able to resist the fatigues. / Este trabalho apresenta o comparativo entre os controladores Fuzzy e matriz dinâmica. Estes controladores são aplicados ao controle de velocidade do motor de corrente contínua, acionado por retificador trifásico totalmente controlado. A metodologia parte da construção do sistema real e do desenvolvimento e validação do modelo computacional. A obtenção dos parâmetros dos controladores é realizada através do processo de otimização. Realiza-se análise comparativa entre as técnicas de controle e os resultados apontam para a proeminência de controladores sintonizados via processo de otimização como técnica promissora a ser empregada em controle de sistemas não lineares, nos quais buscam-se controle em que não há erro, que cumpra bem o seu dever e apto para resistir às fadigas.

Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2016-08-10T19:31:03Z No. of bitstreams: 2 Dissertação - Weder Cabral Mendes - 2016.pdf: 1214460 bytes, checksum: 14588573f8f81fe4836a9945adacf37d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-08-15T13:25:32Z (GMT) No. of bitstreams: 2 Dissertação - Weder Cabral Mendes - 2016.pdf: 1214460 bytes, checksum: 14588573f8f81fe4836a9945adacf37d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-08-15T13:25:32Z (GMT). No. of bitstreams: 2 Dissertação - Weder Cabral Mendes - 2016.pdf: 1214460 bytes, checksum: 14588573f8f81fe4836a9945adacf37d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-03-31 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Gait recognition via computer vision attracted increasing interest for its noninvasive characteristic and mainly for your advantage of recognizing people at distance. Recognition is performing extracting features included in gait, this features are extracted from images sequence of people walking. The main challenges of gait recognition is to extract characteristics with unique information for each person, in additional, the use of accessories and clothes difficult the feature extraction process. This paper proposes a gait recognition method using information of people’s contours transformed in domain frequence by Discrete Fourier Transform. A lot of data are generated from the contours, thereby, three different techniques for dimensionality reduction CDA (Class Discrimination Ability), PCA (Principal Component Analysis) and PLS (Partial Least Squares) are employed to reduce the dimensionality of data and generate characteristics that are relevant to the recongnition system. Two classifiers, KNN (K-Nearest Neighbor) and LDA (Linear Discriminant Analysis) classify the characteristics that are returned by the dimensionality reduction methods. The accuracy are achieved by the combination of the dimensionality reduction methods and classifiers, the highest accuracy was 92:67%, which was achieved with the combination between the LDA and PCA (LDAPCA). Therefore, the results show that the information contained in the contours of silhouette are discriminant to recognize people by their gait. / O reconhecimento de pessoas através da marcha humana via visão computacional tem ganhado destaque por ser uma técnica biométrica não invasiva e principalmente por sua vantagem de reconhecer pessoas à distância. O reconhecimento é realizando extraindo características contidas na marcha de cada pessoa, essas características são extraídas de sequências de imagens da pessoa caminhando. Os principais desafios dessa técnica biométrica está em extrair as características com informações que consigam diferenciar uma pessoa da outra, além disso, o uso de acessórios e vestimentas dificultam o processo de extração de características. Este trabalho propõe um método de reconhecimento baseado na marcha humana utilizando informações dos contornos das pessoas transformados para o domínio da frequência por meio da Transformada Discreta de Fourier. Como são geradas muitos dados a partir dos contornos, três técnicas diferentes de redução de dimensionalidade CDA (Class Discrimination Ability), PCA (Principal Component Analysis) e PLS (Partial Least Squares) são empregadas para reduzir a quantidade de dados e gerar características que sejam relevantes para o sistema de reconhecimento. Dois classificadores, KNN (K-Nearest Neighbor) e LDA (Linear Discriminant Analysis) classificam as características retornadas pelos métodos de redução de dimensionalidade. As taxas de acurácia são obtidas pelos resultados gerados entre a combinação dos métodos de redução de dimensionalidade e os classificadores, a maior taxa de acurácia foi de 92;67%, a qual foi alcançada com a combinação entre o LDA e PCA (LDAPCA). Dessa forma, conclui-se que as informações contidas no contorno da silhueta no domínio da frequência são discriminantes para reconhecer pessoas através da marcha.