Orientador: Edmundo Roberto Mauro Madeira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-27T16:37:41Z (GMT). No. of bitstreams: 1 Silveira_ClaudioMarcio_M.pdf: 3123492 bytes, checksum: 67c557fe4178ac46f48a50ab00fa7fd1 (MD5) Previous issue date: 2000 / Resumo: Este trabalho apresenta o projeto e implementação da Facilidade de Gerenciamento de Configuração que tem sido desenvolvida para compor a Arquitetura de Gerenciamento Integrado de Sistemas Distribuídos da plataforma Multiware. A Facilidade desenvolve, a partir da especificação XCMF, um modelo para o projeto de aplicações CORBA distribuídas cujas estrutura e interconexões entre os objetos distribuídos possam ser gerenciadas dinamicamente e interativamente a partir de gerentes externos. Os componentes da aplicação serão Instâncias Configuráveis capazes de receberem operações de gerenciamento de configuração / Abstract: This work presents the design and implementation of the Configuration Management Facility which has been developed to compose the Integrated Management Architecture for Distributed Systems of the Multiware platform. From the XCMF specification, the Facility develops a model for the design of distributed CORBA applications whose structure and interconnections between distributed objects can be interactively managed at run-time by external managers. Components that make up the application are "XCMF Instances" that are able to receive configuration management operations / 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-29T00:37:16Z (GMT). No. of bitstreams: 1 Saito_JuniorToshiharu_M.pdf: 2131960 bytes, checksum: e2163c47f1b0ce788ed24753b3d88814 (MD5) Previous issue date: 2001 / Resumo: O gerenciamento de rede é uma tarefa muito importante para o funcionamento de uma rede, principalmente as redes de telecomunicações. A causa disto é o aumento do tamanho e da complexidade das redes que dificultam a deteção de fallias e baixo desempenho. Outro fator de importância na gerência é permitir que este seja feito de fonna descentralizada. O grupo OMG, analisando a possibilidade de se utilizar a sua platafonna CORBA para permitir esta forma de gerenciamento, lançou um conjunto de serviços para auxiliar a construção de aplicações para o gerenciamento de redes de telecomunicações. Neste traballio será apresentada uma arquitetura para o gerenciamento de redes de telecomunicações que utiliza objetos distribuídos. Esta arquitetura utiliza-se dos recursos existentes no Serviço de Notificação CORBA, várias ferramentas foram desenvolvidas / Abstract: The network management is a task very important to its operation, mainly in telecommunication networks. This fact is caused by increasing of size and complexity of the networks which raises difficulties to detect faults and low performance. Other important fact in network management is the decentralization of the managers, so in case of faults there will be a manager receiving the events. The CORBA architecture allows the decentralized network management, using the CORBA services. In this dissertation an architecture to the management of telecommunication networks using distributed objects is presented. This architecture uses the existent resources in the CORBA Notification Service, many tools were developed. / Mestrado / Mestre em Ciência da Computação

Orientadores: Ricardo Dahab, Cecilia M. F. Rubira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-03T22:01:35Z (GMT). No. of bitstreams: 1 Braga_AlexandreMelo_M.pdf: 4615433 bytes, checksum: 1f59d3aeaac553cc9ae0ba2f20b6c65d (MD5) Previous issue date: 1999 / Resumo: No limiar da sociedade da informação, cada computador pessoal, aparelho de televisão ou telefone celular contém, ou conterá muito em breve, software para comunicação em rede. Esse software deve garantir as propriedades de segurança (integridade, autenticação, sigilo e não repúdio) de uma grande variedade de atividades, tais como comércio eletrônico, correio eletrônico, acesso a bases de dados distribuídas, teleconferência, etc. A segurança de informações baseada em criptografia, antes conhecida apenas por um grupo pequeno de especialistas, hoje preocupa uma boa parcela da comunidade de software, quer na indústria, quer na academia. Por outro lado, software não é mais desenvolvido como há quatro décadas. Soluções monolíticas programadas artesanalmente para problemas específicos não são econômicas. A composição de componentes e a reutilização em larga escala são duas características que devem estar presentes nos softwares de segurança modernos. Esta dissertação combina técnicas de engenharia de software e segurança de informações. O resultado é um arcabouço de software que não somente oferece reutilização em larga escala de mecanismos da criptografia, mas (principalmente) captura o conjunto de cenários fundamentais de utilização das técnicas criptográficas. Atividades interdisciplinares às vezes exigem traduções de conceitos de urna disciplina para outra. Esta dissertação oferece uma abordagem inovadora para o tratamento dos mecanismos da criptografia: uma redefinição ou reescrita destes mecanismos como um conjunto fortemente coeso de padrões de projeto. Este conjunto de padrões auxiliará engenheiros de software inexperientes em segurança a identificar os serviços mais adequados às suas necessidades / Abstract: Not informed / 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-24T17:09:27Z (GMT). No. of bitstreams: 1 Rodriguez_EduardoJose_M.pdf: 2714326 bytes, checksum: 60ab4e135ad542bb73d4d9482e49a8c9 (MD5) Previous issue date: 1999 / Resumo: O crescimento da Internet e o avanço das tecnologias de redes têm contribuído positivamente ao desenvolvimento do Comércio Eletrônico nos últimos anos. O surgimento de plataformas proprietárias para responder às crescentes necessidades na área, somado à falta de padronização, tem originado problemas de interoperabilidade que nem sempre são fáceis de resolver principalmente em aplicações de busca de produtos numa rede. Esta é a questão que abordaremos neste trabalho, modelando uma aplicação de Comércio Eletrônico sobre a plataforma CORBA que consiste de um agente móvel que procura produtos numa rede em nome de um cliente. A modelagem compreende também o objeto catálogo que contém as ofertas de produtos e apresenta suas interfaces através de um ORB. Adotamos um modelo de três componentes onde o primeiro deles é o agente, o segundo está representado pelas interfaces do catálogo num ORB e o terceiro por um SGBD que gerencia o banco de dados que contém os dados do catálogo. / Abstract: The fast growth of the Internet and the network technology advance have contributed to develop the Electronic Commerce in the last years. The emergence of proprietary platforms to meet the growing requirements in this area and the lack of standards have originated' several problems of interoperability, mainly in areas that deal with searching products in a network. This is the problem that we aim to address. We model an Application that implements a mobile agent to search products in a CORBA based Electronic Commerce environment. We also model the catalogue object that interacts with the mobile agent and presents its interface through an ORB. We adopt a three tiers model where the first tier is the mobile agent, the second one is represented by the catalogue interface and the third tier is implemented using a DBMS that manages the database that stores the catalogue data. / Mestrado / Mestre em Ciência da Computação

Orientadores: Antonio E. Costa Pereira, Tomasz Kowaltowski / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-13T23:56:33Z (GMT). No. of bitstreams: 1 Cohn_PauloGomide_M.pdf: 11566794 bytes, checksum: f91095d37be2b90e3632446d7c42da36 (MD5) Previous issue date: 1991 / Resumo: Apresenta-se inicialmente uma introdução à programação em lógica através de uma abordagem evolutiva. Começando de um sistema formal de primeira ordem bastante complexo, descreve-se o conceito de prova de teoremas e sua automação. A partir daí apresenta-se a idéia de eficiência da prova. Os principais avanços obtidos durante o século XX nesta área são apontados, dando-se ênfase ao princípio de resolução de Robinson. Ao restringir a linguagem do sistema formal às sentenças de Horn, obtem-se uma grande melhora da eficiência do mecanismo de prova, preservando razoável poder de expressão. Alguns problemas relativos à expressividade da linguagem são apontados assim como formas em que têm sido abordados na atualidade. Uma delas é a programação por restrições. Na segunda parte do trabalho é apresentada a implementação de um interpretador/sistema de execução para a linguagem Prolog. A partir de uma especificação breve, de alto nivel, são introduzidos, incrementalmente, os detalhes de implementação de nivel mais baixo (estruturas de dados, controle de execução) até se obter um programa puramente procedimental escrito numa linguagem convencional (C). Finalmente, os conceitos de programação por restrições mencionados no inicio do trabalho são apresentados de forma mais detalhada para que se possa ter uma visão mais clara do seu funcionamento na prática. Assim, adotando uma abordagem semelhante à utilizada para descrever o compilador Prolog, é apresentado um interpretador de alto nivel para programas de restrições e, após alguns refinamentos, é obtido um conjunto de instruções que pode ser implementado numa linguagem de programação convencional. / Abstract: An introduction to logic programming is initially presented by means of an evolutionary approach. Starting with a fairly complex first order formal system, the concepts of theorem proving and its automatization are described. From there the idea of proof efficiency is presented. The most significant advances obtained during the 20th century in this area are pointed out emphasizing Robinson's resolution principle. Restraining the formal system's language to Horn sentences, a major improvement of the proof mechanism is obtained, preserving reasonable expressive power. Some problems related to language expressiveness and the ways in which they have been recently approached are shown. One of these approaches is constraint programming. In the second part of the work, the implementation of an interpreter/runtime system for the Prolog language is shown. From a brief, high-level specification, lower-level implementation details (data structures, execution control) are introduced until a purely procedural program written in a conventional language (C) is obtained. Finally, the contraint programming concepts mentioned in the first part are presented in a more detailed form in order to allow for a clearer vision of how it works in practice. Thus, by means of an approach similar to that used to describe the Prolog compiler, a high-level interpreter for constraint programs is presented and, after some refinements, an instruction set that may be implemented in a conventional programming language is obtained. / Mestrado / Mestre em Ciência da Computação

Orientador: Rogerio Drummond B.P. de Mello Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-14T00:51:57Z (GMT). No. of bitstreams: 1 Furuti_CarlosAlberto_M.pdf: 3275024 bytes, checksum: c9e79cba4eee955be84f82738f61261b (MD5) Previous issue date: 1991 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Ciência da Computação

Orientador : Ariadne Maria Brito Rizzoni Carvalho / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-14T03:43:37Z (GMT). No. of bitstreams: 1 Arias_CeciliaInesSosa_M.pdf: 1978075 bytes, checksum: 6a831394f077fddd430b8b0a73a228b6 (MD5) Previous issue date: 1992 / Resumo: A especificação de requisitos, a primeira fase do desenvolvimento de software, sempre foi um dos principais focos de atenção da engenharia de software. Na atualidade, várias técnicas e metodologias pretendem solucionar, de maneira mais amigável, as dificuldades que esta fase apresenta. Neste trabalho de tese, define-se a arquitetura de um assistente especialista em metodologias cuja função é auxiliar o projetista durante a fase de especificação. Este assistente possibilita a especificação dos requisitos através de respostas dadas pelo usuário, em linguagem natural, a um questionário proposto pelo próprio assistente. A partir dessas respostas um modelo semi-formal, baseado no conhecimento sobre o modelo entidade-relacionamento, é gerado. / Abstract: Requirements specification, the first phase of software development, has been always one of the main concerns of the software engineering. Nowadays, several techniques and methodologies try to solve, in a friendly manner, the difficulties encountered in this phase. In this thesis the architecture of an assistant, expert in methodologies, is defined. Its function is to help the designer during this phase. The assistant allows requirements specification through answers, given by the user in natural language, to a questionnaire guided by the assistant. From the answers, a semi-formal model, based on the Entity-Relationship Model, is generated. / Mestrado / Mestre em Ciência da Computação

Orientador : Vinicius Armentano / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T21:56:05Z (GMT). No. of bitstreams: 1 Clark_AlistairRichard_D.pdf: 10615908 bytes, checksum: f468dde8d399cca7bcd1f4eba94a8bd4 (MD5) Previous issue date: 1990 / Resumo: Problemas Hulti-Estágios de Dimensionamento de Lotes com Tempo. Não-Zero de Produção (Non-2ero Lesd Time) são formulados como modelos de programação inteira numa maneira adequada para uso com um horizonte rolante de planejamento em sistemas do tipo Hsterisl Requirements Planning, sem e com capacidade finita de produção. Duas abordagens de solução, uma de cortes fortes e uma outra de Relaxação Lagrangeana são desenvolvidas. Experimentos computacionais são relatados e analisados para as duas abordagens. Além disso, uma heurística para uso em sistemas multi-estágios de grande porte com tempo não-zero de produção e com capacidade finita é desenvolvida e testada computacionalmente / Abstract: Hulti-Stage Lot-Sizing Problems with Non-Zero Lead Time are formulated as Integer Programming models in a manner suitable for use with a rolling planning horizon in capacitated and uncapacitated Material Requirements Planning systems. Two solution approcehes, one of strong euts and another that uses Lagrangian Relaxation are developed. Computational results are reported and analysed for both approaches. In addition, a heuristic method for use in large-scale capacitated multi-stage systems with non-zero lead time is developed and tested. / Doutorado / Doutor em Engenharia Elétrica

Orientador: Hans Kurt Edmund Liesenberg / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-15T20:48:03Z (GMT). No. of bitstreams: 1 Guimaraes_JosedeOliveira_M.pdf: 1519124 bytes, checksum: 4a8636075947764792f647ccfc2dac31 (MD5) Previous issue date: 1992 / Resumo: A orientação a objetos é um mecanismo que permite o reaproveitamento de software, tendo por isso despertado grande interesse nos últimos anos. Este paradigma tem sido utilizado em várias áreas da computação, como banco de dados, análise de sistemas e linguagens de programaçao. Esta dissertação e dividida em duas partes. A primeira estuda a tecnologia existente sobre orientação a objetos e linguagens de programação. São analisados os mecanismos presentes nas linguagens orientadas a objeto e os objetivos destes mecanismos. Alguns problemas com o paradigma são considerados, apresentando as possíveis soluções, quando existirem. A segunda parte da dissertação apresenta construções que extendem C++, e são justificadas com base no estudo feito na primeira parte. / Abstract: Not informed. / Mestrado / Mestre em Ciência da Computação

Orientador : Yaro Burian Junior / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Campinas / Made available in DSpace on 2018-07-16T04:53:31Z (GMT). No. of bitstreams: 1 Milani_BasilioErnestodeAlmeida_M.pdf: 3144552 bytes, checksum: f92bb5fba81ee8f5922a6143182c5a95 (MD5) Previous issue date: 1974 / Resumo: Uma versão continua do modelo de trafego do TRANSYT é proposta. Os estudos de trafego que deram origem ao modelo são apresentados e o comportamento do mesmo em regime permanente é analisado. São propostos: um novo método para otimização do tempo de verde e defasagem dos semáforos, e um programa híbrido para cálculo das equações do modelo e condução do processo de otimização. O desempenho do metodo de otimização e do programa híbrido no cálculo das equações do modelo são comparados com os do TRANSYT / Mestrado / Mestre em Ciências