This thesis describes the Muon Ionisation Cooling Experiment (MICE), an engineering demonstration of the technique of ionisation cooling. It provides a detailed description of the creation of a Geometry Handling System that has been written as part of the MICE Analysis User Software and its benefits in providing a flexible and accurate method to model the MICE experiment. Finally the results of the bench tests of the Electron Muon Ranger will be presented. MICE is part of an international programme to provide the technology for the Neutrino Factory (NF). The NF requires the technology to; capture the muons from a pion beam; cool them to form a high intensity beam with a small emittance; and accelerate the resulting muons. The decay of the resulting monochromatic muon beam produces a neutrino beam with precisely defjned flavour content and an accurately calculable energy spectrum. The μ beam's intensity and collimation is sufficiently high to allow experiments to be performed with a baseline of several thousand km.

abstract: Continuous Delivery, as one of the youngest and most popular member of agile model family, has become a popular concept and method in software development industry recently. Instead of the traditional software development method, which requirements and solutions must be fixed before starting software developing, it promotes adaptive planning, evolutionary development and delivery, and encourages rapid and flexible response to change. However, several problems prevent Continuous Delivery to be introduced into education world. Taking into the consideration of the barriers, we propose a new Cloud based Continuous Delivery Software Developing System. This system is designed to fully utilize the whole life circle of software developing according to Continuous Delivery concepts in a virtualized environment in Vlab platform. / Dissertation/Thesis / M.S. Computer Science 2013

Context: Requirement Engineering (RE) is one of the important phases inthe development of any software. Hence, there is a need to take much careon the elicitation and management of these requirements. Attributes playan important role in order to store and manage the important informationabout the requirements. There has been a lot of research performed inthe literature regarding the attributes of requirements engineering, but stillthere is a gap in the research that is concerned to requirement attributesin particular. Hence we focused more on identification and management ofthese requirement attributes. Objectives: In the current thesis, we focused mainly on the requirementattributes used in the companies and how they are managed. The majorobjectives we have framed in order to achieve our aim are: 1. To identify the publication trends in the literature of requirementsengineering that mainly focus on requirement attributes. 2. To identify the requirement attributes that are used by the softwarecompanies which includes both global attributes and project specificattributes. 3. To investigate how the requirement engineering models impact theselection of requirement attributes in companies. 4. To identify the phase and sequence of the requirement attributesbased on the four phases (elicitation, analysis, documentation and validation)of requirements engineering. 5. To investigate how the requirement attributes help in documentingand managing the continuous changes to requirements. Methods: In this thesis, we have performed Systematic Mapping Study(SMS),Systematic Literature Review (SLR) and Survey methods in order to achieveour aim and objectives. SLR is performed through the snowballing procedurebased on the guidelines of Wohlin[1].SMS is performed based on theguidelines of petersen et al.[2]. The main aim of the SMS is to identifythe publication trends in the literature on requirements engineering. Themain aim of SLR is to extract important information about the RE modelsand changes in requirements engineering. The main aim of the Survey is tovalidate the information retrieved from the SLR. Results: 83 requirement attributes were identified through the SLR outof which 15 attributes are in common. These 15 attributes are includedin the survey questionnaire. From these attributes, ID and description areidentified as most commonly used attributes from the survey. Publication trends related to requirement attributes are observed from the past 25 yearsrequirement attributes. From the survey, it is observed that there is a highimpact of RE models on requirement attributes. It is also observed thatmaximum number of attributes is stored in the form of documents and indatabases by the companies and the attributes are generally documented inanalysis phase and in specification phase. Results from the survey indicatedthat there is no particular sequence to document the attributes and theyare identified and documented based on the needs. Conclusions: This thesis lists different attributes that are used by thecompanies and also gives important information about the requirement attributesin detail that is close to the practical scenarios. It also gives scopefor further researches related to requirement attributes. This thesis helpthe practitioners to know the importance of consideration of requirementattributes in developing a project and its advantages. This work can beextended further by considering large number of attributes and retrievingresponses and opinions by large population.

As técnicas de ressonância magnética nuclear (RM), por não serem invasivas ou destrutivas, apresentam um papel importante em diversas áreas do conhecimento como, por exemplo, medicina, química, física, setor rural, setor petrolífero, etc. Entretanto os custos de aquisição, manutenção e atualização dos equipamentos comerciais são muito altos e países em desenvolvimento, como é o caso do Brasil, sofrem com os impactos em função deste fator, principalmente nos setores ligados à pesquisa, em especial, nas áreas de concepção de novos métodos de RM. Além disso, o cenário nacional de desenvolvimento tecnológico desta área é escasso e os equipamentos comerciais fornecidos pelas empresas nem sempre oferecem a flexibilidade desejada. Baseado no uso de tecnologias inovadoras, como é o caso dos hardwares reconfiguráveis e uso de linguagem, compilador, bibliotecas e editores próprios para desenvolvimento de métodos de sequência de pulsos de RM, o Centro de Imagens e Espectroscopia in vivo por Ressonância Magnética (CIERMag) propõe uma solução alternativa através do desenvolvimento de um espectrômetro completamente digital de RM, flexível o suficiente para operar como um tomógrafo. O objetivo deste trabalho é idealizar e desenvolver a camada de software responsável pela aquisição, organização, visualização e armazenamento dos dados provenientes do espectrômetro através do subsistema ToRM Console, levando em consideração a flexibilidade proposta. Além disso, um arcabouço de ferramentas para automatização de pós-processamento, o ToRM Processing API, foi desenvolvido. Ambos os sistemas foram implementados em linguagem Python, com auxílio das principais bibliotecas de propósito científico (Numpy, Scipy, Matplotlib, etc). A realização de um experimento para estudo do comportamento do tempo de relaxação transversal de soluções de sulfato de cobre em função da variação da concentração é mostrada através do uso do método Carr-Purcell-Meiboom-Gill (CPMG). Outras aplicações do espectrômetro são mostradas através da obtenção de dados gerados por meio de sintetizadores de sinais acoplados ao espectrômetro. Os resultados mostram que o espectrômetro atualmente pode operar como um relaxômetro de RM de fácil operação. Os sistemas desenvolvidos neste trabalho mostram-se suficientemente flexíveis e preparados para operação em experimentos de Imagens e Espectroscopia de Alta Resolução, que são futuras etapas de desenvolvimento no CIERMag, tendo em vista as ferramentas desenvolvidas e testadas através do uso de dados sintetizados. / The Nuclear Magnetic Resonance (NMR) techniques, which are neither invasive nor destructive, play an important role on several areas of knowledge, such as Medicine, Chemistry, Physics, Agriculture, Oil industry, among others. However, the costs associated with acquisition, maintenance and upgrade are very high, which have impacted on developing countries, as Brazil. Furthermore, the national scenario of technological development in this area is scarce and the commercial equipment provided by the companies does not always offer the desired flexibility. Based on the use of innovative technologies, which is the case of reconfigurable hardware and the use of proprietary language, compiler, libraries and editors for the development of NMR sequence pulses methods, the Magnetic Resonance Imaging and in vivo Spectroscopy Center (CIERMag) have proposed an alternative solution through the development of a completely digital NMR spectrometer, flexible enough to operate as an MRI Scanner. This dissertation reports the design and development of a software layer responsible for the acquisition, organization, visualization and storage of the data provided by the spectrometer through the ToRM Console subsystem, taking into account the proposed flexibility. A framework for post-processing automation, the ToRM Processing API, is also described. Both systems were developed in Python programming language, with the help of the main scientific purpose libraries (Numpy, Scipy, Matplotlib, etc.). Carr-Purcell-Meiboom-Gill (CPMG) method was used for the evaluation of the transverse relaxation time dependency on variable concentrations of copper sulfate solution. Other spectrometer applications are shown through the acquisition of synthesized data from simulation devices coupled to the spectrometer. The results show that the spectrometer can currently operate as an easy-to-use NMR Relaxometer. The systems described in the present work proved to be sufficiently flexible and prepared for the operation as MRI Scanners or Analytical Spectrometers, which are the future stages of development at CIERMag, considering the tools developed and tested through the use of synthesized data.

Made available in DSpace on 2014-06-12T16:00:59Z (GMT). No. of bitstreams: 2 arquivo7122_1.pdf: 1649883 bytes, checksum: 5e4109867fef651c2cd98d144b166e55 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / Refactoring tem sido muito útil na reestruturação de programas orientados a objetos. Esta técnica pode proporcionar benefícios similares aos programas orientados a aspectos. Sendo assim, refactoring pode ser uma técnica interessante para introduzir aspectos em uma aplicação existente, orientada a objetos. No intuito de explorar os benefícios proporcionados pelos refactorings, desenvolvedores de aplicações orientadas a aspectos estão identificando transformações comuns para tais aplicações, em sua maioria, para a linguagem AspectJ, uma linguagem orientada a aspectos de propósito geral que estende Java. No entanto, estas transformações não possuem suporte para garantir que preservam o comportamento externo da aplicação. Tal propriedade garante que as transformações são de fato refactorings. Este trabalho foca neste problema e introduz leis de programação para AspectJ que podem ser usadas para derivar transformações que preservam comportamento (refactorings) para um subconjunto desta linguagem. Leis de programação definem equivalência entre dois programas, desde que algumas restrições sejam respeitadas. Nosso conjunto de leis não somente define como introduzir ou remover construções de AspectJ, como também como reestruturar aplicações nesta linguagem. Aplicando e compondo as leis, pode-se mostrar que uma transformação AspectJ é de fato um refactoring. Leis são apropriadas para isso pois são bem mais simples do que a maioria dos refactorings. Comparando com refactorings, as leis envolvem transformações localizadas e somente uma construção da linguagem por vez, além de seram bi-direcionais. As leis formam uma base para a definição de refactorings com uma certa confiança de que estes preservam comportamento. Nós avaliamos as leis de duas formas. A primeira utiliza as leis para derivar refactorings já existentes na literatura. Isto ajuda a definir com mais precisão as precondições associadas a estes refactorings, alem de verificar se eles preservam comportamento. A segunda forma de avaliação utiliza as leis e alguns refactorings derivados destas para reestruturar duas aplicações Java. A implementação de comportamento transversal nestas aplicações é reestruturada utilizando construções de AspectJ para tornar tal comportamento modular. Isto ilustra que as leis podem também ser úteis para transformar aplicações orientadas a objetos em aplicações orientadas a aspectos

De acordo com a Confederação Nacional do Transporte (CNT), o modal rodoviário representa o meio pelo qual aproximadamente 60% das cargas são transportadas no Brasil, configurando desta forma a maior representatividade entre os modais existentes. No ramo de transporte rodoviário, empresas transportadoras de carga exercem papel decisivo na movimentação de mercadorias em cadeias produtivas de diferentes segmentos da economia. Para atender às exigências de qualidade e excelência operacional, as transportadoras devem planejar suas rotas interligando seus depósitos aos clientes de maneira eficiente e econômica, atendendo à demanda, respeitando a capacidade dos veículos, a sequência de coleta e entrega e as janelas de visitas. O planejamento de rotas é conhecido na literatura como o problema de roteamento de veículos (PRV). Considerado um problema da classe NPDifícil, não se conhece algoritmo computacionalmente eficiente para sua resolução, especialmente quando avaliadas situações práticas reais. Neste sentido, este trabalho propõe a construção de uma ferramenta (software), denominada de Roteirizador, baseado em um algoritmo metaheurístico híbrido (AH). Formado pela combinação das metaheurísticas Busca Tabu (BT) e Algoritmo Genético (AG), o AH permite combinar as melhores características de ambas as técnicas, fornecendo resultados superiores quando comparados à aplicação de cada técnica individualmente. Deste modo, o Roteirizador, inserido no ambiente computacional de uma transportadora rodoviária de cargas, busca melhorar a eficiência do planejamento de rotas. O AH apresentou em 50% dos experimentos, resultados superiores ou muito próximos dos valores ótimos apresentados pela literatura, e nos experimentos executados em uma unidade da Transportadora, todos os cenários apresentaram ganho em relação ao processo atualmente executado. O Roteirizador, baseado no AH, apresentou a possibilidade de economizar um montante superior a R$ 500 mil ao ano, unicamente com a redução da distância percorrida pelos veículos. Além do ganho em distância, o correto dimensionamento da jornada de trabalho das tripulações eliminou a necessidade de gastos relacionados ao pagamento de horas extras. Por fim, cabe ainda a possibilidade de um ganho superior tanto em distância quanto no número de veículos empregados caso a Transportadora revise a sua política de agrupamento de clientes por regiões / According to the National Transport Confederation (CNT), the road transport system represents the means by which approximately 60% of the cargo is transported in Brazil, thus making it more representative of existing modes. In the field of road transport, freight carriers play a decisive role in the movement of goods in productive chains of different segments of the economy. To meet the requirements of quality and operational excellence, such as carriers to plan their routes interconnecting their warehouses to customers of efficient and economical efficiency, meeting the demand, respecting a transport capacity, collection and delivery sequence and windows of visits. Scale planning is called in the literature as the vehicle routing problem (PRV). Considered an NP-Hard class problem, it is not known computationally efficient algorithm for its resolution, especially when evaluating real practical situations. In this sense, this work proposes the construction of a tool (software), called Roteirizador, based on a hybrid metaheuristic algorithm (AH). Formed by the combination of Tabu Search (TB) and Genetic Algorithm metaheuristics (AG), AH allows to combine the best characteristics of both techniques, providing superior results when compared to the application of each technique individually. In this way, the Roteirizador, inserted in the computational environment of a road transport operator of loads, looks for to improve the efficiency of the planning of routes. The AH presented in 50% of the experiments, results superior or very close to the optimal values presented in the literature, and in the experiments performed in an unit of the Carrier, all the scenarios presented a gain in relation to the currently executed process. The Roteirizador, based on the AH, presented the possibility of saving an amount of more than R$ 500,000 per year, solely by reducing the distance traveled by vehicles. In addition to the distance gain, the correct sizing of crew work hours eliminated the need for expenses related to the payment of overtime. Finally, there is also the possibility of a higher gain both in distance and in the number of vehicles used if Carrier reviews its policy of grouping customers by regions.

Orientador: Maria Beatriz Felgar de Toledo / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-04T23:12:01Z (GMT). No. of bitstreams: 1 Cruz_Jacksonda_M.pdf: 1632620 bytes, checksum: 90b31a8eef56393c12b07ecca68fc8c9 (MD5) Previous issue date: 2005 / Resumo: Processos de negócio de uma organização, normalmente, sofrem mudanças freqüentes resultantes de aspectos como a consolidação de seus sistemas e procedimentos, o melhoramento do processo de negócio, a necessidade de obedecer novas leis ou regimentos e reestruturação. Para acomodar tais mudanças, os módulos de especificação e execução de um sistema de gerenciamento de workflow devem estar estreitamente ligados. Por esses motivos, novos mecanismos de controle se fazem necessários, a fim de que o SGWf comporte todas as mudanças que o processo organizacional de uma empresa exija, sem comprometer a execução correta do processo. Estes mecanismos devem ser simples de forma a não causar grandes custos à empresa e permitir a rápida readequação de processos. Nesta dissertação apresentamos o WorkToDo Flex, um SGWf para workflows flexíveis que provê estes mecanismos de mudança através de dois tipos de flexibilidade: por adaptação e por seleção. A flexibilidade por adaptação é fornecida por um conjunto de operações realizadas em instâncias de processo em execução. A flexibilidade por seleção é obtida pela especificação e execução de tarefas de construção / Abstract: Business processes of an organization may suffer many changes due to the consolidation of its systems and procedures, the improvement of the business process, the necessity to obey to new laws or regiments and reorganization. To accomodate such changes, the specification and execution modules of the WfMS must be linked. For this reason, new mechanisms of control are necessary, so that the WfMS supports all the changes that a business process of an organization demands, without compromising the correct execution of the process. These mechanisms must be simple so that cause great costs are avoided and fast reorganization of processes are allowed. In this dissertation we present the WorkToDo Flex, a WfMS for flexible workflows that provides two types of flexibility: adaptation and selection. Flexibility by adaptation is supplied by a set of change operations applied in process instances. Flexibility by selection is supplied by the specification and execution of task builders / Mestrado / Mestre em Ciência da Computação

Orientador: Franco Giuseppe Dedini / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-05T08:47:26Z (GMT). No. of bitstreams: 1 DelgadoNeto_GeraldoGoncalves_M.pdf: 3786394 bytes, checksum: 35da9034ea99deb2f3115b1e417e4799 (MD5) Previous issue date: 2005 / Resumo: Verifica-se que a indústria de brinquedos representa, no mercado, um dos setores mais dinâmicos em termos de criação, uma vez que as novidades impulsionam as vendas. Sua própria história evidencia que se trata de um setor progressista, inovador e dinâmico por excelência. Na criação de novos produtos, é alto o risco de insucesso. Assim a metodologia de projeto é uma ferramenta fundamental para diminuir estes riscos e garantir o mínimo de perdas e deixar em aberto as possibilidades de desenvolvimento de novos produtos que se baseiam em soluções comuns. Este trabalho apresenta uma revisão sobre metodologia de projeto, a indústria de brinquedos no Brasil e algumas das principais ferramentas de projeto, além de uma aplicação em ambiente windows de uma metodologia de referência para o desenvolvimento de jogos e brinquedos infantis. Levando em conta as variáveis que se relacionam com as necessidades da indústria, o software Criabrinq apresentará metodologias e ferramentas, e aplicações destas através de exemplos dedicados a jogos e brinquedos infantis / Abstract: The industry of toys represents one of most dynamic setors of market for creation question, since the sales are stimulated for news. Its own history shows that this sector is progressive, innovate and dynamic for excellence. In the creation of new products, the failure risk is high, thus the project methodology is a basic tool to reduce these risks and to guarantee the minimum of losses and to allow different possibilities of development of new products using basic solutions. This document presents a review about methodology of project, the industry of toys in the Brazil and the main tools of project. Also, it shows an application at Windows environment of a methodology which makes referent to a development of infantile games and toys. This software will become visible that this methodology can be applied for different projects / Mestrado / Mecanica dos Solidos / Mestre em Engenharia Mecânica

Orientadores: Mario Jino, Plinio Roberto Souza Vilela / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-04T02:43:07Z (GMT). No. of bitstreams: 1 Guidetti_SuseleyAparecida_M.pdf: 1642127 bytes, checksum: 4a844d1875b1f47b619109f2968fc7c5 (MD5) Previous issue date: 2005 / Resumo: O crescimento acentuado da Internet e a conseqüente demanda por novos serviços levam ao desenvolvimento de aplicações cada vez mais complexas. Devido a esta complexidade e às pressões para o cumprimento de cronogramas cada vez mais restritivos, muitas vezes a segurança desses sistemas acaba sendo negligenciada, originando aplicações com mais vulnerabilidades e portanto sujeitas a um maior número de ataques. Um dos ataques mais freqüentes é o do tipo buffer overflow. Permite que um atacante insira códigos maliciosos em um programa, alterando seu fluxo de controle original, com o objetivo de conseguir acesso a um sistema ou aumentar seus privilégios. Neste trabalho foi utilizada a técnica denominada Teste de Vulnerabilidade de Segurança proposta para detectar vulnerabilidade do tipo buffer overflow no software por meio da aplicação do Teste de Mutação. Uma ferramenta chamada SEVMUT - Security Vulnerabilities Mutation Tool foi desenvolvida e sua aplicabilidade, escalabilidade e eficácia foram validadas / Abstract: The steep growth of the Internet and the associated demand for new products and services leads to the development of applications of increasing complexity. Due to this complexity and the pressure to meet squeezing schedules, security issues are left as an afterthought, increasing the number of vulnerabilities in the systems and making them susceptible to attacks. One of the most frequent attacks is the buffer overflow. It allows a hacker to insert malicious code in a program, changing its original flow of control with the goal of escalating privileges and gaining access into de system. In this work we present a technique called Testing for Security Vulnerabilities meant to detect buffer overflow vulnerabilities in software through the use of Mutation Testing. A tool called SEVMUT - Security Vulnerabilities Mutation Tool was developed and validated for its applicability, scalability and effectiveness / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica

M.Sc. (Computer Science) / The attitude of critics towards decision support systems vary from a major breakthrough to just another bussword. The objective of this study is to design an expert system that can advise the ignorant to design, implement and evaluate a decision support system. In chapter one criteria that will influence the design of a decision support system were identified. The four areas the were looked into: Organisational long term goals and -strategy Attitude of the people in the organization The tasks of management The problem a decision support system will be designed for. A list of 'criteria were compiled and carried forward to chapter two. In chapter two a decision support system was defined and the components of the system discussed. The influence that the criteria (of chapter one) had on the components of the decision support system were decided. Chapter three discussed a subset of a decision support system namely expert systems. This chapter were motivated by two things: The objective of this study was to design an expert system According to the definition of a decision support system (chapter two) an expert system is a subset of a decision support system. A brief description of the components of an expert system and a layout of the different rule bases were given. An implementation methodology will be discussed. In chapter four a methodology were described to measure user satisfaction after a decision support system were implemented. A summary of this chapter were accepted for publication as an article in 'Information and Systems Management'. Chapter five discussed a look into the future of decision support systems. A complete Super Intelligent System was described. Although this is fictitious it could trigger ideas for other studies.