Submitted by Almir Azevedo (barbio1313@gmail.com) on 2017-06-02T17:42:13Z No. of bitstreams: 1 dissertação mestrado ien 2017 Leonardo Pires Paredes.pdf: 1945248 bytes, checksum: e30353409ff7aa4dedadcf5f5b0b0a9c (MD5) / Made available in DSpace on 2017-06-02T17:42:13Z (GMT). No. of bitstreams: 1 dissertação mestrado ien 2017 Leonardo Pires Paredes.pdf: 1945248 bytes, checksum: e30353409ff7aa4dedadcf5f5b0b0a9c (MD5) Previous issue date: 2017-05 / Este trabalho visa destacar a necessidade de um estudo para o cálculo das rampas de variação de reatividade indispensáveis e possíveis para atender as condições operacionais reais demandadas por um submarino nuclear em suas diversas fases de operação. Em função das exigências operativas e manobras imprescindíveis em determinadas situações táticas, grandes variações de potência na propulsão são requeridas. Como estas súbitas e severas mudanças na propulsão são oriundas da potência térmica de origem nuclear, os operadores do reator devem conhecer quais as respostas e que variações de reatividade são necessárias para atender à cada demanda de velocidade solicitada. É importante destacar que estas intervenções neutrônicas são condicionadas, não somente pela requisição oriunda na propulsão, mas fundamentalmente pela imperiosa necessidade de garantir a integridade do núcleo e sustentabilidade da reação em cadeia considerando os fenômenos e efeitos complexos, não-lineares e retroalimentados envolvidos. Considerando os aspectos destacados, esta dissertação apresenta como resultados o desenvolvimento, a validação e avaliação do código computacional SiTONP (Simulador de Transientes Operacionais Nucleares para Propulsão), utilizado para simulação de transientes operacionais que atendam as demandas táticas de um submarino, e os estudos de alguns casos simulados. Esse código foi desenvolvido nesse trabalho em linguagem de programação C, tendo como base as teorias de cinética de reatores e o cálculo dos efeitos de realimentação, além de ter como base o código SIRER utilizado para cálculo de transientes de acidente. Como resultado, são feitas algumas simulações hipotéticas e é realizada uma análise de como o comportamento do reator influencia a operação do submarino. Dessa maneira, conclui-se que o programa SiTONP gera resultados consistentes e reais para diversos parâmetros nucleares que possam vir a apoiar uma análise do comportamento do reator real do projeto, a luz da doutrina de combate naval, criando ferramentas de apoio que venham viabilizar a operação do submarino dentro dos diversos cenários táticos e estratégicos que possam requerer seu emprego. / The work presented highlights the need for the study to determine the reactivity variation ramps necessary and possible to meet the real operational conditions required by a nuclear submarine in this several operating stages. In accordance with the operational requirements and essential maneuvers in certain tactical situations, large power variations in the propulsion are demanded. As these sudden and severe changes in propulsion come from the thermal power of nuclear origin, the nuclear island operators must know what kind of answers and reactivity variations are necessary to meet each requested demand speed. It should be noted that these reactivity inserts are conditioned, not only by the propulsion requests, but fundamentally by the imperative need to ensure the core integrity and the chain reaction sustainability considering the complex, nonlinear and retro-feeding phenomena and effects involved. Considering the highlights, this dissertation presents as results the development, validation and evaluation of the SiTONP (Operational Nuclear Transient Simulator for Propulsion) computational code, used to simulate operational transients that meet the tactical demands of a submarine, and the studies of some simulated cases. This code was developed in this work in C programming language and based on reactor kinetics theories and the calculation of feedback effects, in addition to being based on the SIRER code, used to calculate accident transients. As a result, we did some hypothetical simulations and an analysis is made of how the behavior of the reactor influences the operation of the submarine. In this way, it can be concluded that the SiTONP program is able to generate consistent and real results for several nuclear parameters that may support an analysis of the behavior of the real reactor of the submarine project, in the light of the naval combat doctrine, creating support tools that will make feasible the operation of the submarine within the various tactical and strategic scenarios that may require its use.

Orientador: Ricardo de Oliveira Anido / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-25T02:30:47Z (GMT). No. of bitstreams: 1 Conceicao_DarioVieira_M.pdf: 2160223 bytes, checksum: ebf18e2f4e144875c36dd8c5da967522 (MD5) Previous issue date: 1999 / Resumo: A rápida expansão da tecnologia de comunicação sem fio e dos serviços de satélite proporcionaram o aparecimento de um novo paradigma no campo da ciência da computação, chamado computação móvel Nos sistemas móveis as soluções para o problema de distribuição diferem das existentes em computação distribuída convencional, devido a características intrínsecas do ambiente móvel, tais como: desconexão, mobilidade, estreita banda passante, alta latência, baixa capacidade de armazenamento e consumo de energia. Assim, embora as soluções básicas de problemas distribuídos sejam bem entendidas, uma análise de algumas destas em relação ao ambiente de computação móvel pode ser de vital importância na busca de novas soluções, adequadas a este ambiente. Esta dissertação analisa aspectos de um problema específico em sistemas distribuídos - consistência de dados - no contexto de computação móvel. São apresentados um novo modelo de execução de transação e um novo protocolo de gravação e recuperação de estados globais consistentes, ambos formando um arcabouço de consistência de dados adequado ao ambiente de computação móvel. / Abstract: The fast advance in wireless communication technologies and satellites service have enabled the appearance of a new paradigm in computer science, called mobile computing. Solutions to problems in mobile computing are different from those to traditional distributed systems, due to a set of inherent characteristics of mobile environment, like: mobility, frequent disconnection, low bandwidth, high latency, reduced storage capacity-limited battery life and small screen sizes. Therefore, although the basic issues in the traditional distributed environment are well understood, a review of some of these issues with respect to the mobile environment are useful to comprehend those characteristics. In this dissertation it is proposed a new transaction model and a new checkpoint protocol for the mobile environment. The transaction model and checkpoint protocol form an adequate framework for data consistency to mobile computing environment. / Mestrado / Mestre em Ciência da Computação

Orientador: Celio Cardoso Guimarães / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-25T05:09:54Z (GMT). No. of bitstreams: 1 Franca_FranklinRobertAraujo_M.pdf: 2925187 bytes, checksum: 014c0bbe469d20c4bf2628a6256756fe (MD5) Previous issue date: 1999 / Resumo: Plan 9 é um sistema operacional distribuído desenvolvido no Computing Sciences Research Center da Bell Laboratories. Plan 9 suporta várias arquiteturas de hardware e usa três tipos de componentes: terminais, servidores de arquivos e servidores de CPU. No Plan 9 todos os objetos do sistema apresentam-se como arquivos que podem existir tanto local quanto remotamente e respondem a um protocolo chamado 9P, que executa sobre o protocolo de transporte IL (Internet Link) e que têm funções semelhantes ao NFS. Nesta dissertação é feito um estudo do sistema Plan 9 concentrando-se nos recursos de comunicação suportados pelo kernel entre processos locais e remotos. E feita uma comparação do desempenho desses mecanismos de comunicação através de micro-benchmarks e de macro-benchmarks, nos sistemas operacionais Plan 9, Linux e UNIX/SunOS. O desempenho da comunicação remota do Plan 9 é também comparado com UNIX/NFS. / Abstract: Plan 9 is a distributed operating system developed at the Bell Labs' Computing Sciences Research Center. Plan 9 supports several hardware architectures and uses three types of components: terminals, file servers and CPU servers. All Plan 9 resources look like files which can be local or remote, and respond to a protocol named 9P which runs over the transport protocol IL (Internet Link) and which are similar to NFS. In this dissertation we study the Plan 9 system, focusing on the kernel communication facilities between local and remote processes. The performance of these communication mechanisms are compared through micro and macro-benchmarks in the Plan 9, Linux and UNIX/SunOS operating systems. The performance of Plan 9 remote communication is also compared with UNIX/NFS. / Mestrado / Mestre em Ciência da Computação

Orientadores: Alfredo Goldman vel Lejbman, Islene Calciolari Garcia / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-04T11:56:37Z (GMT). No. of bitstreams: 1 Calabrez_CarlosEduardo_M.pdf: 2809639 bytes, checksum: 25f27e0fd288194f67d158f07bb12e62 (MD5) Previous issue date: 2004 / Resumo: Este trabalho apresenta diversas tecnologias de comunicação entre objetos distribuídos em Java: RMI, RMI-IIOP, CORBA (JavaIDL e JacORB) e JAX-RPC (SOAP). Suas arquiteturas e suas principais características são descritas, assim como exemplos contendo os passos principais para a sua utilização. Em seguida são apresentadas comparações detalhadas do desempenho dessas tecnologias em cenários distintos. Estudos similares demonstraram que RMI obtém um bom desempenho em muitos casos. Este trabalho confirma essa tendência e verifica a diferença de desempenho ao se utilizar as demais tecnologias / Abstract: This work presents several communication technologies for distributed objects in Java: RMI, RMI-IIOP (JavaIDL and JacORB) and JAX-RPC (SOAP). We describe their architectures and main characteristics, and we also present practical examples of their usage. We complete the work with detailed comparisons among these technologies on different scenarios. From previous works we already know that RMI generally outperforms the other technologies, but we also want to verify the performance ratio of the other technologies / Mestrado / Engenharia de Computação / Mestre em Computação

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, 2016. / Made available in DSpace on 2016-05-24T17:56:04Z (GMT). No. of bitstreams: 1 339452.pdf: 1160381 bytes, checksum: 722a35e532367f63e483a469497c4242 (MD5) Previous issue date: 2016 / Grafos são usados para modelar um grande número de problemas reais em áreas como aprendizado de máquina e mineração de dados. O crescimento das bases de dados destas áreas tem levado à criação de uma variedade de sistemas distribuídos para processamento de grafos muito grandes, dentre os quais se destaca o Pregel, da Google. Embora esses sistemas costumem ser tolerantes a faltas de parada, a literatura sugere que eles também estão suscetíveis a faltas arbitrárias acidentais. Neste trabalho é apresentado Greft, uma arquitetura para processamento distribuído de grafos de larga escala capaz de lidar com essas faltas, baseado no Graph Processing System (GPS), uma implementação de código aberto do Pregel. São apresentados também resultados experimentais do protótipo obtidos na Amazon Web Services (AWS), onde demonstra-se que este algoritmo usa o dobro de recursos do original, em vez de 3 ou 4 vezes, como é comum em modelos tolerantes a faltas Bizantinas. Com isso, seu custo torna-se aceitável para aplicações críticas que requerem esse nível de tolerância a faltas.<br> / Abstract : Graphs are used to model a large number of real problems in areas such as machine learning and data mining. The increasing dataset sizes has led to the creation of various distributed large scale graph processing systems, among which Google's Pregel stands out. Although these systems usually tolerate crash faults, literature suggests they are vulnerable to accidental arbitrary faults as well. In this dissertation we present the architecture, algorithms and a prototype of such system that can tolerate this kind of fault, based on Graph Processing System (GPS), an open source implementation of Pregel. Experimental results of the prototype in Amazon Web Services (AWS) are presented, showing that it uses twice the resources of the original implementation, instead of 3 or 4 times as usual in Byzantine fault-tolerant systems. This cost is acceptable for critical applications that require this level of fault tolerance.

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, 2016. / Made available in DSpace on 2016-09-20T04:07:11Z (GMT). No. of bitstreams: 1 339452.pdf: 1160381 bytes, checksum: 722a35e532367f63e483a469497c4242 (MD5) Previous issue date: 2016 / Grafos são usados para modelar um grande número de problemas reais em áreas como aprendizado de máquina e mineração de dados. O crescimento das bases de dados destas áreas tem levado à criação de uma variedade de sistemas distribuídos para processamento de grafos muito grandes, dentre os quais se destaca o Pregel, da Google. Embora esses sistemas costumem ser tolerantes a faltas de parada, a literatura sugere que eles também estão suscetíveis a faltas arbitrárias acidentais. Neste trabalho é apresentado Greft, uma arquitetura para processamento distribuído de grafos de larga escala capaz de lidar com essas faltas, baseado no Graph Processing System (GPS), uma implementação de código aberto do Pregel. São apresentados também resultados experimentais do protótipo obtidos na Amazon Web Services (AWS), onde demonstra-se que este algoritmo usa o dobro de recursos do original, em vez de 3 ou 4 vezes, como é comum em modelos tolerantes a faltas Bizantinas. Com isso, seu custo torna-se aceitável para aplicações críticas que requerem esse nível de tolerância a faltas.<br> / Abstract : Graphs are used to model a large number of real problems in areas such as machine learning and data mining. The increasing dataset sizes has led to the creation of various distributed large scale graph processing systems, among which Google's Pregel stands out. Although these systems usually tolerate crash faults, literature suggests they are vulnerable to accidental arbitrary faults as well. In this dissertation we present the architecture, algorithms and a prototype of such system that can tolerate this kind of fault, based on Graph Processing System (GPS), an open source implementation of Pregel. Experimental results of the prototype in Amazon Web Services (AWS) are presented, showing that it uses twice the resources of the original implementation, instead of 3 or 4 times as usual in Byzantine fault-tolerant systems. This cost is acceptable for critical applications that require this level of fault tolerance.

Dissertação: Luiz Eduardo Buzato / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-23T19:40:36Z (GMT). No. of bitstreams: 1 Garcia_IsleneCalciolari_M.pdf: 2272722 bytes, checksum: 40ccc8d3db214888d670f87260cf1134 (MD5) Previous issue date: 1998 / Resumo: Estados globais consistentes são fundamentais para a solução de uma série de problemas em sistemas distribuídos, em especial para a monitorização e reconfiguração de aplicações distribuídas. A construção assíncrona de estados globais consistentes permite maior eficiência e flexibilidade a sistemas de monitorização. Consideramos aplicações distribuídas construídas sobre o modelo de processos e mensa­gens (MPM) e sobre o modelo de objetos e ações atômicas (MOA). Enquanto para o primeiro modelo vários algoritmos foram desenvolvidos para a obtenção de estados globais consisten­tes, para o segundo a oferta é extremamente reduzida. Estabelecemos correlações entre esse dois modelos e conseguimos o mapeamento de algoritmos para a obtenção de estados globais consistentes do MPM para o MOA. Enquanto grande parte da literatura para a obtenção de estados globais consistentes está voltada para a recuperação de falhas com retrocesso de estado, temos como objetivo a construção de uma visão progressiva da aplicação (consideramos que o monitor deve analisar estados globais consistentes mais recentes que os anteriores). Esta abordagem propiciou a criação de algoritmos originais para a construção de estados globais consistentes a partir de estados de interesse (checkpoints) selecionados pelos componentes da aplicação. / Abstract: Consistent global states are fundamental to solve a large class of problems in distributed systems, especially for monitoring and reconfiguration of distributed applications. The asyn­chronous construction of consistent global states allows greater efficiency and flexibility to monitoring systems. We consider distributed applications built upon the processes and messages model (MPM) and upon the objects and atomic actions model (MOA). Many algorithms have been designed for the construction of consistent global states in the MPM, but for the MOA the number of algorithms is extremely reduced. We have established correlations between these two models and, using them, we have mapped algorithms to construct consistent global states from the MPM to the MOA. A great part of the literature for the construction of consistent global states is devoted to the backward recovery of failures. Our goal is the construction of a progressive view of the application (we consider that the monitor must analyze consistent global states that are as up-to-date as possible). This approach allowed the creation of new algorithms for the construction of consistent global states using checkpoints; states selected by the application components. / Mestrado / Mestre em Ciência da Computação

Orientador: Edmundo Roberto Mauro Madeira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-24T02:40:13Z (GMT). No. of bitstreams: 1 Lima_FlavioHenriquedeSousa_M.pdf: 3130790 bytes, checksum: dbaec64743097a78092d84e7da218147 (MD5) Previous issue date: 1998 / Resumo: As recentes mudanças no paradigma de computação em rede, marcadas pelo surgimento de aplicações distribuídas complexas e o uso de multimídia em larga escala, representam um novo desafio com relação aos protocolos e plataformas distribuídas em uso atualmente. Nesse contexto, os aspectos não-funcionais dos sistemas, que descrevem o desempenho das aplicações, tornam-se cada vez mais importantes. Esses aspectos, agrupados sob o nome "Qualidade de Serviço" , são endereçados nesta dissertação, sob o contexto de plataformas distribuídas e das redes ATM. Esta dissertação propõe um modelo de Qualidade de Serviço de múltiplos níveis para.a plataforma Multiware, englobando a especificação, negociação e controle da Qualidade de Serviço. O modelo proposto é baseado em redes ATM, no modelo RM-ODP e na arquitetura CORBA. Visando a validação do modelo, foi desenvolvido um protótipo que implementa protocolos nos níveis de rede, de transporte e de distribuição. / Abstract: The recent changes occurred on the network computing paradigm, sealed by the appearance of complex distributed applications and the broad use of multimedia, represents a new challenge to the protocols and distributed platforms in use today. In this context, non-functional aspects of the systems, representing the performance of the applications, became very important. Those aspects, under que name "Quality of Service" , are addressed here, in the context of distributed platforms and ATM networks. This work proposes a Quality of Service model with multiple levels to the Multiware platform, covering specification, negotiation and control of the quality of service. This model is based on ATM networks, RM-ODP model and CORBA architecture. To validate the model, a prototype has been developed, that implements protocols on network, transport and distribution levels. / Mestrado / Mestre em Ciência da Computação