Este trabalho propõe o desenvolvimento de um toolkit para a construção de interfaces gráficas apoiado no paradigma de Orientação a Objeto. O toolkit, denominado ICMSCKit, consiste de uma biblioteca de classes implementadas para a linguagem C++ e visa facilitar a criação de objetos de interface tais como janelas, botões e menus. A comunicação entre a interface e a aplicação é feita através de um mecanismo de troca de mensagens e chamadas de rotinas do tipo callback procedures, tornando os códigos da aplicação e interface independentes. O toolkit foi desenvolvido inicialmente para ambiente Microsoft Windows 3.1, porém \"esconde\" todas as características da plataforma \"nativa\" tornando-o desta forma portável para outros ambientes operacionais. Além da característica de portabilidade, o ICMSCKit é extensível via o mecanismo de sub-classificação da linguagem C++ ou via os recursos de composição de objetos oferecidos pelas classes do toolkit. / This work presents the development of a \"toolkit\", named ICMSCKit. It is aimed do aid the construction of user graphic interfaces, using the object oriented paradigm. The toolkit is made by a set of object classes, implemented in C++, and supports the creation of visual objects to the user interface, as windows, buttons and menus. The communication between the interface and the application program occurs through a message exchange manager and through callback procedures. The ICMSCKit enforces the separation and independence of the application program and its interface. The toolkit was initially developed to the Microsoft Windows 3.1 environment, although it also has the purpose of to enforce \"portability\" of the application code, by hiding ali the characteristics of the native platform. In this way, new ports to other operational environrnents can be done, maintaining the same application program interface. The toolkit is also extensible, using the class specialization resources of the C++ language, and via the resources of composition of objects provided by the toolkit internais.

O objetivo do presente trabalho é definir e implementar o Módulo de Interface Gráfica para o Ambiente de Simulação Automático (ASiA), desenvolvido pelo Grupo de Sistemas Distribuídos e Programação Concorrente do Departamento de Ciências de Computação e Estatística do Instituto de Ciências Matemáticas da Universidade de São Paulo, Campus de São Carlos. Através do Módulo Visual, o ASiA apresenta informações sobre o modelo em simulação, como: rastreamento do programa, apresentação de relatórios, geração de gráficos e edição de valores de parâmetros internos do modelo. Além disto, o Módulo Visual permite que o usuário controle todas as opções disponíveis, através de menus e ícones. O sistema apresentado nesta dissertação é desenvolvido e implementado, segundo o paradigma de orientação a objeto, utilizando-se o compilador Borland C++, versão 4.02, e um conjunto de ferramentas para o desenvolvimento de sistemas orientados a objetos, chamado OWL (Object Windows Library). O trabalho fornece um exemplo completo de simulação, através da utilização do Módulo Visual, tornando clara a manipulação e as opções que o Módulo Visual proporciona aos seus usuários. É interessante salientar que, embora seja desenvolvido para trabalhar em conjunto com o ASiA, o Módulo Visual pode ser utilizado separadamente. Para tanto, o usuário deve ter conhecimento de programação orientada a objeto e dominar a extensão funcional SMPL (Simulation Program Language). / This work aims to define and implement a graphical device interface for the ASiA, developed by the Group of Distributed Systems and Concurrent Programing from the Statistics and Computer Sciences Department, ICMSC- of the São Paulo University, São Carlos campus. With the aid of this Device, the ASiA gives information about the model under simulation, such as: debugging, reports, graphics and parameters can be handled by the user at run time. In addition, the Graphical Device Interface helps the user control ali the options available by using the menu and speedbar. The system presented here was developed and implemented, according to the Object Oriented Programing, by employing the Borland C++ v 4.02 compiler, and a set of tools for development of applications called OWL (Object Windows Library). The work provides a complete example of simulation with the usage of the Graphical Device Interface, making clear the manipulation and the options that the Graphical Device Interface provides to users. Furthermore is important to emphasize that although it has been developed to work as a complement to ASiA, the Graphical Device Interface may be employed separatily. For that, the user must be acknowledged about the obejct oriented programing and SMPL (Simulation Program Language).

Com o avanço da tecnologia de hardware, a Análise de Mutantes um dos critérios de teste baseados em erros tem sido mais recentemente investigada por diversos pesquisadores e se mostrado um critério atrativo e factível para o uso na produção de software. A relevância e necessidade de ferramentas de teste são amplamente reconhecidas pela comunidade e esforços têm sido feitos para o desenvolvimento de ferramentas de apoio a este critério. Nesta dissertação são apresentados os principais aspectos da especificação e implementação de um ambiente de teste multilinguagem, denominado Proteum (Program Testing Using Mutants), que apóia a aplicação do critério Análise de Mutantes para programas em C. Esta ferramenta, além de características comuns a outras ferramentas de teste, procura incorporar algumas características próprias como facilidades para a realização de experimentos empíricos. A Análise de Mutantes, bem como os principais trabalhos relacionados com este critério, são revistos, procurando fornecer subsídios para a caracterização do Proteum. Aspectos funcionais da ferramenta são mostrados, principalmente através de um exemplo que ilustra a operação da ferramenta. A arquitetura e os principais aspectos de implementação desta ferramenta são apresentados. Uma avaliação da ferramenta é feita testando-se alguns programas extraídos da literatura. / With the advance in hardware technology, Mutation Analysis an error based testing criteria has been recently investigated by many researchers, and evidences have been found that it is an atractive and practical testing criterion for software production. The necessity and relevance of testing tools are widely recognized and efforts have been carried out for developing tools to support application of this criterion. In this thesis, the mam aspects of specification and implementation of a multilanguage testing tool, named Proteum (Program Testing Using Mutants), which supports aplication of Mutation Analysis criterion for testing C programs, are presented. In addition to common features available in similar tools, Proteum offers facilities for conducting experimental studies. Mutation Analysis, as well as related works, are reviewed, aiming at specifying functional and operational requirements of the Proteum tool. A complete example is given to illustrate the implemented characteristics. An evaluation of the tool, based on testing a set of programs extracted from the literature, is presented.

Gerar rotas para veículos é uma tarefa que por sua complexidade representa enorme dificuldade para profissionais da área de transportes. O presente trabalho fornece subsídios para estudo deste problema., abordando as técnicas do método das economias potenciais de Clarke e Wright e a Proposição de Paessens para modificá-las. Implementamos, para microcomputadores, os referidos métodos e apresentamos resultados para problemas clássicos. / Vehicle routing problem is a hard job that by its complexity represents a high difficulty for professionals of transportation\'s area. This document provides resources to research in this problem, broaching the Clarke and Wright\'s potential saving method and Paessen\'s proposition to changing them. The saving method and its modifications were implemented on microcomputers, and computational results are presented for known problems from the literature.

Não disponível / The existence of periodic solutions of the one-parametric family of planar differential-delay equations x(t) = - αx(t) + αF(x(t - 1)) with α ∈ R, is studied. A sequence of Hopf bifurcation is determined under fairly general hypotheses on F; We also state a global continuation result.

Não disponível / The studies developed in this work are concerned with the analysis of the effect of symmetry in steady-state bifurcation problems. Lie groups and singularity theory are used to analyse bifurcation problems on C with the action of the dihedral group Dn, n ≥ 3, n ≠ 4. The aim is to obtain results on the local behavior of such problems. Normal forms and unfolding for two generic D3-equivariant problems are studies and the results are applied in the traction problem for deformation of an elastic cube (Mooney-Rivlin Material). An interesting example showing the global dynamic of a D5-equivariant bifurcation problem is worked out.

O presente trabalho descreve a implementação de um sistema de correio eletrônico numa. rede heterogênea. de computadores. Inicialmente, faz-se urna revisão de aspectos gerais de correio eletrônico, seguida de uma discussão da interpretação de endereços e da necessidade de translação, de forma. a determinar o mecanismo de transporte a ser utilizado entre os sistemas heterogêneos envolvidos. Após uma visão geral dos protocolos utilizados, é apresentada. uma. descrição detalhada das configurações e interconexões usadas para implementar o sistema. de correio. / Fite present work describes lhe implementado)) of an E-mail system ou a heteroge- 11011S computer network. First a review of generic aspects of E-mail systems is presented followed by a discussiou of lhe addressing interpretado\') and the necessary translation iii order to determine lhe transpor\'. mechanism to be used between lhe heterogenous systems involved. Afiei an overview about utilized protocols. a. detailed description of lhe final configurations and iuterconnections used to implement time E-mail system is presented.

Uma das características dos Sistemas de Tempo-Real é a sua reação imediata a estímulos (eventos) ocorridos no mundo real. Os métodos para especificação e projeto de STRs sugerem o uso de técnicas para especificação desse comportamento reativo dos STRs. Nesta dissertação faz-se uma revisão bibliográfica de vários métodos para especificação de STRs, verificando-se quais são as técnicas usadas para especificação do aspecto comportamental. Uma dessas técnicas, STATECHARTS, foi escolhida para apoio por Computador. O trabalho descreve uma ferramenta desenvolvida para esse fim. São discutidos também os requisitos que levaram à construção da ferramenta e mostrada sua arquitetura. Exemplifica-se o uso da ferramenta em um caso abrangente, enfatizando-se as características principais dos Statecharts. / One of the special features of Real Time Systems is its immediate reaction to real world stimuli. The methods for specification and design of RTSs propose the use of techniques for this reactive behavior specification. A comprehensive bibliographic review about RTSs specification methods is done in this thesis. As a result the techniques used in these methods for behavior specification have been assessed and one of them, the STATECHARTS, has been chosen to be supported through a tool developed to this end. The tool requirements and its arquitecture have also been discussed. The tool\'s usability has been shown, emphasizing its main features and applying it to a typical case.

Planejamento é uma área muito difundida em Inteligência Artificial. Seu grande escopo de aplicação tem despertado interesse em pesquisadores do mundo todo. A idéia central de planejamento é gerar uma sequência de ações para um agente por exemplo um robô, que poderá alterar a descrição de um determinado ambiente. A esta sequência de ações dá-se o nome de plano. Os planos são construídos pela escolha das ações que são capazes de resolver os objetivos que compõem uma determinada meta. Para esta escolha, devem ser levadas em conta as ações disponíveis para o domínio de aplicação, as situações nas quais elas serão aplicadas, bem como as mudanças que elas irão provocar na descrição do ambiente. Ao longo dos mais de 30 anos de pesquisa na área de planejamento, várias técnicas que ainda constituem parte importante para muitos planejadores têm sido desenvolvidas. Neste trabalho, são definidos alguns dos termos, conceitos e aspectos básicos comumente encontrados em planejamento. São, também, discutidos alguns dos problemas que surgem no projeto de planejadores, bem como as principais soluções propostas ao longo dos diversos anos de pesquisa nesta área. O principal aspecto, que deve ser considerado em planejamento, é o problema de busca. De fato, planejamento é essencialmente um problema de busca. São discutidas algumas - das técnicas usãdas para reduzir o número de estados intermediários, tais como: análise dos meios e fins, menor comprometimento e fixação de restrições. Em adição ao problema de controlar a busca, a ordem na qual são resolvidos os objetivos é um fator marcante para a eficiência do processo de busca. A solução de tal problema é discutida para algumas técnicas, tais como: ordenação de objetivos, regressão de objetivos e ordenação por níveis de importância. São, também, apresentadas implementações simplificadas que ilustram os princípios de planejamento usando algumas destas técnicas. / Planning is a large, popular and growing area of Artificial Intelligence. The central idea of planning is the generation of an action sequence for an agent, such as a robot, that can change its environment. Plans are constructed by reasoning about how available actions can be applied to achieve various goals. For this reasoning process to occur, the planner must be aware of its available actions, the situations in which those actions are applicable as well as the changes in the environment due to their execution. For more than 30 years, planning systems have been an active research topic a number of technique - that still form an essential part of many of today\'s AI planning systems - have been developed during this period. In this work some terms commonly used in the planning literature are defined and some of the problems that have arisen in the design of planning systems as well as solutions that have been developed over several years of research in this area are described. The major issue for any planning system is reducing search. In fact, planning is essentially a search problem. Several techniques to reduce the number of intermediate states such as: means-ends-analysis, least commitment and others are discussed. In addition to th problem of controlling the search, the order in which several simultaneous goals are tackled can have a marked effect on the efficiency of the search process. The solving of such problem is discussed by some techniques, such as: ordering goals, regressed goals and ordering the various goals by level of importance. It is also developed several simple planners, that illustrate the principles of planning using those techniques.

Neste trabalho estudamos a teoria de formas quadráticas sobre anéis locais, sem a hipótese que 2 é inversível no anel. Nosso objetivo é estabelecer uma correspondência biunívoca entre o conjunto dos ideais primos minimais do Anel de Witt sobre um anel local e o conjunto das ordens maximais deste anel. Esta correspondência já foi estabelecida por Kanzaki e Kitamura quando 2 é inversível no anel local. / In this work we study quadratic forms theory on local rings on which we don\'t have the hipothesis that 2 is invertible. Our aim is to stablish a one to one correspondence between the set of the minimal prime ideais of Witt Ring on a local ring and the set of maximal orders of this ring. This correspondence have already been stablished by Kanzaki and Kitamura when 2 is invertible on the local ring.