Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2015. / Made available in DSpace on 2016-04-19T04:15:05Z (GMT). No. of bitstreams: 1 338166.pdf: 1857792 bytes, checksum: 4e04e177628752ee16754f884df17496 (MD5) Previous issue date: 2015 / Atualmente é quase impossível uma pessoa não utilizar direta ou indiretamente um sistema computacional. Ao realizar uma operação bancária ou até mesmo ao fazer compras em uma loja, nós somos auxiliados por sistemas computacionais. Em contrapartida, surgem novos ataques para comprometer o funcionamento correto dos sistemas utilizados. Várias técnicas são utilizadas para que os sistemas funcionem conforme sua especificação, entre elas,destacam-se sistemas tolerantes a faltas bizantinas/intrusões (BFT) através de replicação de máquina de estados (RME). Nessa abordagem, é proposta uma arquitetura de sistema tolerante a intrusões que garante o seu funcionamento correto, mesmo na presença de réplicas faltosas.Este trabalho propõe um algoritmo que une replicação de máquina de estados e sistema de detecção de intrusões (IDS) para tolerar faltas bizantinas. A tecnologia de virtualização é utilizada no algoritmo proposto para replicar o serviço e também para isolar o IDS da aplicação monitorada. Dessa forma, é proposto um detector de intrusões como um componente confiável do sistema BFT. As principais contribuições são: (1) propor um modelo unificado, o qual utiliza replicação de máquina de estados e IDS em conjunto, e faz uso dos recursos da tecnologia de virtualização, (2) detector de intrusões como componente confiável do sistema e (3) elaborar um algoritmo BFT baseado no modelo proposto. Através desta abordagem foi possível reduzir o número de réplicas do sistema de 3f + 1 para 2f + 1 e reduzir o número de passos do protocolo do algoritmo tradicional BFT de Castro e Liskov de 5 para 3 no caso normal de operação e sem precisar da participação do cliente no protocolo.<br> / Abstract : Currently, it is almost impossible for a person not to use a computing system, in a direct or indirect way. When we are using a banking machine, or shopping in a store, we need to use a computing system. On the other hand, there are new attacks to damage the correct workingof the systems. There are several techniques to help the systems to work correctly according to their specification; among them, the Byzantine/intrusions fault tolerant systems (BFT) through the state machine replication (SMR) are important ones. In this perspective, it proposes a system architecture tolerant to intrusions that guarantees its proper functioning, even if there are faulty replicas.This research proposes an algorithm which presents a unified approachby using state machine replication and intrusion detection system in order to tolerate Byzantine faults. The virtualization technology is usedon the proposed algorithm to replicate the service and also to isolate the IDS of the monitored application. Therefore, we propose an intrusion detector as a reliable component of the BFT system. The main contributions are: (1) to propose a unified model, which uses state machine replication together with IDS, using the virtualization technology resources; (2) intrusion detector as a reliable component of the system; and (3) to make a BFT algorithm based on the proposed model. This approach made it possible to decrease the number of the system replicas from the 3f + 1 to 2f + 1, and to reduce the number of steps of the protocol of the BFT traditional algorithm from Castro and Liskov from 5 to 3 in a normal case of operation without the participation of the client in the protocol.

Dissertação (Mestrado em Engenharia Mecânica) - Centro Universitário FEI, São Bernardo do Campo, 2016.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Produção, Florianópolis, 2013. / Made available in DSpace on 2013-07-24T18:04:20Z (GMT). No. of bitstreams: 1 317258.pdf: 3223314 bytes, checksum: d15aff42e6ee59c7b7e031c1a118d13c (MD5) / Atualmente as empresas tem se deparado com um mercado altamente competitivo onde necessitam estar aptas a competir com concorrentes em nível global a fim de manter seus lucros. Uma das formas utilizadas para manter sua posição frente aos concorrentes é pela aplicação de critérios estratégicos como qualidade, velocidade, flexibilidade, pontualidade e custo, associados a uma estratégia produtiva adequada aos objetivos. Mas de pouco adiante usar uma excelente estratégia produtiva sem se preocupar com a gestão das informações dentro da empresa. Algumas organizações de manufatura e serviços, principalmente as que utilizam a estratégia de produção da Manufatura Enxuta, vêm utilizando formas simples e intuitivas, para aplicar dispositivos visuais eficientes que servem como filtro dessa grande quantidade de informações. Porém, até o presente momento não existe um método estruturado que possibilite desenvolver e aplicar a Gestão à Vista de forma coerente permitindo reproduzir resultados eficientes. Com o intuito de preencher essa lacuna na literatura, a pesquisa propõe um método estruturado para aplicar a Gestão à Vista nas empresas, dividido em cinco fases, desde a construção de um consenso sobre a aplicação da Gestão à Vista, definindo os objetivos prioritários da aplicação, determinando os dispositivos visuais, criando um planejamento para construção desta gestão e construindo um layout inicial para possibilitar a implantação da melhoria. Dessa forma, aperfeiçoa o entendimento e facilita a implantação de outros tipos de gestão, evitando a criação de dispositivos incoerentes ou sem funcionalidade para os processos. Esse método foi aplicado em uma empresa de manufatura a fim de mostrar sua eficácia. Obteve-se como resultado na fábrica um processo produtivo visual, onde as informações se tornaram compreensíveis, objetivas e disponíveis no momento certo o que facilitou as tomadas de decisões em todos os níveis organizacionais.<br> / Abstract : Currently the company has been facing a highly competitive market where they need to be able to compete with global competitors in order to maintain their profits. One of the ways to maintain their position against competitors is by applying strategic criteria such as quality, speed, flexibility, timeliness and cost associated with a productive strategy appropriate to the objectives. But a little further productive use an excellent strategy without worrying about the management of information within the company. Some manufacturing and service organizations, especially those that use the production strategy of Lean Manufacturing, have been using simple and intuitive ways to implement effective visual devices that serve as a filter of this large amount of information. However, to date there is no structured method that enables management to develop and implement the Vista consistently reproduces allowing efficient results. In order to fill this gap in the literature, the research proposes a structured method to apply to management companies in Vista, divided into five phases, from building a consensus on the implementation of the Management View, defining the objectives of the priority application, determining the visual devices, creating a plan for construction of building and managing an initial layout to enable the deployment of improvement. Thus, perfect understanding and facilitates the implementation of other types of management, avoiding the creation of devices incoherent or without functionality for processes. This method was applied to a manufacturing company to show its effectiveness. Was obtained as a result of a production process in the factory visual, where the information became comprehensible, objective and available at the right time which facilitated the decision-making at all organizational levels.

Orientador: Mario de Jesus Mendes / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-07-21T02:27:40Z (GMT). No. of bitstreams: 1 Baraldi_IltonJose_M.pdf: 1389804 bytes, checksum: d74d33870241a616d741b8f406e1aea4 (MD5) Previous issue date: 1995 / Resumo: Neste trabalho, simulou-se colunas de destilação binária com o objetivo de controlar este processo de separação utilizando um controlador LM.C., para controlar as composições do destilado e do produto de fundo da coluna. Para o projeto do controlador LM.C. foi necessário desenvolver um modelo linear reduzido que fosse simples e representasse bem o processo.Utilizando-se dos modelos reduzidos desenvolvidos, projetou-se um controlador I.M.C. que foi implementado utilizando-se de algoritmos de controle digital que apresentou resultados de controle satisfatório, demostrando a simplicidade e a validade do sistema de controle proposto / Abstract: Dual-control of distillation columns is both an operationally important and a technically challenging problem. This work first analyses the reduced-order modeling of binary distillation columns. A basic second-order model was developed and then suitably modified to account for the lag-time due to the plate liquid holdup. This model was then used to implement a LN dual-control I.M.C. strategy of the column. The results obtained show that this strategy is clearly superior to the conventional two-Ioop PID dual-control / Mestrado / Sistemas de Processos Quimicos e Informatica / Mestre em Engenharia Química

Orientador: Eduardo Tavares Costa / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-21T11:29:42Z (GMT). No. of bitstreams: 1 Moreira_CristianeMariaMenezes_M.pdf: 7033608 bytes, checksum: 1ec3a6cbfdf88a0be5c1032255d950da (MD5) Previous issue date: 1996 / Resumo: Foi desenvolvido um programa para simular o circuito pulmonar de um paciente com suporte ventilatório. O Simulador da Ventilação Pulmonar (SIMVEP) é um programa para ser executado sob o ambiente operacional MS Windows e torna-se ferramenta para treinamento de profissionais ligados à ventilação pulmonar artificial (médicos, enfermeiros e fisioterapeutas entre outros). A execução do programa é em tempo real permitindo que a cada ação do usuário sob o sistema (por exemplo, alterando parâmetros do ventilador), resultados desta ação sejam apresentados na tela imediatamente. Estes resultados são gráficos com as curvas de pressão, fluxo e volume e os seguintes valores calculados: pressão proximal de pico, pressão alveolar de pico, trabalho, relação tempo inspiratórioltempo expiratório, constantes de tempo das unidades pulmonares esquerda e direita / Abstract: It has been developed a computer program to simulate a patient pulmonary circuit under ventilatory support. The Pulmonary Ventilation Simulator (SIMVEP) runs under MS Windows and is a useful tool for trainning ali the professionals linked to artificial ventilation (physicians, nurses and physiotherapists, amongst others). The real time execution of SIMVEP allows its user to immediatly see the results of any change in the ventilation parameters. SIMVEP on screen results are pressure, volume and flow curves and the following calculated values: peak proximal pressure, peak alveolar pressure, work, inspiratory time, inpiratory/expiratory time relation and right and left pulmonary ventilation units time constants / Mestrado / Mestre em Engenharia Elétrica

Orientador: Ernesto Ruppert Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-22T12:29:11Z (GMT). No. of bitstreams: 1 Vuono_EvandroBordade_M.pdf: 8911009 bytes, checksum: 3aa68036e6b305c3f83f487e31574b12 (MD5) Previous issue date: 1997 / Resumo: Neste trabalho serão estudadas várias técnicas de controle vetorial de máquinas elétricas, onde estruturas de controle de velocidade são o ponto principal de discussão. Um panorama geral das principais estratégias de controle vetorial para máquina de indução, tanto para a tradicional alimentação em corrente quanto para alimentação em tensão, é apresentado detalhando o princípio e as características operacionais de cada método de controle. As técnicas aqui mostradas foram escolhidas por estarem classificadas dentro das técnicas de acionamento e alto desempenho, ou seja, apresentam rapidez de reposta e precisão elevada. As vantagens e desvantagens de cada técnica são apontadas durante o texto. As estruturas de controle foram agrupadas de forma a se dar uma visão global das diferentes formas de controle vetorial existentes. Dois grupos básicos foram formados: as técnicas de orientação pelo campo e as técnicas de aceleração pelo campo. O primeiro grupo citado ainda foi subdividido em alimentação em corrente e em tensão. O segundo grupo não apresenta essa divisão, pois apesar do controle por aceleração ser possível com alimentação em corrente, somente as técnicas diretas com alimentação em tensão tiveram aceitação e se mostraram superiores, sendo exploradas no texto com mais profundidade. Uma série de resultados se simulação ilustram a análise desenvolvida para cada técnica mostrando o desempenho dinâmico de cada estrutura de controle. Seguindo uma tendência recente de engenharia, a parte final do trabalho discute a introdução de conceitos de lógica nebulosa em acionamentos elétricos. Em particular serão tomados como exemplo algumas estruturas analisados durante o trabalho e a possibilidade de aplicação desses novos conceitos nas mesmas. O problema de variação paramétrica em esquemas de controle vetorial é discutido e sua solução sempre analisada do ponto de vista de algoritmos nebulosos, visando dessa forma realçar as várias possibilidades de aplicação desta teoria, que cada vez mais se afirma como uma ferramenta básica de trabalho / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica

Orientador: Leonardo de Souza Mendes / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-23T12:12:24Z (GMT). No. of bitstreams: 1 Alberti_AntonioMarcos_M.pdf: 11529811 bytes, checksum: 0dae8e4ee85461174bf5377ae15d1b87 (MD5) Previous issue date: 1998 / Resumo: Esta tese descreve o SimA TM, um ambiente para a simulação de redes A TM. O SimA TM é um aplicativo para a pesquisa, análise e projeto de redes A TM desenvolvido em C++ para o sistema operacional Windows 95/NTTM. O SimATM utiliza uma técnica de simulação baseada em eventos para realizar a simulação A TM no nível de células. A arquitetura das redes A TM é modelada a partir do Modelo de Referência de Protocolos da B-ISDN e da Arquitetura Funcional Geral de um Elemento de Rede A TM. Quatro tipos de modelos foram desenvolvidos para o SimA TM: modelos de camadas, modelos de sistemas de fila, modelos de equipamentos A TM e modelos de aplicativos A TM. Nesta tese é feita uma descrição dos elementos da estrutura do simulador e dos modelos desenvolvidos. Detalhes da implementação em C++ destes elementos e modelos também são apresentados. Um exemplo de simulação de rede A TM é realizado, e os resultados obtidos são comprovados através da lei de Little. Finalmente, são apresentadas algumas conclusões e sugestões para trabalhos futuros / Abstract: This thesis describes SimA TM, an environment to A TM network simulation. The SimA TM is an application tailored to research, analysis and design of ATM networks developed in C++ for the Windows 95/NTTM operating system. The SimATM utilizes an event-driven simulation technique to achieve A TM simulation at cell leveI. The A TM networks architecture is modeled from the B-ISDN Protocol Reference Model andfrom the General Functional Architecture of an ATM Network Element. Four kinds of models were developed for SimATM: layer models, queueing system models, A TM equipment models and A TM application models. A description of simulator structure elements and developed models is provided in this thesis. Implementation details ofthese elements and models are also presented An example of ATM Network simulation is realized, and the obtained results are conjirmed by Little 's Law. Finally, some conc/usions and suggestions for future works are presented. / Mestrado / Eletronica e Comunicações / Mestre em Engenharia Elétrica

Orientador: João Mauricio Rosario / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-27T01:24:57Z (GMT). No. of bitstreams: 1 Viana_LuisClovisLima_M.pdf: 3908829 bytes, checksum: 3c7a530d7860f0282d8767e35bdc4fd2 (MD5) Previous issue date: 2000 / Resumo: O projeto de Sistemas Automatizados de Produção requer, entre outras atividades, a especificação de uma arquitetura de comando. Principalmente em sistemas com estrutura de controle-comando bastante distribuída, esta especificação é determinante para todo o restante do ciclo de vida do sistema em questão. Nesses casos, o projetista vê-se face à difícil tarefa de, numa fase inicial de projeto, escolher uma arquitetura de comando capaz de atender a pré-requisitos funcionais como tempos de resposta do sistema. Este trabalho apresenta uma metodologia para validar um modelo de arquitetura de comando distribuída através da construção de modelos de Análise Estruturada e de sua posterior simulação sob a forma de Redes de Petri Coloridas e Temporizadas. Como estudo de caso, esta metodologia será aplicada a uma plataforma didática em automação / Abstract: The design phase of Automatic Manufacturing Systems comprises many different tasks and among them stands the design of a control architecture. Actually for highly distributed control systems the choice for a specific architecture has great impact on the overall system's life cyc1e. In such cases the designer has to propose early enough in the system's design phase a control architecture which must fulfill functional requirements such as response time. This work presents a framework for validating distributed control architectures by modelling the system's distributed features with tools from Structured Analysis and further 'translating' its dynamic behavior into Timed Colored Petri Nets models for simu1ation. A case study is provided as an application in a didactic automatic platform / Mestrado / Mecanica dos Sólidos e Projeto Mecanico / Mestre em Engenharia Mecânica

Orientador: Gilberto dos Santos Prado / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Artes / Made available in DSpace on 2018-07-27T20:11:41Z (GMT). No. of bitstreams: 1 Oliveira_HosanaCeleste_M.pdf: 4649264 bytes, checksum: 3d5a3120e51319a8158436a788e1059e (MD5) Previous issue date: 2001 / Resumo: Os ambientes virtuais multiusuário oferecem referências para uma melhor compreensão do que tem sido o uso dos recursos da realidade virtual (RV)em rede aberta, aplicados à criação de arquiteturas no ciberespaço. A proposta deste trabalho é pesquisar o processo de construção e funcionamento de ambientes virtuais na Internet, a partir dos recursos tecnológicos disponíveis no Active Worlds (AW). Para tanto, estudaremosas ferramentasde construção, assim como os mecanismos de funcionamento e serviços oferecidos pelo AW,tais como a construção de mundos e de ambientes; a anatomia da comunidade e as atividades sociais baseadas em ambientes virtuais multiusuário, entre outros / Abstract: The virtual multiuser environments offer references to a better comprehension than the use of virtual resources (VR) at open The proposal of this work is to search the process of creation and function of the virtual envíronments at Internet, through the technologic resources available in the Active Worlds (AW). Being that, we will study the tools for the creation, as well as the mechanisms of funciton and services offered by the AW; as the creation of worlds and environments, the anatomy of the community and the social activities basedon the multiuser virtual environments, among others / Mestrado / Mestre em Multimeios

Orientador: Ricardo Ribeiro Gudwin / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-26T00:07:29Z (GMT). No. of bitstreams: 1 SanchezGuerrero_JoseAntonio_M.pdf: 11290130 bytes, checksum: 7f32761b9ec74e139c11707f7d79fcbb (MD5) Previous issue date: 2000 / Resumo: Redes de objetos são ferramentas formais para a especificação e simulação de sistemas a eventos discretos, dotadas de características particularmente interessantes dentro do escopo dos chamados sistemas inteligentes, tais como capacidade de aprendizagem e adaptação. Redes de agentes são uma especialização das redes de objetos onde a capacidade de decisão fica distribuída ao longo dos objetos da rede, chamados então de agentes. Para tal, adotou-se um modelo específico de funções de seleção (que são genéricas na definição de rede de objetos), bem como um algoritmo geral que viabiliza a automatização e computabilidade destas funções. Redes de Agentes podem ser aplicadas em uma grande diversidade de contextos, desde a modelagem pura de sistemas complexos, com o propósito de análise, bem como na simulação e controle de tais sistemas. Particularmente, pode ser utilizada no contexto da engenharia de software, auxiliando nas etapas de análise, projeto e simulação de sistemas inteligentes. Com este trabalho desenvolveu-se uma ferramenta computacional (chamada ONtoolkit) que disponibiliza o uso das redes de agentes nas diferentes etapas de desenvolvimento de um sistema inteligente / Abstract: Object Networks are formal tools for the specification and simulation of discrete event dynamical systems, equipped with characteristics particularly interesting under the scope of the so called intelligent systems, like learning and adaptation. Agent networks are a specialization of the object networks, where the decision capacity is distributed among the multiple objects on the network, which are called agents, in this case. Following this purpose, we adopted a specific model for the selection functions (which are generic in the original object network definition) and a general algorithm, which allows the automation and computability of such functions. Agent Networks can be applied to a great diversity of contexts, since the pure modelling of complex systems, with analysis purposes, passing through the simulation and control of such systems. Particularly, it can be used under the context of software engineering, as an aid to the analysis, design, and simulation of intelligent systems. In this work, we developed a computational tool (called ONtoolkit), which a1lows the use of agent networks in the different steps of development for an intelligent system / Mestrado / Automação / Mestre em Engenharia Elétrica