Neste trabalho propomos algumas soluções para problemas de seleção e controle introduzidos por Marsh e Zellner (1994). Estudamos soluções ótimas obtidas através de diferentes funções de perda e comparamos tais soluções com a chamada \"solução do diretor\". Além disso, enfocamos os problemas de controle de uma forma distinta da proposta em Marsh e Zellner, utilizando o conceito de densidade preditiva. Introduzimos o modelo de regressão logística em problemas de seleção e controle com heterogeneidade, obtendo soluções via Inferência Clássica e Inferência Bayesiana Assintótica. Analisamos um conjunto de dados simulados a fim de exemplificar o emprego do modelo de regressão logística em tais problemas. Baseando-nos em Geisser (1982), utilizamos funções de perda e densidade preditiva para obter soluções ótimas para problemas de seleção e controle. Procedemos a uma análise para verificar qual o impacto da função de perda na escolha dos parâmetros da distribuição a priori de O: probabilidade dos indivíduos aceitarem uma oferta para um curso a ser realizado. Na tentativa de solucionar problemas de captura-recaptura através de problemas de controle investigamos um estimador bastante conhecido, o estimador de Petersen (1896) e, através da Inferência Bayesiana, propomos um ajuste para o mesmo, similar às correções de Bartlett (1937). Através de um exemplo com dados simulados é possível verificar que o ajuste melhora sensivelmente as estimativas do tamanho de uma população animal. / In this work we propose some solutions to the problems of selection and control introduced by Marsh and Zellner (1994). Optimal solutions are obtained under different loss functions and compared with the Dean\'s solution. We also consider the control problems from the predictive density point of view which is quite different from Marsh and Zellner\'s approach. The logistic regression model is used to solve the selection and control problems with heterogeneity by Classical and Bayesian procedures. We also generate a set of data to illustrate the performance of our proposed procedures. Geisser\'s predictive approach is used, under different loss functions, to get optimal solutions to the selection and control problems and the influence of these loss functions on the choice of the parameters of the prior distributions is considered. The capture-recapture procedure, when solving as a control problem, the optimal Bayes solution is the well-known Petersen\'s estimator multiplied by an adjusted factor similar to the Bartlett\'s correction. An example with simulated data shows how much this adjusted factor improves the estimatives of the population size.

Neste trabalho é apresentado um ambiente integrado para o auxílio à paralelização de aplicações escritas na linguagem Fortran. O sistema foi desenvolvido com o objetivo de sanar uma necessidade de melhores ferramentas para programação paralela, conforme identificado na revisão bibliográfica apresentada. Diversas técnicas de Engenharia de Software são utilizadas neste trabalho. A análise do sistema é apresentada, e são discutidos os seus objetivos e a descrição das suas características principais. O projeto do sistema e o modelo de geração do código paralelo são descritos. E feita uma análise dos algoritmos envolvidos na sua implementação. Também são apresentados exemplos de utilização do sistema e os resultados obtidos são avaliados. Finalmente, podem ser encontradas diversas sugestões de novos projetos, importantes para a continuidade do trabalho até aqui desenvolvido. / This thesis presents an integrated environment to help with the parallelization of serial Fortran applications. This is an effort to provide improved tools for parallel programming, a need emphasized by the review of the bibliography presented. Software Engineering principles are extensively used in this work. The system definition is based on a deep analysis of its goals, requirements and applications. The software project and the algorithms used for parallel code generation are discussed. Some results obtained from case studies are presented and analysed. Finally, several new research projects are proposed aiming at the continuity of this work.

O objetivo deste trabalho é fornecer um resumo introdutório auto-consistente â Teoria dos Grupos Quânticos. Para realizar esta tarefa, as Álgebras de Lie e Álgebras de Hopf são estudadas num passo intermediário. Nossa discussão tem como meta final classificar as representações do análogo quântico da álgebra universal envolvente da álgebra de Lie s[(2). / This work aims at giving a self-contained and introductory review of the Theory of Quantum Groups. To accomplish this goal, Lie Algebras and Hopf Algebras are also discussed at an intermediate step. We focus at providing a study leading to the classification for the representations of the quantum analogue of the universal enveloping algebra of the s[(2) Lie algebra.

Estamos interessados no estudo da equação x(t) + (a + b)x(t) + abx(t) = -f(x(t- 1)) . Nós enunciamos condições suficientes para bifurcações de Hopf e motivados por [04], obtemos argumentos alternativos para a prova de um teorema de existência de soluções periódicas. / We are concerned with the equation x(t) + (a + b)x(t) + abx(t) = -f(x(t- 1)). We estate sufficient conditions for Hopf bifurcations and motivated by [04], we obtain alternative arguments for a proof of an existence theorem for periodic solutions.

Esta dissertação apresenta uma discussão de diversos algoritmos paralelos para ordenação encontrados na literatura. Os algoritmos são analisados visando selecionar os mais adequados para a implementação em sistemas distribuídos. O algoritmo base utilizado foi o Quicksort Paralelo, que foi implementado em uma rede de SUNs utilizando a plataforma de programação PVM (Parallel Virtual Machine). Os resultados obtidos foram analisados e alterações visando adequar os algoritmos ao sistema utilizado (máquinas heterogêneas, granularidade grossa) foram propostas. Dentre as modificações propostas cabe ressaltar: a divisão não uniforme dos vetores a serem ordenados com o intuito de obter melhor balanceamento de carga; a divisão de vetores utilizando-se pivôs para que as listas geradas em paralelo não necessitem de intercalação; e a liberação do processador mestre, evitando que este seja sobrecarregado com a ordenação de uma lista. Os resultados obtidos com as modificações são analisados. / This dissertation discusses several parallel sorting algorithms available in the open literature. These algorithms are analyzed aiming to select the more adequate ones for implementation on distributed computing systems. The base algorithm used is the Parallel Quicksort, which was implemented in a network of SUN machines using the PVM (Parallel Virtual Machine) programming library. The results obtained were analyzed and some basic alterations were proposed in order to adequate the algorithms to the system adopted (heterogeneous machines and coarse granularity). Among the modifications proposed some need to be emphasized: non uniforrn division of the vectors to be sorted, attempting to reach a better load balancing; division of the vectors using pivots ensuring that the lists generated in parallel do not need to be merged; and the liberation of the master processor, to avoid its overloading due to the sorting of a list. The results obtained with these modifications are analyzed.

Este trabalho apresenta o GASC (Gerador de Aplicação para Sistemas Concorrentes) constituído de uma linguagem de especificação, um analisador estruturural e semântico, e um gerador de código. A linguagem do GASC é baseada em características de outras linguagens de programação e de especificação formal. O objetivo do GASC é oferecer uma ferramenta de fácil utilização para especificação de sistemas concorrentes, juntamente com a validação da especificação e a geração automática de código na linguagem de programação OCCAM. Os conceitos envolvidos com processamento paralelo, especificações formais e geradores de aplicações são apresentados e discutidos com o objetivo de se formar uma base para o desenvolvimento do trabalho. Exemplos de todas as fases, desde a representação do problema até a geração do código, são apresentados. / This work presents the GASC system (Application Generator for Concurrent Systems) composed of a specification language, a structural and semantic analyser and a code generator. The language of GASC is based on characteristics of other programming and formal specification languages. The main objective of GASC is to offer an easy-to-use tool for concurrent system specification, together with the validation of the specification and automatic code generation for the OCCAM programming language. The concepts involved with parallel processing, formal specifications and application generators are presented and discussed, aiming to build the required background for the development of the work. Examples of ali the steps are presented, covering from the representation of the problem to the code generation.

Esta dissertação apresenta a evolução do framework orientado a objetos GREN, realizada usando a abordagem de Programação Orientada a Aspectos. Nessa evolução foram considerados apenas requisitos não-funcionais que não haviam sido implementados nas versões originais do GREN, mais especificamente os requisitos de segurança (autenticação, registro de acesso e controle de acesso). A implementação desses requisitos deu origem a um Subsistema de Segurança orientado a aspectos, que permite a autenticação, registro de acesso e controle de acesso de usuários sobre as aplicações instanciadas a partir do GREN. Também é apresentada a evolução da ferramenta para instanciação automática do GREN, o GREN-Wizard, para torná-la compatível com a nova versão do GREN. Para a evolução do GREN foi seguido um processo de evolução de frameworks proposto na literatura que sofreu influência deste trabalho em seu refinamento. Uma avaliação sucinta dos resultados obtidos é também apresentada. / This dissertation presents an evolution of an object-oriented framework called GREN that was done using an Aspect Oriented Approach. In this evolution, only non functional requirements were considered, more specifically the general requirements of security (authentication, access log and access control). An aspect-oriented Security Subsystem was origineted from the implementation of these requirements. The Security Subsystem allows authentication, log and access control of system\'s users for the applications instantiated using GREN. The evolution of the GREN-Wizard, a tool to automatically instantiate GREN applications, is also presented, making it compatible with the new version of GREN. A process proposed in the literature for frameworks evolution was followed in this evolution of GREN. This use has contributed to the refinement of that process. A brief evaluation of the results obtained is also presented.

Uma grande quantidade e variedade de artefatos é gerada durante o processo de desenvolvimento de um software. A documentação por meio dos diversos artefatos de tal processo é importante para proporcionar um bom conhecimento do software, além de tornar menos complicada a sua manutenção e reuso. Tais documentos, em geral, não registram informações adicionais relativas às alternativas, escolhas e decisões - Design Rationale (DR) - feitas durante a elaboração de cada artefato. O\" armazenamento e recuperação de DR dos artefatos de software tornaria mais simples a sua manutenção e facilitaria seu reuso, já que possibilita que o software torne-se mais completo de informações. O presente trabalho apresenta a ferramenta DocRationale que captura, armazena e recupera DR de artefatos de software. A DocRationale enfatiza a colaboração entre os desenvolvedores e a anotação estruturada por meio de uma simplificação de um modelo de representação de DR. / During the software development process a large number of different artefacts is generated. Documentation is an essential activity, since it promotes a better software understanding and eases its maintenance and reuse. In general, the documents do not record additional information related to the alternative options, choices and decisions - in order words the Design Rationale (DR) - evaluated during the design of an artefact. The storage and retrieval of DR software artefacts would further improve its maintenance and reuse potential since the software would be easier to understand. This work presents a tool - DocRationale - to capture, store and retrieve design rationale of software artefacts. This tool promotes collaboration between software developers and uses structured annotation to simplify the DR conceptual model.

Segmentação de imagens é um dos problemas mais investigados na área de computação visual. A complexidade desse problema varia de acordo com o tipo de aplicação. Em geral, o objetivo é dividir a imagem em regiões que apresentem propriedades similares. No presente trabalho, métodos auto-organizáveis para classificação não supervisionada e agrupamento de padrões são utilizados em tarefas de segmentação. O primeiro modelo refere-se à rede neural Fuzzy ART e o segundo é o Modelo de Misturas ICA (ICAMM) que faz uso da técnica ICA (Análise de Componentes Independentes) para descrever os dados em cada classe. Além da avaliação de desempenho dos modelos auto-organizáveis utilizados, foram propostas melhorias nos resultados de segmentação por meio da incorporação de técnicas de préprocessamento de imagens, que sejam capazes de tratar questões referentes à presença de ruídos, suavização de imagens e realce de bordas, de modo que as imagens se tornem mais adequadas ao processo de segmentação, tornando-o mais eficiente. Com esse objetivo, foi proposta uma metodologia para pré-processamento de imagens, que combina o método Sparse Code Shrinkage, para redução de ruídos e suavização da imagem, e o detector de bordas de Sobel, que tem a função de restaurar as bordas que foram borradas pelo processo de suavização. Outra contribuição original deste trabalho refere-se ao desenvolvimento do método EICAMM, que surgiu por meio da proposta de melhorias incorporadas ao modelo ICAMM, levando em consideração algumas limitações do método original e análises de como este poderia se tornar mais eficiente. Finalmente, unificando as duas principais contribuições originais desta tese, o método EICAMM foi utilizado na segmentação de imagens nas suas versões originais e pré-processadas pela metodologia proposta neste trabalho, tendo apresentado resultados de segmentação satisfatórios. / Image segmentation is one of rnost investigated problems in computer vision. Its complexity can vary according to the kind of application. In general, the goal is to divide an image into regions with similar properties. In tliis work, self-organizing methods for unsupervised classification and clustering are applied in image segmentation tasks. The first self-organizing model is the Fuzzy ART neural network and the other one is the ICA Mixture Model (ICAMM), which uses ICA method to desenhe data in each class. Beside the performance evaluation regarding the considered methods, some improvements on the segmentation results obtained by these techniques were proposed by incorporating some image preprocessing methods. Sueli methods were able to handle some questions regarding to presence of noise, image smoothing and edge enhancement, in a way that makes an image more suited to be processed by an image segmentation technique, which can become more efficient. Aiming this, a preprocessing methodology was proposed in this work that combines Sparse Code Shrinkage method for image denoise to the Sobel Edge Detector, which is applied to recover edges that were blurred by an excessive smoothing. Another original contribution of this work refers to the development of EICAMM, which was built by proposing some modifications on ICAMM, considering some limitations on the original method and analysis on liow it should be modified to become more efficient. Finally, unifying the two main contributions of this thesis, the EICAMM method was applied for segmenting some images in these original and preprocessed versions, obtained by the proposed preprocessing methodology. Such systern lias showed satisfactory image segmentation results.

A Recuperação de Informação por Similaridade (RIS) é um processo complexo que normalmente envolve bancos de dados volumosos e objetos em altas dimensões. Dois grupos do técnicas são amplamente utilizados para esse fim, Mapas Auto-Organizáveis (SOM Sdf-()rganizin(j Maps) e Métodos de Acesso (MA). Os dois grupos do técnicas apresentam limitações. A maioria dos SOM, especialmente os modelos derivados do mapa de Kohonen, utilizam quase que exclusivamente o processamento sequencial para encontrar a unidade vencedora. Por outro lado, tanto os Métodos de Acesso Espacial (MAE) quanto os Métodos de Acesso Métrico (MAM) não aproveitam o conhecimento gerado por consultas anteriores. (0111 o objetivo de resolver esses problemas, duas novas técnicas são propostas nesta tese. A primeira técnica está baseada em SOM e a segunda em MAE e MAM. Em primeiro lugar, para melhorar o desempenho de sistemas baseados em SOM, propoe-se a incorporação de MAE e MAM durante o treinamento, gerando-se as famílias denominadas SAM-SOM o MAM-SOM. Eni segundo lugar, os MAE e MAM foram aprimorados através da criação do módulo denominado PMAM, que é capaz de aproveitar o conhecimento gerado pelas consultas anteriores. A combinação do módulo PMAM com MAE e MAM deu origem às famílias MAE e MAM+. respectivamente. Como resultado deste trabalho ressalta-se que, tanto a família SAM-SOM quanto a MAM-SOM proporcionam uma melhora considerável em relação aos modelos de SOM tradicionais, os quais normalmente precisam de muito tempo de treinamento. Por outro lado. as famílias MAE+ e MAM+ têm a capacidade de reduzir, gradualmente. o número de operações necessárias para realizar uma consulta. Isto é possível porque o módulo PMAM permite reaproveitar o conhecimento gerado pelas consultas anteriores. / largo and complex Data Bases. Two groups of techniques are widely used for it, Self-Organizing Maps (SOM) and - Spatial Access Methods (SAM) and Metric Access Mothods (MAM). Howovor. l)oth groups of techniques present iniportant drawbacks. Most of SOM make intensivo use1 of sequential comparison to find winner units. On the other hand, Access Mothods do not take advantage of knowledge generated by previous queries. In order lo overeome t liese problenis. two novel techniques are proposed to improve the SIH process. The lirst technique is based 011 SOM and the second one 011 SAM and MAM. Firstly. SOM was used jointly with SAM and MAM in order to improve SOM based svstenis. produoing two now families of techniques narned SAMSOM and MAMSOM rospoet i volv. Seoondlv. SAM and MAM themselves were improved by the creation of PMAM, a phig-111 modulo whieh is iiseful to take advantage of knowledge acquired by previous queries 111 order lo speed up following queries. The coinbination of PMAM jointly with SAM and MAM produced MAE+ and MAM+ families of Access Methods. As the niaiii result. SAM-SOM and MAM-SOM families outperform considerably traditional SOM based systems which norrnally need a long time for training. Aditionally. MAE+ and MAM+ families are capable of reducing gradually the nuniber of operations needed to answer a query, as new queries are introduced. This is possible because PMAM allows thern to take advantage of knowledge generated by sucessivo queries.