Atividades de teste no desenvolvimento de sistemas Reativos são de grande relevância, bem como a disponibilidade de ferramentas que apóiem essas atividades, pois falhas nesses sistemas podem causar graves conseqüências econômicas e/ou sociais. A Análise de Mutantes tem sido explorada no teste de especificações do aspecto comportamental de Sistemas Reativos baseadas em Máquinas de Estados Finitos, Statecharts e Redes de Petri. Este trabalho tem como objetivo a implementação da Proteum-RS/ST, que apóia o teste de especificações Statecharts baseada na Análise de Mutantes. Dessa forma, fornecem-se subsídios para se investigar a adequação de critérios tradicionalmente usados no teste de programas, como a Análise de Mutantes, no teste de especificações de Sistemas Reativos, em particular no contexto de especificações baseadas em Statecharts.

Estágio realizado no INEGI e orientado pelo Eng.º João Paulo Pereira / Tese de mestrado integrado. Engenharia mecânica. Faculdade de Engenharia. Universidade do Porto. 2009

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-15T19:05:39Z (GMT). No. of bitstreams: 0

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-15T19:54:12Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T13:12:37Z : No. of bitstreams: 1 152251.pdf: 11370241 bytes, checksum: f7a908f3f5a20643a9ef133803c0489f (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-15T21:37:53Z (GMT). No. of bitstreams: 0Bitstream added on 2013-07-16T16:58:00Z : No. of bitstreams: 1 261887.pdf: 3864881 bytes, checksum: e90ddc9660d8348be3adcec5baa626d1 (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro Tecnologico / Made available in DSpace on 2012-10-16T01:24:33Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T16:08:36Z : No. of bitstreams: 1 80422.pdf: 2381714 bytes, checksum: d9c4d4b49be357917fc68685c2d0729c (MD5) / Através do projeto e da construção de uma mesa de duas coordenadas ortogonais XY, acionada por motores de passo e comandada por microcomputador dedicado, realizou-se um sistema posicionador de baixo custo com comando numérico (CNC), utilizando um alto índice de nacionalização dos componentes mecânicos envolvidos e obtendo uma mínima complexidade no sistema de comando, pois dispensa realimentação de velocidade e posição. Não há duvida, por outro lado, de que os elevados custos e complexidade dos CNCs disponíveis no mercado, constituem hoje, as maiores restrições às aplicações nos sistemas posicionadores de menor precisão, apesar de sua reconhecida necessidade de automatização. O sistema aqui desenvolvido e implantado, cria, por isso, uma solução nacional para mesas de coordenadas XY, de pequeno porte, que podem ser utilizadas, entre outras aplicações, por exemplo, na automatização de máquinas de bordar industriais e em furadeiras de circuitos impressos. Ensaios estáveis e dinâmicos realizados no conjunto, mostram que é viável a utilização deste equipamento em situações que não exijam elevada precisão e alta resolução.

Dissertação (mestrado) - Universidade Federal de Santa Catarina. Centro Tecnologico / Made available in DSpace on 2012-10-16T02:22:38Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T16:11:36Z : No. of bitstreams: 1 88958.pdf: 2206569 bytes, checksum: df071f50f847bfc83da76246ee3e71b8 (MD5) / Inicialmente é feito uma revisão dos fundamentos do comportamento dinâmico do comando e do controle de sistemas físicos. Apresenta-se o comando numérico como um sistema que tem sob seu controle um ou mais posicionadores, apresentados como células básicas de todos os sistemas. A seguir são abordados os componentes mecânicos de posicionadores, classificados em grupos funcionais. São estudados os parâmetros que influenciam o comportamento dinâmico do posicionador, e estabelecidas recomendações orientativas a seleção e/ou projeto de componentes mecânicos com vistas ao comportamento dinâmico ótimo. Também são abordados os acionamentos eletromecânicos para posicionadores, com enfoque em seu comportamento dinâmico. São apresentadosos principais erros de trajetória que podem surgir em posicionadores que tem origem no sistema de controle. São apresentadas formas de minimizá-los ou eliminá-los. Por fim são apresentadas propostas de medição que podem ser realizadas em posicionadores, com vistas a determinação experimental de seus parâmetros e de seu comportamento dinâmico. Através destes ensaios pode-se proceder a otimização do comportamento dinâmico de posicionadores.

Dissertação (mestrado) - Universidade. Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2012-10-16T06:32:34Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T18:45:09Z : No. of bitstreams: 1 98095.pdf: 3839837 bytes, checksum: 41fb662a63499c67042f819806d434f5 (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2012-10-16T08:51:59Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T19:59:04Z : No. of bitstreams: 1 100210.pdf: 3365651 bytes, checksum: 413e463710049c79e9f661eb68d96158 (MD5) / Estudo das correlações existentes entre os desvios geométricos gerados nas brocas helicoidais e suas influências sobre as características do processo de furação e sobre o resultado do trabalho. Partindo-se dos desvios geométricos mais freqüentes encontrados em brocas afiadas manualmente e mecanicamente em indústrias, procurou-se reproduzir estes erros individualmente em três níveis de intensidade, permitindo assim verificar a influência destes sobre a furação. As alterações geométricas foram introduzidas uma a uma em três lotes de brocas helicoidais de aço rápido ABNT BR 7438 (DIN 338), com o diâmetro nominal de 10mm e ângulos de ponta de 106º (gumes convexos), 118º (gumes retos) e 130º (gumes côncavos) em três grupos de materiais mais empregados na indústria (alumínio 2011-73, bronze TM-23 e o aço ABNT 1020). Os ensaios foram realizados na furação maciça até uma profundidade de 25mm. Como grandezas características do processo foram medidas a força de avanço e o momento torçor e como resultado do trabalho foram determinados os desvios de circularidade e de cilindricidade, a rugosidade da parede do furo, o diâmetro médio do furo e observou-se ainda a forma dos cavacos gerados.

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T01:24:04Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T22:17:01Z : No. of bitstreams: 1 138861.pdf: 14992398 bytes, checksum: 7a034db09f215088556f61bfed4509ec (MD5)