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.

Neste trabalho, estudamos funções estritamente positivas definidas em esferas no espaço euclidiano m-dimensional. Tais funções podem ser usadas para resolver certos problemas de interpolação em esferas. Uma vez que as funções positivas definidas já foram caracterizadas por Schöenberg, o problema reduz-se em determinar quais funções positivas definidas são estritamente positivas definidas. Nosso estudo baseia-se em uma conexão entre o problema de interpolação em esferas e interpolação polinomial em várias variáveis. Dois métodos distintos são utilizados. O primeiro utiliza propriedades do \"Espaço de de Boor-Ron\" e o segundo baseia-se no fato de polinômios harmônicos estarem no núcleo do operador laplaciano. As referências principais aqui são [12] e [13]. / We study strictly positive definite functions on spheres in Euclidean spaces. Such functions can be used for solving certain interpolation problems on spheres. Since positive definite functions were already characterized by Schöenberg, our problem is therefore to determine what positive definite functions are actually strictiy positive definite. Our approach is based upon a connection between the interpolation problem on spheres and that of multivariate polynomial interpolation. Two different methods are presented. The first uses the so-called \"de Boor-Ron spaces\" and the second one uses the fact that harmonic polynomials are in the null-space of the Laplacian. The key references are [12] and [13].

Apresentamos neste trabalho, um estudo sobre modelos não-lineares com ênfase num modelo muito utilizado em aplicações biológicas, o modelo de Michaelis-Menten. Em especial, destacamos a importância de uma boa parametrização que garanta boas inferências assintóticas, e introduzimos uma anáIise Bayesiana aproximada usando densidades a priori não-informativas e informativas. Nessas aproximações, enfatizamos o uso do método de Laplace para obter os sumários a posteriori de interesse. Também consideramos o uso de distribuições não-normais para o erro e o uso de técnicas de transformações para os dados sob o enfoque Bayesiano. Finalizamos ilustrando com vários exemplos de aplicação considerando o modelo de Michaelis-Menten. / In this work, we present a study on non-linear models with special consideration for a model very popular in biological applications, the Michaelis-Menten model. In special, we discuss the importance of a good parametization which implies in good asymptotical inferences, and we inüoduce a Bayesian analysis using approximation methods considering noninformative and informative prior densities. In these approximations, we explore the use of Laplace\'s method to get the posterior summaries of interest. \'We also consider the use of non-norrnal distributions for the error and the use of fiansformation techniques for the data considering the Bayesian approach. We illustrate with some examples.

Este projeto propõe a utilização de sistemas OLTP (Processamento Transacional On-Line 2 no gerenciamento do fluxo de informações entre os segmentos de um ambiente de manufatura integrada voltado à produção discreta. Para tanto, são analisados os aspectos relacionados com o desenvolvimento de aplicações cliente-servidor para sistemas transacionais utilizando-se monitores OLTP. Gomo plataforma base para o sistema escolheu-se o ambiente Novell NetWare, por este oferecer uma rede de processamento distribuído \'multithreading\' aberta e flexível. O núcleo do sistema (monitor OLTP) reside, juntamente com as aplicações servidoras, no servidor Novell, sendo acessado por todas as estações clientes da rede atra.vés de uma arquitetura cliente-servidor. Será mostrado que a utilização de sistemas OLTP no gerencianzento de ambientes de manufatura integrada voltados à produção discreta, disponibiliza mecanismos para alta performance e disponibilidade do sistema em situações críticas, mantendo a segurança e integridade dos dados, através do compartilhamento e utilização eficiente dos recursos computacionais oferecidos. / The idea behind this project is the use of OLTP (On-Line Transactional Processing) systems in the managemerzt of information flow between the segments of the integrated manufacturing environment designed for the discrete production. The features related to the development of client-server applications for transacfional systems using OLTP nzonitors are reviewed. The Novell\'s NetWare environment has been selected as the base platform, since it provides a \"nzultithreading\" distributed network which allows for an open and flexible environment. The system kernel (OLTP monitor) resides, along with the server apphcations, in the Nove/l server, being that accessed by all clients statiorzs through a client-server architecture. It is shown that the use of OLTP systems in the nzanagenzent of integrated manufacturing environnzents designed for the discrete producfion makes possible the implementafion of mechanisms to allaw for high performance and availability in critica! situations, keeping security and integrity of data through the sharing and the efficient\' use of the computing resources available.

Neste trabalho é apresentado um algoritmo para a reconstrução tridimensional de imagens digitais, o qual foi baseado na combinação de transformada rápida de Fourier com janela de Hamming e o uso de função trilinear para interpolação. O algoritmo possibilita não somente a geração de mapas tridimensionais da distribuição espacial de spins para tomografia por ressonância magnética (MRT), como também mapas de coeficientes de atenuação para tomógrafos de raio-X ou raio-Gamma. A técnica de tons de cinza foi utilizada para a visualização das imagens, bem como foi utilizado ferramentas desenvolvidas no ICMSC, as quais possibilitam análises de fatias coronais ou sagitais das imagens reconstruídas. Resultados mostraram a grande utilidade e eficiência do algoritmo, o qual primeiramente reconstrói as imagens bidimensionalmente para em seguida ser aplicada a interpolação trilinear. Em particular,dados obtidos dos tomógrafos de ressonância magnética do IFSC-USP e do de raio-X e Gamma do CNPDIA-Embrapa, ambos de São Carlos-SP, foram utilizados para avaliação do algoritmo. Adicionalmente, uma comparação com o método de retroprojeção é também apresentado. O algoritmo foi desenvolvido em linguagem C++ e em ambientes DOS e UNIX. / In this work it is presented an algorithm for three-dimensional digital image reconstruction. Such algorithm is based on the combination of both a Fast Fourier Transform method with Hamming Window and the use of a tri-linear interpolation function. The algorithm allows not only the generation of three-dimensional spatial spin distribution maps for Magnetic Resonance Tomography data but also X and y-rays linear attenuation coefficient maps for CT scanners. The gray-level technique was used for image visualization, as well as for tools developed at the ICMSC-USP. It is also possible to analyze coronal or sagital slices of reconstructed images. Results demonstrates the usefulness of the algorithm in tree-dimensional image reconstruction by doing first two-dimensional reconstruction and rather after interpolation, i.e., in particular with tomographic data obtained by using the MR scanner from the IFSCUSP and the CT scanner from the CNPDIA-Embrapa, both from São Carlos-SP. Additionaly, a comparation with the backprojection method is outlined. The algorithm was developed in C++ language, and there are two available versions: one under the DOS environment, and the other under the UNIX/Sun environment

Este trabalho apresenta um estudo sobre a existência, unicidade e comportamento assintótico de soluções para uma lei de conservação escalar da forma ut+ f (u)x = O. Esta solução satisfaz a desigualdade de entropia, e além disso é a única solução com esta propriedade. O problema é estudado via o método das diferenças finitas. / In this work we studied the existence, uniqueness and asymptotic behavior of solutions for a single conservation law in the form ut + f (u)x = 0. This solution satisfies the entropy inequality, and furthermore is the unique solution with this propriety. The problem was studied using the finite-difference method.

Dada uma função holomorfa f : Cn+1 → C com f(0) = 0 e, O é uma singularidade isolada, a hipersuperfície de nível f-1 (0) na vizinhança de O, Dε ∩ f-1 (0) é homeomorfo ao cone com base K = Sε ∩ f-1 (0). Logo o estudo de K é essencial para o entendimento de hipersuperfície de nível na vizinhança de zero, sob um ponto de vista topológica. A aplicação Φ = f / &Iota ; f Ι : Sε - K → S1, é a projeção de um fibrado localmente trivial denominado de Fibração de Milnor e a sua fibra F0= Φ-1 (1) tem o tipo de homotopia de um bouquet de esferas SnvSnv...vSn . Para um difeomorfismo específico h : F0 → F0, o polinômio característico Δ (t) de h* : Hn (F0) → Hn (F0 é um invariante de K, e se n ≠ 2 então K é homeomorfo a esfera de dimensão 2n -1 se, e somente se Δ (1) = ±1. Nesta dissertação, estudaremos K nos casos em que n=1 e nos casos em que f é da forma f(z1, z2,...,zn+1) = za11 + za22 + ...+ zan+1n+1 onde ai \' s são inteiros maiores que 1 (polinômio de Brieskorn). Também analizaremos Δ (t) e Δ (1) para o caso em que f seja polinômio de Brieskorn ou um polinômio f para a qual existam racionais positivos tal que f(ec/w1z1, ec/w2,... ec/wn+1 zn+1) = ec/f(z1, z2,..., zn+1), para todo c ∈ C (polinômio quase-homogêneo). / Given a holomorphic function f : Cn+1 → C, such that f(0) = 0 and 0 is an isolated singularity, the level hypersurface f-1 (O) near 0, Dε ∩ f-1 (0) is homeomorphic to the cone over K = Sε ∩ f-1(0). Thus, the study of K is essential to understand the level hypersurface near zero, from a topological point of view. The mapping Φ = f/ΙfΙ : Sε - K → S1 is the projection of a locally trivial bundle known as Milnor fibration and the fibre F0 = Φ -1(1) has the homotopy type of a wedge of spheres SnvSnv...vSn.For a specific diffeomorphism h : F0 → F0, the characteristic polynomial Δ(t) of h* : Hn(F0) is an invariant of K and if n ≠ 2 then K is homeomorphic to the (2n- 1) - sphere if, and only Δ(1) = ±1. Here we study K when n=l and when f is of the form f (z1, z2, ..., zn+1)= za11 + za22 + ... zan+1n+1, where the ai\'s are integers greater than 1 (Brieskorn polynomial). Also we analyse Δ(t) and Δ(1) when f is a Brieskorn polynomial or a polynomial f for which there are positive rational numbers {w1,w2,..., wn+1} such that f(ec/w1z1, ec/w2z2,...,ec/wn+1) = ecf(z1, z2,..., zn+1), for all c ∈ C (quasi-homogeneous polynomial).

A modelagem computacional do olho humano tem sido largamente estudada por diferentes setores da comunidade científica e tecnológica. Uma das principais razões para esse crescente interesse é a possibilidade de reproduzir propriedades ópticas por meio de simulações computacionais, tornando possível o desenvolvimento de dispositivos eficientes para tratar e corrigir os problemas da visão. Os resultados dessa intensa pesquisa já podem ser observados nos equipamentos para medições de distorções do sistema visual, como os topógrafos de córnea, que sofreram uma rápida evolução nos últimos anos. Diferente do que ocorreu em outras áreas da ciência, como na medicina por exemplo, o aprimoramento dos dispositivos de medição ocular não tem influenciado de forma significativa a modelagem computacional do sistema visual. Como pode ser notado a partir da literatura (Gullstrand, 1909), (Emsley, 1952), (Kooijman, 1983), 4(L.N. Thibos, 1999a), a maioria dos trabalhos descritos ainda emprega modelos puramente teóricos na simulação dos processos visuais, não fazendo uso das informações adquiridas pelos equipamentos modernos desenvolvidos para a oftalmologia. Esse projeto de mestrado explora exatamente esse aspecto ainda pouco investigado da modelagem do sistema visual. Em conjunto com membros do grupo de óptica oftalmológica do Departamento de Física da USP de São Carlos, o projeto propõe um arcabouço computacional que viabiliza a utilização de dados reais «a modelagem e simulação do sistema visual humano. Essa nova abordagem possibilita a investigação individualizada do sistema óptico, possibilitando a construção de novas técnicas as quais possibilitarão inferir dados de vital importância em exames médicos, exames estes anteriormente apenas disponíveis a um alto custo, isto quando existentes. / The computational modeling of the human eye has been wide studied for different sectors of the scientific and technological community. One of the main reasons for this increasing interest is the possibility to reproduce optic properties by means of computational simulations, becoming possible the developmcnt of cfíicient devices to treat and to correct the problems of the vision. The results of this intense research alrcady can bc observed in the equipment for measurements of distortions of the visual system, as the corneal topographers, who had suffered a fast evolution in the last years. Different of that it occurred in other areas of science, as in the medicine, for example, the improvement of devices of ocular measurement has not influenced in a significant form the computational modeling of the visual system. As it can bc noticed from literature, (Gullstrand, 1909), (Emslcy, 1952), (Kooijman, 1983), (L.N. Thibos, 1999a),the majority of the described works still uses models purely theoreticians in the simulation of the visual processes, not making use of the information acquired for the developed modern equipment for the ophthalmology. This project explores this aspect still little investigated of the modeling of the visual system. In set with members of the group of ophthalmologic optics of the Department of Physics of the USP/ São Carlos, the project propose a computational sketch that make possible the use of real data in the modeling and simulation of the human visual system. This new boarding make possible the individual inquiry of the optic system, making possible the construction of new techniques used to infer vital data in medicai investigations.

Este trabalho relata replicações do experimentos e uma experiência de transferência de tecnologia desenvolvida no âmbito acadêmico para o contexto industrial. No escopo deste trabalho foram conduzidas duas replicações do experimento para avaliar a efetividade e eficiência da técnica de leitura PBB, sendo uma realizada em ambiente acadêmico e a outra em ambiente industrial, e foi iniciada a transferência tecnológica da técnica PBR para uma empresa, utilizando o processo de experimentação como base em pacotes de laboratório. Os principais resultados deste estudo são sintetizados e analisados sob a ótica do modelo de compartilhamento do conhecimento no contexto de experimentação (EKSM - Experimentation Knowledge Sharing Model) e do paradigma de melhoria da experimentação (EIP - Experimentation Improvement Paradigm). Em função dessa experiência observa-se que a experimentação traz contribuições na perspectiva da cooperação entre a indústria e a academia, possibilitando a validação de novas tecnologias, a evolução de pacotes do laboratório o a obtenção de resultados de projetos de uso real. / This work reports replications of experiments anel an experience ol technology transfer frorn the academic to the industrial environrnent- Two replications were carried out. to evalutate the effectiveness and efliciency of the PBR reading technique: one was applied in lhe academic environment and the other in t he industrial environment. The teehnology transfer of the PBI1 technique to the industry used the experimentation process based on lab packages. The main results of these experiences were summarized and analized from the EKSM (Experimentation Knowledge Sharing Model) and EIP (Experimentation Improvement Paradigm) view points. These results provide evidences that the experimentation contributes in the cooperation between industry and academy and also makes possible to validate new technologies, evolve lab packages, and obtain results from real applications.