O Problema de Balanceamento e Sequenciamento de Linhas de Montagem com Tempos de Setup dependentes da Sequência (SUALBSP, em inglês Setup Assembly Line Balancing and Scheduling) envolve a atribuição de tarefas às estações de trabalho e o sequenciamento destas tarefas dentro da estação à qual foi atribuída. Trabalhos anteriores propuseram soluções heurísticas com excelentes resultados, porém o uso de métodos exatos, por meio de algum resolvedor de Programação Inteira Mista, tem apresentado desempenhos decepcionantes, pois contém um subproblema NP-hard em todas as estações. Enquanto o modelo de Scholl, Boysen e Fliedner (2013) minimiza prioritariamente o número de estações, o modelo proposto neste trabalho parte da premissa que este é um dado definido. A partir de uma estimativa inicial de número de estações, processa-se o modelo com o objetivo de distribuir as tarefas e minimizar o tempo total de estação, que é o segundo objetivo do modelo original. Se este processamento for infactível, incrementa-se o número de estações em uma unidade e reprocessa-se o modelo até se encontrar um resultado factível. Experimentos computacionais em 101 instâncias de dados confirmam o bom desempenho da abordagem proposta, sem qualquer prejuízo à qualidade da solução. Portanto, os resultados apresentados demonstram que há espaço para estudos futuros a partir do uso de matheurísticas. / The Setup Assembly Line Balancing and Scheduling Problem (SUALBSP) involves the assigning of tasks to workstations and the sequencing of these tasks within the station to which they are assigned. Previous work has proposed heuristic solutions with excellent results, but the use of exact methods, by some Mixed-Integer Programming solver, has shown disappointing performance, because it contains an NP-hard sub problems in every station. While the model proposed by Scholl, Boysen and Fliedner (2013) primarily minimizes the numbers of stations, our model assumes it as a parameter. From an initial estimate of the number of stations, we process the model for allocating tasks and minimize station times, which is the second objective of the original model. If this processing is infeasible, we increase the number of stations by one unit and we reprocess the model to find a feasible result. Computational experiments in 101 instances of data set confirm the good performance of the proposed approach, without harming the quality of the solution. Therefore, the results show that there are opportunities for future studies based on the use of matheuristics.

As forças devido aos efeitos do vento são, em geral, as solicitações predominantes em projeto de estruturas de linhas de transmissão. Apesar de ventos convectivos de alta intensidade serem frequentemente relacionados a falhas estruturais, as recomendações normativas mais utilizadas contemplam apenas ventos sinóticos, sem fazer considerações a carregamentos devido a ventos convectivos. É importante ressaltar que, devido às grandes dimensões lineares das linhas de transmissão, estes projetos são mais suscetíveis a danos causados por ventos de efeito localizado do que estruturas com localização pontual. Para complementar estudos anteriores a respeito do efeito de tormentas locais em linhas de transmissão, este trabalho tem como objetivo analisar as forças induzidas em cabos ocasionadas por uma combinação de tormentas descendentes e ventos sinóticos. Através de uma rotina computacional na plataforma MATLAB, os eventos a serem analisados foram simulados. Foram considerados diversos comprimentos de vãos, combinações e orientações de ventos nas simulações. Dos resultados obtidos, pode-se concluir que, para a mesma velocidade de vento a uma altura de 10 m acima do solo, um evento sinótico induz carregamentos mais severos nos cabos, quando sua direção é perpendicular aos cabos. Em outros casos analisados, observa-se que, pelo caráter axissimétrico do campo de velocidades de vento gerado, o caso composto por uma tormenta descendente poder ser o que induz carregamentos mais severos. / The forces due to wind effects cause, in general, the most severe loading in the design of overhead transmission lines structures. Although high intensity winds are often related to structural failure, the most widely used standard recommendations include only synoptic winds, without regards to loadings due to convective winds. It is noteworthy that, due to the large linear dimensions of transmission lines, they are more susceptible to damages from localized winds than punctual structures. In order to complemente previous studies on the effect of localized high intensity localized winds on transmission lines, this research seeks to analyse cable tensions induced by a combination of both synoptic and high intensity localized winds.Through a computational routine in MATLAB, the events to be analysed were simulated. Several span lenghts, orientations and combinations of winds were considered on the simulations.From the results obtained, it is possible to conclude that, from the same wind speed at a height of 10 m above the ground, a synoptic event with its direction perpendicular to the cables induced more severe loads. In other cases analysed, it was observed that due to the axisymmetric wind field generated, the more severe load case may be composed by a localized wind event.

Submitted by João Arthur Martins (joao.arthur@ufpe.br) on 2015-03-09T14:17:41Z No. of bitstreams: 2 Dissertação Edson Fernando Pereira.pdf: 3313193 bytes, checksum: b364d39d66e8dbd3db7091e3459ca2ae (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-09T14:17:41Z (GMT). No. of bitstreams: 2 Dissertação Edson Fernando Pereira.pdf: 3313193 bytes, checksum: b364d39d66e8dbd3db7091e3459ca2ae (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012 / Nos projetos dos navios modernos a geometria dos elementos do casco, especificamente proa e popa, é um fator preponderante, pois devem apresentar formas que favoreçam uma baixa resistência na movimentação dos navios nos mares garantindo um melhor desempenho nos deslocamentos. Atualmente, as formas curvas da proa e popa são projetadas por programas computacionais específicos de modelagem em três dimensões que determinam os diversos raios de suas curvaturas, servindo de orientação para o detalhamento de sua fabricação. O complexo processo de fabricação das chapas de aço com curvaturas específicas para proa e popa exige uma associação com diversos processos de conformação a frio, tais como o dobramento e a calandragem. Geralmente, os processos de conformação a frio não são capazes executar todas as operações de curvaturas. Então, necessariamente faz-se o uso do processo de linhas de calor para obter as curvas especificadas no detalhamento do projeto da proa e popa dos navios. O processo de conformação de chapas por linhas de calor consiste de um método que utiliza uma fonte de calor em movimento com o objetivo de provocar na região aquecida uma dilatação elástica e plástica que resulta em uma deformação permanente. Neste trabalho foram realizadas conformações em chapas por linhas de calor analisando-se seus mecanismos termomecânicos, assim como também utilizado um modelamento matemático para previsão do comportamento das deformações utilizando a teoria termo-elástico-plástica, como meio de minimizar as imprecisões nas formas finais ditadas em projeto. Para tanto, foi desenvolvida uma máquina semi-automática usada na simulação de experimentos de linhas de calor, onde foram controlados os parâmetros importantes no processo, tornando possível realçar a aplicabilidade de um sistema automatizado para aplicação prática das linhas de calor. Uma máquina de medição por coordenadas foi utilizada para obtenção dos perfis das linhas formadas pelas coordenadas de pontos transversais, antes e depois da aplicação do processo das linhas de calor, os quais foram comparados com aqueles previstos por um modelo matemático, concluindo-se que o método aplicado é capaz de prever as deformações provenientes pela aplicação de linhas de calor, obtendo assim, a confirmação de que a metodologia aplicada neste trabalho consegue representar de maneira satisfatória a deformação causada pela aplicação de linha de calor em chapas metálicas. Palavras-chave: Conformação de chapas, Linhas de calor, Tensões termo-elástic

Submitted by Lucelia Lucena (lucelia.lucena@ufpe.br) on 2015-03-09T17:44:49Z No. of bitstreams: 2 DISSERTAÇÃO Jefferson Rodrigues de Almeida.pdf: 4623062 bytes, checksum: f4cfaea650da4ae73310745aa4b92435 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-09T17:44:49Z (GMT). No. of bitstreams: 2 DISSERTAÇÃO Jefferson Rodrigues de Almeida.pdf: 4623062 bytes, checksum: f4cfaea650da4ae73310745aa4b92435 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2014-03-12 / FACEPE / Linhas de produtos de software estão emergindo como um paradigma de desenvolvimento viável e como um importante aliado que permite às empresas realizar melhorias de ordem de magnitude em tempo de mercado, custo, produtividade, qualidade e outros direcionadores de negócio. No entanto, a evolução de uma linha de produtos é arriscada, porque pode afetar muitos produtos e seus respectivos clientes. Neste contexto, ao evoluir uma linha de produtos para introduzir novas funcionalidades ou para melhorar a sua concepção, é importante garantir que os produtos existentes tenham o mesmo comportamento após a evolução. Ferramentas típicas de refatoração não podem garantir a preservação de comportamento dos produtos, porque o contexto de linha de produtos vai além de código. As linhas de produtos abrangem artefatos adicionais, tais como modelo de features e modelo de configurações. Além disso, geralmente tem que lidar com um conjunto de artefatos alternativos que não constituem um programa bem-formado. Portanto, ferramentas de refatoração existentes podem introduzir mudanças comportamentais ou invalidar configurações de produtos. Analisar essas evoluções de artefatos manualmente podem gastar muito tempo e levar a defeitos, comprometendo os benefícios de linhas de produtos de software acima mencionados. Na literatura, encontramos algumas abordagens de força bruta que se movem na direção de superar esses desafios. Elas implementam aproximações práticas de uma teoria de refinamento de linhas de produtos de software. No entanto, elas são imprecisas e gastam um tempo substancial para verificar incompatibilidades comportamentais entre as evoluções. Em contraste, uma alternativa otimizada foca na verificação de compatibilidade comportamental apenas das classes modificados durante a evolução. Isto leva a uma redução no tempo, fazendo com que a abordagem seja mais rápida quando comparado com outras abordagens propostas. Este procedimento melhora o desempenho, mas por outro lado, diminui a precisão. Portanto, neste trabalho, propomos estratégias para aumentar a precisão dessas abordagens otimizadas. Primeiramente implementados uma estratégia ao qual analisa as classes em uma hierarquia mais próxima do usuário, o que pode melhor determinar se a evolução preserva comportamento. Além disso, integramos uma nova ferramenta de geração de teste para o nosso conjunto de ferramentas, que tem uma heurística eficiente para orientar a sua busca por testes de maior qualidade. Neste trabalho, nós combinamos essas duas referidas abordagens com duas ferramentas de teste e fazemos comparações em relação ao desempenho e precisão. Elas são avaliadas em cenários concretos de evolução de duas linhas de produtos. A primeira linha de produtos gera testes funcionais a partir de especificações de casos e a segunda gerencia mídia em dispositivos móveis. Como resultado, nossas estratégias descobriram que algumas transformações introduziram mudanças comportamentais. Além disso, melhorou o desempenho e alcançou precisões mais elevadas.

Submitted by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-10T13:52:04Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertaçao Dhiego Abrantes De Oliveira Martins..pdf: 2253205 bytes, checksum: ac6b5aaa983adfe88c8555520c237441 (MD5) / Made available in DSpace on 2015-03-10T13:52:04Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertaçao Dhiego Abrantes De Oliveira Martins..pdf: 2253205 bytes, checksum: ac6b5aaa983adfe88c8555520c237441 (MD5) Previous issue date: 2013-08-30 / É notório o surgimento de ambientes cada vez mais dinâmicos, exigindo sistemas mais flexíveis, de forma que componentes possam ser plugados ou desplugados durante o seu ciclo de vida, inclusive em tempo de execução. Para atender estes requisitos, é necessário que decisões sobre possíveis adaptações e variações do produto possam ser tomadas em tempo de execução. Sistemas Sensíveis ao Contexto atendem a esse propósito, sendo capazes de adaptar-se em tempo de execução de acordo com mudanças no ambiente, obedecendo um conjunto de regras. Quando técnicas de Linhas de Produto de Software (LPS) são aplicadas no desenvolvimento de sistemas adaptativos, tais decisões podem resultar na configuração de um novo produto. Em uma LPS tradicional, um produto é derivado de acordo com sua configuração, que ocorre na fase de design e consiste na seleção de features que irão compor o produto, remoção das features que não farão parte do produto e ligação dos pontos de variação. Linhas de Produto de Software Dinâmicas extendem o conceito convencional de LPS abordando aspectos dinâmicos, provendo uma abordagem para tratar variabilidades que precisam ser manipuladas em tempo de execução. Quando alinhamos paradigmas como Sistemas Sensíveis ao Contexto, Arquitetura Orientada a Serviços e LPS, podemos enfrentar alguns desafios. O sistema derivado de uma LPS é composto por features e pontos de variação. Considerando que o modelo de Arquitetura Orientada a Serviços segue o padrão arquitetural Cliente-Servidor, podemos ter um cenário em que as features que compõem o produto no lado cliente podem endereçar uma composição de serviços. Dessa forma, os pontos de variação podem sofrer variabilidades de acordo com mudanças no contexto, exigindo a execução de reconfigurações nos serviços de modo a atender tais variabilidades. As abordagens propostas atualmente não oferecem um suporte para esse tipo de problema ou são incipientes, estando em fases iniciais de pesquisa. Neste trabalho é apresentado um estudo sobre variabilidades dinâmicas em Linhas de Produto de Software Orientadas a Serviços e Sensíveis ao Contexto, investigando especificamente situações quando features que endereçam um ou mais serviços são reconfiguradas no lado cliente, requerendo reconfigurações nos serviços, no lado servidor.

Submitted by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-04-17T14:25:21Z No. of bitstreams: 2 TESE Ulysses R. Vitor.pdf: 2276163 bytes, checksum: 871f25a1a3540c9b24d8e9df02c5ea78 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-04-17T14:25:21Z (GMT). No. of bitstreams: 2 TESE Ulysses R. Vitor.pdf: 2276163 bytes, checksum: 871f25a1a3540c9b24d8e9df02c5ea78 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-07-26 / Capes; CNPQ / Este trabalho apresenta uma nova técnica para determinar a função transferência de uma de uma rede elétrica quando exposta á frequências na faixa de quilohertz e megahertz tipicamente usadas para transmitir informação. Essa nova técnica usa a teoria de grafo de fluxo, a qual é frequentemente empregada para cálculo de ganho em amplificadores de micro-ondas, sendo aplicada para sistemas lineares. Realizaram-se medidas com cabos coaxiais, inicialmente, pois é um sistema isolado, sem interferências e com impedância característica constante e conhecida. Dessa forma, pode-se ter uma primeira avaliação da técnica. Em seguida, medições em uma rede de teste do IFPE campus Pesqueira foram realizadas. A função transferência obtida através de grafo de fluxo foi utilizada para modelar o canal de transmissão. Essa nova metodologia mostrou-se bastante promissora, podendo ser considerada uma ótima alternativa para a analise do canal PLC.

Made available in DSpace on 2014-06-12T15:07:08Z (GMT). No. of bitstreams: 2 arquivo1366_1.pdf: 1580189 bytes, checksum: 0f7a548c2f6f7f1afab3295158b325fb (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / A identidade da marca é tida como elo de ligação entre as diversas mensagens por ela proferidas ao longo dos anos. Esse elemento possui alguns aspectos perenes e outros mutáveis, os quais farão com que a marca se atualize. Produtos, nome, raízes geográficas e símbolos são alguns dos elementos mencionados como fontes da identidade da marca; pouca atenção, porém, é dada ao aspecto humano. Entre as várias pessoas que interagem com ela, interferindo na constituição de sua identidade, uma é especial: o seu fundador. É este quem provê características à marca, como se fosse um pai. Estudamos, utilizando a análise narrativa, o caso da TAM e de seu fundador Rolim. Ao analisarmos suas palavras sobre a marca desenvolvida, verificamos que o fundador não menciona a marca sem falar de si mesmo e contar sua história, pois, com o passar do tempo, suas identidades tornam-se entrelaçadas. A objetivação dos elementos identitários do empreendedor na identidade da marca se dá através da atuação do fundador em todas as ações da empresa e a expressão de seu exemplo como devendo ser seguido por todos que a compõem

Made available in DSpace on 2014-06-12T15:52:31Z (GMT). No. of bitstreams: 2 arquivo3380_1.pdf: 3662532 bytes, checksum: 7a5c0cdcff383bfae82e49476b58f158 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Associação para Promoção da Excelência do Software Brasileiro / A Gerência de Variações é um desafio para a adoção de Linhas de Produtos de Software, uma vez que os desenvolvedores precisam de meios para especificar e implementar variações que ocorrem em diferentes tipos de artefatos (como requisitos, projeto e arquitetura, código fonte e casos de testes). Esta tese apresenta uma nova abordagem para gerenciar variações em cenários de casos de uso. Tal abordagem, Modeling Scenario Variabilities as Crosscutting Mechanisms (MSVCM), objetiva melhorar a separação de preocupações entre a representação de variações e as especificações de cenários, possibilitando aos engenheiros do domínio e da aplicação compreender evoluir ambas as preocupações de forma independente. MSVCM alcança tal objetivo graças ao uso extensivo de mecanismos composicionais para a derivação de produtos, idéia motivada pelo fato de que artefatos como modelos de features, configuração de produtos e modelos de conhecimento da configuração se entrecortam em relação aos membros da linha de produtos. Após a avaliação da abordagem proposta, por meio de alguns estudos de casos, identificou-se que MSVCM reduz o espalhamento de features e melhora a coesão das especificações de cenários. Estes resultados sugerem que a evolução das especificações usando a técnica proposta nesta tese requer alterações mais localizadas, quando comparada com outras abordagens existentes. Por outro lado, os resultados de três experimentos controlados apresentaram evidências de que MSVCM apenas reduz o tempo necessário para evoluir as especificações de uma LPS quando os participantes possuem grande familiaridade com a técnica proposta e com o processo de evoluir especificações de linhas de produtos.

Made available in DSpace on 2014-06-12T15:52:34Z (GMT). No. of bitstreams: 2 arquivo3521_1.pdf: 3662532 bytes, checksum: 7a5c0cdcff383bfae82e49476b58f158 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / A Gerência de Variações é um desafio para a adoção de Linhas de Produtos de Software, uma vez que os desenvolvedores precisam de meios para especificar e implementar variações que ocorrem em diferentes tipos de artefatos (como requisitos, projeto e arquitetura, código fonte e casos de testes). Esta tese apresenta uma nova abordagem para gerenciar variações em cenários de casos de uso. Tal abordagem, Modeling Scenario Variabilities as Crosscutting Mechanisms (MSVCM), objetiva melhorar a separação de preocupações entre a representação de variações e as especificações de cenários, possibilitando aos engenheiros do domínio e da aplicação compreender evoluir ambas as preocupações de forma independente. MSVCM alcança tal objetivo graças ao uso extensivo de mecanismos composicionais para a derivação de produtos, idéia motivada pelo fato de que artefatos como modelos de features, configuração de produtos e modelos de conhecimento da configuração se entrecortam em relação aos membros da linha de produtos. Após a avaliação da abordagem proposta, por meio de alguns estudos de casos, identificou-se que MSVCM reduz o espalhamento de features e melhora a coesão das especificações de cenários. Estes resultados sugerem que a evolução das especificações usando a técnica proposta nesta tese requer alterações mais localizadas, quando comparada com outras abordagens existentes. Por outro lado, os resultados de três experimentos controlados apresentaram evidências de que MSVCM apenas reduz o tempo necessário para evoluir as especificações de uma LPS quando os participantes possuem grande familiaridade com a técnica proposta e com o processo de evoluir especificações de linhas de produtos

Made available in DSpace on 2014-06-12T15:55:08Z (GMT). No. of bitstreams: 2 arquivo9604_1.pdf: 6012873 bytes, checksum: 8038d505b71a040f17e72f9d678160bf (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2012 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Este tese apresenta o conceito de Domain-Specific Game Development, uma abordagem que emprega os benefícios de linhas de produção de software (SPLs) para criar mais eficientemente jogos digitais pertencentes a uma mesma família. A necessidade por essa abordagem é justificada pelo fato de que a introdução de conceitos de reuso e SPL em jogos digitais, na verdade em qualquer domínio, não é trivial, devido às peculiaridades de cada domínio. Especificamente para jogos, a Engenharia de Requisitos tradicional e casos de uso não podem ser aplicados como são. Prototipagem, rápida experimentação e requisitos baseados em emoção são preferidos em relação a requisitos de negócio. O tão popular conceito de motores de jogos é muito vago e ambíguo para definir o escopo de uma linha de produção de jogos. A experiência de jogadores é mais baseada em surpresas e rupturas do que na aderência a padrões. E nenhuma abordagem focada na melhoria do desenvolvimento de jogos pode ignorar motores de jogos, atual estado-da-arte no desenvolvimento de jogos digitais. Por outro lado, a abstração provida por eles poderia ser menos complexa de ser consumida, através de ferramentas baseadas em linguagens, o uso de modelos como cidadãos de primeiroa classe (assim como código fonte) e uma melhor integração com o processo de desenvolvimento. Dada essa motivação, Domain-Specific Game Development faz a ponte entre SPLs e o desenvolvimento de jogos, culminando com linguagens de domínio específico (DSLs) e geradores alinhados para sub-domínios de jogos e focados em automatizar mais o processo de desenvolvimento de jogos digitais. A abordagem emprega Engenharia de Domínio, Model-Driven Development e reuso de software para encapsular as melhores e mais comuns práticas do desenvolvimento de jogos, ainda suportando comportamento variável e imprevisto. Para avaliar a abordagem, apresentamos casos de estudo confirmatórios e exploratórios, assim como um experimento controlado realizado com engenheiros de software da indústria. Com uma melhoria de produtividade observada de mais de 5 vezes em média, sugerimos Domain-Specific Game Development como uma abordagem viável para o desenvolvimento de jogos que pertencem a uma mesma família, de modo a reduzir a complexidade no consumo de motores de jogos, quebrar tarefas de desenvolvimento em blocos mais automatizáveis, habilitar a criação de especificações expressivas porém executáveis, entregar valor incrementalmente para sub-domínios priorizados, construir artefatos de domínio específico alinhados às características únicas da família-alvo de jogos e, finalmente, prover flexibilidade e extensibilidade para que desenvolvedores e designers de jogos possam focar no que torna cada jogo único distinto