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

Orientador: Rogerio Drummond / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-24T16:46:49Z (GMT). No. of bitstreams: 1 Ferreira_AdrianC_M.pdf: 2440367 bytes, checksum: 606a73d181b5258837050d4f9f335d57 (MD5) Previous issue date: 1998 / Resumo: o desenvolvimento de aplicações distribuídas, quando não indispensável, permite um aproveitamento mais eficiente de recursos. Entretanto, esses programas ainda exigem muito esforço de programação se comparado com o desenvolvimento de programas convencionais não-distribuídos. Existe portanto a necessidade de mecanismos que facilitem o trabalho do desenvolvedor. As tecnologias disponíveis atualmente ainda dificultam a criação de objetos remotos, ajudando apenas a interconexão estática: as ligações entre os objetos devem ser definidas em tempo de compilação. Além disso, não há um padrão de comunicação entre os objetos: cada aplicação constrói suas próprias conexões. Outro aspecto que precisa ser aprimorado é o de mecanismos que efetivamente elevem o nível de abstração para o desenvolvedor, tando para a criação de objetos remotos quanto para a configuração das aplicações. Este trabalho apresenta a versão inicial de um ambiente para desenvolvimento de aplicações distribuídas onde os objetos são facilmente criados e sua configuração pode ser realizada depois que os objetos foram instanciados. A comunicação entre esses objetos pode utilizar conectores que são vias previamente definidas e com infra-estrutura mais elaborada para fornecer serviços associados ao estabelecimento de uma conexão. / Abstract: Distributed application development is, in some cases a good choice for improving resources usage; in other cases it is even more important and the developer's only choice. On the other hand, this kind of programming needs hard development work when compared with non-distributed application programming. Today, creation of remote objects is not simple; besides connections are static: object binding must be defined before code compilation. Another difficulty arises as there is no standard in object communication. Therefore, it is necessary to develop resources for high level distributed programming. This project presents the first version of an environment for distributed application development where distributed objects are created as simply as a local one. Objects can be configured dynamically and connectors (channels with incorporated semantics) can be used to establish communication between objects in a high level programming. / 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 : Claudia Bauzer Medeiros / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-14T02:12:45Z (GMT). No. of bitstreams: 1 Andrade_MarciaJacobinaBrito_M.pdf: 2274883 bytes, checksum: b0c3015f17ba91478c0d3aa7aff1e792 (MD5) Previous issue date: 1992 / Resumo: Esta dissertação analisa o problema da manutenção de restrições de integridade estáticas em sistemas orientados a objetos, usando regras de produção e o paradigma de bancos de dados ativos. O trabalho mostra como transformar automaticamente restrições em regras de produção, a partir da restrição e do esquema do SGBD. O algoritmo de geração ele regras foi implementado e pode ser usado não apenas por sistemas de bancos de dados orientados a objetos, mas também por sistemas relacionais e relacionais aninhados, sendo de uso geral. Além disso, como parte integrante do trabalho, foi desenvolvida uma taxonomia para restrições em sistemas 00, que considera sua dimensão dinâmica, e foi proposta uma linguagem de especificação de restrições para facilitar seu processamento. O trabalho estende propostas de outros autores, implementando suporte a restrições sobre dados e sobre métodos. / Abstract: This thesis analyzes the problem of static integrity constraints in object oriented database systems, using production rules and the paradigm of active databases. This work shows how to automatically change constraints into production rules, based on information from the constraints and the DBMS schema. The °algorithm for rule generation was implemented, and can be used not only for constraint maintenance in object oriented database systems, but also for relational and nested database systems, being of general use. The research developed here includes the specification of taxonomy for constraints in object oriented systems which considerates their dynamic dimension, and the definition and implementation of a language for constraint specification to facilitate their processing. This work extends proposals of other authors, implementing support for constraints, not only about data, but also about methods. / 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

Orientadora : Claudia M. Bauzer Medeiros / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-14T16:38:46Z (GMT). No. of bitstreams: 1 Nogueira_MonicadeLima_M.pdf: 3993825 bytes, checksum: 95cf7fdcfc500eda25e25d2720958804 (MD5) Previous issue date: 1989 / Resumo: Esta tese descreve as características de uma interface E-R para um banco de dados relacional o sistema REVER. O usuário do sistema pode utiliza-la tanto para fazer o projeto do banco de dados quanto para consultas e atualizações. A visão do usuário é a de criação de elementos de um diagrama E-R estendido de manipulação de suas ocorrências. O sistema especificado se encarrega de mapear as solicitações do usuário para operações \ sobre o esquema instancias do banco de dados relacional correspondente. Além da especificação, a tese descreve os detalhes da implementação e testes de um protótipo da interface, validando a especificação. O protótipo se ocupa das fases de geração e manuseio de esquemas E-R, sendo o diálogo com o usuário feito através de menus / Abstract: This thesis describes the features of an E-R interface to a relacional database - the REVER system. The system allows the user to design the database using only the E-R specification, as well as to query and update it. The user's view is always that of an E-R (extended) diagram, in the design and in the operational phases. The system specified here maps the users requests on the E-R scheme and instances to operations on the corresponding relational database. The thesis also describes the details of developing testing prototype of the interface, thus validating the specification. This prototype allows the generation and manipulation of E-R schemes by means of menus / Mestrado / Mestre em Ciência da Computação

Submitted by João Arthur Martins (joao.arthur@ufpe.br) on 2015-03-05T18:20:01Z No. of bitstreams: 2 Dissertação.pdf: 1486016 bytes, checksum: be93f9e6697af4e3578166c48b7d511f (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-05T18:20:01Z (GMT). No. of bitstreams: 2 Dissertação.pdf: 1486016 bytes, checksum: be93f9e6697af4e3578166c48b7d511f (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2012-03-05 / Nesse trabalho, procuramos estudar o efeito do comportamento estratégico e da interdependência sobre os resultados dos leilões de linhas de transmissão brasileiros tentando identificar quais seriam os motivos que estão atuando para que haja um aumento dos deságios ao longo do tempo. Verificamos que o número de concorrentes inscritos é um dos principais fatores que têm contribuído para a redução do lance vencedor. Verificouse que a localização da linha a ser leiloadas também é relevante para a determinação do lance vencedor devido a existência de interdependência entre as linhas de transmissão. Conclui-se, então, que a redução dos lances não tem sido gerada nem apenas pelo aumento da competição, nem pela existência de interdependência entre as linhas. Eses dois fatores, atuando em conjunto, conduzem à redução dos lances ao longo do tempo. A presença de concorrentes eficientes e com altas avaliações das linhas contribui para que os agentes realizem lances equivalentes às suas avaliações. Não obstante, a existência da interdependência contribui para que essas avaliações sejam cada vez maiores de acordo com o crescimento das economias de escalas.

El siguiente trabajo consistió en la restauración y conservación de material arqueológico óseo extraído del yacimiento denominado Taguatagua II, y artefactos líticos del sitio denominado El Totoral. Estos elementos fueron recuperados por equipos especializados que bajo un estricto control realizaron una tarea en la cual se ven involucradas muchas disciplinas entre las cuales se encuentra la restauración y conservación.

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