O reconhecimento de padrões tem provocado um grande interesse nas últimas décadas. Como consequência, numerosas aplicações foram desenvolvidas. Entre as mais importantes podem-se citar as seguintes: ajuda ao diagnóstico médico, análise automática de sinais, inspeção automática de produtos industriais, sistemas de vigilância automática, busca automática de informação digitalizada, etc. A complexidade de um sistema de reconhecimento de padrões é alta, devido ao fato de que padrões reais se apresentam com grande variedade, sofrendo transformações e deformações não-lineares. Este trabalho tem como objetivo desenvolver um sistema celular evolutivo, para reconhecimento de padrões invariantes à rotação, baseado em mecanismos fundamentais de Autómatos Celulares, os quais foram usados com sucesso para modelagem e simulação de problemas complexos. O modelo proposto neste trabalho extrai eficientemente características globais invariantes à rotação de padrões, a partir das interações locais das células. / Pattern recognition has provoked a great interest in the last decades. As a consequence, numerous engineering applications have been developed, such as medicai diagnosis aiding, automatic signal analysis, industrial inspection, automatic monitoring systems, automatic digital information searching, etc. The complexity of a pattern recognition system is high because real patterns present in fornis of large extent of varieties, suffering from linear transformations even nonlinear deformations. The objective of this work is to develop a evolutive cellular system for rotational invariant pattern recognition based on the fundamental mechanism of cellular automata, which has been successfully used to model and simulate complex problems. The proposed model extracts efficiently global features invariant to pattern rotation by local interactions among cellulars.

O objetivo desse trabalho é extender o ambiente de simulação FreeFlow-3D para escoamentos incompressíveis com superfície livre não-isotérmicos. As equações de Navier-Stokes com as condições de fronteira associadas são discretizadas usando o método de diferenças finitas sobre malhas deslocadas. Os efeitos da temperatura são incluídos no código usando a aproximação de Boussinesq e a viscosidade é calculada como uma função da temperatura ou é colocada constante dependendo da escolha do usuário do FreeFlow-3D. Resultados numéricos mostrando a aplicabilidade do ambiente FreeFlow-3D para escoamentos não-isotérmicos são apresentados e discutidos. / The aim of this work is to extend the FreeFlow-3D simulation system to incomprossible non-isothermal free surface flows. The Navier-Stokes equations together with appropriate boundary conditions are discretized using the finite difference method on a staggered grid. Temperature effects are included in the code by using the Boussinesq approximation and the viscosity is calculated as a function of the temperature or it is set constant depending on the choice of the FreeFlow-3D\'s user. Numerical results demonstrating the capabilities of the FreeFlow-3D code for solving non-isothermal free surface flows are presented and discussed.

Neste trabalho nós estudamos a equação de reação difusão com retardamento {∂U/∂t (t,x) = ∂2U/∂x2(t, x) + kU(t,x) + k/δ ∫-r + δ-r g(U(t,x), U(t + s, x)ds, U(t, 0) = U(t, π) = 0, t≥0 U(t,x) = ψ(t, x), (t, x) ∈ [-r, 0] X [0, π]. Nós mostramos a existência de uma sequência de valores {Tkn}n= 0,1,2... do parâmetro τ tal que uma bifurcação de Hopf ocorre quando o retardo passa através de cada valor {Tkn}. As técnicas principais usadas aqui são alguns resultados sobre problemas de autovalor não lineares, a análise da equação característica do problema linearizado, o método de Liapunov-Schmidt e o Teorema da Função Implícita. / In this work we study the retarded reaction-diffusion equation {∂U/∂t (t,x) = ∂2U/∂x2(t, x) + kU(t,x) + k/δ ∫-r + δ-r g(U(t,x), U(t + s, x)ds, U(t, 0) = U(t, π) = 0, t≥0 U(t,x) = ψ(t, x), (t, x) ∈ [-r, 0] X [0, π]. We show the existence of a sequence of values {Tkn}n= 0,1,2... of the parameter T such that a Hopf bifurcation occurs when the delay passes through each value {Tkn}. The main techniques used here are some results on nonlinear eigenvalue problems, the analysis of the characteristic equation of the linearized problem, the Liapunov-Schmidt method and the Implicit Function Theorem.

Este trabalho apresenta um estudo sobre problemas de multifluxo em redes, juntamente com três abordagens de solução: o Particionamento Primal, a Decomposição Recurso-Diretor e a Decomposição Dantzig-Wolfe. O produto num problema de multifluxo pode ser definido de três maneiras. Cada uma dessas definições para produto produz uma formulação distinta para o problema de multifluxo: o Problema Produto Específico (PPE), o Problema do Destino Específico (PDE) e o Problema Origem e Destino Específico (POD). Neste trabalho foi feita uma investigação do impacto das três formulações sobre a decomposição de Dantzig-Wolfe. / This work presents a study on multicommodity network flows problem and three solution approaches: Primal Partitioning, Resourse-directive Decomposition, Dantzig-Wolfe decomposition. A commodity in a network flow problem can be formulated by three ways leading to three different mathematical models: product specific problem (PSP), destination specific problem (DSP) and origin-destination problem (ODP). We also prese,nt an investigation of impact of problem formulation on Dantzig-Wolfe decomposition.

Pela ausência de uma definição precisa do conceito de \"Não-Informação , há na literatura Bayesiana várias formas de formular densidades a priori não-informativas, por exemplo, Jeffreys (1967), Zellner (1984, 1990), Tibshirani (1989) e Bernardo (1979). Um estudo para verificar se estas densidades a priori são equivalentes, isto é, produzem densidades a posteriori iguais, é de grande interesse prático. O objetivo de nosso trabalho é selecionar um modelo que melhor represente um estado de \"pouco conhecimento\", a priori, sobre o parâmetro. Este estudo comparativo é feito para o caso específico do modelo de Weibull, com a finalidade de obter informação a respeito da função de confiabilidade R. Uma exposição de cada densidade a priori bem corno de suas propriedades também é apresentada. Para inicio das discussões, apresentamos, no Capitulo 1, os conceitos básicos da Inferência Bayesiana, questões filosóficas, vantagens e desvantagens de sua utilização em uma análise estatística. No Capítulo 2, revisamos algumas propriedades do modelo de Weibull. O Capítulo 3 é dedicado ao estudo das densidades a priori não-informativas onde discutimos sua definição, vantagens e desvantagens de sua utilização e descrevemos os métodos propostos por Jeffreys, Zellner, Tibshirani e Bernardo. No capítulo 4, calculamos as respectivas densidades a posteriori para a função de confiabilidade. Utilizando a Aproximação de Laplace (Kass, Tierney e Kadane, 1990) obtivemos uma forma fechada para essas densidades a posteriori; mais do que isso, encontramos que as densidades a posteriori seguem urna distribuição conhecida, denominada Log- Gama Negativa. Os resultados obtidos via Laplace são comparados graficamente aos resultados de Sinha e Guttman (1988), obtidos via integração numérica. Além disso, um outro resultado importante obtido é que as densidades a posteriori correspondentes às densidades a priori de Zellner, Tibshirani e Bernardo, respectivamente, são iguais. A igualdade das densidades a posteriori correspondentes as duas últimas densidades a priori é devida à coincidência dessas densidades a priori. Finalmente, no Capítulo 5, apresentamos urna ilustração numérica, através de gráficos e intervalos, para o estudo comparativo entre as densidades a posteriori correspondentes às densidades a priori de Jeffreys e Zellner e uma conclusão do estudo. Verificamos, também, que o critério de probabilidade de cobertura dos intervalos a posteriori, proposto por Berger (1992), não é suficiente para determinarmos qual densidade a priori seria menos informativa para valores de R próximos de 0 e 1; para isto sugerimos um critério adicional, através da comparação das amplitudes dos intervalos a posteriori. / Because of the absence of a precise definition of the \"Nonlnformation\" concept, severa] ways of formulating noninformative priors have been reported in the Bayesian literature (see, for example, Jeffreys, 1967; Bernardo, 1979; Zellner, 1984, 1990; Tibshirani, 1989). A study carried out to determine whether these priors are equivalent, i.e., whether they produce equal posteriors, is of great practical interest. The objective of our study was to select the model that would best represent a state of \"Bale knowledge\", a priori, about the parameter. This comparative study was carried out for the specific case of the \'Weibull model in order to obtain information about the reliability function R. A description of each prior and of its properties is also presented. To start the discussion, the basic concepts of Bayesian lnference, philosophical questions, advantages and disadvantages of its utilization are presented in a statistical analysis. Chapter 2 is devoted to a review of some properties of the Weibull model. Chapter 3 concerns the study of noninformative priors, with a discussion of their definition, advantages and disadvantages of their use, and with a description of the methods proposed by Jeffreys, Zellner, Tibshirani and Bernardo. In Chapter 4, the respective posteriors for the reliability function are calculated. Using the Laplace approximation (Kass, Tierney and Kadane, 1990), we obtained a closed formula for these posteriors; in addition, we found that the posteriors follow a known distribution denoted Log-Gamma Negative. The results obtained by the Laplace method were graphically compared to those of Sinha and Guttman (1988) obtained by numerical integration. Furthermore, another important result obtained was that the posteriors corresponding to the priors of Zellner, Tibshirani and Bernardo are equal. The equality of the posteriors corresponding to the last two priors is due to the coincidence of these priors. Finally, Chapter 5 presents a numerical illustration based on graphs and intervals for the comparative study of the posteriors corresponding to the priors of Jeffrey and Zellner, as well as a conclusion about the study. We also noted that the criterion for the probability of a posterior interval c.overage proposed by Berger (1992) is not sufficient to determine which prior would be least. informative for R values dose to O and 1. For this, we suggest an additional criterion based on the comparison of the amplitudes of a posterior intervals.

Neste trabalho estudamos o problema de existência de solução (generalizada.) para a equação de Kortewegde Vries (KdV) com clado inicial em L2(R). O teo rema de oornpacidade de Aubin ([2]) desempenha um papel importante para este fim, bem como os espaços de Sobolev e suas propriedades, em particular, o lema. de Rellich. / We study the problem of the existence of (generalized) solution of the Cauchy problem for the Korteweg-de Vries equation (KdV) with initial data in L2(R). The Aubin theorern ([2]) plays an important role for that, as well as the Sobolev spaces and their properties, in particular the Rellich lemma.

Sistemas para automação laboratorial permitem automatizar de forma significativa tarefas rotineiras envolvidas em processos de investigação de um produto qualquer (oleos essenciais, biscoitos, soja, etc). Esses sistemas, além de permitirem a obtenção rápida e precisa de dados oriundos de um equipamento de medição, permitem também analisá-los rapidamente, proporcionando ao usuário condições para tomar decisões em um curto espaço de tempo. Neste trabalho foram realizados estudos referentes a interfaces de comunicação, interface homem-máquina, ambientes de desenvolvimento de software, geradores de aplicação, e sistemas voltados para automação laboratorial, buscando formar uma base teórica para o desenvolvimento de um protótipo de sistema para automação laboratorial. Esse protótipo foi denominado de Sistema para Automação Laboratorial - SAL, permitindo que técnicos de laboratório com pouco conhecimento de programação construam programas para realizar coleta e análise de dados de um determinado experimento de forma bastante simples e rápida. O sistema é adequado para coleta e análise de dados. A criação e execução de programas usando o SAL também é muito simples. / Laboratory Automation Systems can automate a significative portion of tasks involved in the process of investigating a product. Such systems, in addition to providing for quick and precise capture of data from input devices, also allows fast analysis of those data, thus helping users to take faster decisions. This dissertation reviews concepts related to communication interfaces, man-machine interfaces , software development environments, application generators and systems for laboratory automation with the objective of laying the foundations for the development of a prototype system for laboratory automation (SAL). This system allows that laboratory technicians with small knowledge of computer programming be able to develop programs to colect and analize data for an experiment in a simple and quick way. The system is specially adequate for on-line data collection and analysis. It\'s also very simple to create and run the programs developed using SAL.

Os diagramas de estado, denom.in ados Statecharts (ou estadogramas; em Português) \'surgiram recentemente e se constrturrram rapidamente em uma alternativa valiosa para a especificação do aspecto comportamental de sistemas reativos. Outra alternativa, as Redes de Petri, existem há mais de vinte anos e têm incorporadas a si um conjunto volumoso de teoria, propriedades e ferramentas, desenvolvidos ao longo desses anos. Inspirado em resultados teóricos e algoritmos existentes para Redes de Petri, este trabalho define uma árvore de alcançabilidade para Statecharts e com base nela foram desenvolvidos algoritmos para verificação das seguintes propriedades dinâmicas dos Statecharts: vivacidade, sequência de eventos, alcançabilidade, reiniciabilidade e uso de transições. Diversos exemplos são apresentados e é discutida a implementação desses algoritmos dentro de um ambiente onde já existiam um editor gráfico e um simulador de Statecharts. / A new type of state diagrams, called Statecharts, were proposed recently and became an important alternative for specifying the behaviour of reactive systems. Another alternative, the Petri Nets, were proposed more than twenty years ago and a great body of theories, properties and tools associated is available to deal with dynamic properties. Inspired on the theorectical results and algorithms existing for Petri Nets, this dissertation defines a reachability tree for Statecharts. Based on it, algorithms were deveIoped for verification of the following dynamic properties: liveness, event sequence, reachability, reversibifity and transition usage. Several examples are presented and the implementation of these algoritms is discussed in an environment which already consisted of a graphical editor and a simulator for statecharts.

A crescente utilização de sistemas computacionais distribuídos construídos sobre redes de computadores é apresentada. Este projeto considera o ambiente de rede de SUNs existente no Departamento de Ciências de Computação e Estatística do 1CMSC - USP. Este trabalho destaca a utilização de mecanismos fornecidos pelo sistema SunOS para o desenvolvimento de novos serviços de rede. O servidor de modem projetado tem por finalidade ilustrar o acréscimo de novos serviços no ambiente SunOS, permitir a interconexão da rede local com outras redes remotas (via linha telefônica) e a utilização dos serviços oferecidos por outros sistemas possibilitando o compartilhamento do modem e da linha telefônica pelos usuários. A idéia básica do servidor de modem é permitir que qualquer estação da rede tenha acesso a serviços centralizados no servidor. Também são analisados e descritos recursos para o estabelecimento de conexão com outros sistemas e protocolos de comunicação - com ênfase ao conjunto conhecido como TCP/IP. Da maneira que o projeto foi desenvolvido existe uma grande transparência para o usuário da localização do servidor - os serviços fornecidos por meio de servidores como \"inetd\" e \"portmapper\" são introduzidos como elementos para fornecer portabilidade, modularidade e transparência aos serviços. / The growing use of distributed systems built over computer networks is presented. Having the design of a modern server as the focusing point , thios work is set to describe the mechanisms provided by SunOS operating systems for the development of networks services. Communication protocols are described with special attention to the suite of protocols known as TCP/IP. The inetd and portmapper services provided by SunOS are introduced as elements to provide portability, modularity and transparency to services. The design of a modern server is then presented as an example.

Este trabalho define coo o mecanismo de Regras pode ser integrado em um Sistema de Gerenciamento de Bases de dados Orientados a objetos, apoiado no Modelo de Representação de Objetos (MRO). É proposta uma linguagem de comandos que complementam aqueles definidos na Linguagem de Acesso ao MRO (LAMRO), para permitir ao usuário escrever os seus próprios programas de regras. Para que o Gerenciador de Objetos (GEO) possa suportar o conceito de regras, foi implementado um Sistema de Gerenciamento de Regras responsável pelo controle da definição e atuação sobre os elementos da Base. / This work describes a rule system suitable to be integrated in a Object Oriented Data Base System. The Object Representation model (MRO) is used as a basis for this description. A comand language aimed to the description and manipulation of rules in MRO is proposed. The original Query Language for MRO is extended to support those new commands and to permit to write the application1s specific rules programs. It is also described the implementation of a Rule Management System implemented within the MRO-based Object Mnager (GEO. The Rules Management System supports most of the concepts and commands of the language, encompassing the control, definition, manipulation and firing of the rules over data in the Database.