Nesta dissertação de mesûado, exploramos os modelos estatísticos de confiabilidade de softrvare que utilizam os processos de Poisson homogêneo e não homogêneo para modelagem dos dados de falhas. Para modelar os instantes de falhas, escolhemos a classe de modelos de estatísticas de ordem proposta por Yang (1994). Propomos uma extensão desses modelos, considerando a distribuição gaussiana inversa, para modelar a função de valor médio dos processos de Poisson não homogêneo. Os métodos considerados para fazet inferências pam os parâmetros de interesse são os métodos Bayesianos. Exploramos, ainda, o uso de algorinnos de Metropolis com etapas Gibbs para desenvolver a inferência Bayesiana. Tendo em vista a verificação das suposições dos modelos de estatísticas de ordem, desenvolvemos e incorporamos algumas técnicas Bayesianas de diagnóstico. Baseamos a seleção de modelos nos valores de predição ordenados. A metodologia desenvolvida neste trabalho é exemplificada com conjuntos de dados introduzidos por Jelinski e Moranda (1972) e Goel (1985). / In this dissertation, we explore software reliabilþ models based on homogeneous and nonhomogeneous Poisson process to model softrvare failure data. To model the epochs of the software failures, we choose the family of order statistics models introduced by yang (1994). we propose some generalization of these models considering the Gaussian inverse distribution, to model the mean value function of the nonhomogeneous Poisson process. The proposed methods to get inferences on the pararneters of interest are given by the Bayesian approach. V/e also explore the use of Metropolis-with-Gibbs algorithms to obtain the posterior summaries of interest. To veriff the adequability of the proposed models, we develop some diagnostic Bayesian methods. We choose the best model, based on the values of ordinated predictives. The methodolory presented in this work is illusfiated with the data sets introduced by Jelinski and Moranda (1972) andGoel (19g5).

Este trabalho apresenta um método numérico para resolver escoamentos axisimétricos não-Newtonianos com superfícies livres. A metodologia empregada é uma extensão do código bidimensional GENSMAC para problemas axisimétricos. O código GENSMAC é uma técnica numérica que utiliza o método das particulas marcadoras ( \"marker-and-cell\" ) para simular escoamentos incompressíveis transientes. As equações governantes são resolvidas usando o método de diferenças finitas numa malha diferenciada ( \"staggered grid\" ). O fluido é representado por partículas marcadoras, as quais permitem a localização e visualização da superfície livre do fluido. Vários exemplos que demonstram a aplicação dessa nova técnica são apresentados. Em particular, a simulação de enchimento de moldes, do \"die-swell\" e do \"splashing drop\" são apresentados. / This work presents a numerical method for solving axisymmetric non-Newtonian flows. The methodology is an extension of the two-dimensional GENSMAC code to axisymmetric flows. GENSMAC is a marker-and-cell technique for investigating the dynamics of an incompressible fluid. It solves the governing equations using the finite difference method on a staggered grid. The fluid is represented by marker particles which provide the location and visualization of the free surface. Various results demonstrating the applicability of this new technique is presented. In particular, the simulation of die-swell, container filling and the splashing drop is given.

Nesta dissertação de mestrado, apresentamos uma abordagem clássica e Bayesiana para o modelo de Captura-Recaptura proposto por Nayak (1988) para obter informação sobre o número de falhas, N, em um sistema de confiabitidade. A probabilidade de corrigir um elro, p, é assumida ser conhecida e desconhecida. Mostramos que o e.m.v. de N depende não somente das freqüências dos erros detectados, como também dos tempos entre falhas. A \'sensibilidade\' da distribuição a posteriori de N com respeito a p e a influência dos tempos entre falhas, são considerados através da distância da variação total e divergência de Kullback-Leibler. Também mostramos que a correção por recaptura é uma condição necessária para a existência da distribuição a posteriori de N quando utilizamos uma priori imprópria. / In this dissertation we describe a likelihood and Bayes approaches for the recapture debugging design proposed by Nayak (1988) to get information about the number of faults, N, in a reliability system. It is considered that the debugging is only sucessful with known and unknown probability p. It is shown that the mle of N depend not only of the frequencies of detect bugs but also of the times between bugs. The sensibility of the posterior distribution of N with respect to p and the influence of the time data are numerically considered via variational distance and Kullback-Leibler divergence. Also, it is shown that the recapture debugging is a necessary and sufftcient condition for the existence of the posteriori distribution of N when an improper priori is imposed.

Este trabalho estuda implicações do tempo na modelagem de dados e o tratamento a ele dispensado nos Modelos de Dados construídos para este fim. Busca-se soluções à representação do tempo em Sistemas de Informações apoiados em BD relacionais . Para este fim foram pesquisados conceitos de tempo, modelos de dados temporais e outras soluções propostas na literatura. A base desta pesquisa é resolver situações práticas de um projeto de Sistema de Informações (estudo de caso em uma Empresa de Telefonia) onde o tratamento de tempo é imprescindível. são propostas soluções que incorporam o tratamento de tempo no Modelo Entidade-Relacionamento Estendido, as quais podem ser generalizadas para atender problemas com características semelhantes. / This research studies the implications of time in data modelling and its treatment in Temporal Data Models constructed for this objective. It searches solutions to the time representations in Information Systems based on relational databases. To reach our aim, we researched time concepts, temporal data models\' and other solutions proposed in the literature related to this subject. Our main objective was to resolve the practical situations of an Information System project (case study of a telecommunications company in Brazil) where time treatment is essential. Solutions that incorporate Time representation in Extended Entity- Relationship Model (EE-R) are proposed. These solutions can be generalized to solve problems with similar characteristics.

Uma placa de dimensões (L,W) deve ser cortada para produzir m peças de dimensões (li, wi), às quais estão associados valores de utilidade vi e um limite máximo bi (problema restrito), i =1,...,m. Os cortes são do tipo guilhotinado e limitados a 2-estágios. O problema consiste em maximizar o valor de utilidade total. Neste trabalho estendemos a abordagem clássica de Glmore e Gomory para problemas irrestritos, onde apresentamos um modelo matemático de otimização inteira não-linear, e propomos métodos de solução baseados na relaxação lagrangeana e heurísticas. Resultados computacionais são apresentados ao final. / Consider a plate of dimensions (L,W) to be cut in order to produce m pieces of dimensions (li, wi), to which are associated utility values vi and upper bounds bi (constraint problem), i = 1,..., m. The cuts are guillotine typed and limited by 2-stages. The problem consists of maximizing the total utilþ value. In this work we extend the classical approach of Gilmore and Gomory for unconstrained problems, through modeling the problem as a nonlinear integer progftùme, for which we devise a lagrangean method and heuristics. Finally, computational experiments are presented.

Os sistemas de banco de dados têm sofrido um processo de constante evolução, e ultimamente, diversas novas frentes têm se aberto. Uma frente importante é a da orientação a objetos, com a criação dos SGBD00- Sistemas Gerenciadores de Banco de Dados Orientado a Objetos. Dentre os vários SGBDOO existentes temos: 02, GemStone, Object Store, MRO-Modelo de Representação de Objetos, entre outros. Este trabalho apresenta um estudo de diversos sistemas. Em cada um deles foi analisado interfaces, controle de versões, gerenciamento de armazenamento, linguagem de manipulação de esquemas, arquitetura do sistema, entre outros.Além deste estudo foram analisadas características de áudio. De acordo com a acústica - uma parte da fisica - o som é o efeito produzido no aparelho auditivo pelas vibrações das moléculas de um meio transmissor. Este meio transmissor normalmente é o ar, mas também existem outros meios possíveis [Gome931.Foram verificadas as várias formas de gravação de áudio, entre elas a digitalização e a síntese. No processo de gravação foram analisados alguns formatos de arquivo para armazenamento, permitindo assim o balizamento da escolha. Dentre os formatos estudados estão: MOD, WAV, SBI e SBK, SNG e MIDI.Com base nestes estudos realizados, este trabalho apresenta uma avaliação das técnicas para a armazenagem e recuperação de áudio em bases de dados. O modelo de dados que serve de suporte para essa avaliação é o MIRO sendo que o GEO é a implementação do MIRO. Foi feito o tratamento de som em nível de esquema para o modelo e em nível de interface para o GEO. O tratamento de som permite o armazenamento e a recuperação de músicas, usando o formato MIDI. / The database systems have undergone a process of constant evolution, and recently, several new possibilities have appeared. An important one is that of orientation to objectq with the creation of the DBMSOO-Database Manager Systems Oriented Object. Amongthe various existing DBMSOO, there are: Or, GemStone, Object Store, MROModel Representation Objects and others. This work presents a study of several systems. In each one, interfaceg version control, storage management, scheme manipulation language, system architecture, among others, were analysed. Besides this study, audio characteristics were analysed. According to acoustic - a part of phisics - sound is the effect that is produced in the ear through vibration of molecules of a transmitting medium. This transmiting medium is usually the air, but there are also other possible media [Gome93]. The several processes of audio recording were verified, including the digitalization and the synthesis. In the recording process some fil formats for storage were analysed, what made the delimitation of the choice possible. Among the studied formats are: MOD, WAV, SBI e SBK, SNG e MIDI. Having these studies as a basis, this work presents an evaluation ofthe techniques for the audio atorage and recuperation in databases. The data modelo that serves as a support for this evaluation is the MRO, the GEO being the implementation of the ORM. The sound treatment was done in scheme level for the model and in interface level for the GEO. The sound treatmente allows the storage and recuperation of songs, using the MIDI format.

Avaliação de processo é a primeira etapa para a melhoria de qualidade de processo de software. Através da melhoria de processo, é possível obter-se um produto de software com maior qualidade, atualmente um fator de diferenciação entre as empresas que desenvolvem software. Este trabalho apresenta um modelo de avaliação de processo de software (MAPPE), apropriado à empresas de pequeno porte, visto que os modelos de avaliação e melhoria mais utilizados (CMM, SPICE e ISO 9000-3), devido à complexidade, são inadequados para essas empresas. para a elaboração do modelo, utilizou-se parcialmente a estrutura do modelo SplCE, que usa para a avaliação, um modelo padrão de processo de software, que no caso deste trabalho é um modelo adequado à pequena empresa. O Modelo de Avaliação de Processo de Software para pequena Empresa - MAPPE, proposto neste trabalho, pode mostrar as deficiências dos processos. de software atuais das empresas, indicando atividades que precisam ser melhoradas e possibilitando assim a obtenção de produtos de software com maior qualidade. / Process evaluation is the first step to software process quality improvement. Through this improvement it is possible to develop a better quality software product, which presency is a distinguish factor among software business. This work presents a Software process Evaluation Model (MAPPE), appropriate to small business, since the more utitized lmprovement and Evaluation Model (cMM, SPIOE and lSo 9000-3), due to their complexity, are inappropriate to this business\' To the elaboration of the model, it was used partially the splcE evaluation structure which rellies on a standard software process. ln this work the standard software process model is specially suited to small business. The small Business Software process Evaluation Model (MAPPE) proposed in this work, allows that the cunent business process deficiencies could be emphasized, appointing also the activities that need to be improved to make possible the attainment of a better software quality product.

Métodos para extração de características têm como objetivo selecionar, a partir de um conjunto de dados, características que representem informações relevantes ou que sejam básicas para diferenciar uma classe de objetos de outras. Neste trabalho, são apresentadas duas metodologias que podem ser usadas para extração de características. A primeira utiliza métodos estatísticos clássicos como Análise de Componentes Principais (PCA), Análise Discriminante Linear (LDA) e Análise de Cluster. A segunda consiste na utilização de arquiteturas de Redes Neurais Artificiais (RNA) que implementam os mesmos métodos estatísticos. O desempenho dos modelos de RNA apresentados são avaliados, considerando-se a utilização destes na extração de características de um pequeno conjunto de dados e, para investigar a aplicabilidade desses modelos na área de processamento de imagens, uma das redes que implementa PCA é utilizada na tarefa de compressão de algumas imagens médicas. Os resultados obtidos pela rede PCA são comparados com outros provenientes da aplicação da análise PCA clássica e do padrão JPEG (Joint Photographic Experts Group) para o mesmo conjunto de imagens. / Methods for feature extraction are used to select from an initial data set, some features that represent the most important information of this set or that are essential to differentiate one class of objects from other. In this work, two methodologies that can be used for feature extraction are presented. The first uses classical statistical methods such as Principal Component Analysis (PCA), Linear Discriminant Analysis (LDA) and Cluster Analysis. The other approach is based on Artificial Neural Networks architectures that implement the same statistical methods. The performance of the presented neural network models is appraised considering the use of these in the feature extraction of a small data set. Also, to investigate the usability of these models in applications of image processing, one of the neural networks that implements PCA is used for compressing some medical images. The results obtained by the PCA network are compared with others obtained by applying classical PCA and JPEG compression standard to the same group of images.

Estudamos problemas de interpolação hermitiana em várias variáveis através de dois métodos distintos. O primeiro é uma extensão do método das bases de funções radiais para interpolação em várias variáveis. Ele baseia-se na transformada de Fourier de uma medida previamente fixada. As matrizes de interpolação produzidas por esse método são sempre positivas definidas. O segundo é uma extensão do método das funções regradas. O problema tem solução por esse método se, e somente se, uma certa matriz, denominada de matriz característica do problema, for positiva definida. Certas classes de funções completamente monótonas são utilizadas na construção de implementações dos métodos estudados. / We study multivariable scattered Hermite interpolation via two distinct methods. The first one is an extension of the so-called radial-basis function method. In this case, the solutions are constructed from the Fourier transforms of certain finite measures and the associated interpolation matrices are always positive definite. The second one is an extension of the method known as interpolation by ridge functions. The existence of solutions by this method depends upon the positive definiteness of a certain matrix, here called the characteristic matrix of the problem. Certain classes of completely monotone functions are used to achieve simple realizations of the methods.

Este trabalho apresenta um método de engenharia reversa, denominado FUSIONRE/ I (Fusion - Reverse Engineering / Interface), para auxiliar a atividade de manutenção de software. O método é baseado nos conceitos e idéias do método FUSION-RE de engenharia reversa orientada a objetos. O método FUSION-RE/I fornece mecanismos para abstrair Visões Funcionais (Modelos de Análise de Sistemas de acordo com o Método Fusion) e Visões Estruturais (Quadro de Operações-Procedimentos de Implementação) a partir de aspectos operacionais e de dados disponíveis via interface usuário-computador. O método FUSION-RE/I foi desenvolvido a partir da experiência da aplicação de engenharia reversa na ferramenta Proteum V1.1 C, uma ferramenta de teste desenvolvida no ICMSC-USP, que apoia o critério Análise de Mutantes para programas escritos na linguagem C. / This work presents a reverse engineering method, named FUSION-RE/I (Fusion - Reverse Engineering / lnterface), with contributes to the software maintenance process. FUS¡ON-RE/I provides mechanisms to abstract Functional Visions (Systems Analysis Models according to fusion Method) and Structured Visions (Operationlmplementation Procedure Frame) from the operational aspects and data observable throughout the system interface. FUSION-RUI method has based on the reverse engineering of Proteum V1.1 C, a testing tool developed at ICMSC-USP, that supports the Mutation Analysis Criterion use for testing C programs.