Neste trabalho propomos uma arquitetura em rede para sistemas tutores com o objetivo de auxiliar estudantes no aprendizado de Matemática. A arquitetura baseou-se no modelo de Michener que propõe representar qualquer teoria de Matemática através de redes envolvendo três categorias do conhecimento: conceitos, exemplos e resultados. Estendemos este modelo introduzindo, para fins tutoriais, duas novas categorias: exercícios e catálogo de bugs. Além disso, nosso modelo possui um meta-nível que relaciona os conceitos de cada item curricular a ser apresentado ao estudante. As estratégias tutoriais são definidas como caminhos através da rede. O conhecimento do sistema está dividido em quatro módulos: Módulo do Domínio, Modelo do Estudante, Módulo Tutorial e Módulo da Interface. / In this work we propose a network-based architecture for a tutoring system to help students learning mathematical theories. The model is based on Michener\'s network model, which intends to organize ali mathematical theory in a network which contains a knowledge base partitioned into three categories: concepts, examples and results. We extend this model by introducing the bases of exercises and frequent student\'s bugs in the domain. In addition, our model has a meta-levei which links the concepts of each curricular item to be proposed to the student. Tutorial strategies are then defmed as paths through the network. The system knowledge is divided into four modules: the Domam Module, the Student Model, the Tutorial Module and the Interface Module.

Neste trabalho estudamos a permanência de soluções periódicas de equações diferenciais funcionais do tipo: x(t) = F(x(t), x(t - σ), x(t - τ)), σ, τ > 0 com relação a variação dos retardados. Estabelecemos um método que permite calcular soluções periódicas de alguns tipos de equações diferenciais funcionais e fazemos várias aplicações desse método. / The permanence of periodic solutions of the functional differential equation x(t) = F(x(t), x(t - σ), x(t - τ)), σ, τ > 0 with respect to the variation of delays is studied. It is also established a method that allows one to calculate periodic solutions of some types of functional differential equations and several applications of this method are included.

A automação das atividades em diversas áreas, tais como negócios, engenharia, medicina, ciência e governo, vêm aumentando a cada dia, e com isso, cresce o volume de dados armazenados nas bases de dados. É interessante usar esses dados além dos objetivos originais das operações de pura armazenagem e busca do empreendimento inicial. Em outras palavras, é desejável extrair informações úteis, não previstas inicialmente, agregando valor ao empreendimento. Embora os gerenciadores de bases de dados forneçam ferramentas básicas para recuperação de dados em transações padrão em grandes quantidades de dados, analisar grandes volumes de dados em formato numérico ou textual, especialmente em espaços de altas dimensões, não é fácil para o ser humano. Por outro lado, o ser humano tem uma capacidade de absorver e entender informação representada de forma gráfica muito rapidamente. Dessa forma, este trabalho visa o desenvolvimento de uma nova técnica para construção visual de classificadores de dados em atividades de Data Mining, utilizando essa reconhecidamente elevada capacidade humana de análise de dados representados em formato gráfico como fator que auxilia o treinamento do classificador. Este trabalho estende a ferramenta FastMapDB, que em sua versão original permitia apenas a visualização de dados e não possibilitava ao usuário interferir no processo de visualização, para permitir, não apenas essa visualização de dados, mas também, a seleção visual dos objetos mapeados e a delimitação de regiões de objetos na visualização. Com isso, a ferramenta passa a permitir a recuperação dos dados presentes na base de dados que o usuário considerar interessantes a partir da visualização, e provê à ferramenta recursos de classificação de novos objetos segundo regras visuais que o usuário possa definir no espaço mapeado de visualização. A proposta deste trabalho é inédita no sentido de aplicar técnicas de visualização como fator de treinamento do classificador. As ferramentas atuais apenas mostram resultados já elaborados pelo sistema, e a continuação do processo é sempre solicitada, ou decidida manualmente, pelo usuário. Nosso sistema, ao contrário, realimenta a interpretação que o usuário pode fazer a respeito dos dados, e permite que os passos de análise seguintes utilizem automaticamente esse resultado. / The automation of the activities in several areas, sueh as business, engineering, medicine, science and government, are increasing everyday, pressing, the volume of data stored in the databases to grow exponentially. It is interesting to make use of these data beyond the original objectives of the enterprise. Moreover, it is desirable to extract useful information not previously foreseen, aggregating value to the enterprise. Although the database management systems supply basic tools to data recovery and analysis through the standard transactions in large amounts of data, analyzing these data in numerical or textual format, especially in spaces of high dimensions, is an overwhelming job to human beings. On the other hand, human being has a great capacity to quickly absorb and understand information represented of graphical form. As classification is one of the most common analysis tasks, this work aims at the development of a new technique for the visual construction of classifiers, using this high human capacity to analyze data represented in graphical format as factor to guide the training of the classifier. This work extends the FastMapDB tool, that in its original version allowed only the visualization of data and it did not make possible the user to interfere in the visualization process, to allow not only this visualization of data, but also, the reverse identification of mapped objects and the delimitation of object regions in the visualization. This makes it possible to recover the data present in the database that the user consider interesting from the visualization, and providing to the tool visual resources for classification of the new objects according to rules that the user can define in the mapped space of visualization. The proposal of this work is new in regarding to apply visualization techniques as a factor to train the classifier. Existing tools are restricted to show results already discovered by the system. Our system, in contrast, takes advantages from the interpretation obtained from the user will through its interaction with the visualizations presented, and allows that subsequent data analysis tasks automatically use these results.

Esse trabalho apresenta um estudo das atuais alternativas para reconhecimento de padrões aplicados à segurança computacional, mais precisamente aos Sistemas de Detecção de Intrusão. São estudadas as abordagens propostas por cinco trabalhos publicados em simpósios internacionais e os resultados experimentais apresentados por cada um. Esses trabalhos fazem uso de variados métodos para reconhecimento de padrões, como Redes Neurais Artificiais, Algoritmos Evolucionários e Mineração de Dados entre outras. Uma avaliação crítica de cada uma das abordagens. é apresentada, e são feitas propostas de implementação de algum dos métodos avaliados, objetivando suportar um Sistema de Detecção de Intrusões baseado em agentes móveis. Esse sistema foi modelado em estudos realizados pelo Grupo de Segurança Computacional do Instituto de Ciências Matemáticas e de Computação. / In this document we present a study of recent alternatives for pattern recognition applied to computer security, more specifically to Intrusion Detection Systems. We study the approaches proposed by fíve papers published in international svmposiums and the experimental results each of them achieved. These studies make use of diverse pattern recognition methods, such as Artificial Neural Networks, Evolutionary Algorithms and Data Mining among others. We present a critical evaluation of each of these approaches, and some implementation suggestions for the evaluated methods, aiming to support an Intrusion Detection System based on Mobile Agents. The refered system was modeled in previous researches by the members of the Computational Security Group of the Instituto de Ciências Matemáticas de São Carlos.

Qualidade de Serviço (Qualiíy of Service - QoS) é um tema bastante explorado na literatura atualmente. Contudo, as potenciais vantagens da tecnologia de redes ativas, como forma de facilitar a obtenção e o gerenciamento de parâmetro de QoS, é pouco estudada. Então, auxiliando o preenchimento dessa lacuna, este trabalho visa a especificação e o projeto de um serviço ativo para o provimento de parâmetros de QoS. O serviço permite ao administrador da rede criar e refinar o cálculo de parâmetros de QoS por meio de uma interface Web amigável. Os parâmetros são disponibilizados em locais e formatos pré-definidos, possibilitando assim que outros serviços possam acessar os dados. O Serviço projetado neste trabalho deve servir como base para outros serviços, por exemplo, o serviço de reserva de recursos, criando-se subsídios para o desenvolvimento de estratégias, baseadas nos parâmetros, de controle da rede e de negociação com aplicações. / Quality of Service (QoS) is a well-explored issue in the network area. However, the potential advantages of the active networks technology as a way to ease the QoS parameters management need more studies. Helping to fulfill this gap this work aims to specify and to design an active service that provides QoS parameters. The service allows the network administrator to build and to refine QoS parameters through a Web interface. The parameters are made available at pre-defined locais and in pre-defined formats, making possible the data access by others services. The service designed in this work can be used by others services like the resource reservation service, creating the necessary bases to the development of QoS parameters based strategies to control the network and the negotiation with applications.

Neste trabalho é apresentado a montagem e desenvolvimento de um elipsômetro fotométrico, com o qual se pode fazer a caracterização ótica de filmes finos, ou seja, medir o índice de refração e a espessura, independentemente se o filme é transparente ou não. O primeiro objetivo foi estudar filmes antirefletores sobre células solares de sílico monocristalino, mas o método permite caracterizar qualquer tipo de filme sobre qualquer substrato. O funcionamento desse equipamento está baseado na elipsometria, que consiste em uma técnica ótica que explora a transformação da polarização de um feixe de luz, refletido pelo filme em estudo. Com os dados fornecidos por essa técnica e com a ajuda de um computador pode-se determinar o índice de refração real para filmes transparentes e complexos (parte real e imaginária) para filmes absorventes, assim como a espessura. Obtivemos como a parte real do índice de refração do dióxido de estanho R1 = (1,95 &#177 0,03), para o dióxido de titânio R1= (2,42 &#177 0,02), para o sequióxido de alumínio R1= 1,54 e R1= 1,32 para o difluoreto de magnésio, que estão perfeitamente de acordo com os resultados publicados na literatura / In this work we show the construction of an ellipsometer wich allows us to do the optical characterization of thin films, the measurement of the refraction index and thickness for any film transparency. This ellipsometer was used to study antireflection coatings for monocrystaline silicon solar cells. The principle of functioning is based in the variation of the polarization of light reflected by a film. With this technique and using a computer was possible to determine the thickness of the film, the real or complex refraction index for transparent or absorving films respectively. The results for tin oxide (n= 1,95 &#177 0,03), titanium oxide (n= 2,42 &#177 0,02), aluminium oxide (n= 1,54) and magnesium fluoride (n= 1,32), are in good agreement with values published in the literature

Neste trabalho pesquisamos a ordem de convergência atingível da aproximação num certo espaço polinomial spline para a solução de equações integrais de Volterra de segunda espécie com núcleo regular e fracamente singular. Se considerarmos equações de Volterra com núcleo regular, a suavidade da solução é determinada pela suavidade do núcleo dado e pela função forçante. Isto,por sua vez, implica que a aproximação por colocação exibe ordem ótima de convergência global. Superconvergência local é atingível para alguma escolha apropriada dos parâmetros de colocação. Entretanto, se admitirmos núcleos contendo singularidades fracas do tipo algébrico, e se empregarmos uma sequência de malhas quase-uniforme, então a ordem de convergência global da aproximação é menor que 1, sem considerar o grau da função da aproximação spline. Para restaurar a ordem ótima de convergência, colocação sobre uma malha convenientemente graduada será mostrada. Resultados numéricos verificando a taxa de convergência do método são apresentados. / In this work w investigate the attainable order of convergence of collocation approximation in certain polynomial splin spaces for solution of second kind Volterra integral equations with regular and weakly singular kernel. If we consider Voterra equations with regular kernel, the smoothness of the solution is determined by the smoothness of the given kernel and forcing function. This, in turn, implies that the collocation approximation exhibits the (optimal) order of global converge. Local superconvergence is attained for some suitable choice of the collocation parameters. However, if we admit kernels containing a weak singularity of algebraic type, and if we employ quasi-uniform mesh sequences, then the global order of convergence of the approximation is less than one, regardless of the degree of the approximating spline fuvtion. In order to restore the optimal order of convergence, collocation on suitably graded meshes will be shown. Numerical results verifying the convergence rates of the method are presented.

A equação diferencial com retardamento perturbada singularmente ε x = -x(t) + F (x(t-1)) é estudada, com ε > 0, x = (x1, x2), F = (f1, f2), f1, f2 : R → R, diferenciáveis até ordem 2 na origem é ímpares. Para ε pequeno e f = -f1 = f2 monótona num intervalo [-A, A], A > 0, é provado que a solução periódica lentamente espiralante x(t) da equação (1) tem a forma de uma \"onda quadrada\". e está relacionada aos pontos periódicos da função F = (f1, f2). Como é destacado em [1], para o caso escalar, quando f não é monótona a convergência de x(t) para a \"onda quadrada\" é tipicamente não uniforme, e ocorre um fenômeno similar ao de Gibbs, da clássica série de Fourier. / The singularly perturbed differential-delay equation ε x(t) = -x(t) + F(x(t-1)) is studied, with ε > 0, x = (x1, x2), F = (f1, f2), f1, f2 : R → R odd and differentiable up to order two at the origin. For small ε and f = -f1 = f2 monotone in some interval [-A, A], A &gt 0, the slowly spiralling periodic solutions x(t) of the equation (1) are proved to have square-wave shape, and are related to periodic points of the mapping F = (f1, f2). As it is pointed out in [1], for the scaler case, when f is not monotone the convergence of x(t) to the square-wave typically is not uniform, and a phenomenon similar to the Gibbs one of classical Fourier serie, must occur.

objetivo deste trabalho é o desenvolvimento de um software: o Gerador Automático de Arquivo Html de Ajuda (GAAHA) para a geração de arquivos de indexação e ajuda em HTML baseado na análise automática de documentos. Esses arquivos de indexação e ajuda têm uma dinâmica muito rápida de atualizações de seu conteúdo. Este trabalho focaliza principalmente: a manutenção de arquivos de ajuda para documentos de cursos para Educação a Distância (via WWW) e a criação de um formato de arquivos de ajuda (Help files) eficiente, para facilitar e agilizar a pesquisa de tópicos ou palavras nesses cursos. O aluno, que participa de um treinamento ou curso de educação a distância, poderá aproveitar o sistema de ajuda para pesquisa sobre tópicos relacionados ao curso ou treinamento em questão. O programa GAAHA é uma solução para a análise do conteúdo de cursos residentes em Web Sites e posterior criação de um mapa gráfico preciso, intuitivo e interativo. O GAAHA tem um robô de \"parseamento\" responsável pela geração de uma vista hierárquica de todos os Units de um curso e uma base de dados indexada que é utilizada para pesquisas de palavras-chave entradas pelo usuário. Este sistema é composto por três subsistemas: um agente crawler para a indexação das informações, um agente mentor que é responsável pela pesquisa no banco de dados, e um cliente WWW para interface com os usuários. Nessa tese também é apresentado um breve histórico das ferramentas e métodos que foram utilizados para o desenvolvimento desse software e uma breve explanação do conceito de educação a distância. Esta última com o objetivo de esclarecer o quão importante é, para um aluno que participa deste tipo de educação, ter uma ferramenta de pesquisa rápida e eficiente. / The main goal of this project is the development of a computer program: the Automatic Generator of HTML Help Files (in Portuguese (IAAHA) to the generation of index and help files in HTML based in the automatic analyses of documents. Index and help files have a very fast rate of changes in their contents. This work main focus is in the maintenance of help files for distant leaming courses documents and the creation of an efficient format for help files to case topics and words searches in this courses. The student talcing part in a distant leaming course can take advantage of this help system to research about topics related to the course. The GAAHA system is a solution for the analyses of the contents of courses hosted in a Web sites and the generation of a precise, intuitive and interactive maps and index data. It lias a softbot for parsing the course\'s files to generate a hierarchical view of ali links of the course and an indexed database used for searching key words entered by users. The whole system is divided in three parts: a crawler agent for information fetching and indexing, a mentor agent for searches in the databank, and a WWW user interface. Also in this work is shown a brief history of tools and methods used in the software development and a brief explanation of the concept of distant leaming. The goal of this explanation is to show how important is, for students taking part in this kind of learning, to have access to fast and efficient search and index tools.

Dificuldades e empecilhos encontrados na melhoria de processo rin rnaware são em grande parte fruto das barreiras colocadas pelas pessoas envotv.,,.., no processo. Neste trabalho o P-CMM (People Capability Maturity Model) é interpretado com a intenção de minimizar essas barreiras. Também são apresentados como duas áreas chave de processo do P-CMM, consideradas como as mais importantes para facilitar a melhoria de processo de software, Comunicação e Mentoring, podem ser implantadas em empresas de pequeno e médio porte. / Difficulties and problems found largely in the improvement of process of software come from the barriers placed by the people involved in the process. In this work P-CMM (People Capability Maturity Model) it is interpreted with the intention of minimizing those barriers. They are also presented as two key process areas of P-CMM, considered as the most ánportant to facilitate the improvement of software process, Communication and Mentoring, they can be implanted in companies of small and medium load.