Made available in DSpace on 2016-08-31T13:33:44Z (GMT). No. of bitstreams: 1 FranciscoCBS_DISSERT.pdf: 1910035 bytes, checksum: 49a978c792393d00663be9720c45ef02 (MD5) Previous issue date: 2015-06-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The development of a mathematical model for a system of wind power generation is complex, can be strongly affected by the wind variation and it s a non-linear problem. Due to these characteristics the analysis can be performed using a control system based on fuzzy logic, which improves a better adjust of the system to be controlled. In this paper, the performance of a variable-speed wind turbine controlled by a classic proportional controller (CPC), and a fuzzy logic controller (FLC) to adjust the angle of inclination of the blades is analyzed. In this case, it s possible to verify the effectiveness of the application of fuzzy logic, the ability to avoid fluctuations and improvement of the quality of electric power output, regardless of the original features of the proportional control applied. The CPC and the FLC were implemented using the Fuzzy Logic ToolboxTM and SIMULINK® software packages available in MATLAB®. The results show that the application of fuzzy logic to adjust the parameters of a controller can improve the dynamic performance of the wind turbine with respect to reducing the onset of fatigue loads, weather fluctuations and stabilization of electric power output / O desenvolvimento de um modelo matemático para um sistema de geração de energia eólica, pode se tornar uma tarefa muito complexa, podendo ser fortemente dependente da variação do vento, além de se caracterizar como um problema não linear. Devido a estas características, a análise pode ser realizada utilizando um sistema de controle baseado em Lógica Fuzzy (LF), o que poderia promover melhor perfomance ao sistema a ser controlado. No presente trabalho, o desempenho de uma turbina eólica de velocidade variável controlado por um controlador proporcional clássico (CPC) e um controlador fuzzy (FLC) para promover ajuste ao ângulo pitch são analisados. Dessa forma, é possível verificar a eficácia da aplicação LF, sua capacidade de evitar flutuações e melhorar da qualidade da potência gerada, independentemente das cndições de vento ao qual o sistema está submetido. O CPC e o FLC foram implementados utilizando Fuzzy Logic ToolboxTM e Simulink®, toolboxs disponíveis no software MATLAB®. Os resultados mostram que a aplicação em questão pode efetivamente contirbuir para a melhoria do desempenho dinâmico da turbina no tocante a redução de oscilações, máximo sobresinal e tempode acomodação

Made available in DSpace on 2016-08-31T13:33:44Z (GMT). No. of bitstreams: 1 EdnardoPR_DISSERT.pdf: 2329567 bytes, checksum: ab9bc3145d3823983047e9d57956c8d0 (MD5) Previous issue date: 2015-01-30 / Fundação de Apoio a Pesquisa do Estado do Rio Grande do Norte / The connection of wind generators might cause significant influences in the profile voltages, voltage unbalance, loading and the electrical losses in radial power distribution systems. This fact requires a specific study, called Hosting Capacity, which aims to analyze the maximum limit of the power increase on the network that makes the performance of the system acceptable to the established quality limits. This work shows an IEEE radial distribution system behavior, composed of 13 bus, in steady state, when a synchronous wind machine is engaged on the bus 680 in two ways: directly connected to the network and connected through the frequency converter. For each type of connection the power factor was varied from 0.9 capacitive to inductive 0.9. The parameters analyzed in connection bar were the degree of voltage unbalance, the losses in the system and the profile of voltages on the bus 680 for each case . The simulations were performed using the program Distribution Network Analysis with Generation Aeolian-Electric - ANAREDGEE, which was developed and validated with own results of the IEEE. It was found that there was a reduction in the degree of unbalance for all simulated situations, when compared to the original value of the system status, not exceeded the limits determined by imbalances entities NEMA, ANSI, IEEE and ANEEL. Regarding the profile of voltages in the various system buses, there was a slight decrease in some situations. In the original system, the voltage level of the phase B in the bus 680 exceeded the 5% voltage given by ANEEL, with a value of 1.0529 p.u. With the machine connected directly, there was an increase of this value in all simulations with different power factor, while the connection through frequency converter might causa a reduction of the phase B voltage levels to below 1.05 pu in situations where the power factors were equal to 0.9 capacitive and unitary. The system losses were reduced in all cases, but showed lower values when the synchronous machine was integrated into the system by frequency convertor. It was also observed a significant reduction in the degree of system imbalance after connecting the synchronous machine, this reduction, in most cases, occurred in proportion to the increase in power injected into the connection bar / A conexão de geradores eólio-elétricos pode causar influências significativas no perfil de tensões, desequilíbrio de tensão, no carregamento e nas perdas elétricas em sistemas de distribuição de energia radiais. Este fato requer um estudo específico, denominado Hosting Capacity, que tem por finalidade analisar o limite máximo do incremento de potência na rede que torna a performance do sistema aceitável para os limites de qualidade estabelecidos. Este trabalho demonstra o comportamento do sistema de distribuição radial do IEEE, composto de 13 barras, em regime permanente, quando uma máquina eólica síncrona é acoplada na barra com o maior nível de tensão do sistema, de duas formas distintas: diretamente conectada à rede e conectada por meio de conversor de frequência. Para cada tipo de conexão o fator de potência foi variado de 0.9 capacitivo a 0.9 indutivo. Os parâmetros analisados na barra de conexão foram o grau de desequilíbrio de tensão, as perdas no sistema e o perfil das tensões. As simulações foram realizadas através do programa Análise de Redes de Distribuição com Geração Eólio-Elétrica - ANAREDGEE, que foi desenvolvido e validado com resultados próprios do IEEE. Verificou-se que houve uma redução no grau d e desequilíbrio para todas as situações simuladas, quando comparadas ao valor da situação original do sistema, não superado os limites de desequilíbrios determinados por entidades como NEMA, ANSI, IEEE e ANEEL. Com relação ao perfil das tensões nas diversas barras do sistema, houve uma ligeira diminuição em algumas situações. No sistema original, o valor de tensão na fase B da barra 680 superava os 5% de sobretensão determinado pela ANEEL, apresentando um valor de 1,0529 p.u. Com a máquina diretamente conectada houve um aumento deste valor em todas as simulações com diferentes fatores de potência, enquanto que a conexão por meio de conversor de frequência possibilitou uma diminuição dos níveis de tensão da fase B para valores abaixo de 1,05 p.u. nas situações em que os fatores de potência eram iguais a 0.9 capacitivo e unitário. As perdas no sistema foram reduzidas em todos os casos, entretanto apresentaram menores valores quando a máquina síncrona era integrada ao sistema por meio de conversor de frequência. Foi observado também uma redução considerável do grau de desequilíbrio do sistema após a conexão da máquina síncrona, esta redução, na maioria dos casos, se deu de forma proporcional ao aumento da potência injetada na barra de conexão

Made available in DSpace on 2016-08-31T13:33:44Z (GMT). No. of bitstreams: 1 SauloLR_Dissert.pdf: 2026827 bytes, checksum: 844a5bebdb8c74bcc97253da6842843e (MD5) Previous issue date: 2015-08-31 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work is carried out a detailed study of the electrical and mechanical behavior of a doubly fed induction machine that operates as wind generator (DFIG), when it is faced with disturbances from both the grid as wind variations. The dynamic analysis becomes closer to the wind turbine connection to a three-phase electrical network containing several bars. The wind turbine has a classical control system, commonly found in the literature, which is to use PI controllers. From the junction of the control system, the power grid model and the turbine model, serial information will be analyzed. The way the system is designed makes possible, simply, changes of parameters and characteristics of the systems, making it possible to perform simulation of many different wind turbines. By the representation adopted of the electrical grid, it was possible to simulate different types of disturbances, enabling a detailed analysis of the system response in front of the disturbances / Nesse trabalho é realizado um estudo detalhado do comportamento elétrico e mecânico de uma máquina de indução duplamente alimentada que opera como gerador eólico (DFIG), quando esta se encontra diante de perturbações provenientes tanto da rede elétrica quanto de variações de vento. A análise da dinâmica torna-se mais detalhada com a conexão do aerogerador a uma rede elétrica trifásica que contem diversas barras. O aerogerador possui um sistema clássico de controle, comumente encontrado na literatura, que é a utilização de controladores do tipo PI. A partir da junção do sistema de controle, do modelo da rede elétrica e do modelo do aerogerador, uma série de dados serão analisados, tais como velocidade de rotação, corrente e potências fornecidas pelo DFIG, tensão elétrica nos barramentos, dentre outros. Ao utilizar uma representação trifásica na rede elétrica, qualquer forma de perturbação elétrica é facilmente implementada e analisada. A forma como o sistema foi elaborado viabiliza, de maneira simples, modificações de parâmetros e características dos sistemas, tornando possível realizar simulação de diversos modelos de aerogeradores. Através da representação adotada na rede elétrica, foi possível simular diferentes tipos de perturbações, viabilizando uma análise detalhada da resposta do sistema diante das mesmas

Made available in DSpace on 2016-08-31T13:33:45Z (GMT). No. of bitstreams: 1 MissileneSF_Dissert.pdf: 1294524 bytes, checksum: b3601c72fef0c8416a12dd43f864d044 (MD5) Previous issue date: 2015-02-27 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The proposal for this study is to obtain an adaptive controller by feedback states for fourth order time-varyng multivariable systems or with parametric uncertainty. Alternatively the difficulties and limitations involving the usual methods of synthesis of optimal controllers for this class of systems, through the investigation of an algorithm based on particles swarm optimization with good tuning of parameters, we seek to define a flexible structure for applications that require decision making and online estimation of the feedback matrix parameters. The controller developed should provide, for every execution, not only system stability, but at the same time, provides compliance to the performance indexes set, without the need to perform complex and expensive mathematical calculations, eliminating thus the subjective components of analysis and design / É proposta neste trabalho a obtenção de um controlador adaptativo por realimentação de estados para sistemas multivariáveis de quarta ordem variantes no tempo e com incertezas paramétricas. Em alternativa às dificuldades e limitações envolvendo os métodos usuais de síntese de controladores ótimos para esta classe de sistemas, por meio da investigação de um algoritmo baseado na otimização por enxame de partículas com boa sintonia dos parâmetros, busca-se a definição de uma estrutura flexível destinada a aplicações que demandem a tomada de decisão e estimação em tempo real dos parâmetros da matriz de realimentação. O controlador desenvolvido deverá fornecer, a cada execução, não somente estabilidade ao sistema, mas ao mesmo tempo, propiciar observância aos índices de desempenho fixados, sem a necessidade da realização de cálculos matemáticos complexos e dispendiosos, eliminando, dessa forma, as componentes subjetivas de análise e projeto

Made available in DSpace on 2016-08-31T13:33:46Z (GMT). No. of bitstreams: 1 MoniqueFS_Dissert.pdf: 2578055 bytes, checksum: 595fd4f8c3d8d5457fa6c6eb6df6adff (MD5) Previous issue date: 2015-08-27 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / The Unmanned Aerial Vehicles (UAVs) have received increasing attention in recent years as a way to replace the expensive manned vehicles. At first, UAVs were used for military applications, and currently they are used in the research and development area, where control techniques for stability and airworthiness are the main objects of study. The full development of autonomous flight in all environments is still a challenge. In this regard, the general objective of this work is to control the propulsion system of a quadrotor UAV for indoor altitude control application. The quadrotor system developed in this work consists of frame, four propellers, flight controller, sensors, four brushless direct current motors (BLDC), electronic speed controller (ESC), battery, radio control transmitter, receiver and universal circuit battery eliminator (UBEC). The software used for the simulation of Proportional Integral Derivative (PID) control for motor speed and altitude control was Simulink®/MATLAB. For the control development, it was necessary to model the quadrotor system to obtain a mathematical representation that allows an analytical study consistent with the system behavior in practice. The mathematical modeling of the quadrotor was performed using the Euler-Lagrange formalism, because it has the same form in any system of generalized coordinates and it is more suitable for generalizations. Tests were done to ensure proper operation of each part of the system, and quadrotor experiments were performed to calculate the motor thrust factor and to identificate parameters of BLDC motors. From the parameters identified in the experiments, the transfer functions required in PID control simulation of BLDC motor speed and quadrotor altitude were obtained. The experiment relating to PID control of motor speed was performed and the obtained values were compared with the simulated ones. The simulations and tests showed expected responses compared to the results of studies reported in the literature. This work begins new researches on UAVs area at the Universidade Federal Rural do Semi-Árido (UFERSA) / Os Veículos Aéreos Não Tripulados (VANTs) têm recebido uma crescente atenção nos últimos anos como uma forma de substituir os veículos tripulados de alto custo. Inicialmente, os VANTs eram usados para aplicações militares e, atualmente são utilizados na área de pesquisa e desenvolvimento, onde as técnicas de controle para a estabilidade e navegabilidade de voos são os principais objetos de estudo. O desenvolvimento completo de voo autônomo em todos os ambientes ainda é um desafio. Neste sentido, o objetivo geral do trabalho é controlar o sistema de propulsão de um VANT do tipo quadricóptero para aplicação no controle de altitude do mesmo em ambientes fechados. O sistema do quadricóptero desenvolvido neste trabalho é composto por frame, quatro hélices, controlador de voo, sensores, quatro motores de corrente contínua sem escovas (BLDC), controlador de velocidade eletrônico (ESC), bateria, transmissor rádio-controlado, receptor e circuito universal eliminador de bateria (UBEC). O software utilizado para simulação do controle Proporcional Integral Derivativo (PID) de velocidade dos motores e do controle de altitude foi o Simulink®/MATLAB. Para o desenvolvimento do controle foi necessário modelar o sistema do quadricóptero para obter uma representação matemática que permita um estudo analítico coerente com o comportamento do sistema na prática. A modelagem matemática do quadricóptero foi realizada através do formalismo de Euler-Lagrange, por possuir a mesma forma em qualquer sistema de coordenadas generalizadas e ser mais adequado a generalizações. Testes foram feitos a fim de garantir o funcionamento adequado de cada parte do sistema do quadricóptero e experimentos foram realizados para o cálculo do fator de empuxo dos motores e para a identificação de parâmetros dos motores BLDC. A partir dos parâmetros identificados nos experimentos, foram obtidas as funções de transferência necessárias para serem utilizadas nas simulações de controle PID de velocidade do motor BLDC e de altitude do quadricóptero. Foi realizado o experimento referente ao controle PID de velocidade do motor e os valores obtidos foram comparados com os da simulação. As simulações e testes apresentaram respostas esperadas, comparados com os resultados de trabalhos relacionados na literatura. Este trabalho dá início a novas pesquisas na área de VANTs na Universidade Federal Rural do Semi-Árido (UFERSA)

Fundação de Amparo à Pesquisa do Estado do Rio de Janeiro / A discriminação de fases que são praticamente indistinguíveis ao microscópio ótico de luz refletida ou ao microscópio eletrônico de varredura (MEV) é um dos problemas clássicos da microscopia de minérios. Com o objetivo de resolver este problema vem sendo recentemente empregada a técnica de microscopia colocalizada, que consiste na junção de duas modalidades de microscopia, microscopia ótica e microscopia eletrônica de varredura. O objetivo da técnica é fornecer uma imagem de microscopia multimodal, tornando possível a identificação, em amostras de minerais, de fases que não seriam distinguíveis com o uso de uma única modalidade, superando assim as limitações individuais dos dois sistemas. O método de registro até então disponível na literatura para a fusão das imagens de microscopia ótica e de microscopia eletrônica de varredura é um procedimento trabalhoso e extremamente dependente da interação do operador, uma vez que envolve a calibração do sistema com uma malha padrão a cada rotina de aquisição de imagens. Por esse motivo a técnica existente não é prática. Este trabalho propõe uma metodologia para automatizar o processo de registro de imagens de microscopia ótica e de microscopia eletrônica de varredura de maneira a aperfeiçoar e simplificar o uso da técnica de microscopia colocalizada. O método proposto pode ser subdividido em dois procedimentos: obtenção da transformação e registro das imagens com uso desta transformação. A obtenção da transformação envolve, primeiramente, o pré-processamento dos pares de forma a executar um registro grosseiro entre as imagens de cada par. Em seguida, são obtidos pontos homólogos, nas imagens óticas e de MEV. Para tal, foram utilizados dois métodos, o primeiro desenvolvido com base no algoritmo SIFT e o segundo definido a partir da varredura pelo máximo valor do coeficiente de correlação. Na etapa seguinte é calculada a transformação. Foram empregadas duas abordagens distintas: a média ponderada local (LWM) e os mínimos quadrados ponderados com polinômios ortogonais (MQPPO). O LWM recebe como entradas os chamados pseudo-homólogos, pontos que são forçadamente distribuídos de forma regular na imagem de referência, e que revelam, na imagem a ser registrada, os deslocamentos locais relativos entre as imagens. Tais pseudo-homólogos podem ser obtidos tanto pelo SIFT como pelo método do coeficiente de correlação. Por outro lado, o MQPPO recebe um conjunto de pontos com a distribuição natural. A análise dos registro de imagens obtidos empregou como métrica o valor da correlação entre as imagens obtidas. Observou-se que com o uso das variantes propostas SIFT-LWM e SIFT-Correlação foram obtidos resultados ligeiramente superiores aos do método com a malha padrão e LWM. Assim, a proposta, além de reduzir drasticamente a intervenção do operador, ainda possibilitou resultados mais precisos. Por outro lado, o método baseado na transformação fornecida pelos mínimos quadrados ponderados com polinômios ortogonais mostrou resultados inferiores aos produzidos pelo método que faz uso da malha padrão. / The discrimination of phases that are practically undistinguishable to the optical microscope of reflected light or to the scanning electron microscope (SEM) is one of the classical problems in ore microscopy. With the aim of solving this problem it has been recently used the technique of co-located microscopy that consists in the junction of two microscopy modalities, optical microscopy and scanning electron microscope. The aim of the technique is to provide an image of the multimodal microscopy, becoming possible the identification, in mineral samples, of phases that wouldnt be distinguished by the use of one modality only, overcoming the individual limitations of the two systems. The method of register available so far in literature to the fusion of optical microscopy and scanning electron microscope images is a hard-working procedure and extremely dependent on the operator interaction, once it involves the system calibration with a standard mesh in each routine of images acquisition. Due to this reason the current technique is not practical. This piece of work proposes a methodology in order to automate the process of images register in optical microscopy and scanning electron microscopy in a way to improve and simplify the co-located microscopy technique. The proposed method may be divided in two procedures: acquisition of transformation and register of the images with the use of this transformation. The acquisition of transformation involves, first, the pre-processing of pairs in a way of performing a crude register among the images of each pair. Then, homologous points are achieved in the optical and in SEM images. In order to this, it has been used two methods, the first one was developed based in algorithm SIFT and the second was defined from the sweeping of the highest of coefficient correlation. In the following step it is calculated the transformation. Two different approaches were used: the local weighted mean (LWM) and the weighted least squares with orthogonal polynomials (MQPPO). The LWM receives as entrance what we call pseudo-counterparts, points that are distributed in a regular way in the reference image, and that reveal, in the image to be registered, the relative local dislocation among the images. Those pseudo-counterparts may be obtained by SIFT or by the method of correlation coefficient. On the other side, the MQPPO receives a group of points with natural distribution. The analysis of the images registration obtained employed as a metric the value of correlation among the obtained images. It was noticed that with the use of the proposed variants SIFT-LWM and SIF-Correlation were obtained slightly higher results than the ones from the method with standard mesh and LWM. Thus, the proposal, besides reducing drastically the operator intervention, still enabled more exact results. On the other side, the method based in the transformation provided by the minimum square pondered with orthogonal polynomial showed lower results than to the ones produced by the method that used standard mesh

Made available in DSpace on 2016-06-02T19:05:21Z (GMT). No. of bitstreams: 1 DissTJB.pdf: 9318303 bytes, checksum: 7295689a386f13c2c70f6ae7f200c9c7 (MD5) Previous issue date: 2006-07-10 / In this work, the main theme is to collect data to diagnose problems and formalize solutions in the Brazilian municipal Electronic Government (E-GOV) domain, focusing on G2C (Government to Citizen) at the first moment. In order to do that, this research analyses and relates: the main problems and challenges to promote E-GOV in general terms and in Brazilian cities as well as in cities from all over the world; the Legislation and guidelines of E-GOV project. So, it was developed a methodological approach composed by a group of methods and complementary macro-activities to scale the results understanding up, supporting the building and spreading of a significant, valid and widespread knowledge in this domain. Such macro-activities used to gather the data are: (i) investigating cities information automatically, (ii) contacting the Administrations via a marketing research and (iii) evaluating the sites by inspection in order to validate the diagnosis. Thus, once the problem recurrence is verified and a successful solution is observed, a propitious base of information is configured so that Proto-Patterns can be identified and formalized as a structured and elegant way to document and diffuse the solutions in the context of E-GOV development to cities, relating to the Software Engineering (SE) and Human-Computer Interaction (HCI) domains. / Neste trabalho tem-se como tema principal o levantamento de dados para diagnóstico de problemas e formalização de soluções no domínio do Governo Eletrônico (E-GOV) municipal brasileiro, inicialmente focando em G2C (Government to Citizen). Para tanto esta pesquisa analisa e relaciona: os principais problemas e desafios para a promoção do E-GOV em geral e em municípios no Brasil e no Mundo; a Legislação e as diretivas do projeto de E-GOV. Desenvolve-se, então, uma abordagem metodológica formada por um conjunto de métodos e macro-atividades complementares para ampliar o entendimento dos resultados, sustentando a construção e difusão de um conhecimento abrangente, significativo e válido nesse domínio. Tais macro-atividades para o levantamento de dados são: (i) investigar informações dos municípios de maneira automatizada; (ii) entrar em contato com as Gestões através de uma pesquisa de marketing e (iii) avaliar via inspeção os sites para validação do diagnóstico. Assim, verificando a recorrência de problemas e presença de soluções de sucesso, forma-se uma base de informações propícia para a identificação e formalização de Proto-padrões, que são apresentados como uma forma estruturada e elegante de se documentar e difundir as soluções no contexto do desenvolvimento em E-GOV para municípios, relacionando aos domínios de Engenharia de Software e Interação Humano-Computador.

Made available in DSpace on 2016-06-02T19:05:25Z (GMT). No. of bitstreams: 1 DissKKK.pdf: 1271632 bytes, checksum: 7825f0fbdf16d2be8d537be29256ecce (MD5) Previous issue date: 2005-09-30 / This work presents Guidelines to elaborate the Requirements Document (RD) based on Functional Requirements made up of three items: i) a Template to specify the Functional Requirements, which determines a set of basic information that should compose the requirement description; ii) Writing Recommendations that offer suggestions to avoid certain defects during requirement writing and iii) a Pre-Inspection Checklist that supports a brief evaluation of the requirements to help in deciding if the RD should be submitted to an inspection. Definition of such Guidelines were based on the analysis of some requirement specification standards, some writing recommendations suggested by some authors and mainly, on the evaluation of applying PBR-User, Checklist and TUCCA (Technique for Use Case Construction and construction-based requirements Analysis) inspection techniques in three different RDs. The main objective to define these Guidelines was to facilitate the application of TUCCA, which supports the elaboration of Use Case Model (UCM) and the inspection of RD, for which a tool that has the RD as input is being developed. The case study to evaluate the proposed Guidelines consisted of the application of PBR-User, Checklist and TUCCA in three RDs and posterior application of the three techniques in these same RDs after they were modified according to the proposed Guidelines. The obtained results showed that TUCCA application was made easier when RD followed the Guidelines and there was a defect reduction in RD thus increasing the quality of this document. / Este trabalho apresenta Diretrizes para a Elaboração de Documento de Requisitos (DR) com ênfase nos Requisitos Funcionais, compostas por três itens: i) Formato para Especificação de Requisitos Funcionais, que determina um conjunto de informações básicas que deve compor a descrição do requisito; ii) Recomendação de Escrita, que oferece sugestões para que determinados defeitos sejam evitados durante a escrita do requisito e iii) Checklist Pré-Inspeção, que apóia uma sucinta avaliação dos requisitos de forma a ajudar na decisão se o DR deve ser submetido a uma inspeção. A definição dessas Diretrizes teve como base a análise de alguns padrões de especificação de requisitos, algumas recomendações de escrita sugeridas por alguns autores e, principalmente, uma avaliação da aplicação das técnicas de inspeção PBR-Usuário, Checklist e TUCCA (Technique for Use Case Construction and construction-based requirements Analysis) em três DRs diferentes. O objetivo principal de se definir essas Diretrizes foi apoiar a aplicação da TUCCA, a qual dá suporte à construção de Modelos de Casos de Uso (MCU) e à inspeção do DR, para a qual está sendo desenvolvida uma ferramenta que possui como entrada um DR. O estudo de caso para a avaliação das Diretrizes propostas consistiu da aplicação da PBR-Usuário, Checklist e TUCCA em três DRs e posterior aplicação dessas três técnicas de inspeção nesses mesmos DRs alterados de acordo com as Diretrizes propostas. O resultado obtido mostrou que a aplicação da TUCCA é bastante facilitada quando o DR segue as Diretrizes e que houve uma redução de defeitos no DR, o que contribui para a qualidade desse documento.

Made available in DSpace on 2016-06-02T19:05:25Z (GMT). No. of bitstreams: 1 DissDK.pdf: 983134 bytes, checksum: 0166a552182054c029a6c11c0e6034d0 (MD5) Previous issue date: 2007-08-24 / Guidelines that conduce the reengineering from legacy systems implemented in Java language to Aspect-Oriented language, AspectJ, preserving the original functionality, was proposed in the Aspecting method. Some case studies based on Aspecting was performed and it inferred that the reduction of efforts could be observed if computational support had been created previously and used. The List of Indications (of aspects) originally specified in Aspecting used lexical analysis for identification of crosscutting concerns found in Java code. Therefore, an Indication Model was presented in this paper in order to perform identification of crosscutting concerns in legacy code by syntactic analysis, using AST (Abstract Syntax Tree) and reorganization of Java code to AspectJ. The resulting system has enhancements in its internal structure, due to the separation of crosscutting concerns and elimination of problems related to scattering and tangling of code, observing better modularization, legibility and maintenance of system. A computational support that automates some of guidelines of system reengineering makes this migration process possible. Thus computational support called ReJAsp (apoio computacional para Reengenharia de sistemas Java para AspectJ) was built as plug-in of Integrated Development Environment Eclipse. The evaluation of ReJAsp was performed as case studies using systems written in Java, one of them found at Internet and others developed by students of computer science course of UFSCar. / Diretrizes para conduzir a reengenharia de sistemas legados implementados em linguagem Java para linguagem orientada a aspectos, AspectJ, preservando a funcionalidade original, foram propostas na abordagem Aspecting. A partir de estudos de caso realizados com essa abordagem, inferiu-se que poderia haver redução de esforços se um apoio computacional fosse criado. A Lista de Indícios (candidatos a aspectos) originalmente criada na Aspecting usava análise léxica para a identificação de interesses transversais no código legado Java. Assim, um Modelo de Indícios foi criado neste trabalho, para identificação de interesses transversais em códigos legados com base em análise sintática, por meio de AST (Abstract Syntax Tree) e para reestruturação do código Java para AspectJ. O sistema resultante apresenta melhorias em sua estrutura interna, devido à separação de interesses transversais e eliminação de problemas de espalhamento e de entrelaçamento em código, refletindo em um sistema mais modular, legível e manutenível. Um apoio computacional que automatiza parte das diretrizes envolvidas na reengenharia do sistema foi criado para viabilizar esse processo de reengenharia. Esse apoio computacional é denominado ReJAsp (apoio computacional para Reengenharia de sistemas Java para AspectJ) e foi construído como um plug-in do ambiente de desenvolvimento integrado Eclipse. Para avaliação do ReJAsp foram conduzidos estudos de caso a partir de sistemas implementados em Java da Internet e outros desenvolvidos em disciplinas de cursos de graduação da UFSCar.

Made available in DSpace on 2016-06-02T19:05:31Z (GMT). No. of bitstreams: 1 Dissert-vfce.pdf: 667781 bytes, checksum: f89884a63bab88f526faf7e3a3075944 (MD5) Previous issue date: 2002-08-27 / Financiadora de Estudos e Projetos / Distance Education (DE) is a very important theme that has been discussed intensively owing to the growing demand for continued education and to the modernization and availability of new technologies. Several DE environments have emerged as a result of the increasing popularity of the Internet, each offering a variety of resources, mainly to maximize the teaching/learning process. Due to its relevance to the DE theory, this process has been the focus of several researches aimed at developing this type of environment. As a result, designers and developers have devoted little attention to subjects not directly related to it. The purpose of this work, therefore, is precisely to broach on of these subjects, in the form of a safety architecture for DE environments that takes into account the aspects of authentication and control of user access. From the standpoint of authentication, the architecture employs the password and random question mechanisms coded using cryptographic keys. With regard to access control, the scheme formulated for the architecture combines a series of techniques that allow the manager of course in a DE environment the maximum flexibility and simplicity in managing the authorizations attributed to the users registered in the course. These techniques involve the use of collective/individual authorizations, positive/negative authorizations, and explicit/implicit authorizations. / Educação a Distância (EaD) é um tema de grande importância que vem sendo intensamente abordado devido à crescente demanda pela educação continuada e à modernização e disponibilização de novas tecnologias. Diversos ambientes de EaD surgiram com o aumento da popularidade da Internet, cada um oferecendo uma gama de recursos para, principalmente, maximizar o processo de ensino/aprendizado. Tal processo ocupa um lugar de destaque em várias pesquisas voltadas para o desenvolvimento desse tipo de ambiente devido a sua importância na teoria de EaD. Dessa forma, assuntos que não estão diretamente ligados a ele têm recebido pouca atenção por parte de projetistas e desenvolvedores. O objetivo deste trabalho é justamente atentar para um desses assuntos, apresentando uma arquitetura de segurança para ambientes de EaD que contempla os aspectos da autenticação e do controle de acesso de usuários. Em relação à autenticação, a arquitetura utiliza os mecanismos de senhas e questões randômicas codificadas através de chaves de criptografia. Já em relação ao controle de acesso, o esquema formulado para a arquitetura combina uma série de técnicas que permitem que o administrador de um curso de um ambiente de EaD tenha o máximo de flexibilidade e simplicidade no gerenciamento das autorizações atribuídas aos usuários pertencentes a esse mesmo curso. Tais técnicas englobam o uso de autorizações coletivas/individuais, autorizações positivas/negativas e autorizações explícitas/implícitas.