Orientador: Sergio Persio Ravagnani / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-07-20T04:58:00Z (GMT). No. of bitstreams: 1 CespedesJimenez_AndrePatricio_M.pdf: 5141100 bytes, checksum: e5dfbeb51bf3cf87bfcf68fa8b73ac2c (MD5) Previous issue date: 1995 / Resumo: Este trabalho tem por finalidade efetuar a modelagem de uma coluna de destilação extrativa salina em estado estacionário e levantar, através de simulação, as principais características desse processo. Para tal, analisa-se o caso da obtenção de etanol anidro com o emprego de três diferentes sais, quais sejam, o cloreto de cálcio, o cloreto de lítio e o acetato de potássio. A adição de determinados sais ao binário etanol-água altera substancialmente a composição da fase vapor em equilíbrio. O ponto de azeotropia deste sistema é deslocado para um valor maior de composição de etanol ou, dependendo do sal, é totalmente eliminado. Deste modo, o uso de sais como agentes de separação representa uma alternativa frente aos processos convencionais de obtenção de etanol anidro. Entre algumas das vantagens deste processo está a possibilidade de redução do consumo específico de energia e das dimensões da coluna de fracionamento. Para a modelagem da coluna formam-se três tipos de funções discrepância a partir da aplicação dos balanços de massa e energia e das relações de equilíbrio para todos os componentes voláteis em todos os estágios. Os sais não são incluídos na formação destas funções, e seus valores de vazão determinados mediante balanço material... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: Not informed. / Mestrado / Sistemas de Processos Quimicos e Informatica / Mestre em Engenharia Química

Tesis para optar al grado de Magíster en Ciencias, Mención Computación / La detección de colisiones ha sido un tópico de extenso estudio en computación gráfica y geometría computacional. Sus campos de aplicación incluyen la robótica, biología computacional, juegos, y simulaciones en cirugía, física y biología. Un entorno real complejo para la detección de colisiones corresponde a imágenes biomédicas y astronómicas: imágenes en series de tiempo, de gran tamaño, a veces con gran cantidad de objetos, que se mueven y se deforman, y que pueden aparecer o desaparecer de la escena, o experimentar autocolisiones, aspectos que pueden hacer la detección de colisiones un trabajo demasiado lento de calcular sin las estrategias apropiadas. Este trabajo realiza un contraste entre dos enfoques de detección de colisiones de fase amplia en 2D+tiempo: usando los métodos estáticos sweep and prune directo, que funcionan cuadro a cuadro, y el método sweep and prune incremental, que mantiene las estructuras a lo largo de la simulación, contra el enfoque cinético del algoritmo sweep and prune cinético. Ambos enfoques fueron probados en simulaciones de objetos con movimiento rectilíneo en direcciones aleatorias. La comparación se hizo siguiendo los lineamientos de experimentación en algoritmos establecidos por Moret [26] respecto a qué parámetros es pertinente medir, las diez sugerencias de Johnson [22] para realizar un experimento con algoritmos y las sugerencias de Sanders [31] para mostrar los resultados en forma de gráficos. Los resultados muestran que el uso del algoritmo sweep and prune cinético es un orden de magnitud más rápido que los algoritmos sweep and prune estáticos en simulaciones que involucran una distribución aleatoria de objetos en movimiento, sin importar la densidad de objetos en la simulación. También se estudia el efecto de colisiones múltiples dentro de las simulaciones, un suceso que no fue investigado por Coming & Staad [11]. Esto permite hacer sugerencias sobre las instancias en las que un algoritmo es más apropiado que otro.

A verificação de software é uma etapa essencial do ciclo de desenvolvimento de sistemas de automação industrial. O objetivo da verificação é a identificação de defeitos ainda na fase de projeto, tendo em vista que o custo de correção na fase final de desenvolvimento ou após a implementação do sistema é significativamente mais elevado do que nas fases iniciais do projeto. Neste contexto, este trabalho tem por objetivo propor uma abordagem para verificação de sistemas de automação que combina duas técnicas de verificação distintas: model checking e model based testing. Para análise da proposta, a abordagem é aplicada ao projeto do programa supervisório de uma célula robótica. A célula robótica utilizada como estudo de caso foi desenvolvida no Centro de Competência em Manufatura (CCM) com o objetivo de automatizar o processo de acondicionamento de tampas de alumínio para transporte. Em particular, o programa supervisório desta célula foi desenvolvido em LabVIEW. Os resultados obtidos com o estudo de caso indicam que a abordagem proposta contribui para a robustez do sistema. Além, o estudo de caso permitiu identificar pontos para melhoria e detalhamento na abordagem proposta

Orientador: Florivaldo Menezes Filho / Banca: Maurício Funcia de Bonis / Banca: Jônatas Manzolli / Banca: Fernando Henrique de Oliveira Iazzetta / Banca: Marcus Alessi Bittencourt / Resumo: A música em tempo real tem se tornado um gênero da música eletroacústica cada vez mais explorado pelos compositores da atualidade. As formas de interação entre a dimensão instrumental e a eletroacústica são um dos principais aspectos investigados por todos que se dedicam ao gênero. Na relação de interação entre instrumentistas e a dimensão eletroacústica, devem-se considerar quais são as informações captadas no "mundo exterior", de que modo tais informação serão captadas e, de que forma serão utilizadas para interferir na dimensão eletroacústica. O fluxo de informações que circula entre as dimensões instrumentais e eletroacústicas tem sido utilizado a fim de propiciar a interação entre diversos aspectos do som como o timbre, o tempo e a dinâmica, por exemplo. Porém, o dado harmônico parece ser o mais complexo de manipular de forma interativa. Nesse sentido, esta investigação buscou uma forma de manipular o dado harmônico em meio a música eletroacústica em tempo real, considerando que as redes harmônicas de Pousseur poderiam ser uma instigante ferramenta composicional para tal finalidade. Para tal, apresentamos o processo de implementação das redes harmônicas de Pousseur como algoritmo computacional realizado na linguagem de programação para áudio digital SuperCollider, suportado por uma revisão teórica do assunto. Buscando um interação que extraísse ao máximo as potencialidades harmônico-relacionais das redes harmônicas de Pousseur com as informações captadas da dimensão instrumental, dedicamo-nos à discussão sobre os conceitos de consonância e dissonância cognitiva, e de como os cálculos de rugosidade de Helmholtz e Plomp & Levelt poderiam ser utilizados como uma ferramenta de classificação dos resultados harmônicos das redes de Pousseur, quanto ao seu nível de tensão harmônica. Por fim, apresentamos os resultados desse processo em exemplo... / Résumé: La musique en temps réel est devenu un genre de la musique électroacoustique le plus exploré par les compositeurs d'aujourd'hui. Les modes de interations entre la partie électronique e les instruments sont l'un des principaux aspects recherchés par tout ceux qui s'occupent du genre. Dans la relation d'interation entre l'instrumentistes e la partir electronique, il faut considérés quels sont les informations captés dans "le monde exterior", de quelle façon ces informations seront captés e, de quelle manière seront utilisés pour interférer dans la partie électronique. Le flux d'informations qui circule entre les parties instrumentales et électroniques est utilisé afin de fournir l'interation entre nombreux aspects du son como le timbre, le temps, et les nuances, par exemple. Cependant, l'aspect harmonique semble être le plus complexe pour manipuler de façon interative. En ce sens, cette recherche a trouvé une manière de manipuler le donné harmonique au milieu de la musique électronique en temps réel, en considerant que les reseux harmoniques de Pousseur pourrait étre une intéressant outil compositionel a telle fin. Pour cela, nous on prèsente le processus de la mise en place des réseaux harmoniques de Pousseur comme algorithme informatique realisé dans le language de programmation audio numérique SuperCollider, sutenu par une revision thèorique du sujet. En cherchant une interaction qui extrayait au maximun les potentialités harmoniques des réseaux harmoniques de Pousseur avec les informations captés de la partie instrumentale, on s'occupe a la discussion sur le concepts de consonance et dissonance cognitive e de comment les calcules de rugosité de Helmholtz et Plomp & Levelt pourraient être utilisé comme un outil de classification des resultats harmoniques des réseaux de Pousseur, quant à son niveau de tension harmonique. Bref, on present ... / Doutor

Orientador: Florivaldo Menezes Filho / Banca: Achille Guido Picchi / Banca: Helen Priscila Gallo Dias / Banca: Paulo Roberto Ferraz von Zuben / Banca: Marcos Fernandes Pupo Nogueira / Resumo: O presente trabalho aborda os aspectos cognitivos e os fundamentos composicionais da música eletroacústica para o audiovisual segundo Michel Chion, objetivando, assim, a realização de uma obra musical autoral de acordo com os princípios encontrados. Para tanto, foi realizada uma revisão bibliográfica crítica de sua obra, de modo a extrair ferramentas para a análise e para a composição dessa categoria de música. Com essas ferramentas, e sob o ponto de vista da interação do som com a imagem, foram analisadas obras "áudio-visuais" do próprio Michel Chion e a obra autoral na qual culminou este trabalho. De acordo com nossos estudos, o escopo desta pesquisa é algo inédito na produção acadêmica brasileira. / Abstract: This research approaches the cognitive aspects and the compositional basis of the electroacoustic music to the audiovisual, according to Michel Chion. With this, it was aimed to do an authorial musical composition supported on the researched basis. To do that, a critical bibliographical research of Chion's works was made in order to extract tools to the analysis and to the composition of this category of music. With this tools and focusing on the interaction of sound with image, it was analyzed selected audio-visual works by Michel Chion and the authorial one in which this work culminate. As far as we know, the scope of this research is something still undone in the Brazilian scientific academy. / Mestre

Orientador: José Remo Ferreira Brega / Banca: Eduardo Filgueiras Damasceno / Banca: Roberta Spolon / Resumo: O estudo da anatomia e das estruturas do corpo humano é de fundamental importância para a educação médica, embora o ambiente real em que se vive e trabalha seja tridimensional, a maioria das formas de ensino da anatomia humana ainda são oferecidas aos alunos por meio de ambientes 2D, como livros e apresentação de slides, ou então por meio de modelos sintéticos e da dissecção cadavérica, técnicas que apresentam uma série de problemas como custo elevado e limitação de acesso aos modelos sintéticos, ou ainda questões éticas e religiosas na manipulação de cadáveres. Nos últimos anos os métodos de ensino da anatomia humana evoluíram muito, com o surgimento de diversos sistemas computacionais que foram desenvolvidos com o objetivo específico de auxiliar o ensino/aprendizagem da anatomia humana. E essas soluções apresentam as mais variadas técnicas para alcançar esse objetivo, como visualização 3D e interação com modelos virtuais tridimensionais. Esses sistemas tem se mostrado ótimos recursos para auxiliar os processos de ensino e aprendizagem da anatomia humana, porém o ideal é que a ferramenta seja sustentada por algum sistema de gerenciamento de aprendizagem para que ofereça real suporte pedagógico ao professor e ao aluno. Este trabalho apresenta uma solução que auxilia o ensino da anatomia humana integrando modelos virtuais 3D e conteúdos complementares relacionados a esses modelos a uma plataforma de gerenciamento de ensino e aprendizagem / Abstract: The study of anatomy and the human body structure is very important for medical education, although the real environment in which one lives and works is three dimensional, most forms of human anatomy teaching are offered to students through 2D environments such as books and slides presentation, or through synthetic models and cadaveric dissection techniques, they present a series of problems such as high cost and limited access to synthetic models, or ethical and religious issues in handling corpses. In recent years the teaching methods of human anatomy evolved also, with the emergence of many computer systems that were developed with specific purpose of assisting the teaching/learning of the human anatomy. These solutions feature the most varied techniques to achieve this goal, as 3D visualization and interaction with three-dimensional virtual models. These systems have shown great features to help the teaching and learning process of the human anatomy, but the ideal is that the tool is supported by a learning management system to provide real educational support teacher and the student. This work presents a solution that helps the teaching of the human anatomy integrating 3D virtual models and complementary contents related to these models to a teaching and learning management platform / Mestre

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Tecnológico. Programa de Pós-Graduação em Engenharia Mecânica / Made available in DSpace on 2012-10-18T03:15:04Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T20:48:45Z : No. of bitstreams: 1 182016.pdf: 6490620 bytes, checksum: c5f2670f5d5ffc332c6a15a81c4e9902 (MD5) / Garantir confiabilidade metrológica é uma necessidade nos sistemas da qualidade; avaliar incertezas de medições é imprescindível no processo de garantia da confiabilidade metrológica. A metodologia de avaliação de incertezas proposta pela ISO - International Organization for Standardization é a do "Guide to the Expression of Uncertainty in Measurement". Sua aplicação exige perfeita caracterização do processo metrológico e é bastante trabalhosa, mesmo que sejam poucos os instrumentos de medição envolvidos. Cada vez mais, os instrumentos são eletrônicos e modulares. Nas medições feitas com cadeias modulares, a caracterização dos processos requer conhecimentos simultâneos de metrologia e de instrumentação eletrônica. Nesses casos, a falta de pessoal especializado tem sido o maior fator limitante à obtenção da garantia da confiabilidade metrológica. A atividade experimental pode contribuir de forma muito significativa, tanto para se conhecer o comportamento metrológico de processos de medição quanto para formação de recursos humanos. Porém a experimentação, além de ter alto custo, esbarra na impossibilidade prática de variação controlada de muitos dos parâmetros envolvidos. Identifica-se aí um cenário apropriado para aplicação de simuladores. Neste trabalho está estruturado um sistema de simulação digital de instrumentos, congregando o estado-da-arte em metrologia, instrumentação, qualidade industrial e informática. O sistema consiste de ambientes, modelos e procedimentos de simulação direcionados à análise do comportamento metrológico de cadeias modulares de medição formadas por instrumentos elétricos. São propostas alternativas inéditas, empregadas no desenvolvimento em Labview de ambientes de simulação e de modelos de características metrológicas estáticas e dinâmicas.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica / Made available in DSpace on 2012-10-16T01:00:57Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T15:42:42Z : No. of bitstreams: 1 263803.pdf: 4998013 bytes, checksum: 005bbfa4b9b562fc9ce1c2ab1a0d68c7 (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2012-10-16T08:34:03Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T19:33:45Z : No. of bitstreams: 1 101460.pdf: 19259611 bytes, checksum: 04a65efe21333b17aa3151754dcb3c8a (MD5) / O trabalho apresenta exemplos de modernas tecnologias aplicadas ao projeto e à fabricação de moldes para injeção de plásticos. Destaca o conceito de integração no contexto dos sistemas CAD/CAE/CAM. Os elementos considerados fundamentais à integração são discutidos, buscando-se mostrar como os mesmos auxiliam o desenvolvimento de tarefas em ambientes integrado. Uma proposta de estrutura integrada é apresentada e discutida, enfocando principalmente as atuais limitações ao processo de integração.

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T02:20:31Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T22:21:49Z : No. of bitstreams: 1 138426.pdf: 9982503 bytes, checksum: 6d13fa737dba3e8f71fa1fbb62b397d8 (MD5)