Nesta dissertação, abordamos métodos Bayesianos com funções de perdas assimétricas e simétricas para comparar inferências pontuais em confiabilidade. Os resultados obtidos neste trabalho mostraram que as funções de perdas assimétricas, embora não sejam explicitas em suas soluções, são mais realísticas que as funções de perdas simétricas. A análise Bayesiana para confiabilidade foi feita usando um modelo exponencial e algumas densidades a priori, em particular, a priori não-informativa. Também, desenvolvemos uma Função de Perda Balanceada Ponderada com censura, a qual combina a estatística clássica com a Bayesiana. Os resultados obtidos para a Função de Perda Balanceada Ponderada podem ser de grande interesse prático e metodológico. / In this dissertation, we approach Bayesian methods with symmetrical or asymmetrical loss fiinctions for comparison of pontual inferences in reliability. The results obtained here show that asymmetrical loss fiinctions are more realistic than symmetrical loss fiinctions. Bayesian reliability analysis using the exponencial model is considered and some prior density fiinctions have been used, in particulary, non-informative priors. Also, it was developed a weighted balanced loss fiinctions with censoring which combine classical and Bayesian statistics. The results obtained for weighted balanced loss fiinctions may be of great practical and methodological interest.

Aprendizado Indutivo é uma técnica utilizada em Aprendizado de Máquina cujo objetivo é induzir uma descrição geral de conceitos - hipóteses - através de instâncias destes conceitos - exemplos de treinamento. Entre vários paradigmas de aprendizado indutivo, um bastante difundido é o uso de árvores de decisão. Árvores de decisão são utilizadas como linguagem de descrição de conceitos quando os exemplos são descritos como vetores de pares atributo-valor. A indução de uma árvore de decisão é realizada através do conjunto de treinamento que tenta classificar os exemplos na árvore de forma a acomodá-los. Os algoritmos de construção da árvore de decisão podem operar de dois modos: no modo não incremental, no qual o algoritmo infere o conceito de uma vez, baseado no conjunto total de instâncias disponíveis, e no modo incremental, no qual o algoritmo revê a definição do conceito corrente, se necessário. em resposta a cada nova instância de treinamento observada. Uma questão importante a ser observada na indução de árvores de decisão, através de exemplos, é que muitas vezes os atributos iniciais - features primitivas - não são relevantes para descrever os conceitos, mas quando convenientemente combinados, gerando novas, features, podem tornar-se altamente representativos para expressar um conceito. Este processo de construção de features é denominado de Indução Construtiva e seu objetivo é ampliar os limites de uma linguagem baseada em atributos. Este trabalho apresenta dois algoritmos de indução de árvores de decisão , um no modo incremental , e o outro não incremental, para um conjunto de instâncias de treinamento com atributos booleanos. É apresentado, também, um algoritmo de pós-poda para árvore de decisão binária com o objetivo de melhorar a confiabilidade estatística da árvore. Referente à indução construtiva, três algoritmos para a construção automática de features de funções booleanas são apresentados. As implementações realizadas foram integradas a dois ambientes de aprendizado experimental denominados Ambiente Experimental TDIDT para Atributos Booleanos e Ambiente Experimental Construtivo para Atributos Booleanos, respectivamente. / Inductive learning systems aim to induce a general description hyphotesis of concepts from instances examples of these concepts. Among the wide variety of techniques used in inductive learning systems, the decision tree-structured paradigm has been established as the determinant form for rule-based data analysis. Although decision trees are a simple formalism, they are capable of capturing knowledge which is useful to solve new problems. A tree induction program takes a set of examples training set and generates a decision tree classifying them. The examples in the training set are described as vectors of attribute-value. This description is called attribute base. The induction algorithms can operate in a non incremental or incremental mode. In the former case, the algorithm infers a concept once, based on the entire set of available training instances. In the incremental case, the algorithm revises the current concept definition, if necessary, in response to each newly observed training instance. Sometimes the initial attributes referenced as primitive features used to describe the examples are not directly relevant to the concept but, when conveniently combined generating new features, can become highly representative for the expression of the concept. When new features are constructed and then used to form generalized concept descriptions, the feature construction process becomes a form of constructive induction. This works presents two algorithms for induction of decision trees. One incremental, the other non incremental, for set of training instances having boolean-value attributes. An algorithm for prunning the binary decision tree to give statistical reliability is also presented. It also presents tree constructive induction algorithms for automatic feature construction for boolean-value attributes which improve the decision tree induced by the two previous algorithms. The implementations gave rise to two experimental learning environments.

Neste trabalho nós provamos a existência de atratores globais para equações escalares hiperbólicas com atrito linear em domínios suaves Ω ⊂ R3 fwtt + βwt = Δw + f(w) em Ω, w = 0 em ∂Ω com o termo não linear satisfazendo uma condição de crescimento subcrítico. / In this work we prove the existence of global attractors for the scalar linearly damped hyperbolic equation in a bounded smooth domain Ω ⊂ R3 wtt βwt= Δw + f(w) in Ω, w = 0 in ∂Ω, when the nonlinear term grows subcritically.

O objetivo desta dissertação é apresentar o projeto de construção do sistema TEGRAM: um sistema tutor destinado a auxiliar o processo de ensino-aprendizagem de conceitos relacionados à Geometria Plana para estudantes do 19- grau. No intuito de despertar a curiosidade e o interesse dos estudantes, fazendo com que eles se envolvam com as atividades e sintam-se estimulados em resolvê-las, todas as atividades propostas pelo sistema baseiam-se num jogo chinês milenar chamado Tangram. O sistema funciona de tal modo que o usuário/estudante é levado à compreensão de conceitos que são formalizados a posteriori. A arquitetura do sistema TEGRAM é baseada numa arquitetura básica de Sistemas Tutores Inteligentes: módulo do domínio, modelo do estudante, módulo tutorial e módulo de comunicação. / The goal of this dissertation is to present the project of the system TEGRAM: a tutoring system which is intended to be part of a teaching/learning environment to be used by elementary school students, for concepts related to Plane Geometry. The system\'s activities are based on a millenary Chinese game called TANGRAM, which stimulates the students through a non-traditional way of learning and provides a large, number of activities that lead the students to the building of Plane Geometry concepts, which are formalized a posteriori. The system architecture is based on the traditional Intelligent Tutoring Systems architecture: domain modele, student model, tutorial module and communication module.

Esta dissertação descreve a integração da técnica de modelagem por semi-espaços e da representação implícita a um sistema de modelagem de sólidos dotado inicialmente de uma forma de representação por fronteira e da técnica de modelagem por varredura translacional e rotacional. A representação implícita consiste em uma forma alternativa para representar os modelos descritos por semi-espaços. Cada representação implícita criada é convertida, pelo modelador, para a representação por fronteira correspondente, que é mantida como a principal forma de representação do sistema. A conversão entre as duas representações é baseada em um método simplicial de aproximação de superfícies definidas implicitamente. A técnica de descrição por semi-espaços ampliou consideravelmente o poder descritivo do modelador, pois permite a descrição de sólidos cuja fronteira possui forma complexa, as quais não são facilmente descritas através das técnicas de varredura. A disponibilidade de duas formas de representação, implícita e por fronteira, para os modelos descritos por semi-espaços, possibilita aos procedimentos de aplicação optarem pela representação mais adequada aos seus propósitos. / This text describes the integration of the modeling technique by halfspaces and of an implicjt representation form into a solid modeling system that supports a boundary representation form and translational and rotational sweeping as the modeling technique. The implicit representation provides an altemative form of representing the models described by halfspaces. Each implicit representation created is converted into a corresponding boundary representation, which is kept by the system as the primary form. The conversion between representations is based on a simplicial method that aproximates implicitly defined surfaces. The modeling technique by halfspaces considerably enhances the descriptive power of the modeler as it allows the description of solids with complex geometries that cannot be easily described by sweeping techniques. The availability of both implicit and boundary representation forms for representing the models described by halfspaces enables application procedures to select the most appropriated form in order to reach their aims.

O objetivo deste trabalho é realizar uma Inferência Bayesiana para o coeficiente de inclinação do modelo de regressão linear simples com erros nas variáveis. Em consequência dos erros de mensuração os estimadores não-Bayesianos dos parâmetros envolvidos são viciados. O modelo com erros nas variáveis pode ser classificado de duas formas distintas: Modelo Funcional e Modelo Estrutural. Para o Modelo Funcional estudamos o parâmetro de inclinação sujeito a priori não-informativa e colocamos seu estimador de mínimos quadrados sob o modelo funcional com réplicas. Para o modelo estrutural analisamos o parâmetro de inclinação utilizando primeiramente a priori não- -informativa e depois é submetido a uma priori informativa seguindo a estrutura hierárquica que Lindley propôs em um artigo publicado em 1972. Utilizando esta estrutura hierárquica, a influência da priori sobre a média a posteriori é analisada no sentido de Robustez introduzido por Pericchi & Smith (1992). O método de Laplace é usado como uma alternativa para aproximar a densidade a posteriori do parâmetro de interesse quando não conseguimos determinar explicitamente suas soluções analíticas. / This work deals with Bayesian Inference for the slope coefficient of the simple linear regression model error in the variables. Due to measurement errors the non-Bayesian parameter estimators are biased. The model with error in the variables can be classified in two distinct ways: as the Functional Model or as the Structural Model. For the first one we study the slope parameter under noninformative prior analyzing its least square estimator via the functional model applied repeatedly. For the structural model we analyze the slope parameter using firstly a noninformative prior and then an informative one according to the hierarchical structure proposed by Lindley in 1972. Using this structure, the effect of the prior on the posterior average is analized via the robustness concept introduced by Pericchi & Smith (1992). The Laplace\'s method is used as an alternative to approximate the posterior density of the slope parameter when analytic solutions are not explicitly known.

A tarefa do gerenciamento de redes de computadores tem se tornado complexa, motivando o desenvolvimento de aplicações capazes de auxiliar o administrador nas suas funções. Dentre tais aplicações pode-se citar os: sistemas de gerenciamento, agentes, agentes proxy, sistemas monitores e medidores de tráfego. Neste contexto, este trabalho trata do desenvolvimento de um agente SNMP para plataforma rodando DOS, que pode ser o ponto de partida para a implementação de agentes proxy e demais aplicações de gerenciamento. O agente deve obter informações sobre a sub-rede à qual está conectado. Estas são definidas numa MIB, denominada MIB Net, formada por grupos da MIB padrão Internet, um grupo da MIB RMON e um novo grupo que define um conjunto de objetos relacionados com o fluxo de pacotes por protocolo TCP/IP na sub-rede. O agente exibe os dados obtidos na tela local e permite o acesso aos mesmos por sistemas de gerenciamento que suportem a MIB Net. No desenvolvimento do agente utiliza-se software de domínio público. O driver de rede adotado é o Poder Driver e a implementação das primitivas do protocolo de gerenciamento SNMP é feita adicionando-se novas rotinas numa biblioteca de primitivas SNMP, a SNMPLIB. O Packet Driver e a SNMPLIB estão disponíveis por Anonymous FTP. / In modern networks, consisted of many hosts and several subnetworks, management functions are becoming complex, demanding the development of applications that can help administrators to perform their tasks. Some examples of these applications are: management systems, agents, proxy agents, monitoring systems and traffic evaluators. In this context, this work deals with the development of a SNMP agent for DOS platforms, which can provide the basics for implementing proxy agents and other management applications. The agent must get information about the subnetwork in which it is connected in. They are defined on a MIB, caled MIB Net, consisted of some Internet Standard MIB groups, the MIB RMON group and a new group that defines a set of objects related to the flow of TCP/IP packets on subnetwork. The agent can show data on a local display and allows access to them by management systems tha support MIB Net. The agent is developed with public domain softwares. The Packet Driver is the network driver used and the SNMP primitives are emplemented by adding new routines to a library of SNMP functions, the SNMPLIB. Both Packet Driver and SMPLIB are available by anonymous FTP.

Este trabalho descreve o projeto e implementação do módulo de interface (Editor Gráfico) para o ASiA (Ambiente de Simulação Automático) que está em desenvolvimento no Grupo de Sistemas Distribuídos e Programação Concorrente do Instituto de Ciências Matemáticas de São Carlos-USP. Através do Editor Gráfico, o ambiente ASiA capta todas as informações necessárias a um programa de simulação. Automaticamente, um Gerador de Aplicação produz o programa correspondente ao modelo definido. Um último estágio do ASiA deve oferecer ao usuário a possibilidade de visualização gráfica dos resultados obtidos na simulação. O Editor permite que o usuário especifique graficamente um modelo do sistema em estudo e obtém do usuário, através de menus e caixas de diálogo, todos os parâmetros necessários. Esses parâmetros são organizados em tabelas, utilizadas pelo Gerador de Aplicação para produzir o programa de simulação. / This dissertation describes the design and implementation of the ASiA (Automatic Simulation Environment) user-interface (the graphics editor). The ASiA has been developed by the Distributed System and Concurrent Computation Group at the Computer Science Department - ICMSC-USP. Ali the information required for the production of a simulation program is obtained by means of a graphic editor, on which the users draw their models and enter their parameters. The simulation program is produced by an application generator system, that manipulates all the information captured by the graphics editor and generates the adequate commands, according to a target simulation system. The ASiA environment also has a module that deals with the output results from the simulation program. This editor allows a user to describe graphically a sytem model through classical queue network symbols and to provide several parameters, by means of drop-down menus and dialog boxes. All this information is organind in tables that in turn are used by the application generator module.

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.