Este trabalho diz respeito à solução numérica de equação algébrico-diferencial (E.A.D.) com singularidades. Inicialmente realizamos um estudo sobre a teoria geral de E.A.D. e dos métodos numéricos a ela aplicado. Uma nova classe de métodos para E.A.D. com singularidades, desenvolvida em [Castelo-Tavares-94], é introduzida. Na implementação dessa nova classe de métodos, utilizamos o método BDF com ordem e amplitude do passo variáveis. A utilização do método BDF, bem como as técnicas de seleção de ordem e amplitude do passo foram baseadas nas utilizadas no código DASSL [Brenan-89]. Finalizamos o trabalho com alguns exemplos numéricos que ilustram o funcionamento dos métodos considerados. / This work is concerned with the numerical solution of differential-algebraic equation (D.A.E.) with singularities. Initiaily we maked a study about the general theory of D.A.E. and numericals methods applicaded itself. A new class of methods for D.A.E. with singularities, developed in [Castelo-Tavares-94], was introduced. In the implementation this new class of methods, we used Baclorard Differentiation Formulas (BDF) methods with variable order and stepsize. The BDF methods, well as the techniques of order and stepsize selection are based on the DASSL code [Brenan-89]. We end the work with some numericals examples which illustrate the methods considered.

Este trabalho é parte de um empreendimento maior que tem por objetivo o desenvolvimento de um Sistema Gerenciador de Bases de dados Orientado a Objetos (GEO - Gerenciador de Objetos), baseado em um Modelo de Representação de Dados Orientado a Objetos (MRO - Modelo de Representação de Objetos). Neste trabalho foi desenvolvido um conjunto de softwares e especificações para manipulação de imagens em Bases de Dados para compor o Sistema Gerenciador de Base de Dados GEO, permitindo que o mesmo ao ser integrado a um Sistema de Reconstrução, Manipulação, AnáIise e Visualização de Imagens Médicas seja classificado entre os sistemas chamados de Picture Archiving and Communications Systems (PACS) Com a realização deste trabalho, então, o GEO passou a suportar a armazenagem de imagens, permitindo de forma eficiente a manipulação das mesmas. / This work is part of a larger undertaking, whose objective is the development of a Object Oriented Data Base Management System (GEO), based on a Object Oriented Data Model (MRO). Through this work, a set of softwares for the management of images was implemented to compose the Data Management System, GEO. The GEO jointed with the set of softwares and integrated with a Medical Images Reconstruction, Management, Analyse and Visualization System will be classified as Picture Archiving and Communications Systems or PACS. Thus, the realization of this work gave to GEO the ability to support the storage and the eficient management of images.

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.