Esta dissertação visa analisar os construtores de Modelos de Dados Orientado a Objetos, para verificar sua usuabilidade nas situações de utilização real em projetos de aplicações centradas em Bases de Dados. O trabalho aqui apresentado se finidamenta no modelo SlRIUS, um Modelo de Dados Orientado a Objetos, baseado em Abstrações de Dados. O desenvolvimento de SlRIUS utiliza como ponto de partida um metamodelo que permite representar, de maneira uniforme, os elementos essenciais de qualquer modelo de dados orientado a objetos. Seu desenvolvimento teve como objetivo atender às necessidades de suporte à construção de software para ambientes de projetos de engenharia. A representação gráfica dos elementos construtivos de um modelo de dados é um dos principais recursos que permitem registrar o conhecimento representado por uma modelagem. Para que um usuário possa elaborar e/ou utilizar uma modelagem, é necessário que essa representação gráfica seja clara, limpa, concisa e efetiva. Por outro lado, deve permitir que os conceitos de modelagem do modelo em si também sejam claramente expressos. Logo, para que este modelo possa ser uma ferramenta adequada para ser utilizada por projetistas, analistas e programadores de gerenciadores de Bases de Dados, é necessário que a notação diagramática do modelo priorize a intuitividade e a clareza, e não só o compromisso com a teoria que embasa o modelo. Para atender estas necessidades, este documento mostra uma nova representação, mais voltada para a modelagem de situações do mundo real, de fundamental importância para que um modelo possa ser aceito e realmente utilizado, e com isso incrementar sua utilidade prática. Conseqüentemente, alguns pontos do modelo foram validados e outros reformulados, acrescentando-se aspectos que não foram cobertos no modelo original. O texto apresenta também o editor E2SIRIUS, criado com o objetivo de servir tanto para edição de esquemas quanto para auxiliar no treinamento de projetistas nos conceitos do modelo. / The work described herein consists ofanalyzing Object-Oriented Data Model constructors to verify their usability in real use situations for DataBase centered application projects. The work presented here is based on the SERIUS model, ar\' Object-Oriented Data Model that is based on Data Abstractions. The development of SIRIUS uses, as a starting point, a metamodel that permits the uniform representation of the essential elements of any object-oriented data model. Its development aimed to fulfill the need for support for the construction of software for engineering project environments. The graphic representation of a data model\'s construction elements is one of the main resources that permit the recording of knowledge represented through modeling. To enable the user to prepare and/or use a modeling, this graphic representation must be clear, clean, concise and effective. On the other hand, it must also allow for the model\'s modeling concepts themselves to be clearly expressed. Thus, for this model to constitute ar\' adequate tool for use by Data Base management designers and programmers, it is necessary that the model\'s diagrammatic notation prioritize intuitiveness and clarity, rather than just its commitment to the theory on which the model is based. To meet these needs, this document presents a new representation that focuses more strongly on the modeling of real world situations, a fimdamentally important factor for a model to really become accepted and used, thus increasing its practical usefulness. Some of the model\'s points have, therefore, been reformulated with the addition of aspects that had not been covered in the original model. This paper also presents the ESIRIUS editor, which was created to serve both for scheme editing and as a designer training aid of the model\'s concepts.

Neste trabalho apresentamos relações entre os grupos de Witt dos espaços bilineares sobre um domínio de Dedekind, dos espaços bilineares sobre seu corpo de frações e dos espaços bilineares definidos em módulos de torção sobre um domínio de Dedekind. Como aplicação destas relações, determinamos o grupo de Witt dos espaços bilineares sobre o anel dos números inteiros. / In this work we present some relations among the Witt groups of bilinear spaces over Dedekind domain, of bilinear spaces over your quotient field and of bilinear spaces on torsion modules over a Dedekind domain. As one aplication of this relations, we stablish the Witt group of bilinear spaces over the integer numbers.

Este trabalho aborda o problema de sincronização entre processos em uma simulação distribuída orientada a eventos. Dentre os mecanismos voltados à sincronização entre processos, propostos na literatura, optou-se pela abordagem otimista Time Warp. O trabalho enfoca a dificuldade de processamento que um modelo de um sistema real resolvido por simulação seqüencial pode vir a apresentar. Com o intuito de minimizar o tempo de execução de uma simulação seqüencial, vem-se adotando a simulação distribuída. No entanto, a utilização desta técnica introduz outros problemas, entre eles, o problema de sincronismo entre processos. Um sistema que descreve o funcionamento do mecanismo Time Warp é desenvolvido. Esse sistema, chamado STW, incorpora alguns algoritmos que otimizam a utilização do mecanismo Time Warp. As otimizações introduzidas no sistema são a estratégia de cancelamento agressivo e o cancelamento preguiçoso. Uma biblioteca destinada à construção de modelos de sistemas de filas, denominada SimTW, é implementada e utilizada no estudo de caso. O modelo utilizado pelo estudo de caso é o STW. Os resultados obtidos com a simulação desse modelo indicam uma análise comportamental das otimizações introduzidas no sistema STW. / This dissertation focuses on the interprocess synchronization problem in distributed discrete-event simulation. The literature presents several approaches for interprocess synchronization and in this work the Time Warp optimistic approach is adopted. The work discusses the processing power demand presented by sequential simulation. In order to minimize running time of sequential simulation, distributed simulation has been adopted. Howewr, the utilization of these techniques introduces some other questions, such as, the interprocess synchronization problems. A system that implements the Time Warp approach is developed. This system, named STW, aggregates some algorithms that optimize the use of the Time Warp approach. Some oprimizations are introduced in the system, including: Lazy and Aggressive Cancellation Strategies. A library which the aims of providing the ways for building models of queuing systems (SimTW) is implemented and used in a case study. The model used to validate the case study represents the STW. The results obtained through the model simulation show a behavioral analysis of the optimizations introduced into the STW.

A área de computação oferece uma variedade de técnicas e ferramentas com o objetivo de auxiliar na resolução de problemas de diversas áreas de aplicação. O sucesso de um projeto depende muitas vezes da escolha correta dessas ferramentas e das técnicas que serão utilizadas durante as fases do desenvolvimento. Além disso, é importante conhecer previamente as expectativas do usuário e qual seu grau de familiarização com o uso de sistemas informatizados. Esta dissertação de mestrado aborda a utilização de diferentes técnicas e ferramentas de programação na solução de um problema especifico o acasalamento de canários de cor. O trabalho apresenta um levantamento detalhado da evolução dos canários, da sua descoberta até a última mutação registrada envolvendo os genes responsáveis pela cor da plumagem. Para uma melhor compreensão do assunto, é apresentada uma pequena revisão sobre genética e sobre o conhecimento de especialistas da área de canaricultura de cor. Para solucionar o problema, são considerados neste trabalho a utilização de diferentes métodos de desenvolvimento propostos por duas grandes áreas: a Engenharia de Software e a Inteligência Artificial. As técnicas estudadas são implementadas, integrando um Sistema Baseado em Conhecimento e a programação convencional num único sistema. O resultado obtido demonstra que pode-se obter uma solução mais adequada ao problema quando diferentes métodos são combinados. / The computing area offers a variety of techniques and tools with the objective of helping the resolution of problems from several applications areas. The success of a design depends many times on the correct choice of these tools and techniques which will be used during the phases of development. Moreover, it is important to Icnow previously the expectation of the user and how is his degree of familiarization with the use of information systems. This MSc dissertation approaches the use of different techniques and programming tools in the solution of a specific problem - the colored canaries breeding. The work presents a detailed survey of the evolution of the canaries, since its discovery until the last registered mutation involving the responsible genes for the colour of the plumage. For better understanding, the dissertation presents a short revision about genetics and specialists icnowledge about coloured canaries. To solve the problem, this work considers the use of different methods of development from two wide areas: Software Engineering and Artificial Intelligence. The studied techniques are implemented, integrating Knowledge Based System and conventional programming in the same system. The final results demonstrate that a better solution for a given problem can be achieved by combining different methods.

Neste trabalho obtemos a classificação dos multigermes simples de C2 em C3 bem como resultados sobre sua topologia. Para estes multigermes mostramos que o complementar do conjunto de bifurcação é um espaço de Eilenberg-MacLane. Para alguns multigermes de Cn em Cp de codimensão 1 e coposto 1, mostramos que sua forma real admite uma perturbação real cujo discriminante tem o mesmo tipo de homotopia que seu correspondente complexo. / In this work we obtain the classification of simple multigerms of maps from 2-space to 3-space and also some results about their topology. For some codimension 1 and corank 1 multigerms from Cn to Cp we show that we can find a real form and a real perturbation such that the inclusion of the real discriminant in that of the complexification induces an isomorphism on the vanishing homology.

O processo de desenvolvimento de software consiste em um complexo interrelacionamento de recursos com o objetivo de produzir e manter um software em operação. O emprego de tais recursos, se gerenciados adequadamente, pode permitir que a produção de software seja feita dentro de prazos e orçamentos estabelecidos, além de influenciar na qualidade final do produto. Para tanto, mais que planejar o desenvolvimento, é necessário acompanhar e avaliar a evolução do mesmo a cada momento do desenvolvimento. Mudanças de estado entre o início e o fim do processo de desenvolvimento exigem uma avaliação que considere os ciclos de retroalimentação. A modelagem de processos dinâmicos permite que a avaliação seja feita visualizando-se os elementos do sistema e seus relacionamentos. A simulação do comportamento do sistema é feita com base em relações matemáticas, permitindo a visualização do consumo de recursos no decorrer do tempo. Este trabalho apresenta uma ferramenta de apoio à modelagem de sistemas dinâmicos que permite simular o comportamento do modelo, apresentando os resultados obtidos em tabelas e gerando gráficos que representam as tendências do modelo criado. Uma atividade gerencial do projeto de software é modelada e simulada para exemplificar a utilização da ferramenta e outro modelo é apresentado, mostrando a possibilidade de aplicação da ferramenta em outras áreas. / The software process is a complex conglomerate of resources to develop and keep a software in use. Use of these resources, if adequately managed, may allow software production according to the schedule and budget planed, as well as influence the final product quality. To obtain this, besides development planning, it is needed to control and evaluate continuously the development process. Changes of state between the start and end of the development process requires an evaluation based on feedback cycles. The modelling of dynamic processes allow that they be evaluated visualising the system\'s components and their relationships. Simulation of system behaviour is performed based on mathematical relationships that allow resource consumption visualisation based on time. This work presents a tool to support modelling of dynamic systems and allows the model\'s simulation. It presents the results in tables and generates graphics representing the model\'s behaviour and its trends. A software project management task is presented and simulated to show the tool\'s use and another model is presented showing the application of system dynamics in other areas.

Um ambiente para provimento de dados multimídia sobre uma rede de computadores, apresenta vários limitantes, sendo o principal deles, a taxa de transmissão de dados na entrega de vídeo. Para contornar os problemas oriundos da precariedade dos protocolos TCP/IP e Ethernet para a transmissão de mídia contínua, nota-se o aparecimento de várias tecnologias que possibilitam o uso de um sistema de armazenamento remoto de vídeo e sua apresentação local com razoável qualidade sem a utilização de sincronismo durante o processo, através de técnicas de streaming de vídeo. Este trabalho procura avaliar como podem ser balanceados o desempenho do servidor com o desempenho das tecnologias de rede disponíveis no mercado (Ethernet, Switched-Ethernet, Fast Ethernet e FDDI) e a distribuição e apresentação de vídeos utilizando técnicas de downloading e streaming, de modo que o usuário possa ter uma idéia de como especificar seu ambiente à partir de um determinado perfil de aplicação. Os testes realizados através das aplicações desenvolvidas mostram que é perfeitamente possível a implementação de sistema de distribuição de vídeo via tecnologias padrão de rede utilizadas correntemente. A utilização das técnicas de downloading de vídeo, torna-se inviável para a distribuição de grandes arquivos ou em ambientes onde a quantidade de usuários é grande, devido ao tempo de transmissão do arquivo as estações. O trabalho quantifica estas observações e abre caminho para que avaliações mais finas de performance possam ser feitas. / Environments providing infrastructure for distribution of multimedia over computer networks have various limitations. One of the main problems is the video delivery. The tests made in this project have shown that it is possible to implement a video distribution system using standard network technologies. To avoid the problems which arise from the unsuitability of TCP/IP and Ethernet protocols for continuous media transmission, various technologies have been created. With these technologies, it is possible to store and provide video for remote access with reasonable quality without synchronization control during this process, using streaming video techniques. The use of video downloading techniques is not appropriated when we are dealing with large files or in a heavily loaded network due to transmission delays. This work evaluates how to balance the performance of the server in relation to the performance of the network technologies commercially available (Ethernet, Switched-Ethernet, Fast Ethernet and FDDI). It also evaluates the video distribution and presentation using downloading and streaming techniques. The results will help users to specify their network environments for specific types of applications. The work quantifies these observations and opens perspectives to do more focused evaluations of performance.

A proposta deste trabalho é o desenvolvimento de um Gerador de Códigos baseado em Statechart integrado ao ambiente gráfico StatSim, desenvolvido pelo grupo de Engenharia de Software do ICMC-USP. Para isso, estudos sobre ferramentas e ambientes de sistemas baseados em Statecharts foram realizados. Durante o desenvolvimento do projeto, a partir da análise dos métodos existentes, foram desenvolvidos dois protótipos de código a serem gerado pela ferramenta pretendida, com o intuito de avaliar o algoritmo a ser empregado. Um protótipo foi implementado em Occarn e o outro em C++. Paralelamente foi desenvolvida uma ferramenta gráfica denominada HySChart (Hyperdocument System Based on stateCharts) para apoio ao modelo HMBS (Hypertext Model Based on Statechart), e validação de hiperdocumentos. Com base nesse ambiente, foi desenvolvido um gerador de código que transforma o hiperdocumento criado pelo HySChart em um hiperdocumento em HTML, que pode ser navegado com auxilio de um navegador HTML qualquer. Duas implementações foram feitas para esse gerador: uma que preserva a semântica de navegação do HMBS e outra que não preserva. / The proposal of this dissertation is the development of a Code Generator based on Statechart and integrated to the tool StatSim, developed by the Software Engineering group of the ICMC-USP with this aim, tools and environments that support statecharts were reviewed. During the development this project, starting from the analysis of the existent methods, two prototypes of code to be generated by the intended tool, aiming at evaluating the algorithm to be used. The two prototypes were implemented one in Occam and the another in C++. Simultaneously a denominated graphic tool called HySCharts (Hyperdocument System Based on stateCharts) was developed to HMBS (Hypertext Model Based on Statechart). Based on this environment, a a code generator was developed that transforms the hiperdocument created with HySCharts in a HTML document, that can be browsed by any HTML browser. Two implementations were done: one that preserves the browsing semantics of HMBS and another that doesn\'t preserve.

Este trabalho aborda a utilização da técnica de mapeamento por cores no contexto da Visualização Científica. É apresentada uma revisão bibliográfica sobre percepção visual de cores e um estudo de abordagens que buscam apoiar o usuário no processo de geração de visualizações. A abordagem de visualização baseada em regras, que prevê a utilização de regras heurísticas que embutem conhecimentos sobre percepção visual de cores e informações relativas aos dados e aos objetivos do usuário ao gerar a visualização, é discutida. Nessa abordagem, as regras restringem o conjunto de mapeamentos gerados para uma visualização, de forma a garantir resultados mais efetivos, sendo que essa abordagem foi implementada na forma de um módulo de apoio à geração de tabelas de cores. Esse módulo restringe o número de cores que podem compor uma tabela e o comportamento das mesmas ao longo da tabela, a partir das informações obtidas sobre a freqüência espacial, a natureza dos dados, e a tarefa de visualização, segundo uma taxonomia baseada em conhecimentos sobre percepção visual de cores proposta na literatura. Alguns resultados obtidos com a aplicação das diferentes tabelas de cores geradas pelo módulo são apresentados. / This work is concerned with the application of color mapping in the context of Scientific Visualization. It contains a study of color perception issues and a review of the visualization design process and of approaches discussed in the literature for supporting the users in the task of generating effective visualizations. The rule-based visualization approach, that relies on visual perception and information about the nature of the dataset and the user goals when generating visualizations is discussed. The mies restrict the set of attribute mappings available for a particular visualization to ensure the generation of effective visualizations. In this work, this approach was implemented for the particular case of the color mapping technique, in the form of a module to support the generation of color lookup tables. It restricts the set of colors in a table and their behavior according to information obtained about the data frequency distribution, data type and visualization task, according to a taxonomy based on color perception proposed in the literature.

Neste trabalho apresentamos uma análise Bayesiana para modelos de sobrevivência e de contagem com pontos de mudança, assumindo diferentes densidades a priori e métodos computacionais para obter as inferências a posteriori de interesse. Em particular, destacamos o método de Laplace e métodos de simulação de Monte Cano em cadeias de Markov. Além disso introduzimos um critério de seleção de modelos Bayesiano. Ilustramos a metodologia proposta em alguns exemplos numéricos. / In this work we present a Bayesian analysis for survival and counting models with change-points, assuming different prior densities and computational methods to obtain the posterior summaries of interest. In special, we consider Laplace\'s method and Monte Cano Markov chain methods. We also introduce some Bayesian criteria to discriminate the proposed models. We illustrate the proposed methodology with some numerical examples.