Nos últimos anos, tem-se dado grande enfoque à resolução de problemas utilizando-se redes neurais artificiais, principalmente devido às suas características de aprendizado e adaptação, generalização, processamento paralelo e distribuído, etc... Pesquisadores também têm proposto o desenvolvimento de sistemas híbridos, que consiste na união de mais de um paradigma, por exemplo, redes neurais, sistemas especialistas e sistemas fuzzy, num mesmo sistema, provendo uma solução melhor para um determinado problema. Neste trabalho, uma técnica para a modelagem de sistemas de produção através dos paradigmas conexionista e fuzzj está sendo proposta. Um sistema de produção neuro. fuzzy, que utiliza esta técnica para a detecção e previsão de falhas na Hidrelétrica de Itaipu, foi desenvolvido. Este sistema, chamado de Sistema de Produção NEUFI (NETJro Fuzzy para a Itaipu), permite a rápida tomada de decisões em emergências e melhor monitoração do sistema Itaipu em situações normais. Para este propósito, uma base de conhecimento baseada em regras, já em uso na operação da Usina pelo sistema R-TESE (Real Time Expert System Environment), foi utilizada como referência inicial. Além disso um simulador, denominado Simulador Neuro-Fuzzj, foi também desenvolvido para facilitar a modelagem das regras. A abordagem proposta, quando comparada com o sistema R-TESE, tem as seguintes vantagens. Primeiro, a incorporação de técnicas de redes neurais dá ao sistema NEUFI maior flexibilidade e fácil manutenção. Segundo, possibilidade de visualizar às regras através de estruturas neurais. Outra vantagem é a redução do número de regras devido a similaridade de algumas delas, que têm seu conhecimento implicitamente representado durante o treinamento da rede. / In the last years, neural networks have been widely used for solving problems, mainly due to their learning, adaptation, generalization, paraliel and distributed processing characteristics. in addition, researchers have proposed the developrnent of hybrid systems which consist in the combination of more than one paradigm, for example, neural networks, expert systems and fuzzy systems in the sarne system, providing a better solution for the problem given. In this work, a technique for modeling of production systems by using connectionist and fuzzy paradigms has been proposed. A neuro-fu7zy production system, that uses this tecbnique, for fault detection and prediction in the, Itaipu Hydroelectric, has been developed. This system, called by NEUFI Production System (NEUro Fuzzy for Iltaipu), aliows a faster rnaking decision in emergencies and improves the itaipu System monitoring in normal situations. For this purpose, rule-based knowledge already in use on Itaipu operation by system R-TESE (Real Time Expert System Environment) has been taken as initial reference. Furthermore, a simulator entitled Neuro-Fuzzy Simulator has also been developed for the rnodeling of the mies to be easier. The proposed approach when compared with the system R-TESE has the following advantages. First, the incorporation of neural network techniques in NEUFI provides the system more flexibility and easier rnaintenance. Second, it allows to take a view of the rules through neural networks. Another improvement is the reduction of the number of rules, dueto the similarity of some rules, which have their knowledge implicitly represented during the network training process.

Este trabalho apresenta a especificação e implementação do ASTRAL - Ambiente de Simulação e Teste de pRogramas parALelos. Neste ambiente os programas paralelos são representados através de grafos, que indicam o fluxo de execução da aplicação e as comunicações entre as tarefas que a compõem. A simulação desses grafos permite ao usuário observar e controlar o comportamento do programa, possibilitando a identificação de possíveis erros de comunicação e de problemas relacionados ao desempenho. A especificação do ASTRAL é independente de plataforma, permitindo sua utilização para simulação de qualquer linguagem e ou biblioteca paralela. Uma instanciação deste ambiente para a plataforma PVM é apresentada. O ASTRAL faz parte de um ambiente maior que visa a depuração de programas paralelos, responsabilizando-se pela implementação dos grafos necessários e sua simulação. / This work presents the specification and implementation of ASTRAL - Parailel Program Test and Simulation Environment. Ttiis environment aliows representing the parallel programs by means of graphs, that indicate the execution flow of the application and the cornrnunication between the processes. The simulation of these graphs aliows the user to follow and control the program behavior, thus identifying possible communication errors and performance problems. The specification of ASTRAL is platform independent, aliowing its utilization for simulation of any language or parailel library. An environment instantiation for PVM platform is presented. The ASTRAL is part 0±\' a major environment that aims at paraliel prograins debugging, being responsible for the graphs implementation and simulation.

Neste trabalho é descrito uma seqüência de procedimentos para estimar parâmetros e selecionar ordem de modelos Auto-Regressivos com heterocedasticidade, ARCH(p), e Auto- Regressivos generalizados, GARCH(p,q). As estimativas são obtidas utilizando duas técnicas: a inferência clássica e a bayesiana em conjunto com simulação de Monte Carlo em Cadeia de Markov (MCMC). Na análise bayesiana utilizamos densidades a priori normais para os parâmetros do modelo. Os métodos desenvolvidos foram aplicados em duas séries geradas e em três séries do mercado financeiro: Índice Bovespa, Telebrás e Cotação em Dólar Americano da moeda Iene Japonês. Em geral, as estimativas de máxima verossimilhança e bayesiana apresentaram resultados próximos. Porém, em algumas séries, o intervalo com 95% de confiança para certos parâmetros do modelo apresentou valores negativos, o que viola as restrições impostas aos parâmetros dos modelos ARCH(p), destacando a vantagem da abordagem bayesiana. / In this work a sequence of procedures is described to estimate parameters, to select order and to forecast Autoregressive Conditional Heteroskedasticity ARCH(p) and generalized ARCH, GARCH(p,q), modeis. The estimates are obtained by using both classical inference techniques via maximum likelihood estimation and Bayesian inference approach jointly with simulation of Monte Cano Markov Chain (MCMC). In the Bayesian analysis we use normal prior densities for the parameters of the model. The applications for the developed methods were made in a generated series and iii three series of the Brazilian finance market: Index Bovespa, Telebrás and Quotation in American Doilar of the Japanese Yen. In general, the maximum likelihood and Bayesian estimates are similar. However, in some series, the 95% confidence intervais for some parameters of the model, presented negative values, violating the constraints imposed to the parameters of the ARCH(p) modeis, highlighting certain advantage of the Bayesian approach.

Este trabalho apresenta unia nova abordagem para a avaliação de desempenho, inserindo-se nesse contexto a especificação Statecharts. Essa inserção está devidamente associada a uma solução viável para o modelo. São formalizadas duas extensões aos Statecharts: (1) os Statecharts Estocásticos, os quais utilizam a notação original dos Statecharts, modificando-se somente a semântica formal, e (2) os Queuing Statecharts, que não possuem a notação Statecharts pura, mas sim uma aglutinação entre a representação Statecharts e a de redes de filas. Na formalização proposta, são redefinidos alguns ,elementos básicos dos Statecharts, tais como eventos e condições, além de alguns conceitos da dinâmica do sistema, por exemplo, passos e configurações. As especificações propostas descrevem o funcionamento básico de um sistema de filas genérico, através de tempiates e eventos-padrão. A esses eventos estão associadas tanto uma solução analítica quanto uma solução por simulação sm p1 (iMulation Erogramming Language). Com o intuito de demonstrar a aplicabilidade das especificações propostas, é desenvolvido um estudo de caso referente à programação distribuída baseada em PVM (Para/lei Virtual Machire). Com os parâmetros obtidos empiricamente, os modelos em Statecharts Estocásticos, Queuing Statecharts e redes de Petri estocásticas generalizadas (GSPN) são alimentados e resolvidos tanto através da solução da análise do valor médio (AVM) quanto por simulação smpl. Inicialmente, a análise é feita conforme o esquema realizado pelo PVM e, posteriormente, é .acrescentado um mecanismo de escalonamento que leva em consideração o tempo médio de serviço das máquinas. Há uma discussão sobre os resultados obtidos a partir dos mecanismos adotados para realizar o escalonamento. Por fim, são expostas algumas ponderações sobre as idéias apresentadas nos capítulos componentes desta tese, além de serem apresentadas as contribuições provenientes desta pesquisa e alguns trabalhos futuros propostos a partir desta tese. / This work presents a new approach to performance evaluation, introducing Statecharts in this context. That addition is associated with a viable solution for the model. Two extensions for Statecharts have been forma Iized: (1) Stochastic Statecharts, which use the original notation, with a simple modification in the formal semantics, and (2) Queuing Statecharts, which do not have the pure Statecharts notation, but a join between Statecharts and queuing network representations. In the proposed formalization, some basic elements of Statecharts are redefined, such as events and conditions, besides some concepts referring to the dynamic system behavior, e.g. steps and configurations. The proposed specifications show the basic behavior of a generic queuing isystem, by means of templates and standard events. There are solutions, both analytical methods and a smpl1 simulation, associated with each standard event. Aiming at demonstrating the applicability of the specifications proposed, a case study referring to distributed programming (based on PVM - ParalIel Virtual Machine) has been developed. Using the parameters empirically obtained, the models specified in Stochastic Statecharts, Queuing Statecharts and generalized stochastic Petri nets (GSPN) have been solved both by the Mean Value Analysis (MVA) and a smpl simulation. At the beginning, the mechanism of PVM for process scheduling is used. Afterwards, a scheduling scheme that considers the mean service time of each machine is added. A discussion about the results is carried out and some conclusions are presented. At the end, some questions about the ideas presented are exposed, along with some contributions from this thesis and some proposed future lines of research.

O desenvolvimento da padronização do modelo de gerenciamento de rede é uma necessidade que todos os grupos envolvidos (pesquisadores, fabricantes de equipamentos de rede, fornecedores de soluções de rede, etc.), buscam para possibilitar a interoperabilidade. Neste trabalho foram realizados estudos dos principais modelos de gerenciamento, Internet e o OS/, apresentando suas características e as deficiências. Os estudos concentraram-se sobre os protocolos de transporte das mensagens de gerenciamento, CMIP e SNMP, por serem a chave para realizar o gerenciamento, e especialmente o SNMP versão 2. Uma ferramenta de gerenciamento de rede vem sendo desenvolvida no Instituto de Ciências Matemáticas de São Carlos USP, denominada NetTracker, que passou por uma reestruturação para adaptar às novas tendências tecnológicas, Java, H I P, CORBA, SSL, entre outras. Recentemente foram publicadas documentos (RFCs) que propõem alterações no protocolo SNMP, batizado de SNMPv3. Verifica-se que a nova versão do modelo estrutural apresenta similaridades ao do NetTracker. Com as formalizações das especificações tanto da ferramenta de gerenciamento como do protocolo, o projeto estruturou um modelo de um sistema gerente que absorve as novas tecnologias, adaptado-o as novas características do protocolo e da ferramenta. / The development of the nework management standard model is a taget thal all groups involved (reseacheres, network equipment manufacturers, network solution providers, etc.), are looking for ia their quest for interoperabilipi. In this work, the main networks mangement models, Internet and OSI, were studied, showing both their strength and weakness. The taget of the study were the network management message tramport protocol, CMIP and SNMP, the keys of netwotk management and, oecially, the version 2 of the late. The Instituto de Ciências Matemáticas de São Carlos LISP carnes out a work on development a network management tool, the NetTracker. The frameivork of the .NetTracker was envisaged to use the new set tecnologv for the development of distributed applications such as: Java, H ITIP, CORBA, SSL, and others. Recently it published the new proposal SNMP protocol, named SNMPv3. The Framework for this version fits well to the NetTracker achitecture. As the SNMPv3 proposal gets the status of standard, the final contribuition of this work is the mappingof its modules over structure of lhe NetTracker.

Nesta dissertação, desenvolvemos uma análise Bayesiana de modelos de mistura finita de distribuições, para dados de sobrevivência sem censura, com censura tipo II e dados censurados por intervalos, na presença de uma covariável. Consideramos os algoritmos amostrador de Gibbs com Metropolis-Hastings, e utilizamos os estimadores de Monte Carlo para conseguir as quantitades à posteriori de interesse, assumindo diferentes escolhas para as (J = 2) densidades no modelo de mistura, como por exemplo a mistura de, duas distribuições potência exponencial a qual considera uma grande classe de distribuições simétricas, duas distribuições normais, normal-exponencial e gamma-normal. Apresentamos também ah gumas considerações na seleção do modelo utilizando as densidades preditivas (CP0)preditivas condicionais ordenadas e introduzimos três exemplos numéricos para ilustrar a metodologia proposta. / In this dissertation, we present a Bayesian analysis of distributions finite mixture models, for survival data uncensored, type II censoring and interval-censored data, In the presence of one covaziate. Considering Gibbs sampling with Metropolis-Hastings algorithms, we get Monte Cano estimates for the posterior quantities of interest, assuming different choices for the (J = 2) densities in the mixture model, for example a mixture, two exponential power distributions which includes a wider class of symmetric distributions, two normal distributions, normal-exponential and gammanormal distributions. We also present some considerations on model selection, considering the predictive densities (CPO) conditional predictive ordinate, and we introduce three numerical example to illustrate the proposed methodology.

A utilização de recursos Hipermídia e técnicas de Inteligência Artificial em ambientes de ensino e aprendizado oferecem uma melhor apresentação das informações aos usuários e proporcionam melhores resultados por habilitar o sistema a \"raciocinar\" sobre o que e como apresentar ensinamentos efetivos, estimulando o estudante a aprender. Assim sendo, propõe-se, em um projeto de maior abrangência, a arquitetura de um ambiente denominado SIATE Sistema Inteligente de Apoio a Treinamento e Ensino que integra características de Sistemas Baseados em Conhecimento, Sistemas Tutores, Raciocínio Baseado em Casos, Hiperraídia e Simulação, com o objetivo de enriquecer um ambiente exploratório de ensino com conhecimento especialista do domínio e de melhorar o aprendizado do estudante. O presente trabalho, parte integrante do SIATE no domínio de Aquisição de Conhecimento, corresponde ao projeto e desenvolvimento de um Sistema Híbrido de Conhecimento, o qual contém o conhecimento especializado do domínio de aplicação e fornece apoio à geração de roteiros de páginas de uni hiperdocumento e à ferramenta de treinamento do SIATE. / The use of Hypermedia resources and Artificial Intelligenck techniques in teaching and learning environments afiows information to be presented in a olear manner to users and offers better results by allowing the system to \"reason\" about what and how effective teaching should be presented, stimulating the student to learn. An architecture called SIATE Intelligent System for 1-htining and Teaching has been proposed, as part of a much larger project. This architecture integrates characteristics from Knowledge Based Systems, Tutoring Systems, Case Based Reasoning, Hypermedia and Simulation, enriching au exploratory environment for teaching with expert knowledge about the domain, while also improving the student learning experience. The present work, which is a part of the domain of Knowledge Acquisition in SIATE, corresponds to the design and implementation of a Hybrid Knowledge System. This system contains specialized lcnowledge about the application domain which is used to generate scripts for pages in a hyperdocument and support the training tool in SIATE.

A aplicação da informática na educação tem sido alvo de investigação devido à importância da exploração do uso da tecnologia nos processos de ensino e aprendizagem. Em adição, o uso da Internet tem se expandido em aplicações para o domínio ensino. Neste contexto, esta dissertação apresenta aspectos de projeto, especificação e implementação de um conjunto de ferramentas que auxiliam a autoria e disponibilização de material didático no ambiente World Wide Web (WWW). Como motivação, sistemas e aplicações recentes são apresentados e o modelo de hiperdocumentos atualmente utilizado na WWW é discutido. O Relationship Management Model (RMM) é então utilizado para a modelagem do conjunto de ferramentas de autoria. Como passo seguinte da modelagem, são discutidas as vantagens do uso fie SGML como uma técnica de especificação formal, e apresentadas as especificações para os documentos suportados pelas ferramentas de autoria. Após uma discussão sobre os aspectos da interação usuário-hipertexto, são apresentadas as ferramentas de autoria implementadas. Após uma discussão dos pontos fortes e fracos das ferramentas de autoria implementadas quando comparadas a um ambiente completo para autoria de material didático, são relatados os resultados de um experimento preliminar de usabilidade. Finalmente, são apresentados alguns projetos de pesquisa como continuidade do trabalho aqui reportado. / The application of computer in education has been under investigation due the importance of exploiting such a technology in the teaching and learning processes. The wide spread use of Internet has expanded the interest in such application. In this context, this dissertation presents aspects of design, specification and implementation of a set of tools aimed at authoring and delivering didactic material in the World Wide Web environment (WWW). As motivation, recent systems and applications are presented and the model of the hyperdocuments currently used in the WWW is discussed. The Relationship Management Model (RMM) is then used to provide a design model for a set of authoring tools. As a follow up of the modeling step, the advantages of the use of SGML as a formal specification technique is discussed, and specifications for the documents supported by the authoring tools are presented. After a discussion on aspects of user-hypertext interaction, the authoring tools build are presented. After a discussion of the strengths and weakness of the tools when compared to a complete off-theshelf suit, results from a prelizninary usability experiment are reported. Finally, the several research projects under development as a continuity of the this work are presented.

Esse trabalho apresenta algumas técnicas e métodos que apoiam a fase de engenharia de requisitos, bem como urna comparação entre as abordagens revisadas. Uma proposta de um processo para a engenharia de requisitos baseada na construção de cenários, compatível com a UML, (S.apresentada. A notação introduzida, o processo de construção dos modelos de requisitos e um conjunto- de heurísticas para a construção de um modelo de enálisasão apresentados. Um estudo cie caso referente a um sistema de apoio à escrita de docurnentos técnicos ilustra a construção dos modelos propostos pelo processo. Finalmente,, uma ferramenta que apeia a construção dos modelos introduzidos pelo processo é apresentada. / This diSsertation pr,esents several scenario techniques and methods to suppori the requirements engineering phase, a well as.a aqrnparison amongst,the approaches reviewed. A proposal of a scenario-based engineering requirements process compatible with the UML notation is presented. The introduced notation, the process of constructjon of the requirements mortet and severa! heuristics _to the cOnstruction of the UrsAL an.lysis model_are presented. A. case stu_dy abaut ,a system to support technical doCuments writing illustrates the_ construction af the requirementá mode( according to th,e proposed process. Rinally, a too! that supports the con,struction of the models cotnprising the process is presented.

Consideremos a classe de equações diferenciais-diferenças singularmente perturbadas &epsilon;x(t) = &Sigma;lr=0 &alpha;r x (t-r), &epsilon; &gt; 0 (1&epsilon; e seu limite formal quando &epsilon; &rarr; 0: 0 = &Sigma;lr=0 &alpha; r x (t-r). (10). Utilizando um método introduzido por Carvalho [5], exibimos soluções periódicas de (1&epsilon;) e (10) e definimos hipersuperfícies de bifurcação dessas soluções no espaço dos parâmetros (&alpha;0, &alpha;<sub1, ...&alpha;l). Visando estabelecer relações entre as dinâmicas definidas por (1&epsilon;) e (10), no caso / = 2, &alpha;0 = 1 provamos que a região de estabilidade de (1&epsilon;) no espaço (&alpha;1, &alpha;2) aproxima a região de estabilidade de (10), quando &epsilon; &rarr; 0, num sentido definido precisamente no Teorema 4.1.1. / We consider the class of singularly perturbed.differential-difference equations &epsilon; x(t) = &Sigma;lr=0 &alpha;r x (t-r), &epsilon; &gt; 0 (1&epsilon;) and its formal limit as &epsilon; &rarr; 0: 0 = &Sigma;lr=0 &alpha;r x (t-r). (10). Using a method due to Carvalho [5], we exhibit periodic solutions of (1&epsilon;) and (10) and define bifurcation hypersurfaces for these solutions in the parameter space (&alpha;0, &alpha;1,...&alpha;l). Aiming to establish relations between the dynamics of (1&epsilon;) and (10) in case / = 2, &alpha;0 = 1, we prove that the stability region of (1&epsilon;) in the space (&alpha;1, &alpha;2) approaches the stability region of (10), as &epsilon; &rarr; 0, in a precise sense given in Theorem 4.1.1.