Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2013. / Made available in DSpace on 2014-08-06T17:50:21Z (GMT). No. of bitstreams: 1 326077.pdf: 3054707 bytes, checksum: 7ff202c70b0a2dea921ff1a25b2056b4 (MD5) Previous issue date: 2013 / Este trabalho apresenta a construção de um modelo computacional para estudo do comportamento energético de um Motor Brushless e do inversor de frequência utilizado para acioná-lo. Para a construção desses modelos foi utilizada a técnica de representação em Bond Graphs. Essa técnica cria uma representação totalmente gráfica para o modelo, no qual, as equações dinâmicas estão intrínsecas aos elementos. Isso permite uma melhor compreensão de como interagem os componentes de um sistema dinâmico. A técnica de Bond Graphs permite ao usuário uma análise do modelo ainda durante a fase de modelagem, o que evita trabalhos de remodelagem. A representação criada para o motor brushless foi baseada no modelo dinâmico vetorial decomposto no eixo de referência d-q desse motor. Para o inversor de frequência foram estudadas duas propostas de modelagem. A primeira foi construída baseada no circuito equivalente resistivo para este conversor. A segunda proposta utiliza a aplicação de um novo elemento do Bond Graphs para facilitar a representação do inversor. Os dois modelos foram reproduzidos, analisados e melhorados neste trabalho. Por fim, os modelos obtidos foram simulados e analisados para verificar se apresentavam o comportamento teórico esperado. Os modelos também foram submetidos a uma análise energética, provando serem boas ferramentas para fins de estudo do consumo de energia.<br> / Abstract : This work presents the development of a computational model for study of the energetic behavior of a brushless motor and a frequency inverter used to drive it. For the construction of these models, the technique of representation by Bond Graphs was used. This technique creates a fully graphical representation for the model, where the dynamic equations are intrinsic to the elements. This allows a better understanding of how the components of the system interact with each other. The Bond Graphs allow the user to run an analysis of the model during the modeling phase, which prevents remodeling work. The representation created for the brushless motor is based on vector dynamic model decomposed in d-q reference frame of this motor. Were studied two proposals for modeling the Inverter. The first one was built based on the resistive equivalent circuit for this converter. The second proposal uses the application of a new element of Bond Graphs to facilitate the representation of the inverter. These two models were reproduced, analyzed and improved in this work. Finally, the developed models were simulated and analyzed to verify that they presented the expected theoretical behavior for these equipment. The models were also submitted to an energy analysis, proving that they are good tools for studying the energy consumption.

Made available in DSpace on 2014-06-11T19:34:57Z (GMT). No. of bitstreams: 0 Previous issue date: 2012-03-01Bitstream added on 2014-06-13T19:44:41Z : No. of bitstreams: 1 negrao_cg_dr_guara.pdf: 894711 bytes, checksum: d613ce50ad1ab59115fdbfb212a6e245 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Este trabalho propõe a utilização da técnica de modelagem para obtenção das equações do movimento de sistemas dinâmicos, apresentando uma contribuição para o desenvolvimento do algoritmo computacional e implementado através da técnica de grafos de ligação. O objetivo é entender o desempenho do algoritmo desenvolvido através dos grafos de ligações e, assim, avaliar e validar as propostas deste trabalho. O problema da busca para obter uma equação do modelo de sistemas dinâmicos com geração automática em plantas industriais tem levantado a necessidade de desenvolver um algoritmo para sistemas que forneça a equação do movimento do modelo dinâmico. A proposição desta Tese consiste na aplicação da técnica de grafos de ligação para a determinação das equações de estado a partir do algoritmo desenvolvido com um programa computacional para geração automática das equações do movimento na forma de equações de estado. Os algoritmos foram desenvolvidos em ambiente matemático simbólico. Alguns estudos de caso (aplicações) foram utilizados para validação do algoritmo, constituindo estudo de casos sistemáticos, sendo: -Sistema dinâmico viga-bola, sistema mecânico massa-mola-amortecedor e seu análogo o circuito RLC e sistema servo-válvula eletro-hidráulica. No primeiro caso, sistema dinâmico viga-bola (sistema não-linear), o sistema compreende de uma viga fixada ao eixo do motor e uma bola deslizando sobre a viga, onde foi obtida a modelagem via grafos de ligação, utilizando o algoritmo computacional e encontrado o modelo na forma de equação de estado. No segundo caso, sistema mecânico massa-mola-amortecedor e seu análogo circuito RLC, foi obtido o grafo... / This work proposes the use of the technique of modeling for getting the equations of the movement of dynamic linear and non-linear systems, presenting a contribution for the development of the computational algorithm and implemented through the technique of bond graphs. The objective is the understanding of the performance of the algorithm developed by the bond graphs and thus to evaluate and validate the proposals in this work. The problem of the search to obtain an equation of the model of dynamic systems with automatic generation in industrial plants has been lifting the necessity of developing an algorithm for systems which supply the equation of the movement of the dynamic model. The proposition of this Thesis consists in the application of the bond graphs technique for the determination of the equations of state from the algorithm developed with a computational program for automatic generation of the equations of the movement in the form of equations of state. The algorithms were developed in symbolic mathematical environment. Some case studies (applications) were used for validation of the developed algorithm. The first case is a non-linear system, while the second and third thing cases are linear, constituting systematic case study, being: Dynamic system beam-ball, mechanical system mass-spring-damper and its analogue the RLC circuit and electro-hydraulic servo valve system . In the first case, dynamic system beam-ball (non-linear systems), the system consists of a beam attached to the motor shaft and a ball sliding on the beam, where the modeling was obtained by bond graphs, using the computational algorithm and the model was found in the form of equation of state. In the second case, mechanical system mass-spring-damper and its analogue RLC circuit, the validation was carried out... (Complete abstract click eletronic access below)

Orientador: Nazem Nascimento / Banca: Mauro Hugo Matias / Banca: José Geraldo Trani Brandão / Banca: Viktor Pastoukhov / Banca: Luiz Heleno Moreira Duque / Resumo: Este trabalho propõe a utilização da técnica de modelagem para obtenção das equações do movimento de sistemas dinâmicos, apresentando uma contribuição para o desenvolvimento do algoritmo computacional e implementado através da técnica de grafos de ligação. O objetivo é entender o desempenho do algoritmo desenvolvido através dos grafos de ligações e, assim, avaliar e validar as propostas deste trabalho. O problema da busca para obter uma equação do modelo de sistemas dinâmicos com geração automática em plantas industriais tem levantado a necessidade de desenvolver um algoritmo para sistemas que forneça a equação do movimento do modelo dinâmico. A proposição desta Tese consiste na aplicação da técnica de grafos de ligação para a determinação das equações de estado a partir do algoritmo desenvolvido com um programa computacional para geração automática das equações do movimento na forma de equações de estado. Os algoritmos foram desenvolvidos em ambiente matemático simbólico. Alguns estudos de caso (aplicações) foram utilizados para validação do algoritmo, constituindo estudo de casos sistemáticos, sendo: -Sistema dinâmico viga-bola, sistema mecânico massa-mola-amortecedor e seu análogo o circuito RLC e sistema servo-válvula eletro-hidráulica. No primeiro caso, sistema dinâmico viga-bola (sistema não-linear), o sistema compreende de uma viga fixada ao eixo do motor e uma bola deslizando sobre a viga, onde foi obtida a modelagem via grafos de ligação, utilizando o algoritmo computacional e encontrado o modelo na forma de equação de estado. No segundo caso, sistema mecânico massa-mola-amortecedor e seu análogo circuito RLC, foi obtido o grafo... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: This work proposes the use of the technique of modeling for getting the equations of the movement of dynamic linear and non-linear systems, presenting a contribution for the development of the computational algorithm and implemented through the technique of bond graphs. The objective is the understanding of the performance of the algorithm developed by the bond graphs and thus to evaluate and validate the proposals in this work. The problem of the search to obtain an equation of the model of dynamic systems with automatic generation in industrial plants has been lifting the necessity of developing an algorithm for systems which supply the equation of the movement of the dynamic model. The proposition of this Thesis consists in the application of the bond graphs technique for the determination of the equations of state from the algorithm developed with a computational program for automatic generation of the equations of the movement in the form of equations of state. The algorithms were developed in symbolic mathematical environment. Some case studies (applications) were used for validation of the developed algorithm. The first case is a non-linear system, while the second and third thing cases are linear, constituting systematic case study, being: Dynamic system beam-ball, mechanical system mass-spring-damper and its analogue the RLC circuit and electro-hydraulic servo valve system . In the first case, dynamic system beam-ball (non-linear systems), the system consists of a beam attached to the motor shaft and a ball sliding on the beam, where the modeling was obtained by bond graphs, using the computational algorithm and the model was found in the form of equation of state. In the second case, mechanical system mass-spring-damper and its analogue RLC circuit, the validation was carried out... (Complete abstract click eletronic access below) / Doutor

Dissertação (mestrado)—Universidade de Brasília, Faculdade Gama, Programa de Pós-Graduação em Engenharia Biomédica, 2013. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2014-04-11T14:45:21Z No. of bitstreams: 1 2013_VeruskaGraziellyCarvalho.pdf: 1935649 bytes, checksum: 7f87432dc56509eaaababb1f58bce96e (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2014-04-16T15:21:05Z (GMT) No. of bitstreams: 1 2013_VeruskaGraziellyCarvalho.pdf: 1935649 bytes, checksum: 7f87432dc56509eaaababb1f58bce96e (MD5) / Made available in DSpace on 2014-04-16T15:21:05Z (GMT). No. of bitstreams: 1 2013_VeruskaGraziellyCarvalho.pdf: 1935649 bytes, checksum: 7f87432dc56509eaaababb1f58bce96e (MD5) / Diabetes Mellitus (DM) é uma desordem metabólica que afeta um grande número de pessoas no mundo inteiro. Muitas vezes esta doença age no organismo do indivíduo de forma silenciosa podendo ocasionar sequelas irreversíveis, levando até à morte quando tratada de forma inadequada. Este estudo se caracteriza pelo desenvolvimento de modelos matemáticos fundamentados em características fisiológicas de pessoas com DM, propondo-se a analisar o sistema composto por bomba de insulina, insulina e paciente por meio da identificação de variáveis e parâmetros que definem este sistema como um todo. Dentre as diversas abordagens disponíveis na literatura foram adotados a técnica de Modelagem Matemática conhecida por Bond Graphs para compreender melhor o sistema físico da Bomba de Insulina, bem como o Modelo de Resposta Dinâmica da insulina e glicose levando-se em consideração o Sistema Regulatório de Glicose-Insulina no Sangue. Para a elaboração do diagrama Bond Graphs foi aplicado o “Algoritmo para Construção dos Grafos de Ligação”. Já para a identificação das variáveis do Sistema Regulatório de Glicose-Insulina no Sangue a técnica escolhida foi o Diagrama de Blocos Compartimental. O estudo resultou na elaboração de um Diagrama Bond Graphs que representa de modo conjunto os domínios físicos (1) Eletromecânico (rotor do motor de passo), (2) Mecânico-Translacional (conjunto “êmbolo e reservatório total de insulina”) e (3) Fluídico (cateter, cânula e pele) do qual foram obtidas 08 equações diferenciais de primeira ordem na forma de espaço de estados que regem este Sistema. Além disso, foi obtido também um sistema composto por duas equações diferenciais ordinárias de segunda ordem que descrevem a dinâmica de resposta da insulina e da glicose a um estímulo de glicose realizando uma perturbação ao estado de equilíbrio endócrino da pessoa com DM tipo I. ______________________________________________________________________________ ABSTRACT / Diabetes Mellitus (DM) is a metabolic disorder that affects a large number of people worldwide. Often this disease acts silently in the individual‟s body and may cause irreversible consequences, leading to death when treated improperly. This study is characterized by the development of mathematical models based on physiological characteristics of people with DM, proposing to analyze the system consisting of insulin pump, insulin and patient through identification of variables and parameters that define this system as a whole. Among the various approaches available in the literature, we adopt the Mathematical Modeling technique named Bond Graphs to better understand the Insulin Pump's physical system, as well as the Response Dynamics of insulin and glucose Model taking into consideration the Blood Glucose-Insulin Regulatory System. For the drafting of Bond Graphs diagram we used the "Algorithm for Bond Graphs Construction". In addition to identifying the blood glucose-insulin regulatory system variables the Compartmental Block Diagram was the technique of choice. The study resulted in the development of a Bond Graphs Diagram representing the joint physical domains of (1) Electromechanical (rotor of the stepper motor), (2) Mechanical-Translational ("the plunger and total insulin reservoir" set) and (3) Fluidic (catheter, cannula and skin) from which we extracted 08 first order differential state space equations governing the system. Additionally, we have also obtained a two ordinary differential equations system of second order that describes the dynamic response of insulin and glucose to a glucose stimulus by performing a disturbance to the endocrine steady state in type I Diabetes subject.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Engenharia Mecânica / Made available in DSpace on 2012-10-23T03:29:11Z (GMT). No. of bitstreams: 1 245049.pdf: 3330801 bytes, checksum: bd494ea95ab863e2709054ac8d472d30 (MD5) / A predição da distribuição de pressão num gasoduto é tão importante quanto a predição do consumo dos clientes. Neste contexto, este trabalho apresenta o desenvolvimento de um modelo dinâmico para determinação da distribuição de pressão em um gasoduto, operando em regime transiente. A modelagem é do tipo de parâmetros concentrados, mais especificamente bond graphs que consiste na combinação de elementos resistivos, indutivos, capacitivos, fontes/sumidouros e juntas, sendo aplicável na análise transiente de sistemas hidráulicos, pneumáticos, mecânicos e elétricos, entre outros. Esse trabalho propõe aplicar esta técnica de modelagem na análise do comportamento de gasodutos, dado que na literatura consultada não se encontraram relatos com esta abordagem. Na teoria de bond graph aplicada a sistemas fluidodinâmicos, o efeito de altura normalmente é desprezível, porém no problema físico em questão o efeito do perfil de relevo tem uma contribuição significativa, por isso se propõe uma maneira mais generalizada para avaliar tais sistemas. Além disso, são também importantes os efeitos de compressibilidade, viscosidade e inércia. Para avaliar se o método de parâmetros concentrados é adequado na modelagem de gasodutos analisaram-se dois trechos do gasoduto Bolívia-Brasil, o primeiro inicia-se no ponto de descarga da estação de compressão de Araucária e termina na sucção da estação de compressão de Biguaçu e o segundo, o mais importante, inicia-se na estação de redução de pressão Replan e termina na estação de medição de Guararema. Para a validação dos modelos fez-se a comparação teórico-experimental dos dados medidos em pontos estratégicos do gasoduto. Uma vez validados, analisou-se de maneira hipotética a probabilidade de ocorrência de gargalos no trecho Araucária-Biguaçu. Este trabalho foi desenvolvido inicialmente no projeto Segred2 e contou com apoio financeiro e técnico da Petrobrás e da Transportadora Brasileira Gasoduto Bolívia-Brasil.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-26T07:02:27Z (GMT). No. of bitstreams: 1 300498.pdf: 2938637 bytes, checksum: 7398afa3a077fac745bb7fa071d4f174 (MD5) / O multiprocessamento em chip (CMP) mudou o panorama arquitetural dos servidores e computadores pessoais e agora está mudando o modo como os dispositivos pessoais móveis são projetados. CMP requer acesso a variáveis compartilhadas em hierarquias multiníveis sofisticadas onde caches privadas e compartilhadas coexistem. Ele se baseia no suporte em hardware para implicitamente gerenciar o relaxamento da ordem de programa e a atomicidade de escrita de modo a fornecer, na interface software-hardware, uma semântica de memória compartilhada bem definida, que é capturada pelos axiomas de um modelo de consistência de memória (MCM). Este trabalho aborda o problema de verificar se uma representação executável do subsistema de memória implementa um MCM especificado. Técnicas convencionais de verificação codificam os axiomas como arestas de um único grafo orientado, inferem arestas extras a partir de traces de memória e indicam um erro quando um ciclo é detectado. Usando uma abordagem diferente, esta dissertação propõe uma nova técnica que decompõe o problema de verificação em múltiplas instâncias de um problema (estendido) de emparelhamento de vértices em grafos bipartidos. Como a decomposição foi judiciosamente projetada para induzir instâncias independentes, o problema-alvo pode ser resolvido por um algoritmo paralelo de verificação. Também é proposto um gerador de sequências de instruções aleatórias distribuídas em múltiplas threads para estimular o sistema de memória sob verificação. Por ser independente do MCM sob verificação, o gerador proposto pode ser utilizado pela maioria dos verificadores. A técnica proposta, que é comprovadamente completa para diversos MCMs, superou um verificador convencional para um conjunto de 2400 casos de uso gerados aleatoriamente. Em média, o verificador proposto encontrou um maior percentual de faltas (90%) comparado ao convencional (69%) e foi, em média, 272 vezes mais rápido. / Chip multiprocessing (CMP) changed the architectural landscape of servers and personal computers and is now changing the way personal mobile devices are designed. CMP requires access to shared variables in sophisticated multilevel hierarchies where private and shared caches coexist. It relies on hardware support to implicitly manage relaxed program order and write atomicity so as to provide, at the hardware-software interface, a well-defined sharedmemory semantics, which is captured by the axioms of a memory consistency model (MCM). This dissertation addresses the problem of checking if an executable representation of the memory system complies with a specified consistency model. Conventional verification techniques encode the axioms as edges of a single directed graph, infer extra edges from memory traces, and indicate an error when a cycle is detected. Unlike them, this dissertation proposes a novel technique that decomposes the verification problem into multiple instances of an extended bipartite graph matching problem. Since the decomposition was judiciously designed to induce independent instances, the target problem can be solved by a parallel verification algorithm. To stimulate the memory system under verification, the dissertation also proposes a generator of multi-threading random-instruction sequences. It complies with an arbitrary MCM and can be used by most checkers. Our technique, which is proven to be complete for several MCMs, outperformed a conventional checker for a suite of 2400 randomly-generated use cases. On average, it found a higher percentage of faults (90%) as compared to that checker (69%) and did it, on average, 272 times faster.

Resumo: O PlanetLab é um testbed global de pesquisa que suporta a experimentação de protocolos e sistemas distribuídos. Usuários de testbeds dinâmicos de larga escala frequentemente executam experimentos que necessitam de um conjunto de nodos com um nível razoável de estabilidade. Existem ferramentas que auxiliam na seleção de nodos, monitorando-os e filtrando-os segundo critérios estabelecidos pelo usuário. Porém, nenhuma delas monitora interações fim-a-fim entre pares de nodos. Neste trabalho descrevemos uma estratégia online de monitoramento e várias estratégias de seleção de nodos focadas na comunicação entre cada par de nodos no PlanetLab. Uma das estratégias de seleção consiste em encontrar um conjunto de nodos em que todos comunicam-se entre si de forma estável, o que chamamos de uma Clique Estável, considerando o PlanetLab como um grafo em que uma aresta entre dois nodos representa uma boa comunicação entre eles. Outras estratégias de seleção de nodos, menos restritivas que a Clique Estável, também foram definidas, baseadas nos graus dos nodos. É possível selecionar nodos com um grau mínimo no grafo, ou com um grau mínimo entre si. Uma estratégia de monitoramento offline para detecção de Cliques Estáveis no PlanetLab foi implementada e é descrita. A partir da estratégia online, uma ferramenta foi implementada. Vários experimentos foram executados com a ferramenta criada e são descritos neste trabalho. Os experimentos incluem a seleção de nodos com diferentes estratégias e em diferentes períodos de tempo, a fim de compará-las e verificar seu comportamento no decorrer do tempo. Foi tamb´em realizado um experimento para comparar o desempenho dos nodos selecionados pela ferramenta criada com o desempenho de nodos selecionados por outra ferramenta de seleção de nodos, o SWORD. Esta comparação foi feita por meio da execução de uma aplicação MapReduce nos nodos selecionados com ambas as ferramentas. Estes experimentos mostraram que os nodos selecionados pela ferramenta proposta executaram o programa, na maioria dos casos, em tempo significativamente menor do que os nodos selecionados pela outra erramenta.

Dissertação (mestrado)—Universidade de Brasília, Faculdade Gama, Programa de Pós-Graduação em Engenharia Biomédica, 2016. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2016-08-26T20:12:23Z No. of bitstreams: 1 2016_YeseniaMariaSierraOrtega.pdf: 5943825 bytes, checksum: ba0d08241a483ab577f94789286146d9 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2016-09-20T18:14:21Z (GMT) No. of bitstreams: 1 2016_YeseniaMariaSierraOrtega.pdf: 5943825 bytes, checksum: ba0d08241a483ab577f94789286146d9 (MD5) / Made available in DSpace on 2016-09-20T18:14:21Z (GMT). No. of bitstreams: 1 2016_YeseniaMariaSierraOrtega.pdf: 5943825 bytes, checksum: ba0d08241a483ab577f94789286146d9 (MD5) / Diabetes Mellitus (DM) é uma doença crônica que pode afetar qualquer indivíduo, podendo provocar alterações e disfunções no portador da doença, ou seja, no diabético. Uma complicação severa associada é chamada síndrome da mão diabética (SMD). Esta doença pode provocar a perda de força e controle dos movimentos da mão, caracterizada por três disfunções: dedo do gatilho, contratura do Dupuytren e a limitação da mobilidade articular. Objetivo: Realizar uma pesquisa do tipo exploratória sobre o SMD. Obter um modelo matemático que represente a dinâmica da mão com SMD, propor o desenho de um dispositivo capaz de auxiliar no tratamento desta doença e estabelecer uma teoria de controle que descreva o comportamento dinâmico da mão, usando o dispositivo apresentado. Materiais e métodos: três indivíduos saudáveis, voluntários, para participar na avaliação da funcionalidade do dispositivo proposto. Para isso foram realizadas provas de manipulação com diferentes objetos para observar as possíveis alterações nos movimentos básicos da mão. Foi avaliada a força da mão por médio de um dinamômetro da marca e•clear. Foi aplicado um questionário estruturado para averiguar a familiaridade dos indivíduos em relação ao dispositivo. Resultados: foi obtido o modelo matemático da SDM utilizando a ferramenta BG. O dispositivo bioassistência desenhado consiste em uma luva com amortecedores feita à base de látex natural. Foi observado mediante os testes realizados que os indivíduos conseguiram manipular os objetos até 30% mais rápido, no entanto foi observado que os indivíduos tiveram dificuldade para escrever com a luva, reportando até o dobro do tempo em relação ao não uso da luva. Observou-se que quanto mais camadas de látex adicionadas à luva, maior será o grau de abertura da mão. Conclusão: o objetivo do trabalho foi contemplado no que diz respeito a propor um modelo matemático e a proposta de um possível tratamento para a SMD. A partir dos resultados obtidos o dispositivo proposto não interfere na sensibilidade da mão e permite realizar os movimentos naturais da mão com maior destreza, permite a extensão passiva dos dedos devido as diversas camadas de látex. É sugerida a realização das provas de manipulação com a luva com pacientes com DM e SMD para avaliar as resposta dinâmica destes pacientes e assim gerar uma órteses comercial destinado para pacientes com DM e SMD. ________________________________________________________________________________________________ ABSTRACT / Diabetes mellitus (DM) is a chronic disease that can affect any individual, regardless of age or sex, provoking alterations in the body’s normal functioning. A severe complication associated to DM called diabetic hand syndrome (DHS). This syndrome causes loss in the hand strength and movement control, and comes accompanied by three diseases: trigger finger, Dupuytren contracture and limited joint mobility. Objective: perform an exploratory research on DHS. Obtain a mathematical model that represents the dynamics of a hand affected by DHS, to propose a device able to aid in the treatment of this disease and establish a control theory that describes the dynamic behavior of the hand using the device designed. Methodology: three healthy individuals participated voluntarily in the evaluation of the functionality of the device. In order to do this they performed handling tests with different objects to observe the changes in the basic movements of the hand. I measured the strength of the subjects’ hands using an e-clear dynamometer and applied a structured quiz to know the appreciation of the individuals to the device. Results: I developed a mathematical model of the DHS using BG. The biomedical assistive device designed consist in a glove with dampers made of latex. After analyzing the tests and exercises that the individuals made I observed that they could handle objects up to 30% faster, however they underperformed the writing tests, both on paper and on a cellphone. The individuals had a higher angle of opening in the hand with the device. Conclusion: this work reached its objectives; the mathematical model and the device were developed. By the obtained results, the device does not interfere with the sensibility of the hand, allows performing better the movements of the hand and gives a passive extension to the hand due to the latex layers. I suggest that handling tests be made with diabetic patients with DHS in order to evaluate the dynamic response of these patients and generate a commercial orthotic for the DHS patients to use.

IVO, Rafael Fernandes. Uma nova estratégia para renderizar descontinuidades e superfícies intersectantes em modelos baseados em splats. 2011. 87 f. Dissertação (Mestrado em ciência da computação)- Universidade Federal do Ceará, Fortaleza-CE, 2011. / Submitted by Elineudson Ribeiro (elineudsonr@gmail.com) on 2016-07-12T15:39:16Z No. of bitstreams: 1 2011_dis_rfivo.pdf: 18188495 bytes, checksum: 8bba2f9c682856ab4b475566ec0afe9a (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-07-21T14:07:35Z (GMT) No. of bitstreams: 1 2011_dis_rfivo.pdf: 18188495 bytes, checksum: 8bba2f9c682856ab4b475566ec0afe9a (MD5) / Made available in DSpace on 2016-07-21T14:07:35Z (GMT). No. of bitstreams: 1 2011_dis_rfivo.pdf: 18188495 bytes, checksum: 8bba2f9c682856ab4b475566ec0afe9a (MD5) Previous issue date: 2011 / Splats based models have gained increasing attention due to its potential for rendering complex geometric models efficiently and with high quality. The absence connectivity information of these models allows complex modeling operations, as Boolean operations, and fractures in physics simulations. However, these operations often generate models with edges and corners that can not be represented correctly with a finite number of splats without a treatment to be done. In this work, a neighborhood graph uses an estimate which ensures the connection of all these splats on opposite sides a discontinuity and that need to be clipped against each other. After using a method for detecting discontinuities in the generated graph, the neighbors participating in the a splat clipping, clip partners are determined to cut out and sorted splat so as to adapt it to the curve of discontinuity. Another problem encountered in rendering models based on reconstruction of splats is intersecting surfaces. Close intersections of surfaces, the surfaces are mixed, resulting in artifacts. to treat these cases, a segmentation algorithm performs separation of the various surfaces present in the model, identifying the splats that form and hold them to be combined into areas near the intersections of surfaces in the surface reconstruction phase space image. / Modelos baseados em splats têm ganhado crescente atenção devido a seu potencial para renderizações de modelos geométricos complexos de forma eficiente e com alta qualidade. A ausência de informações de conectividade desses modelos permite operações de modelagem complexas, como operações booleanas, e fraturas em simulações físicas. Entretanto, essas operações geralmente geram modelos com arestas e cantos que não podem ser representados corretamente com um número finito de splats sem que um tratamento seja feito. Neste trabalho, um grafo de vizinhança utiliza uma estimativa que garante a conexão de todos os splats presentes em lados opostos de uma descontinuidade e que precisam ser recortados uns contra os outros. Após utilizar um método de detecção de descontinuidades no grafo gerado, os vizinhos que participam do recorte de um splat, os clip partners, são determinados e classificados para que recortem o splat de forma a adaptá-lo à curva da descontinuidade. Outro problema encontrado na renderização de modelos baseados em splats é reconstrução de superfícies intersectantes. Nas proximidades de interseções de superfícies, as superfícies são misturadas, resultando em artefatos. Para tratar esses casos, um algoritmo de segmentação realiza a separação das diversas superfícies presentes no modelo, identificando os splats que as formam e impedindo que eles sejam combinados em áreas próximas de interseções de superfícies na etapa de reconstrução da superfície em espaço de imagem.

O problema de geração de estruturas de coalizão (CSG) envolve o particionamento do conjunto de agentes em todos os subconjuntos(ou, coalizões) possíveis. O que torna esse problema desafiador é o número de coalizões possíveis crescer exponencialmente a medida que novos agentes são inseridos, o número de coalizões é (2n − 1) onde n é o número de agentes. Entretanto, em muitas aplicações do mundo real, existem limitações inerentes nas coalizões possíveis: por exemplo, determinados agentes podem ser proibidos de estar na mesma coalizão, ou a estrutura de coalizão pode ser obrigada a conter coalizões do mesmo tamanho. Quando consideramos CSG restrito por grafos, onde a viabilidade de uma coalizão é restrita por um grafo de sinergia dos agentes, a complexidade computacional pode ser a mesma ou menor, dependendo do que se considera uma coalizão válida. Os grafos de sinergia são representações dos agentes como sendo os vértices e as suas relações são as arestas. Este trabalho é um estudo sobre a utilização de restrições envolvendo grafos como uma heurística sobre as coalizões para o problema enumeração de coalizão, de forma a considerar uma coalizão factível ou não de acordo com a densidade do subgrafo induzido pelos agentes. Os trabalhos atuais, que utilizam os grafos de restrição como heurística para reduzir a complexidade computacional, consideram uma coalizão válida somente se o subgrafo formado pelos agentes da coalizão é conexo. Verificou-se experimentalmente para grafos com a propriedade power law, comum em uma variedade de grafos reais, que restringir uma coalizão válida como sendo um subgrafo conexo pode não ser uma redução significativa. Entretanto a utilização de um subgrafo com restrições mais fortes, em particular uma clique garante uma redução exponencial do número de coalizões consideradas. Não existem teoremas que possam calcular qual a quantidade de subgrafos conexos ou mesmo o número de cliques em um grafo do tipo power law. No presente trabalho foi possível calcular experimentalmente para grafos power law com ate 17 vértices, sendo que também são apresentados resultados analíticos para grafos estrela (Kn−1,1 ). Os grafos estrela são uma aproximação aceitável, pois formam um hub, estrutura característica de grafos power law. Como trabalhos futuros podem ser citados: o mapeamento de domínios para os quais a restrição de clique seria adequada, além do desenvolvimento de um algoritmo que incorpore a restrição diretamente na contagem de coalizões validas. / The coalition structures generating problem (CSG) involves partitioning the set of agents in all possible subsets (or coalitions). What makes this problem challenging is the number of possible coalitions that grows exponentially as new agents are inserted. The number of coalitions is (2n − 1) where n is the number of agents. However, in many real-world applications, there are inherent limitations on possible coalitions: for example, some individuals may be prohibited from being in the same coalition or coalition structure may be required to contain coalitions of the same size. When we consider CSG restricted by graphs where the viability of a coalition is restricted by a synergy graph, the computational complexity can be maintained or eventually be smaller depending on what is considered a valid coalition. Synergy graphs are representations of the agents as being the vertices and their relationships are the edges. This work is a study on the use of restrictions involving graphs as a heuristic about coalitions for the problem coalition enumeration in order to consider a feasible coalition or not according to the density of the subgraph induced by the agents. Current works using the restriction graphs as heuristics to reduce the computational complexity, consider a coalition valid only if the subgraph formed by the agents of the coalition is connected. In this work it as experimentally verify for power law graphs, present in a variety of real graphs, that restricting availability coalition as a connected subgraph may in not prohibited a significant gain. However, they using a subgraphs with strong restrictions, in particular a clique, guarantees an exponential reduction in the number of considered coalition. There no are theorems calculate subgraphs or even the number of cliques on a type power law graph. In the present work it was possible to calculate values experimental for graphs of up to 17 vértices, being also presented analytics results for star graphs (Kn−1,1 ). Star graphs are an acceptable approximation, was they account for hubs, a characteristic structure of power law graphs. As future works can be cited the study of domains where the clique restriction is adequate as well as the development of an algorithm that incorporates the restriction for coalition counting.