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.

Atualmente, segurança de redes é um assunto de vital importância nas mais diversas áreas. O crescimento e popularização da Internet fizeram com que diversos serviços essenciais fossem realizados através da rede e cada vez mais redes privadas se conectassem para desfrutar de todos os benefícios oferecidos. Por outro lado, atos de pirataria e ataques aos computadores tem causado enormes prejuízos e danos. Este cenário exige mecanismos altamente eficazes para se aumentar a segurança cias redes conectadas à Internet. Atualmente, a solução mais utilizada é o firewall, porém, sob diversas circunstâncias ele não é capaz de impedir um ataque. Sistemas de detecção de intrusão podem se tornar uma ferramenta altamente útil trabalhando em conjunto com firewalls. Este trabalho propõe que o uso conjunto de um firewall e um sistema de detecção de intrusão adaptativo baseado em redes neurais pode fornecer um alto grau de segurança à uma rede privada na medida em que une características complementares dos dois sistemas, além de permitir respostas rápidas e automáticas frente a uma invasão em andamento. Esta integração se dará com base em um sistema de segurança distribuído com as seguintes características: modularidade, escalabilidade, gerenciamento remoto, comunicação segura entre os diversos módulos e portabilidade. / Currently, security of networks is a subject of vital importance in diverse arcas. The growth of the Internet has allowed that essential jobs be carried out through the network, and more networks have been connected to enjoy ali the resulted benefits. On the other hand, acts of piracy and attacks to the computers have caused enormous clamages. This scene demands highly efficient mechanisms to increase the security of the networks connected to the Internet. Currently, the most used solution is firewall-based, however, under diverse circumstances it is not capable to hinder an attack. Intrusion detection systems might be a highly useful tool working with firewalls. This work considers that the joint use of a firewall and an adaptive neural network based intrusion detection system can supply a high degre-e of security to the private network. The integration matches features of the two systems, whereas allowing for fast and automatic front of counter measures to an in-progress invasion. This integration will be done over a distributed security system with the following features: modularity, scalability, remote management, safe communication between the diverse modules and portability

Neste trabalho comparamos modelos de séries temporais auto-regresivos de ordem p AR(p), ajustados pela abordagem clássica e Bayesiana. Na análise clássica a identificação do modelo é feita através da função de autocorrelação (FAC) e função de autocorrelação parcial (FACP), a escolha do melhor modelo para um conjunto de dados é feita usando-se o Critério de Informação de Alcaike (MC) e o Critério de Informação Bayesiano (MC). Na análise Bayesiana consideramos três alternativas de densidades a priori para os parâmetros, aqui a escolha do melhor modelo é feita pela densidade preditiva. Primeiramente consideramos a priori não informativa de Jeffireys, onde a densidade a posteriori marginal, para os parâmetros do modelo, pode ser calculada analiticamente e mostra-se que o valor esperado dessa posteriori coincide com o estimador de máxima verossimilhança. No segundo caso, adotamos uma função densidade a priori conjugada normal-gama. Aqui, a densidade a posteriori também pode ser calculada analiticameMe, resultando em uma densidade t-Student p-dimensional, no entanto em muitas situações reais adotar priori conjugada é pouco realista. Para contornar esse problema, no terceiro caso adotamos uma densidade a priori informativa t-Student, pdimensional, para os parâmetros e uma densidade a priori gama para o inverso da variância dos resíduos. Isto resulta em uma densidade a posteriori não padronizada. Neste caso a análise a posteriori só pode ser feita usando-se algoritmos de simulação em cadeia de Markov, MCMC. / In this work we compare time series models, AR(p), using the Bayesian and classical approach. The classical approach uses the Alcaike Information Criterion (AIC) and the Bayesian Information Criterion (BIC) to choose the best fitted models for a time series record data. The estimation of the model parameters are obtained by maximinn likelihood estimation. In the Bayesian approach to time series the likelihood function is combined with the prior density of the parameters, via Bayes theorem, to produce the posterior distribution of the parameters and the predictive distribution of future observation. In this paper we use three clifferent prior density functions. First, the likelihood function is approximated by a normalgamma density over the parameter space, them combined with either a Jeffreys\' vague prior or a normal-gamma prior. The result is that the analysis is similar to that obtained by a multiple linear regression analysis. Thus, the posterior analysis is done with norrnal-gamma distribution. Thirdly the likelihood function is combined with prior t-Student distribution them the posterior and predictive analysis is made via Markov Chain Monte Cano. The results are applied to two simulated series and two stream flow series of Furnas and Itumbiara reservoirs.

Atualmente as organizações devem trocar dados entre si, e a tendência é que estas trocas sejam efetuadas cada vez mais através de meios digitais. Os dados são consultados (alimentados) livremente nas bases de dados de organizações independentes entre si, porém quando é necessária a troca de dados, como não existe uma previsão de integração, os dados somente podem ser trocados após uma preparação que impõe alguma forma de intervenção manual, construção de filtros especiais, etc., uma vez que a não existência de .um esquema comum impede que os dados de uma base possa ser intercambiados com os de outra base. No entanto, embora as bases de dados de diferentes organizações possam ser construídas de maneira totalmente independentes, a necessidade de uma troca significa que a semântica dos elementos manipulados, em particular daqueles que devem ser compartilhados é, no mínimo, semelhante. Por exemplo, se duas organizações devem trocar dados sobre pessoas, não importa se para as diferentes organizações as pessoas são clientes, empregados, alunos ou pacientes, o significado de \"pessoa\" é sempre entendido pelos membros das organizações. O mesmo ocorre com qualquer entidade que se deseje trocar informações. Este trabalho parte da suposição que possa existir alguma forma de definição primitiva para os diversos elementos de dados que devem ser compartilhados, a partir da qual sua instanciação em elementos de um esquema de dados em particular possa ser reconhecido. Assim, busca-se identificar estruturas primitivas, com a finalidade de integrar os sistemas. Contudo, para se chegar a tal estrutura, é preciso definir regras que garantam a preservação de propriedades da mesma com a finalidade de permitir que sempre que o esquema de uma organização A, construído a partir de uma mesma estrutura primitiva que foi utilizada por outro esquema de uma organização B, a integração entre ambas possa ser feita de forma automática, e que isso não provoque inconsistência nas bases de dados que estarão recebendo as informações. Para atingir esses objetivos, este trabalho propõe que tais estruturas de esquemas primitivos sejam parte das Bibliotecas de Templates de Objetos (BTO) que são distribuídas como parte das Ferramentas de Desenvolvimento Rápido de Aplicativos (RAD) comerciais. Como um exemplo de como isso poderia ser feito, apresenta-se um componente que define genericamente um objeto pessoa, desenvolvido a partir de como \"pessoas\" são tratadas em dois sistemas reais, centrando essa estrutura em uma única Abstração: a Abstração de Generalização. Apresenta também o conjunto de regras que deve ser utilizado para a integração de componentes centrados nessa abstração, que é a mais universalmente compatível entre os diversos modelos de dados orientados a objetos disponíveis atualmente. / Nowadays, the organizations need to deliver and receive data mutually, and the tendency is that the interchanges are made ever more through digital means. Although the databases of different organizations can (and must) be totally built in an independent way, when some elements must be interchanged, the semantic of these elements are at least similar. For example, if two organizations should interchange data on people, it does not care, for the different organizations, if the people are customers, employees, students or patient, the means of what are \"people\" is always understood by each organization. This work states that some fonn of primitive, common definition can exist for the data elements that must be shared, from which many elements of a database schema should be recognized. Thus, it searches for primitive structures that should be used by the several systems with the purpose of integrating them. Besides the definition of such structures, is necessary also to define mies that guarantee the preservation of the properties from the data that follow these structure in different organizations, when an interchange is pursued. To meet these objectives, this work suggests the development of common, generic Schema Components, that could be distributed as part of the Reusable Components Libraries of commercial Rapid Application Development (RAD) tools. As an example of this approach, it is presented one Primitive Component, which defines a generic \"people\" component. This component was extracted from the analysis of two existing systems, and it was structured using only one abstraction: the generalization one. It presents also the set of mies that must be followed to integrate data from two databases that have a subschema based on that abstraction. This sole abstraction was chosen due to be the most universally compatible concept among the present object-oriented data models.

Estamos interessados em estudar um método para encontrar soluções periódicas de equações diferenciais funcionais com retardamento e de equaçõesdiferenças, apresentado por Carvalho. O método é analisado tanto para funções a valores reais como para funções a valores complexos. Aplicações são feitas em ambos os casos, sendo que através do caso complexo analisamos a existência de soluções periódicas de equações diferencias matriciais com retardamento. / We are concerned in studying a method introduced by Carvalho to find periodic solutions of retarded functional differential equations and difference equations. The method is analyzed both for real valued and complex valued functions. Applications are given in either cases; in the complex case we analyze the existence of periodic solutions of retarded matrix differential equations.

O projeto SMmD Sistemas Multimídia Distribuídos investiga a construção de uma estrutura de middleware para dar suporte à implementação de aplicações multimídia interativas em ambientes distribuídos e heterogêneos. Para tanto, devenvolveu-se o Ambiente SMmD, o qual inclui módulos para armazenamento e recuperação de objetos de mídia tais como áudio e vídeo, e também módulos para autoria e intercâmbio de objetos multimídia em conformidade com o padrão ISO MHEG-5. Esta dissertação descreve o trabalho de implementação de um dos módulos do Projeto SMmD, chamado Módulo de Apresentação e Sincronização (MAS). Este módulo foi implementado a partir de outro, chamado Java MBEG-5 Engine (JHEG), cuja função é interpretar e manipular objetos multimídia em conformidade com aquele padrão. Incialmente são apresentados o contexto, a motivação e os objetivos que levaram à execução deste trabalho. A seguir, é feita uma revisão dos conceitos relacionados à apresentação multimídia, enfatizando os aspectos relacionados à sincronização de seus componentes. Em seguida, apresenta-se o padrão MBEG-5 juntamente com outros padrões e recomendações relevantes no contexto deste trabalho. Com o objetivo de contextualizar o trabalho, é apresentada, então, uma visão geral dos módulos que compõem o Ambiente SMmD, seguida de uma descrição do trabalho de pesquisa que resultou na implementação do applet SyncEvent, embrião do Módulo de Apresentação e Sincronização. O Módulo de Apresentação e Sincronização, resultado principal deste trabalho, é então descrito, detalhando-se aspectos de sua arquitetura e de sua implementação. Finalmente, na conclusão, as contribuições deste trabalho são discutidas juntamente com suas limitações e possíveis trabalhos futuros, dentre os quais está a integração do MAS com os outros módulos do Projeto SMmD. / The SMmD Project Distributed Multimedia Systems is under investigation in order to provide midleware infrastructure for multimedia interactive applications in heterogeneous distributed environments. In this context, the SMmD Environment (ASMmD) has been developed, including modules for storage and retrieval of media objects such as audio and video, as well as modules for authoring, storing and delivering multimedia objects according to the MHEG-5 ISO standard. This dissertation describes the work relative to the implementation of the Presentation and Synchronization Module (MAS) of the SMmD Project. This module was built integrated to another module, the Java MHEG-5 Engine (JHEG), that provides the parsing and decoding of multimedia objects conforming to that ISO standard. Initially the context, motivation and objectives are presented, followed by a literature review of concepts relative to multimedia in general and synchronization in particular. Next, the MBEG-5 standard is presented along with other standards and recommendations relevant to the context of this work. In order to proper contextualize the work, an overview of the modules that build up the SMmD Environment is then presented, followed by a description of the investigation and implementation of the SyncEvent Applet, which was the embryo of the Presentation and Synchronization Module. The main result of this work, the Presentation and Synchronization Module (MAS), is introduced both from its architectural and implementation aspects. Finally, in the conclusion, the contributions of the work are discussed along with its limitations and related future work, which includes integrating the MAS with the remaining modules of the SMmD project.

Este trabalho apresenta a definição de um módulo de análise de saídas para o ASiA (Ambiente de Simulação Automático desenvolvido pelo grupo de Sistemas Distribuídos e Programação Concorrente do ICMSC-USP). O objetivo deste módulo de análise de saídas é proporcionar ao usuário do ASIA uma ferramenta para validar os resultados de sua simulação, através do cálculo do intervalo de confiança para a média de uma dada medida de interesse. Os métodos estatísticos adotados são replicações e batch means para variáveis simples e múltiplas. Além destes métodos, considera-se ainda um método para comparação entre sistemas utilizando-se diferenças entre médias. Diversos métodos estatísticos são revisados nesta dissertação, sendo que a escolha dos que compõem o módulo de análise foi efetuada adotando-se diversos critérios. Os métodos escolhidos foram testados (os diversos programas que compõem o módulo são apresentados), exemplificados e discutida sua integração com o ASiA. / This work presents the definition of an output analisys module for ASIA (an Automatic Simulation Environment developed by the Distributed Systems and Concurrent Programming group at the ICMSC-USP). The aim of this output analisys module is to offer to the ASiA\'s user a tool to validate the simulation results, by means of confidence interval evaluation for the average value of a given measure of interest. The statistical methods adopted are the repplication and the batch means analisys for simple and multiple variables. Furthermore, another technique used deal with system comparison by means of the difference between mean values. Several statistical methods are revised in this dissertation and the choice of the ones used for the output analisys module was done by adopting many criteria. The methods chosen were tested (the several programs developed are presented), exemplified and their integration to ASiA is also discussed.

O objetivo deste trabalho é apresentar um algoritmo paralelo que implementa o método do gradiente conjugado com pré condicionamento para resolver equações elípticas de segunda ordem em um domínio retangular. A principal aproximação consiste em substituir as derivadas parciais por diferenças finitas para obter um sistema linear esparso. O domínio é então decomposto de acordo com o número de processadores, e cada um executa o trabalho em um subdomínio específico. A decomposição escolhida minimiza a comunicação entre os processadores, reduzindo substancialmente o tempo de solução. / The aim of this work is to present a parallel algorithm implementing the conjugate gradient method with factorization preconditioning for solving second order elliptic equations in a rectangular domain. The main approach consists of replacing the partia! derivatives with finite differences to obtain a sparse linear system. The domain is then decomposed according to the number of available processors, and each one carnes out its work on a specific subdomain. The chosen decomposition minimizes the communication traffic between the processors, substantially reducing the solution time.

Apresentamos nesta dissertação, uma análise do modelo algébrico para o código genético proposto por Homos e Homos, o qual procura explicar as degenerescências do código genético como o resultado de uma seqüência de quebras de simetrias que tenha ocorrido durante a evolução. Fizemos uma procura sistematizada por possíveis simetrias no código genético, através de uma análise minuciosa de todas as álgebras de Lie simples que possuem uma representação irredutível de dimensão 64 e de todas as suas cadeias de subálgebras maximais. Os resultados confirmam e sistematizam as conclusões de Homos e Homos e Forger et all. / We introduce in this dissertation an analysis of the algebraic approach to the genetic code proposed by Homos and Homos, which aims at explaining the degeneracies in the genetic code as the result of a sequence of symmetry breakings that have occurred during the evolution. We malcing a systematic search for symmetries possible in the genetic code, through a detailed analysis of the ali simple Lie algebras that possess an irreducible representation of 64 dimension and of every possible chains of maximal subalgebras. The results confirm and systematize the Homos and Homos and Forger et ali conclusion.