Estamos interessados na equação diferencial retardada de segunda ordem x(t) + f(x(t))x(t) + g(x(t - r)) = O. (E) Nosso objetivo consiste em, seguindo o fluxo dado por (E), definir uma aplicação de retorno A sobre um conjunto fechado convexo do espaço de fase, para estudar as soluções periódicas. Para um retardamento r suficientemente pequeno, usamos um teorema de R. Nussbaum, veja Teorema(1.5), para obter a existência de soluções periódicas não constante de (E), as quais correspondem a pontos fixos não triviais de A. / We are concerned with the retarded second order differential equation x(t) + f(x(t))x(t) + g(x(t - r)) = O. (E) Our aim consists in following the flow given by (E) to define a return map A on a closed convex set of the phase space, in order to study the periodic solutions. For a small delay r, we use a fixed point theorem due to R. Nussbaum, Theorem(1.5) below, to accomplish the existence of nonconstant periodic solutions of (E), which correspond to nontrivial fixed points of A.

Os avanços tecnológicos e científicos ocorridos nas últimas décadas têm proporcionado o desenvolvimento de métodos cada vez mais eficientes para o armazenamento e processamento de dados. Através da análise e interpretação dos dados, é possível obter o conhecimento. Devido o conhecimento poder auxiliar a tomada de decisão, ele se tornou um elemento de fundamental importância para diversas organizações. Uma grande parte dos dados disponíveis hoje se encontra na forma textual, exemplo disso é o crescimento vertiginoso no que se refere à internet. Como os textos são dados não estruturados, é necessário realizar uma série de passos para transformá-los em dados estruturados para uma possível análise. O processo denominado de Text Mining é uma tecnologia emergente e visa analisar grandes coleções de documentos. Esta dissertação de mestrado aborda a utilização de diferentes técnicas e ferramentas para Text Mining. Em conjunto com o módulo de Pré-processamento de textos, projetado e implementado por Imamura (2001), essas técnicas e ferramentas podem ser utilizadas para textos em português. São explorados alguns algoritmos utilizados para extração de conhecimento de dados, \"como: Vizinho mais Próximo, Naive Bayes, Árvore de Decisão, Regras de Decisão, Tabelas de Decisão e Support Vector Machines. Para verificar o comportamento desses algoritmos para textos em português, foram realizados alguns experimentos. / The technological and scientific progresses that happened in the last decades have been providing the development of methods that are more and more efficient for the storage and processing of data. It is possible to obtain knowledge through the analysis and interpretation of the data. Knowledge has become an element of fundamental importance for several organizations, due to its aiding in decision making. Most of the data available today are found in textual form, an example of this is the Internet vertiginous growth. As the texts are not structured data, it is necessary to accomplish a series of steps to transform them in structured data for a possible analysis. The process entitled Text Mining is an emergent technology and aims at analyzing great collections of documents. This masters dissertation approaches the use of different techniques and tools for Text Mining, which together with the Text pre-processing module projected and implemented by Imamura (2001), can be used for texts in Portuguese. Some algorithms, used for knowledge extraction of data, such as: Nearest Neighbor, Naive Bayes, Decision Tree, Decision Rule, Decision Table and Support Vector Machines, are explored. To verify the behavior of these algorithms for texts in Portuguese, some experiments were realized.

Neste trabalho é apresentada e discutida uma ferramenta que auxilia a construção de Sistemas Tutores Inteligentes - STIs - no domínio da Matemática, denominada TOOTEMA - TOOI (ferramenta) para Tutores de Ensino de MAtemática. O TOOTEMA é um sistema que tem por objetivo ajudar na tarefa de criar e gerenciar o Módulo do Domínio do ARQTEMA (uma arquitetura genérica para Sistemas Tutores em Matemática), acompanhando o autor (professor) na estruturação de grande quantidade de informações. Ao usuário-autor, a ferramenta de autoria fornece facilidades de organização do material instrucional, provê recursos de representação gráfica, visando a consistência e a qualidade do material, além de reduzir o tempo de construção de STI em subdomínios diferentes e, principalmente, de envolver mais diretamente o autor leigo na criação do sistema. / This work presents and discusses a tool that helps building Intelligent Tutoring Systems - ITS - in the Mathematics domain. It is called TOOTEMA and is a system that helps with the task of creating and managing the domain module of ARQTEMA (a generic architecture of Tutoring Systems for Mathematics), allowing the author (teacher) to structure of a large quantity of information. The tool provides facilities to organize the instruction material and supplies resources for graphic representation, aiming to give consistency and quality. Besides these it reduces the time of building an ITS in different domains and, mainly, causes the lay author to get involved in the creation process.

Nesta dissertação, propomos um novo método de relaxamento para resolver o problema de roteamento de dados em redes de comutação. Este problema pode ser formulado como um problema de multifluxo a critério convexo. Este algoritno resolve subproblemas de simples fluxos e pode ser implementado em paralelo. No primeiro capítulo, relembramos alguns resultados da teoria dos grafos. No segundo, apresentamos o problema de roteamento de dados, bem como sua formulação matemática. O terceiro apresenta um método primal de relaxamento. O quarto é dedicado à apresentação dos resultados computacionais e à analise destes. Na última parte, apresentamos a conclusão e perspectivas de trabalhos futuros. / In this thesis, we propose a new primal relaxation algorithm for solving the optimal routing problem M packet-switched communication networks. This problem can be formulated as a nonlinear multicommodity flow problem. This algorithm solves subproblems of single flow commodities and allow for implementation in parallel computers. In the first part, we recall the basic notions of graph theory. The second part is devoted to the optimal routing problem and his formulation as a nonlinear multicommodity flow problem. The third part deals with presentation of an original primal method for optimal routing. In the fourt part, experimental results are presented and analysed. The concluding remarks are presented in the fifth part.

Esta dissertação apresenta o projeto e implementação de um sistema gerador de sfubs, para utilização no ambiente computacional do Laboratório de Sistemas Digitais do ICMSC/USP, em plataformas DOS. O gerador de sfubs é uma ferramenta de auxílio ao desenvolvimento de aplicações distribuídas e tem como função criar automaticamente os procedimentos sfubs, a partir da definição dos serviços que serão executados remotamente. Esse software de apoio libera os programadores da implementação de rotinas que envolvam os protocolos básicos de comunicação. Os procedimentos sfubs são responsáveis pela comunicação entre os processos clientes e os serviços oferecidos. Com esses procedimentos, os processos cliente e servidor podem ser compilados e executados separadamente, em máquinas diferentes. Dentre as vantagens do sistema gerador de sfubs, a mais importante, e que está bem caracterizada neste trabalho, é o ganho de produtividade nos projetos de aplicações distribuídas, tornando extremamente atrativa sua adoção nesses projetos. O sistema proposto está implementado na linguagem \"C\" e pode ser utilizado facilmente para a geração de aplicações distribuídas envolvendo equipamentos compatíveis com a linha IBM-PC, executando DOS versão 3 ou superior. / This dissertation presents the project and implementation of a stub generator system, to be used in the Digital Systems Laboratory at ICMSC/USP, running on DOS platforms. The stub generator is an auxiliary tool for the development of distributed applications and has the responsability of creating the stub procedures automatically, based on the definitíon of the services that will be executed remotely. The auxiliary software releases the programmers from the routine implementation tasks that involve the basic communication protocol. The stub procedures are responsible for the communication between the clients processes and the available services. With these procedures, the client and the server can be both compiled and executed separately, on diferent machines. The most attractive advantage in adopting the stub generator described in this work is the gain of productivity observed in distributed applications designs. The proposed system is implemented in the \"C\" language and can be easily used for the generation of distributed applications involving IBM-PC compatible platforms, executing the DOS version 3 or higher.

É comum, em muitas áreas de investigação científica, a existência de vários modelos de regressão não lineares que podem ser usados para elucidar um mesmo fenômeno. Estando o pesquisador diante de vários modelos alternativos, como escolher qual fornece melhor ajuste? Essa é uma questão de interesse aos estatísticos e muitas estratégias clássicas e Bayesianas de discriminação tem sido propostas na literatura. Nesta dissertação, considerando os modelos não lineares de crescimento sigmóide: Logístico, Gompertz, Tipo-Weibull, Morgan-Mercer-Flodin e Richards, apresentamos uma análise Bayesiana e algumas estratégias (clássicas e Bayesianas) que podem ser usadas em problemas de discriminação de modelos alternativos. Sob o ponto de vista clássico, a discriminação é conduzida com base em conceitos de não linearidade, uma vez que o \"melhor modelo possível\" dentre todos os propostos é aquele que apresenta o comportamento mais próximo do comportamento linear. No contexto Bayesiano, considerando um conjunto de dados, usando uma priori não informativa de Jeffreys, o método de Laplace para aproximar as integrais de interesse e a técnica proposta por Gelfand e Dey (1994) procedemos a discriminação usando as estratégias: Fator de Bayes, critério baseado no conceito de entropia, Pseudo Fator de Bayes e o Fator de Bayes a Posteriori. / It is common in many scientific applications, the existence of different non-linear regression models to be used in the same problem. Therefore, usually the researcher has a question: Which model is preferable? This is a question concemed by many statisticians, and many classical or Bayesian strategies for discrimination have been proposed in the literature. In this work, considering the logistic, Gompertz, Weibull-type, Morgan-Mercer- Flodin and Richards growth non-linear models, we present sorne existing strategies to be used in the discrimination of altemative models. Under the classical approach, the discrimination is based on non-linearity concepts, since the best model among many existing altematives is the one that presents behavior close to linear models. Under the Bayesian approach, considering Jeffreys non informative prior densities end Laplace\'s method for approximation of integrals, and a general discrimination procedure, (see Gelfand and Dey, 1994), we explore in an example some different discrimination strategies: Bayes Factor, Entropy, Pseudo Factor of Bayes and Posterior Bayes Factor.

Máquina de Estado Finito (MEF) é uma técnica de especificação usada para modelar o aspecto comportamental de sistemas e tem sido amplamente utilizada em diversas áreas de aplicação: protocolos de comunicação, telefonia, controle de processos, entre outros. O objetivo deste trabalho consiste em estudar os conceitos fundamentais utilizados no teste e validação de modelos baseados em MEF, com ênfase nos critérios DS [GONE70], UIO [SABN88], W [CHOW78] e Wp [FUJI91]. Dentro deste contexto foi desenvolvida tuna ferramenta, denominada MGASET, que visa a apoiar a aplicação de alguns critérios estudados, fornecendo facilidades para verificação de minimalidade, determinismo, especificação completa, conectividade forte, Máquina de Mealy e alcançabilidade do estado inicial de uma MEF; para gerar seqüência de sincronização, seqüência distingüivel, seqüências únicas de entrada/saída e conjunto de caracterizacão; e gerar, inicialmente, seqüências de teste baseada no critério W. / Finite State Machine (FSM) is an specification technique used to model the behavioral aspect of systems and has been widely used in many applications areas: communication protocols, telephony, process control and others. Testing and validation of systems specified using FSM have been the aim of many scientific works. The objective of this work consists in studying the fundamental concepts used in testing and validation of FSM based model, with emphasis in the DS [GONE70], UI° [SABN88], W [CHOW78] and Wp [FUJI91] criteria. Within of this context a tool, named MGASET, was developed that aims to support the application of the criteria studied, providing facilities to verification of minimality, detenninism, complete specification, strong conectivity, Mealy\'s Machine and reachability of initial state of a FSM; to generate synchronizing sequence, distinguishing sequence, unique input/ouput sequence and characterization set; and to generate, initially, test sequence based on W criteria.

Atualmente as projeções de demanda e ganho tornam-se variáveis importantes no processo de tomada de decisões para investimentos envolvendo custo e capital, em pesquisa de mercado envolvendo produtos de consumo, em pesquisa de populações e em qualquer outro tipo de previsões que tenham a ver com ganhos ou demandas futuras, por exemplo o volume de água que é preciso para ser gerada determinada quantidade de energia consumido por uma população através de um sistema de operação e planejamento de um sistema hidroelétrico, etc. Em resposta desse interesse muitos estudos examinaram a possibilidade de gerar previsões usando séries temporais, ajustando modelos mediante a metodologia de Box e Jenkins, porém estas séries sugeriam variabilidade maior em diferentes níveis, violando deste modo a suposição de variância constante na formulação dos modelos ARIMA. Nestas situações, é comum na prática, contemplar uma extensão destes modelos, assumindo que alguma transformação da série obedeça um modelo ARIMA, frequentemente são usadas transformações de Box e Cox, porém as previsões destas séries transformadas afeta as interpretações em quanto à série original. Uma abordagem combinada de métodos clássicos e bayesianos é apresentada no tratamento destas transformações, os quais estimam junto com os parâmetros do modelo a potência desta transformação, apresentamos também uma alternativa para examinar a estrutura das auto-covariâncias através do Polinómio de Hermite. A pergunta que surge é, se a incorporação destas transformações resulta numa melhora nas previsões. No caso particular apresentamos resultados em processos auto-regressivos. É feita uma aplicação destes métodos em séries de vazões medias mensais no Reservatório de Furnas. / Nowadays the demand and gain projections become important variables in the process of making decisions for investments involving cost and capital, regarding the market research involving consuming products, the population research and any other forecast research which deals with the earnings or the future demands as an example, the water volume which is necessary to generate a determined amount of energy to be consumed by a population through the operation and planning system of a hydroelectric system and so on. In order to answer this demand a lot of studies examined the possibility to generate forecasts by using the time series, and by adjusting the models used in the Box and Jenkins methodology, however, these series suggested a larger variability in different leveis, and therefore violating the constant variance supposition in the ARIMA models formulation. Considering these situations, it is common in the practice to contemplate na extension of these models, assuming that some of these series transformation will follow the ARIMA model. Frequently the Box and Cox transformations are used; however, the forecasts of these transformed series affects the interpretation regarding the original series. An approach combining the classical and bayesian methods is introduced to the consideration of these transformation, which allows us to estimate, along with the parameters of the model, the power of this transformation. Also, we present an option to examine the structure of the autocovariances through the Hermite polynomials. The question that arises is, if the incorporation of these transformations will result in an improvement in the forecasts. Considering this particular case we present results in the auto-regressive processes. An application of these methods is made in a regular flow series measured monthly at Reservoir of Furnas.

Sistemas de visão computacional (SVCs) são interessantes ferramentas para a navegação de robôs. Este trabalho propõe um SVC baseado em redes neurais multi-camadas para o controle de um robô móvel. Dois módulos principais compõe o SVC: módulo de visão e módulo de controle de navegação. O primeiro é dividido em três partes:pré-processamento, segmentação e reconhecimento das imagens. este módulo processa as imagens (obtidas por uma câmera) que podem conter diversos com cores diferentes, retornando a posição ou a forma e a posição de um dos objetos, o qual corresponde a cor especificada. O processamento das imagens é realizada por redes neurais multi-camadas. O módulo de controle é responsável por validar os resultados do módulo de visão e conduzir o robô utilizando os dados provenientes do módulo de visão. O objetivo do sistema proposto é capacitar um robô a realizar as tarefas: seguir um objeto de cor determinada, seguir um objeto de cor e forma determinada ou ainda navegar pelo ambiente seguindo um objeto de cor determinada evitando obstáculos. Vários experimentos são apresentados, em um ambiente real, utilizando o robô. Pioneer I, para mostrar as vantagens e desvantagens do sistema proposto. / Computer Systems Vision (CVSs) are important tools navigation. This work proposes a CVS based on Multi-Layer Neural Networks for a mobile robot control. Two main modules compose the CVS: vision module and navigation control module. The first is divided into three parts: preprocessing, segmentation and image recognition. This module processes the images (obtained by a camera) that can contain several objects with different colors, returning the position or the shape and position of one of these objects, which corresponds to a specified color. The image processing is carried out by multi-layer neural networks. The control module valides the results from the vision module and leads the robot using data from the vision module. the aim of the proposed system is to enable a robot to perform the tasks: to follow an object with specified color, to follow an object with a specified color and shape or even to navigate in an environment following and object with a specified color avoiding obstacles. Some experiments are presented in a real environment with the robot Pionner I in order to show the advantages and disvantages of proposed system.

Neste trabalho é desenvolvido um método numérico para resolver escoamentos viscoelásticos com superfícies livres. As equações governantes para escoamentos governados pelo modelo de Maxwell juntamente com as condições de contorno para escoamentos bidimensionais usando coordenadas cartesianas são apresentadas. As equações são resolvidas utilizando o método de diferenças finitas numa malha deslocada. Também, é desenvolvida uma formulação para o cálculo do tensor não-Newtoniano em contornos rígidos. As condições de contorno na superfície livre são discutidas em detalhes. Resultados numéricos mostrando a convergência do método numérico desenvolvido nesse trabalho são apresentados. Finalmente, são apresentados resultados numéricos que mostram que a técnica numérica empregada nesse trabalho é capaz de simular escoamentos viscoelásticos governados pelo modelo de Maxwell. Em particular, os seguintes problemas são simulados: jato oscilante, inchamento do extrudado e uma gota de fluido viscoelástico incidindo sobre uma superfície rígida. / In this work a numerical technique for solving viscoelastic flows governed by the upperconvected Maxwell constitutive equation is developed. The governing equations for a Maxwell fluid and boundary conditions for two-dimensional free surface flows using cartesian coordenates are presented. The equations are solved by using the finite difference method on a staggered grid. A new formulation is developed for the computation of the non-Newtonian tensor on rigid boundaries and on free surfaces the full free surface stress conditions are employed. Numerical results demonstrating the convergence of the numerical method are given. In addition, numerical results showing that the numerical method introduced is capable of simulating viscoelastic flows are presented. In particular, the following problems are simulated: jet buckling, extrudate swell and impacting drop.