Orientador: Renata Spolon Lobato / Banca: Alexandro José Baldassin / Banca: Henrique Mongelli / Resumo: A busca por aprimorar o desenvolvimento de aplicações complexas tem aumentado gradativamente. Além disso, procura-se a redução de gastos ao implementar a aplicação, como também o aumento da segurança, o que torna muito importante a técnica de solução de modelos e a simulação de sistemas. Isso ocorre principalmente nas áreas comerciais, industriais e com finalidade de pesquisa. Visando facilitar a utilização da técnica de solução de modelos e a simulação de sistemas, neste projeto é apresentado o desenvolvimento de um gerador de simuladores baseado em filas, o Yasc (Yes, a simulator's compiler). Esta ferramenta possibilita a construção de aplicações capazes de solucionar os problemas ditos anteriormente de maneira simples e sem a necessidade de codificação. Assim, a partir de parâmetros informados pelo usuário como entrada, o gerador fornece, como saída, uma ferramenta de simulação. Apresenta-se também um estudo de caso de redes de computadores em que o Yasc, com sua implementação já finalizada, foi utilizado para gerar simuladores de redes e para realizar a solução de modelos e simulação de ambientes reais, cujos resultados foram comparados aos de outro simulador específico da área, o NS-3 (Network Simulator) / Abstract: The search to improve the development of complex applications has gradually increased. It also seeks to reduce costs by implementing the application, and seeks as well to increase security, which makes it very important to model solution technique and systems simulation. This occurs in the commercial, industrial and research-purposed areas. To facilitate the models solution technique and the simulation of systems, this project presented the development of a simulator generator based on queues, the Yasc (Yes, a simulator's compiler). This tool makes it possible to generate applications that can simply solve problems mentioned before without coding. Thus, based on parameters from the user's input, the generator provide, as output, a simulation tool. Furthermore, we present a case study of computer networks where the Yasc, with your finished implementation, was used to generate network simulators and to perform models solution and simulations of real enviroments, whose results were compared to other specific simulator area, the NS-3 (Network Simulator) / Mestre

Orientador: Rogério Eduardo Garcia / Banca: Ives Pola / Banca: Reginaldo Ré / Resumo: Promover a evolução de software sem provocar qualquer degradação em sua arquitetura e projeto é um desafio para a Engenharia de Software. A divisão de código em módulos é um dos mecanismos utilizados por metodologias convencionais para tentar minimizar o grau de acopla- mento entre elementos de software e facilitar a evolução. A modularização dos interesses que compõem o sistema melhora a compreensão de código e reduz a complexidade das atividades de manutenção. Apesar dos esforços para prover a modularização de interesses em sistemas de software, alguns não são facilmente encapsulados e têm sua implementação espalhada por diversos módulos. Isso gera dependências lógicas entre um grande número de elementos de software. Tais interesses são chamados de interesses transversais. Técnicas para a identificação de interesses transversais apresentam baixa precisão nos resultados obtidos, principalmente de- vido a não conformidade dos objetivos de identificação às características da técnica escolhida. Este trabalho propõe um conjunto de diretrizes para apoiar a escolha de técnicas de identifica- ção de interesses transversais. O conjunto de diretrizes colabora para a adequação das técnicas ao seu propósito e, por consequência, para a obtenção de resultados mais significantes / Abstract: Promoting software evolution without causing any degradation in its architecture and design is a challenge for software engineering. The implementation of code into modules is one of the mechanisms used by conventional programming methodologies to try to minimize the degree of coupling between elements of software and facilitate a development and evolution. The modularization of concerns that make up the system improves the source code comprehension and reduces the complexity of maintenance activities. Despite efforts to provide the modularization of concerns in software systems, some are not easily encapsulated and have their implementation spread across several modules. This generates logical dependencies between a large number of software elements. Such concerns are called crosscutting concerns. Techniques for the identification of crosscutting concerns show low precision in the obtained results, mainly due to the nonconformity of the identification objectives to the characteristics of the chosen technique. This work proposes a set of guidelines to support the choice of techniques for identifying crosscutting concerns. The set of guidelines helps to adequate the techniques to their purpose and, consequently, to obtain meaningful results / Mestre

Orientador: Aleardo Manacero / Banca: Henrique Dezani / Banca: Rodrigo Capobianco Guido / Resumo: A análise de sistemas computacionais por meio de simulação depende fortemente de como as tarefas a serem executadas serão modeladas. Isso é ainda mais importante quando se fala de sistemas de tempo-real, em que tarefas devem ser atendidas dentro dos intervalos corretos e a análise por simulação evita perigos possivelmente presentes se executadas no ambiente real. Entretanto, simuladores de tarefas tipicamente as modelam como blocos independentes de carga de trabalho. Embora isso seja correto ou aceitável em muitas situações, isso não é sempre verdade em sistemas de tempo-real, pois normalmente aplicações desse tipo apresentam relações de dependência entre si. Em alguns simuladores isso é resolvido com a escrita do modelo de tarefa em alguma linguagem de modelagem específica, o que evidentemente dificulta o trabalho de simulação se comparado com abordagens gráficas. Desse modo, aqui se propõe uma abordagem que permita a modelagem de interações entre tarefas, em especial de tempo-real, por meio de interfaces visuais, sem comprometer a corretude do motor de simulação. A modelagem visual permite que o usuário se concentre no problema a ser avaliado e não na programação de seus detalhes, melhorando a eficiência desse processo. Na abordagem proposta se parte do conceito de árvores hierárquicas para estabelecer associações entre tarefas, elementos de processamento e recursos do sistema. As relações previstas entre tarefas incluem precedência, sincronismo, paralelismo e exclusão mútua... / Abstract: Analysis of computing systems through simulation is strongly dependent of how tasks to be executed are modeled. This is even more important in real-time systems, where tasks must be executed before their deadlines, and their simulation avoid possible risks present in the real environment. However, simulators of such tasks usually model them as independent load blocks. Although this is correct for many systems, it is not always true for real-time systems, where applications usually have dependence relationships between tasks. In some simulators this is solved by enforcing the user to write the model in some modeling or simulation language, clearly making the simulation harder when compared to graphical approaches. Therefore, a graphical approach for task modeling is proposed. This approach is specially aimed to real-time tasks and does not compromise simulation accuracy. Graphical, that is visual, modeling allows for the user to focus on the problem to be evaluated and not in programming details of the system, improving the efficiency of this process. This proposal is based on the hierarchical tree concept to establish associations between tasks, processing elements and system resources. Chosen relationships include precedence, synchronism, parallelism and mutual exclusion. This proposal is validated through its application in a simulator of real-time scheduling algorithms named RTsim, which already offers interesting modeling/simulation characteristics such as interfaces to ... / Mestre

Made available in DSpace on 2010-04-20T20:14:39Z (GMT). No. of bitstreams: 0 Previous issue date: 1995-05-29T00:00:00Z / Apresenta as bases conceituais e as técnicas propostas por alguns métodos de análise e projeto orientados por objeto. Avalia a aplicabilidade e a eficácia destes métodos, no desenvolvimento de sistemas de informações, através de um estudo de caso. Inicialmente, são avaliados os métodos propostos por Peter Coad-Edward Yordon é Grady Booch. Em seguidaI são desenvolvidos métodos combinados, integrando conceitos básicos da orientação por objetos, com métodos estruturados convencionais. Finalmente, é apresentado um estudo de caso, baseado no projeto de um sistema de informações gerenciais, desenvolvido junto a uma instituição financeira.

O monitoramento da saúde dos sistemas de uma aeronave - PHM (Prognostic and Heatlth Monitoring) - é o cenário deste estudo, que aborda a transferência dos dados do avião no solo até o centro de operação e manutenção de uma companhia aérea, tendo em vista alguns requisitos de operação, como um tempo mínimo para que os dados sejam transmitidos, o tamanho de um arquivo típico de PHM e como a necessidade de se obter um canal seguro sob o ponto de vista de integridade e confidencialidade dos dados impacta no cumprimento destes requisitos. O sistema de transmissão de dados em solo abordado é composto pelo Gatelink, que utiliza um sistema de comunicação sem fio através do protocolo 802.11 entre a aeronave e um roteador no aeroporto, e uma rede cabeada Frame Relay dentro do aeroporto. Para segurança, são adotados os protocolos WPA-2 no trecho sem fio e o IPsec no trecho cabeado. O estudo demonstra que o tempo para se transmitir um quadro no trecho sem fio mostrou-se pouco afetado pela introdução do cabeçalho de segurança do WPA-2. Os cabeçalhos inseridos pelo IPsec afetam o tempo de transmissão dos dados, porém mostra-se que ainda é possível transmitir dentro do intervalo de tempo especificado considerando o método de cifragem dos dados AES.

Este trabalho apresenta a análise e simulação de Sistemas de Aquisição Serial com Filtro Casado, com detecção não coerente e varredura uniforme, para aquisição de seqüências pseudo-aleatórias em Sistemas de Comunicação por Espalhamento Espectral. A análise teórica é realizada em termos de probabilidade de falso alarme, probabilidade de detecção e tempo médio de aquisição para implementação de correlação analógica e digital. A análise teórica considera os seguintes efeitos: a) ruído gaussiano branco aditivo; b) seqüência pseudo-aleatória com forma de onda quadrada; c) fase da portadora desconhecida e d) diferença de freqüência entre os osciladores de transmissão e recepção. Para cálculo das estatísticas (falso alarme e detecção) para o caso de implementação da correlação analógica são usados resultados disponíveis na literatura. Para o caso de implementação da correlação digital desenvolve-se uma nova teoria. Para cômputo do tempo médio de aquisição utiliza-se uma teoria unificada que é aplicada ao caso particular do sitema de aquisição com filtro casado com estado de falso alarme não sorvedouro. As simulações são realizadas considerando as características do Sistema de Comunicação de Mensagem do SCD3. Além dos efeitos contemplados na análise teórica a simulação verifica os efeitos da limitação da banda passante da seqüência pseudo-aleatória e a interferência presente em ambiente de acesso múltiplo por divisão de códigos.

No gerenciamento de recursos hídricos, a bacia hidrográfica é considerada a unidade natural de gestão. Suas características físicas definem um espaço onde a água converge para uma saída comum. O desenvolvimento integrado de uma bacia, bem como os possíveis conflitos ocasionados por demandas concorrentes do mesmo recurso, devem ser administrados respeitando esse conceito de unidade. No caso específico da bacia hidrográfica do Rio Jaguari, existe uma crescente preocupação relacionada aos usos múltiplos da água superficial. O rio Jaguari, importante afluente do Paraíba do Sul no estado de São Paulo, tem suas águas represadas para geração de energia elétrica e regularização de vazões. Nos últimos anos, tem-se constatado um crescente rebaixamento dos níveis operacionais da represa do Jaguari. Segundo estudos da sociedade civil organizada local, a tendência é de esgotamento do reservatório em poucos anos. Este trabalho aborda a questão do rebaixamento dos níveis de Jaguari através da aplicação do software DHI Mike Basin 2000. Trata-se de um simulador genérico para sistemas de recursos hídricos, de ampla aplicação. A bacia do Jaguari é representada em um modelo matemático e são simulados quatro cenários distintos de usos de água na bacia. Verifica-se que o problema é real e requer uma intervenção multi-institucional para ser solucionado. / In the management of water resources, basin is naturally considered the administration unit. Its physical properties define a land space where water flows on the way to a common outlet. The integrated development of a basin, as well as potential conflicts resulted by divergent users should be managed under this unit concept. On Jaguari river basin, in state of São Paulo, Brazil, there is an emergent concern related to the multiplicity of water uses. Jaguari river, an important branch of Paraíba do Sul river in state of São Paulo is dammed for the generation of electricity and stream flow regulation. In last years, it has been observed an increasing reduction in Jaguari reservoir operational levels. According to local organizations\' studies, the reservoir trends to collapse in few years. The present dissertation holds a discussion about the reduction of water level trend in Jaguari reservoir, through the application of DHI MIKE BASIN 2000 software. It is a generic, very useful simulator for water resources systems. The Jaguari basin is represented by a mathematic model, simulated for four different water use scenarios. It is shown that the problem is real, and requires a multi-institutional intervention to be solved.

Dissertação apresentada para obtenção do grau de Doutor em Informática (Área de Conhecimento de Engenharia de Computadores), no Departamento de Informática da Escola de Engenharia da Universidade do Minho, sob a orientação dos Profs. Doutores Alberto José Gonçalves de Carvalho Proença e Henrique Manuel Dinis dos Santos

Orientadores: Pedro Luis Dias Peres, Ricardo Coração de Leão Fontoura de Oliveira / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-17T02:43:49Z (GMT). No. of bitstreams: 1 Lacerda_MarcioJunior_M.pdf: 670231 bytes, checksum: d76f3fe0db3898a759d391b46114898c (MD5) Previous issue date: 2010 / Resumo: Este trabalho apresenta novas condições na forma de desigualdades matriciais lineares para a síntese de filtros robustos H2 e H¥ de ordem completa, para sistemas incertos, contínuos e discretos no tempo. Os parâmetros incertos invariantes no tempo pertencem a um politopo com vértices conhecidos. Graças à existência de um número maior de variáveis de folga e à utilização de relaxações baseadas em matrizes polinomiais homogêneas, desigualdades matriciais lineares podem ser obtidas das condições propostas para o projeto de filtros robustos, com desempenho superior aos métodos existentes. A superioridade e eficiência do método proposto para o projeto dos filtros robustos são ilustradas por meio de comparações numéricas e exemplos da literatura / Abstract: This work presents new convex optimization procedures for full order robust H2 and H? filter design for continuous and discrete-time uncertain linear systems. The time-invariant uncertain parameters are supposed to belong to a polytope with known vertices. Thanks to the use of a larger number of slack variables and homogeneous polynomial relaxations, linear matrix inequalities for the design of robust filters can be derived from the proposed conditions, outperforming the existingmethods. The superiority and efficiency of the proposed method for robust filter design are illustrated by means of numerical comparisons in benchmark examples from the literature / Mestrado / Automação / Mestre em Engenharia Elétrica

Orientadores: Ana Cervigni Guerra, Mario Lucio Cortes / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-07T00:45:22Z (GMT). No. of bitstreams: 1 Kacuta_LuizYukishigue_M.pdf: 1865346 bytes, checksum: c2d24da702ba480692071542b5b61f84 (MD5) Previous issue date: 2006 / Resumo: A efetividade das áreas de Tecnologia da Infonnação das empresas é frequentemente questionada. Pesquisas realizadas por entidades de alta credibilidade demonstram que uma parcela significativa dos sistemas de infonnação, que as áreas de TI disponibilizam em uma organização, não está alinhada às necessidades do negócio. Apesar da evolução das abordagens, técnicas e métodos de desenvolvimento de sistemas, e da ênfase em gerenciamento de requisitos, o baixo grau de aderência dos softwares às reais necessidades do negócio continua causando graves conflitos entre a área de desenvolvimento de sistemas e a área de negócio das empresas. Este trabalho aborda a questão considerando que as causas não se limitam às fronteiras da tecnologia da infonnação; ele apresenta uma proposta para integrar abordagens de diferentes disciplinas, partindo da Estratégia de Negócio, passando pela Modelagem de Processos do Negócio e terminando na Especificação de Sistemas. A finalidade é conduzir à caracterização dos serviços que os sistemas devem proporcionar para atender de fato aos objetivos que implementam a estratégia de negócio da organização / Abstract: The effectiveness of the enterprise information technology areas is frequently questioned. Researches made by high credible entities show that most part of the information systems, which are made available by an organization, doesn't address business needs. Despite the evolution of system development approaches, techniques and methodologies, and the emphasis on requirement management, the low levei of software adherence to business needs still causes conflicts between the system development and the enterprise business areas. This work approaches the question above tak.ing into account that its causes are not limited to the frontiers of information technology. It presents a proposal for integrating different subjects, starting from Business Strategy, passing through Business Processes Modeling and concluding with System Specification. The main goal of this thesis is to serve as a guidance to the services characterization which the systems must follow in order to drive Enterprise Business Strategy / Mestrado / Engenharia de Computação / Mestre em Computação