Made available in DSpace on 2019-04-05T23:09:25Z (GMT). No. of bitstreams: 0 Previous issue date: 2007-12-12 / This work presents a refactoring approach to aspect oriented code that allows to build refactorings coding only with a declarative language. This approach uses AspectJML, an XML-based representation of AspectJ, to store the syntactic structures of AspectJ code; XSLT, an XML declarative transformation language, to implement the transformations defined by the programming laws required by each refactoring; and an instance of an adaptation of RefaX, an XML-based refactoring framework for Java, to build the AspectJ refactoring tool. The main advantage of this approach is the possibility to build and customize AspectJ refactorings by taking advantage of the high-level pattern-matching and transformation capabilities of XSLT. This approach was evaluated with two refactorings for AspectJ, extract pointcut and extract method calls. / Este trabalho apresenta um processo de refatoração de código orientado a aspectos que permite construir refatorações codificando apenas em uma linguagem declarativa. Esta abordagem utiliza AspectJML, uma representação em XML de AspectJ, para armazenar as estruturas sintáticas do código AspectJ; XSLT, uma linguagem declarativa de transformação para XML, para implementar as transformações definidas pelas leis de programação requeridas para cada refatoração; e uma instância de uma adaptação do RefaX, um arcabouço de refatoração baseado em XML para a linguagem Java, para implementar a ferramenta de refatoração para AspectJ. A principal vantagem desta abordagem é a possibilidade de construir e customizar refatorações de código AspectJ se beneficiando dos recursos de alto nível de casamento de padrões e de transformação oferecidos por XSLT. Esta abordagem foi avaliada com a construção de duas refatorações para AspectJ, extract pointcut e extract method calls.

Orientador: Guido Costa Souza de Araujo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-10-24T12:45:09Z (GMT). No. of bitstreams: 1 Ottoni_DesireeLeopoldodaSilva_M.pdf: 1826554 bytes, checksum: 11256685b6244447ac6c729e9b8394ba (MD5) Previous issue date: 2004 / Resumo: Nos últimos anos, uma classe importante de aplicações em telecomunicações e multimídia tem despertado um grande interesse no projeto e pesquisa de processadores dedicados, em particular de DSPs2. Além de desempenho, estas aplicações demandam baixo consumo de potência e custo reduzido. Com o propósito de atender a esta demanda, projetistas de DSPs precisam especializar suas arquiteturas com unidades funcionais dedicadas. Devido a rigorosas restrições de projeto, é comum encontrar DSPs com poucos registradores de propósito geral e modos de endereçamento restritos, baseados em unidades especializadas no cálculo de endereços de memória. Por serem arquiteturas irregulares, as otimizações de código existentes nos compiladores para processadores de propósito geral não são eficientes para DSPs. Isto resultou em um aumento no interesse por pesquisa de técnicas de otimizações para estes processadores. Esta dissertação propõe duas novas técnicas de otimização de código para o problema de Offset Assignment(OA). Uma solução para OA visa encontrar uma disposição das variáveis automáticas de um programa na memória, de forma a minimizar o uso de instruções explícitas de endereçamento, obtendo assim um código de melhor desempenho. Este tipo de otimização é um dos problemas centrais de compilação para DSPs, dado que grande parte das instruções geradas para estes processadores é de endereçamento. Uma extensa revisão bibliográfica sobre Offset Assignment é apresentada nesta dissertação. Além disso, são propostos dois novos algoritmos que resolvem variações deste problema: a heurística CSOA, que resolve o problema de Simple Offset Assignment, e a heurística CGOA, que resolve o problema de General Offset Assignment. As duas heurísticas utilizam informações de longevidade das variáveis de modo a realizar união seletiva de variáveis na memória, resultando em uma melhor utilização de modos de endereçamento de auto-incrementojdecremento. Além das duas técnicas propostas, foram implementadas outras quatro técnicas existentes na literatura. Uma análise comparativa, baseada num conjunto de experimentos usando o benchmark Mediabench, revelou a superioridade de CSOA e CGOA sobre os outros métodos / Abstract: In recent years, an important class of applications in telecommunication and multimedia has created a large interest in the design and research of dedicated processors, specially Digital Signal Processors (DSPs). In addition to performance, these applications demand low power consumption and reduced cost. In order to achieve these goals, DSP designers need to specialize the architecture with dedicated functional units. Due to their stringent design constraints, it is common to find DSPs containing very few general-purpose registers, and restricted addressing modes, typically based on specialized address generation units. Given their irregular architectures, compiler code optimization techniques for general-purpose processors are not efficient for DSPs. This has resulted in an increasing interest in the research of optimization techniques target to such processors. This dissertation proposes two novel code optimization techniques for the Offset Assignment (OA) problem. A solution to OA aims at finding a memory layout for automatic variables in a program, such that the use of explicit memory addressing instructions is minimized, thus increasing the performance of the resulting code. This type of optimization is one of the central problems in compilation for DSPs, as address computation accounts for a large share of the instructions generated for these processors. A long survey on OA is presented in this dissertation. Moreover, two new algorithms to solve variations of OA are proposed: the CSOA heuristic, to solve the Simple Offset Assignment problem; and the CGOA heuristic, which solves the General Offset Assignment. Both techniques use liveness information to perform selective coalescing of variables in memory, resulting in an improved use of auto-increment/decrement addressing modes. In addition to the two proposed algorithms, four other techniques from the literature have been implemented. A comparative analysis, based on a set of experiments using the Media Bench benchmark, has revealed the superiority of CSOA and CGOA with respect to the other methods / Mestrado / Mestre em Ciência da Computação

Made available in DSpace on 2014-06-12T17:36:39Z (GMT). No. of bitstreams: 2 arquivo3628_1.pdf: 941600 bytes, checksum: 450db987192066699d2666c46fc2f7d1 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Este trabalho tem como objetivo propor dois modelos de programação matemática, baseado na programação dinâmica e na programação linear, para apoiar os gestores de projetos de SI na atividade de alocação de recursos humanos. Cada modelo leva em consideração uma característica específica. O primeiro baseado em programação dinâmica considera a complexidade de cada projeto e tem por objetivo minimizar o tempo de execução. O segundo baseado no problema de designação, leva em consideração as habilidades e o custo de alocação dos profissionais, sendo seu objetivo reduzir o custo

Made available in DSpace on 2014-06-12T17:36:58Z (GMT). No. of bitstreams: 2 arquivo7437_1.pdf: 870580 bytes, checksum: 0003dd782bbe29aa92419a4fc7304ef7 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / A integração de sistemas de gestão é abordada na literatura pesquisada mais como um alinhamento de normas de sistemas de gestão, no entanto, uma integração de sistemas de gestão não deve limitar-se a apenas alinhamento. Não há na literatura um consenso do que seja uma integração de sistemas de gestão, pois alguns autores entendem uma integração como sendo alinhamento normas de sistemas de gestão, outros, sem discordar da importância do alinhamento, incorporam outros elementos como o fator humano. Não foi identificada dentro da pesquisa bibliográfica realizada nenhuma abordagem que fizesse uso de matemática, então propõe-se, neste trabalho, apresentar uma definição de integração de sistemas de gestão com base na Teoria Geral dos Sistemas e da Teoria dos Conjuntos que comporte e amplie as já pesquisadas. O número de sistemas de gestão normalizados tem aumentado continuamente, tendo sido o da Qualidade o primeiro, vindo logo em seguida o Ambiental. Há também uma tendência de se ampliar o número de sistemas de gestão dentro das organizações e tem-se verificado que redundâncias de atividades entre os sistemas isolados geram custos que poderiam ser evitados quando da integração desses sistemas de gestão. Observa-se, ainda, que há uma lacuna na literatura da área entre o momento da decisão de se adotar um Sistema Integrado de Gestão e sua implementação. Este trabalho, de cunho epistemológico, propõe uma abordagem sistêmica para uma etapa anterior à da implementação da integração, ou seja, a fase de estudo sobre a viabilidade e elaboração de projeto. Uma vez ampliado o conceito de integração de sistemas de gestão, de forma a contemplar o alinhamento de normas, o compartilhamento dos recursos humanos e de se entender um Sistema Integrado de Gestão à luz da Teoria Geral dos Sistemas, procurou-se fazer uso de Programação Matemática na integração dos recursos humanos. As atividades dos sistemas com suas entradas, saídas, processadores e acoplamentos, foram aplicadas de forma análoga a um diagrama de circuito elétrico, facilitando a visualização e estudos de integração de sistemas. O modelo proposto de integração de sistemas de gestão foi aplicado em uma organização do setor de energia elétrica, tendo mostrado sua viabilidade na otimização de recursos

Neste trabalho é apresentada uma revisão do método simplex com geração de colunas e sua aplicação ao problema de corte de estoque. É apresentado o problema combinado, que acopla os problemas de dimensionamento de lotes e de corte de estoque, incluindo uma formulação matemática deste problema. Em seguida consideramos algumas propriedades da matriz de restrições e como construir uma base esparsa para ela, utilizando um reordenamento estático das colunas básicas. Resultados numéricos de uma implementação em MATLAB que realiza trocas de colunas da base e verifica sua esparsidade, simulando o método simplex são apresentados. Após uma troca de colunas básicas, estas são atualizadas de forma eficiente, de modo que cause o menor preenchimento da matriz. Foram realizados também testes computacionais para verificar a robustez do método, através de operações inversas à decomposição e comparação com as colunas originais. Concluímos que a proposta de construção da base estática esparsa leva a bons resultados computacionais com relação à velocidade e robustez em comparação com abordagens que não consideram a estrutura esparsa da matriz de restrições.

Neste estudo são discutidos alguns aspectos relacionados à escolha da primeira linguagem de programação em currículos de ciência da computação, com interesse especial em Pascal e Java. A primeira linguagem é amplamente adotada para ensinar programação aos novatos, enquanto a segunda está ganhando popularidade como uma linguagem moderna e abrangente, que pode ser usada em muitas disicplinas ao longo de um curso degraduação em computação como ferramenta para ensinar desde recursos básicos de programação até tópicos mais avançados. Embora vários problemas quanto ao ensino de Java, com a primeira linguagem de programação, possam ser apontadas, consideramosque Java é uma boa escolha, visto que (a) oferece apoio a importantes questões conceituais e tecnológicos e, (b) é possível contornar algumas complexidades da linguagem e da plataforma Java para torná-las mais adequadas à alunos iniciantes. Além disso, considerando a grande popularidade de Pascal nos currículos de cursos de computação, uma eventual adoção de Java conduz à outro problema: a falta de professores aptos a lecionar programação orientada a objetos. Sugerimos que este problema de migração de Pascal para Java seja enfrentado através de smplificação do ambiente de desenvolvimento de programas, uso de um pacote com classes que facilitam a entrada e saída, e o desenvolvimento de um catálogo comparativo de programas implementados em ambas as linguagens. Neste estudo também é apresentado o JEduc, um IDE muito simples com o objetivo de dar suporte ao ensino da linguagem de programação orientada a objetos Java aos novatos. Oferece componentes desenvolvidos em Java que integram edição, compilação e execução de programas Java. Além das funcionalidades comuns a um IDE, JEduc foi desenvolvido para gir como uma ferramente pedagógica: simplifica a maioria das mensagens do compilador e erros da JRE, permite a inserção de esqueletos de comandos, e incorpora pacotes especiais para esconder alguns detalhes sintáticos e semânticos indesejáveis.

Tolerância a falhas é um dos aspectos mais importantes a serem considerados no desenvolvimento de aplicações, especialmente com a participação cada vez maior de sistemas computacionais em áreas vitais da atividade humana. Dentro deste cenário, um dos fatores a serem considerados na persecução deste objetivo é o gerenciamento de atomicidade. Esta propriedade, por sua vez, apresenta duas vertentes principais: o controle de concorrência e a recuperação de estados. Considerando-se a tolerância a falhas e, particularmente, a atomicidade como requisitos com alto grau de recorrência em aplicações, verifica-se a importância de sua reutilização de forma simples e transparente e do estudo de meios de prover tal capacidade. O presente trabalho procurou pesquisar e aplicar meios de produzir soluções reutilizáveis para implementação de programas tolerantes a falhas, mais especificamente de técnicas de controle de atomicidade, utilizando vários paradigmas computacionais. Neste intuito, foram pesquisados mecanismos de introdução de atomicidade em aplicações e suas respectivas demandas, para então extrair critérios de análise dos paradigmas a serem utilizados na implementações das soluções. Buscou-se suporte nestes paradigmas às demandas previamente pesquisadas nos mecanismos de gerenciamento de atomicidade e procurou-se chegar a soluções reutilizáveis mantendo simplicidade de uso, possibilidade de alteração dinâmica, transparência, adaptabilidade e velocidade de desenvolvimento. Devido à existência de uma grande diversidade de situações que requerem diferentes implementações de atomicidade, alguns cenários típicos foram selecionados para aplicação e avaliação das técnicas aqui sugeridas, procurando abranger o maior número possível de possibilidades. Desta maneira, este trabalho comparou situações opostas quanto à concorrência pelos dados, implementando cenários onde ocorrem tanto acesso cooperativo quanto competitivo aos dados. Dentro de cada um dos cenários estudados, buscaram-se situações propícias ao emprego das características dos paradigmas e analisou-se o resultado de sua aplicação quanto aos critérios definidos anteriormente. Várias soluções foram analisadas e comparadas. Além dos mecanismos de gerenciamento de atomicidade, também foram estudados vários paradigmas que pudessem ser empregados na implementação de soluções com alto grau de reutilização e adaptabilidade. As análises e sugestões posteriores às implementações serviram como substrato para conclusões e sugestões sobre a melhor maneira de empregar tais soluções nos cenários atômicos estudados. Com isso, foi possível relacionar características e capacidades de cada paradigma com a melhor situação de demanda de atomicidade na qual os mesmos são aplicáveis, moldando uma linha de soluções que favoreçam sua reutilização. Um dos objetivos mais importantes do trabalho foi, entretanto, observar o funcionamento conjunto destes paradigmas, estudando como os mesmos podem atuar de forma simbiótica e de que forma os conceitos de um paradigma podem complementar os de outro.

Tese de mestrado integrado. Engenharia Civil (Vias de Comunicação). Universidade do Porto. Faculdade de Engenharia. 2011

Tese de mestrado integrado. Engenharia Mecânica (Opção de Automação). Faculdade de Engenharia. Universidade do Porto. 2010

Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2009