Submitted by Diogo Barreiros (diogo.barreiros@ufba.br) on 2017-02-09T18:21:43Z No. of bitstreams: 1 dissertacao.pdf: 4966731 bytes, checksum: b6b3da0a100add5c901a3b87012bfefe (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-02-10T12:12:17Z (GMT) No. of bitstreams: 1 dissertacao.pdf: 4966731 bytes, checksum: b6b3da0a100add5c901a3b87012bfefe (MD5) / Made available in DSpace on 2017-02-10T12:12:17Z (GMT). No. of bitstreams: 1 dissertacao.pdf: 4966731 bytes, checksum: b6b3da0a100add5c901a3b87012bfefe (MD5) / Com a evolução das técnicas de manufatura, novos produtos são lançados no mercado com uma velocidade cada vez maior. Uma das formas de viabilizar a redução do tempo gasto no ciclo de desenvolvimento de produtos é através da junção de etapas do processo, que vão desde o projeto aos testes e fabricação. A prototipagem rápida está inserida neste contexto, pois permite a construção de objetos físicos a partir de modelos CAD (Computer-aided design). Essa técnica de construção assistida por computador oferece uma alternativa rápida e, no todo, mais barata e efetiva para produção de protótipos funcionais, se comparada aos processos convencionais de criação, demorados e custosos. Entretanto, a maioria das soluções disponíveis no mercado são proprietárias, fato que resulta em tecnologias fechadas e em custos ainda elevados. Este trabalho tem como foco o desenvolvimento de um sistema CAM (Computer-aided manufacturing) capaz de atuar em um sistema de prototipagem rápida de baixo custo, visando tornar esta tecnologia acessível a pequenas e médias empresas (PMEs). O sistema CAM desenvolvido será responsável pelo tratamento dos arquivos tridimensionais obtidos a partir do CAD, apresentando soluções para o fatiamento e planejamento das rotas de deposição de material na máquina de prototipagem rápida, bem como por comandar os eixos da máquina por CNC (Controle Numérico Computadorizado).

Submitted by Diogo Barreiros (diogo.barreiros@ufba.br) on 2017-02-17T15:39:20Z No. of bitstreams: 3 Dissertação Parte 01.pdf: 2043790 bytes, checksum: db69b439545208f9457caa8185db2d82 (MD5) Dissertação Parte 02.pdf: 1723290 bytes, checksum: f59635c2b682e4bce950b29de7f5c523 (MD5) Dissertação Parte 03.pdf: 1845287 bytes, checksum: 8d29fd76bb337f492f0cabccb9f75d3d (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-02-17T15:44:13Z (GMT) No. of bitstreams: 3 Dissertação Parte 01.pdf: 2043790 bytes, checksum: db69b439545208f9457caa8185db2d82 (MD5) Dissertação Parte 02.pdf: 1723290 bytes, checksum: f59635c2b682e4bce950b29de7f5c523 (MD5) Dissertação Parte 03.pdf: 1845287 bytes, checksum: 8d29fd76bb337f492f0cabccb9f75d3d (MD5) / Made available in DSpace on 2017-02-17T15:44:13Z (GMT). No. of bitstreams: 3 Dissertação Parte 01.pdf: 2043790 bytes, checksum: db69b439545208f9457caa8185db2d82 (MD5) Dissertação Parte 02.pdf: 1723290 bytes, checksum: f59635c2b682e4bce950b29de7f5c523 (MD5) Dissertação Parte 03.pdf: 1845287 bytes, checksum: 8d29fd76bb337f492f0cabccb9f75d3d (MD5) / Os motores automotivos utilizam sistema mecânico para acionamento das válvulas de exaustão e admissão. O sistema de acionamento mecânico de válvulas tem se mostrado confiável e eficiente por muitos anos, porém, a falta de flexibilidade para variar tempos e cursos das válvulas é umas das maiores causas da baixa eficiência e alto consumo de combustível nos Motores de Combustão Interna. Atualmente grande importância tem sido dada à redução no consumo de combustível, melhorias no desempenho e redução nos níveis de emissão. Reconhecendo este compromisso, indústrias automotivas juntamente com a comunidade científica estudam tecnologias capazes de viabilizar as Válvulas com Tempos Variáveis (Variable Valve Time - VVT). Entre esses novos tipos de dispositivos estão os sistemas denominados Camless (desprovido de cames) que utilizam atuadores independentes que possibilitam o controle dos movimentos das válvulas. Esta tecnologia promete aumentar a economia de combustível e potência além de reduzir as emissões e custos de fabricação do motor. Este trabalho aborda o desenvolvimento de um atuador eletro-hidráulico capaz de atender a demanda típica de motores automotivos. Mais especificamente, se propõe a atender à necessidade de flexibilização do controle das variáveis envolvidas no processo de combustão em motores de combustão interna. Entre suas principais características, o sistema desenvolvido prioriza as possibilidades de controle independente de cada válvula, variando seus tempos de ciclo, curso e velocidade de assentamento.

Submitted by Kleber Silva (kleberbs@ufba.br) on 2017-02-06T17:13:39Z No. of bitstreams: 1 Rui Carlos Botelho Almeida da Silva.pdf: 4302637 bytes, checksum: 7c1d3de5fed3e9f33254bdc62e656a3a (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-02-07T12:02:49Z (GMT) No. of bitstreams: 1 Rui Carlos Botelho Almeida da Silva.pdf: 4302637 bytes, checksum: 7c1d3de5fed3e9f33254bdc62e656a3a (MD5) / Made available in DSpace on 2017-02-07T12:02:49Z (GMT). No. of bitstreams: 1 Rui Carlos Botelho Almeida da Silva.pdf: 4302637 bytes, checksum: 7c1d3de5fed3e9f33254bdc62e656a3a (MD5) / Os Agentes Autônomos – AA e os Sistemas Multiagentes – SMA realizam suas tarefas baseados num planejamento e a sua complexidade vai depender de qual ambiente esteja envolvido, principalmente quando este ambiente é dinâmico e não determinista. A verificação de modelos tem sido aplicada para a verificação de propriedades do planejamento de modo a checar a correção de aplicações baseadas em AAs e SMA’s e tal verificação apresenta muitos desafios para contornar situações potenciais de explosão de estados. O futebol de robôs simulados é uma aplicação que apresenta muitas das características e problemas inerentes aos AA’s e SMA’s como um ambiente não determinista e dinâmico, fato este que vem tornando esta aplicação um relevante estudo de caso para a verificação de modelos de SMA’s. O presente trabalho considera a especificação e verificação de planos de um time de futebol de robôs simulado, o qual é baseado na arquitetura multicamada de Agentes Concorrentes(camada cognitiva, camada instintiva, e camada reativa), utilizando o verificador de modelos UPPAAL. Para atingir os objetivos do trabalho foi proposta uma abordagem incremental e evolutiva para modelar e verificar os planos, a qual inclui abstrações e técnicas baseadas em verificação composicional de modelos (Compositional Model Checking), com o objetivo de contornar situações de explosão de estados. O método proposto também pode ser utilizado em aplicações similares, o qual poderia ser suportado por um ambiente computacional interativo para guiar os analistas no processo de verificação de planos de SMA’s com arquitetura multicamada, usando a verificação de modelos.

Submitted by Kleber Silva (kleberbs@ufba.br) on 2017-02-06T17:24:05Z No. of bitstreams: 1 dissertação-Jose Augusto.pdf: 918097 bytes, checksum: d6d73ea4db6be8c29efc7d4d621ec204 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-02-07T12:20:16Z (GMT) No. of bitstreams: 1 dissertação-Jose Augusto.pdf: 918097 bytes, checksum: d6d73ea4db6be8c29efc7d4d621ec204 (MD5) / Made available in DSpace on 2017-02-07T12:20:16Z (GMT). No. of bitstreams: 1 dissertação-Jose Augusto.pdf: 918097 bytes, checksum: d6d73ea4db6be8c29efc7d4d621ec204 (MD5) / Atualmente, muitos sistemas mecatrônicos apresentam comportamentos definidos segundo restrições temporais e são comumente identificados como Sistemas de Tempo Real (STR). Estes sistemas são encontrados em diversas áreas que envolvem tecnologia, como automação industrial, telecomunicações e sistemas espaciais. Em todas essas áreas, há um rápido progresso tecnológico, que contribuí com o aumento na complexidade do software e na demanda de processamento. Uma tendênca crescente de utilização de plataformas com múltiplas unidades de processamentovem ocorrendo nos últimos anos. Chips contendo 100 núcleos de processamento são agora uma realidade. Neste contexto, o problema de escalonamento de tarefas deve ser avaliado levando em consideração esta tendência de paralelismo, pois a garantia das restrições temporais dos STR depende de como suas tarefas são escalonadas. O problema de escalonar n tarefas esporádicas num sistema de tempo real executando numa plataforma composta de m processadores idênticos é abordado nesta dissertação. A solução proposta é nomeada Hime (Higest-priority migration managed by EDF), a qual possui várias características interessantes: a maioria das tarefas executadas num único processador; existem no máximo [0,5m] tarefas migratórias; tanto os custos de utilização e a complexidade de sua implementação são baixos. O desempenho de Hime foi avaliado analiticamente e por simulação, os quais constataram que qualquer conjunto de tarefas com utilização não superior a 72,2% do sistema cumpre seus requisitos temporais que Hime pode lidar com sistemas que possuem utilização maior que 95% da capatidade de processamento do sistema. Tais resultados vêm contribuir com a área de STR multiprocessados ao mesmo tempo em que indicam possíveis ramos de investigação.

Submitted by Kleber Silva (kleberbs@ufba.br) on 2017-02-06T17:39:47Z No. of bitstreams: 1 Margarete.pdf: 1682975 bytes, checksum: e56338651014199361014446db75d844 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-02-07T12:53:16Z (GMT) No. of bitstreams: 1 Margarete.pdf: 1682975 bytes, checksum: e56338651014199361014446db75d844 (MD5) / Made available in DSpace on 2017-02-07T12:53:16Z (GMT). No. of bitstreams: 1 Margarete.pdf: 1682975 bytes, checksum: e56338651014199361014446db75d844 (MD5) / Formacão veicular e uma aplicacão tpica de sistemas multiagentes, na qual veículos automatizados (e.g. veículos autônomos, rob^os moveis) devem entre si assumir e manter uma formac~ao. Para a correta execuc~ao desta aplicac~ao e necessario ter disponíveis mecanismos de comunicac~ao con aveis, garantindo a troca de mensagens entre os veculos. Estas mensagens s~ao trocadas atraves de uma rede de comunicacão movel, como as redes MANETs e VANETs. Entretanto, tais redes, chamadas de redes Ad Hoc, n~ao fornecem garantias a comunicac~ao, podendo existir perda de mensagens ou da conectividade entre os nos. Isto ocorre devido a movimentacão dos veculos, efeitos climaticos, entre outros que degradam a capacidade de comunicac~ao entre eles. Assim, propomos uma abordagem com base em regras para o desenvolvimento de servicos de comunicac~ao para as aplicac~oes veiculares e criamos o I-CAR que e um conjunto de servicos inteligentes de comunicac~ao para redes de comunicac~ao veiculares, focado na aplicac~ao da formac~ao veicular. Estes servicos executam de forma distribuda, como modulos associados a cada agente veicular do sistema. Estes servicos s~ao construdos como regras, possibilitando ao veculo aut^onomo tomar decis~oes inteligentes a cerca das melhores formas de transmitir mensagens atraves da rede, assim como, de detectar a falha de outros veculos a partir da comunicac~ao. Construmos uma implementac~ao destes servicos utilizando o simulador de redes OMNet++, em conjunto com o simulador de trafego veicular SUMO, sendo realizadas diversas simulac~oes para veri car o funcionamento do sistema. Os resultados obtidos demonstram que a sobrecaga e a perda de mensagens geradas pelo sistema n~ao comprometem o funcionamento do mecanismo proposto.

Submitted by Kleber Silva (kleberbs@ufba.br) on 2017-02-06T17:49:38Z No. of bitstreams: 1 Alex Novais Santana.pdf: 1722665 bytes, checksum: 816c1399bb1d82febc4313a0e7e6f6c2 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-02-07T13:02:12Z (GMT) No. of bitstreams: 1 Alex Novais Santana.pdf: 1722665 bytes, checksum: 816c1399bb1d82febc4313a0e7e6f6c2 (MD5) / Made available in DSpace on 2017-02-07T13:02:12Z (GMT). No. of bitstreams: 1 Alex Novais Santana.pdf: 1722665 bytes, checksum: 816c1399bb1d82febc4313a0e7e6f6c2 (MD5) / Redes sem fio, como as redes m´oveis sem fio, redes de sensores sem fio e redes m´oveis n ao estruturadas, apresentam uma constante mudança na sua estrutura de ligações e de componentes devido principalmente a mobilidade. Esse tipo de rede din amica, exibe uma topologia com uma constante mudança que pode ser modelada através de grafos cujos componentes, v´ertices e arestas, mudam no tempo. Essa mudan¸ca topol´ogica ao longo do tempo cria desafios para aplica¸c oes distribu´ıdas se que utilizam das redes m´oveis sem fio para prover servi¸cos. Um desses desafios ´e prover confiabilidade para as aplicaçes em meio ao ambiente din amico apresentado por esse tipo de rede. Estimar o tempo de uma jornada máxima, ou seja, o limite máximo de tempo para que uma mensagem alcance todos os n´os da rede ´e essencial para a configura¸c ao e qualidade de servi¸co de protocolos de toler ancia a falhas, tais como os detectores de falhas n ao-confi´aveis. Esse trabalho apresenta um estudo anal´ıtico e experimental (atrav´es de simula¸c ao num´erica) para avaliar se as redes din amicas, com um modelo de mobilidade humano, s ao conexas no tempo. Para tanto, apresenta uma estimativa do tempo de uma jornada m´axima a partir de informa¸c oes locais de cada dispositivo, como a densidade local. Como resultado, apresenta-se uma demonstra¸c ao emp´ırica de que as redes din amicas s ao conexas no tempo, ademais, apresenta-se uma medida probabil´ıstica para o tempo de entrega das mensagens numa rede din âmica a partir de informa¸c oes da densidade local da rede.

Submitted by Diogo Barreiros (diogo.barreiros@ufba.br) on 2017-02-09T18:35:48Z No. of bitstreams: 1 Dissertação Branilson Meca-UFBA - final assinada.pdf: 8467328 bytes, checksum: 65e6b739768a49cd5dae0302fc0fc553 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-02-10T11:14:59Z (GMT) No. of bitstreams: 1 Dissertação Branilson Meca-UFBA - final assinada.pdf: 8467328 bytes, checksum: 65e6b739768a49cd5dae0302fc0fc553 (MD5) / Made available in DSpace on 2017-02-10T11:14:59Z (GMT). No. of bitstreams: 1 Dissertação Branilson Meca-UFBA - final assinada.pdf: 8467328 bytes, checksum: 65e6b739768a49cd5dae0302fc0fc553 (MD5) / Sistema de Manufatura Aditiva é a nomenclatura dada a sistemas mecatrônicos destinados a produzir sólidos por adição gradual de material orientados por um modelo virtual no computador, também conhecidos como Impressoras 3D ou Prototipadoras Rápidas. Estes sistemas são capazes de realizar, com o mínimo de intervenção humana, a construção de componentes mecânicos usando apenas os insumos presentes em seu compartimento de material. A despeito de existirem no mercado desde o início da década de 1990, estes produtos até hoje ainda são praticamente desconhecidos pelo grande público e, os disponíveis no mercado, têm como regra elevados custos de aquisição e operação. Este trabalho trata do desenvolvimento do sistema Popfab 3D, um equipamento de Manufatura Aditiva flexível que objetiva democratizar o acesso à tecnologia de Manufatura Aditiva. O texto aborda todas as etapas de projeto, desde o levantamento informacional até os testes de protótipo funcional. O sistema desenvolvido processa materiais termoplásticos tal como saem da indústria, na forma de grãos ou pó, eliminando assim a necessidade de préprocessamento dos insumos como transformação em filamentos ou resinas líquidas, como ocorre com os sistemas disponíveis no mercado. Esta abordagem tem a vantagem de simplificar a experiência com materiais diversificados, materiais reciclados, além de misturas entre termoplásticos e plásticos com cargas de outros tipos de material, como metais, cerâmicas, etc.. Flexibiliza-se, deste modo, drasticamente as possibilidades de escolha dos insumos processados e reduzem-se os custos de produção, além de permitir fabricar componentes com características mecânicas variadas. O sistema foi desenvolvido baseado em componentes disponíveis no mercado brasileiro que, além de tornar a estrutura mais barata, permitiu simplificar sua construção.

Submitted by Diogo Barreiros (diogo.barreiros@ufba.br) on 2017-02-09T19:37:44Z No. of bitstreams: 1 dissertacaoElisangelaPPGM.pdf: 2041806 bytes, checksum: 9ec98390f6bfd12f39e3ece4ab870686 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-02-10T11:28:44Z (GMT) No. of bitstreams: 1 dissertacaoElisangelaPPGM.pdf: 2041806 bytes, checksum: 9ec98390f6bfd12f39e3ece4ab870686 (MD5) / Made available in DSpace on 2017-02-10T11:28:44Z (GMT). No. of bitstreams: 1 dissertacaoElisangelaPPGM.pdf: 2041806 bytes, checksum: 9ec98390f6bfd12f39e3ece4ab870686 (MD5) / Os sistemas entre pares (P2P) são distribuídos e construídos através da colaboração dos seus participantes, portanto, costumam ser autoorganizáveis e escaláveis. Os ambientes ubíquos são formados por dispositivos completamente autônomos, que se conectam de forma espontânea com o objetivo de receber e/ou fornecer algum tipo de serviço. Os modelos empregados nas redes P2P apresentam características adequadas às necessidades dos ambientes ubíquos, já que suportam dinamismo e não possuem um controle centralizado para coordenar as ações dos usuários. Em tais sistemas, as interações ocorrem entre usuários desconhecidos ou que não se conhecem muito bem, o que os tornam vulneráveis aos ataques de usuários maliciosos. Os sistemas de reputação são propostos para facilitar as interações entre os participantes através do fornecimento de informações que possam determinar o grau de confiança das entidades. Este trabalho tem como principal objetivo avaliar a robustez de protocolos de reputação P2P e sua adequação aos ambientes ubíquos. Para isso, construiu-se o simulador PeerRepSim (Simulador para Redes P2P e Sistemas de Reputação) baseado em modelo de ciclos de busca, que simula um sistema de compartilhamento de arquivos. A partir dos resultados gerados nas simulações verificou-se a robustez dos protocolos avaliados diante de um conjunto de ataques de usuários maliciosos. Além da robustez foi possível inferir sobre o comportamento da rede no que diz respeito à complexidade das mensagens, ao armazenamento e à computação requerida pelos protocolos. A partir destas informações identificou-se os protocolos de reputação mais adequados aos ambientes ubíquos, levando-se em consideração às limitações dos dispositivos que fazem parte destes ambientes.

Submitted by Diogo Barreiros (diogo.barreiros@ufba.br) on 2017-02-09T19:45:16Z No. of bitstreams: 1 Dissertação Final - Itã Teodoro.pdf: 3843711 bytes, checksum: f3457fafb2633c8fa62c537ec47ef8de (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-02-10T11:32:50Z (GMT) No. of bitstreams: 1 Dissertação Final - Itã Teodoro.pdf: 3843711 bytes, checksum: f3457fafb2633c8fa62c537ec47ef8de (MD5) / Made available in DSpace on 2017-02-10T11:32:50Z (GMT). No. of bitstreams: 1 Dissertação Final - Itã Teodoro.pdf: 3843711 bytes, checksum: f3457fafb2633c8fa62c537ec47ef8de (MD5) / Uma parcela da população brasileira vive em comunidades rurais isoladas sem acesso a rede de distribuição de energia elétrica. Como as concessionárias de energia elétrica alegam a inviabilidade econômica para instalar linhas de transmissão para abastecer essas comunidades, instituições e órgãos, como o Ministério de Minas e Energias, apóiam pesquisas para desenvolvimento de sistemas de geração de energias renováveis como eólica, biomassa, solar, etc., que sejam economicamente viáveis para abastecer de energia elétrica e promover o desenvolvimento econômico e social dessas localidades. No campo da energia solar, materiais semicondutores, usados na fabricação de células solares, e sistemas de rastreamento solar vêm sendo estudados e desenvolvidos visando aumentar a eficiência na geração de energia elétrica por parte dos painéis solares. Nesse trabalho foi desenvolvido um sistema mecatrônico capaz orientar um painel solar utilizando um algoritmo que calcula a trajetória do Sol a cada instante do ano. O sistema é constituído de dois eixos de rotação que, individualmente, são responsáveis pela movimentação diária e anual do painel rastreando o Sol. Tal configuração possibilitou o desenvolvimento de um protótipo simples, tanto no que diz respeito ao algoritmo de controle, quanto na sua eletromecânica. Foi feita a comparação entre as eficiências elétricas do sistema móvel construído e de um painel fixo, expostos as mesmas condições de insolação, e verificado um aumento médio na geração de energia elétrica de 39 4%. A análise de custos mostrou que o gasto suplementar com o protótipo mecanizado e instrumentado é 6% menos custoso, quando comparado ao sistema fixo, o que indica sua viabilidade econômica. Tais resultados confirmam a importância do investimento em pesquisa no aumento da geração de energia elétrica através sistemas de painéis solares fotovoltaicos que rastreiam o Sol e a possibilidade da implantação desse tipo de sistema em localidades desassistidas pelas concessionárias de distribuição elétrica, promovendo assim um maior desenvolvimento social e econômico local.

Submitted by Diogo Barreiros (diogo.barreiros@ufba.br) on 2017-02-09T18:58:07Z No. of bitstreams: 1 dissertacao_reconfiguracao_com_seg.pdf: 1376143 bytes, checksum: 3ee6bade31c4ac64861d412960df6f9a (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-02-10T11:38:30Z (GMT) No. of bitstreams: 1 dissertacao_reconfiguracao_com_seg.pdf: 1376143 bytes, checksum: 3ee6bade31c4ac64861d412960df6f9a (MD5) / Made available in DSpace on 2017-02-10T11:38:30Z (GMT). No. of bitstreams: 1 dissertacao_reconfiguracao_com_seg.pdf: 1376143 bytes, checksum: 3ee6bade31c4ac64861d412960df6f9a (MD5) / Sistemas modernos de controle e supervisão são caracterizados pela utilização de componentes de prateleira (Commercial off-the-shelf - COTS), como componentes de rede, sistemas operacionais e middlewares, visando à otimização de custos e reutilização. Um dos aspectos cruciais em tais sistemas é sua capacidade de se adaptar a mudanças no ambiente computacional ou novos requisitos da aplicação. A plataforma ARCOS - Architecture for Control and Supervision, baseada em componentes de tempo-real, foi desenvolvida no Laboratório de Sistemas Distribuídos (LaSiD), no âmbito do Programa de Pós-Graduaçào em Mecatrônica da Universidade Federal da Bahia, para atender a essas novas demandas de sistemas industriais de controle e supervisão. Nesse trabalho, é apresentado o serviço de reconfiguração dinâmica desenvolvido para sistemas baseados em componentes, que permite modificar a composição de uma aplicação em tempo de execução, procurando minimizar o impacto em partes do sistema não envolvidas na reconfiguração em questão. É descrita a utilização desse serviço na reconfiguração de duas variações de uma aplicação de controle baseada em componentes: uma delas desenvolvida sem o emprego do ARCOS e uma outra em que esse framework é empregado. Adicionalmente, são apresentados experimentos realizados com o objetivo de avaliar o impacto da reconfiguração nas aplicações alvo.