Este trabalho apresenta um estudo de técnicas para matching de imagens. Matching de imagens pode ser definido como o problema de avalíar a similaridade entre os objetos em diferentes imagens, sendo usado também para detectar mudanças em uma cena, estimar a movimentação de objetos e integrar informações de diferentes tipos de imagens. Esta dissertação apresenta um estudo teórico de técnicas de matching, a implementagão de um sistema de matching - SisMatch, e a análise de desempenho e resultados sobre as técnicas implementadas. O sistema de Matching, utíIiza as imagens produzidas pelo tomógrafo por Ressonância Magnética desenvolvido no Instituto de Física de São Carlos. / This work presents a study of image matching. Image matching can be used to evaluate the similarþ between objects in different images, to detect change between scenes, to calculate movement of objects and to compile information from different kind of images. This project was based on a theoretical study of matching, the implementation of SísMatch - System of Matching and the analysis of perfonnance of the -matching methods. The images are delivered by the Magnetic Resonance tomograph under development at Physics Institute at São Carlos - USP.

Embora a atual tecnologia não possa lidar com a complexidade e tamanho da linguagem humana, podem ser desenvolvidos sistemas úteis, apesar de mais limitados, em linguagem \"natural\". Se o sistema considera uma declaração por vez e os assuntos sobre os quais o sistema pode dialogar são limitados, a gramática é menos complexa e pode ser mantida pequena. Assim, com uma área de interesse bem definida, é possível escolher um número limitado de estruturas sintáticas para suprir a maioria das necessidades do usuário. Neste trabalho, é discutido o projeto e a implementação de uma interface simples para bases de dados. A interface oferece ao usuário a capacidade de obter informações da base através de requisições em linguagem natural. Para isto, foram realizados estudos sobre alguns aspectos de sistemas de processamento de linguagem natural e o uso destes sistemas parta interfaces a base de dados. Alguns sistemas com interfaces em linguagem natural para consultar bases de dados foram pesquisados. Foram discutidas algumas considerações sobre a adequação do uso de linguagem natural para realizar esta tarefa. O sistema foi desenvolvido para testar a possibilidade de se construir uma interface em linguagem natural que possa ser adaptada, por um especialista em processamento de linguagem natural, a novas bases de dados. / Even though the size and complexity of human languages cannot be handled by the current technology, useful but more limited \"natural\" language systems can be developed. If the system considers one statement at a time and the topics about which the system can converse atr limited, the grammar is less complex and can be kept small. Furthermore, with in a well-defined subject area, it is possible to choose a limited number of sentence structures to handle most of user\'s needs. In this work we discuss the design and implementation of a simple natural language interface to a computer database. The interface provides the user with the capability of obtaining information by querying the system in natural language. The system has been constructed to test the feasibily a natural language interface that could be adapted, by an expert in natural language processing, as an interface to new databases.

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.