[pt] Este trabalho trata das metodologias disponíveis mais utilizadas para a avaliação da reserva girante em sistemas de potência. São apresentadas abordagens determinísticas e probabilísticas. Uma grande variedade de aspectos são considerados e organizados de modo a se obter uma taxionomia metodológica. A aplicação da taxionomia sugerida é ilustrada com a análise de um sistema hipotético, o IEEE Reliability Test System, e do sistema brasileiro das regiões Sul/Sudeste/Centro-Oeste. Com base nos resultados obtidos com a aplicação de tal taxionomia à metodologia atualmente utilizada no Brasil, são apontados aspectos que necessitam de maiores pesquisas. Uma das principais conclusões obtidas revela que a prática atual de se associar os períodos críticos de risco àqueles de maior capacidade em manutenção não possui respaldo prático nem teórico. / [en] This report reviews the most representative techniques currency available for power systems spinning reserve evaluation. Both deterministic and probabilistic approaches are tackled. A broad range of aspects are considered and organized in a practical methodological taxonomy. The application of the suggested taxonomy is illustrated with the aid of hypothetical systems, the IEEE Reliability Test System, and the Brazilian South/Southeast/Midwest System. Based on the diagnosis resulting from the application of the taxonomy to the methodology currently utilized in Brazil, several aspects in need of improvement are pointed out. As one of the main results attained, it shown that, the current practice of considering the critical risk period as coincident with the critical maintenance period, lacks practical evidence and theoretical support.

Entre os mais conhecidos estudos de probabilidades aplicados a teoria dos números, encontra-se o conceito de normalidade. Neste trabalho apresentamos uma coleção de resultados clássicos da teoria dos números normais, incluindo as provas da normalidade da Constante de Champernowne e da Constante de Copeland-Erdos. Listamos tamb em algumas aplicações obtidas da conexão desta teoria com a das sequências equidistribu das módulo um, estudadas em sistemas dinâmicos. Entre elas, vamos provar o resultado conhecido por critério de normalidade devido a Pjateckii-Sapiro. Al em disso, apresentamos um estudo que desenvolvemos sobre translações que preservam a normalidade, introduzindo o conceito de número determinado. Provamos aqui, independentemente, uma versão mais fraca de um resultado devido a Rauzy que caracterizou o conjunto dos números com os quais podemos formar translações que preservam a normalidade. / Normal numbers have a known place in probability applied in number theory. In this Dissertation we show a collection of classical theorems over normal numbers such as the normality of the Champernowne Constant and the Copeland-Erdos Constant. We show some applications obtained from the relations of this theory with the theory of uniform distribution of sequences, studied in dynamical systems, such as the theorem called \normality criteria" of Pjateckii-Sapiro. Besides that, we show a study over translations that preserve normality, introducing the concept of \determined numbers". We prove here a weaker form of a Rauzy's theorem, on the set of numbers that form normality preserving translations.

[pt] Esta dissertação inicia com uma discussão sobre a importância da gestão de estoque para as empresas e dá um enfoque especial à gestão de estoque de sobressalentes para manutenção. Mostra-se que a gestão eficiente deste tipo de estoques pode ser a diferença entre ter ou não grandes prejuízos, uma vez que os seus custos são altos, mas sua falta pode gerar grandes perdas. Além da perspectiva econômica, os estoques de sobressalentes podem ter funções estratégicas importantes. Em seguida são apresentados desenvolvimentos recentes sobre a gestão de estoque de sobressalentes para então propor um modelo baseado no sistema de controle (r, q) no qual o nível ótimo de estoque é atingido dada uma restrição no nível de serviço. Por fim, o modelo é utilizado para estimar o nível ótimo de estoque de itens da Refinaria Landulpho Alves- Mataripe, RLAM. / [en] This dissertation begins with a discussion about the importance of inventory control to companies with a special approach for inventory control of spare parts. It shows that an efficient control of this kind of inventories can avoid large financial losses, due the high stock carrying and stock-out costs. Besides the economic perspective, the inventory of spare parts can have important strategic functions. Next, the text presents the recent development of spare parts´ inventory control. Then it is proposed a model based on the (r, q) control system, in which the optimal stock level is achieved by a service level restriction. Finally, the model is used to estimate optimal stock levels of some Landulpho Alves-Mataripe Refinery´s spare parts.

Entre os mais conhecidos estudos de probabilidades aplicados a teoria dos números, encontra-se o conceito de normalidade. Neste trabalho apresentamos uma coleção de resultados clássicos da teoria dos números normais, incluindo as provas da normalidade da Constante de Champernowne e da Constante de Copeland-Erdos. Listamos tamb em algumas aplicações obtidas da conexão desta teoria com a das sequências equidistribu das módulo um, estudadas em sistemas dinâmicos. Entre elas, vamos provar o resultado conhecido por critério de normalidade devido a Pjateckii-Sapiro. Al em disso, apresentamos um estudo que desenvolvemos sobre translações que preservam a normalidade, introduzindo o conceito de número determinado. Provamos aqui, independentemente, uma versão mais fraca de um resultado devido a Rauzy que caracterizou o conjunto dos números com os quais podemos formar translações que preservam a normalidade. / Normal numbers have a known place in probability applied in number theory. In this Dissertation we show a collection of classical theorems over normal numbers such as the normality of the Champernowne Constant and the Copeland-Erdos Constant. We show some applications obtained from the relations of this theory with the theory of uniform distribution of sequences, studied in dynamical systems, such as the theorem called \normality criteria" of Pjateckii-Sapiro. Besides that, we show a study over translations that preserve normality, introducing the concept of \determined numbers". We prove here a weaker form of a Rauzy's theorem, on the set of numbers that form normality preserving translations.

Entre os mais conhecidos estudos de probabilidades aplicados a teoria dos números, encontra-se o conceito de normalidade. Neste trabalho apresentamos uma coleção de resultados clássicos da teoria dos números normais, incluindo as provas da normalidade da Constante de Champernowne e da Constante de Copeland-Erdos. Listamos tamb em algumas aplicações obtidas da conexão desta teoria com a das sequências equidistribu das módulo um, estudadas em sistemas dinâmicos. Entre elas, vamos provar o resultado conhecido por critério de normalidade devido a Pjateckii-Sapiro. Al em disso, apresentamos um estudo que desenvolvemos sobre translações que preservam a normalidade, introduzindo o conceito de número determinado. Provamos aqui, independentemente, uma versão mais fraca de um resultado devido a Rauzy que caracterizou o conjunto dos números com os quais podemos formar translações que preservam a normalidade. / Normal numbers have a known place in probability applied in number theory. In this Dissertation we show a collection of classical theorems over normal numbers such as the normality of the Champernowne Constant and the Copeland-Erdos Constant. We show some applications obtained from the relations of this theory with the theory of uniform distribution of sequences, studied in dynamical systems, such as the theorem called \normality criteria" of Pjateckii-Sapiro. Besides that, we show a study over translations that preserve normality, introducing the concept of \determined numbers". We prove here a weaker form of a Rauzy's theorem, on the set of numbers that form normality preserving translations.

[pt] Com o progressivo crescimento das tensões de operação dos sistemas elétricos de transmissão de potência. O método convencional de coordenação de isolamento vai-se tornar ineficiente e, devido a esta circunstância, fez-se necessária a criação do método probabilístico de coordenação de isolamento para surtos de manobra. No presente trabalho é apresentado o já acima citado método probabilístico, um programa de computador que tem por objetivo o cálculo do risco de falha do isolamento de uma linha de transmissão e, ainda, uma análise de sensibilidade do custo de uma linha de 800 KV com os diversos parâmetros que vão influir nesse custo. O presente trabalho vai-se afigurar bastante prático devido ao fato de ele apresentar o que se faz, atualmente, em termos de coordenação de isolamento de linha bem como de subestação / [en] The progressive growth of power system operating voltages imposes several constraints to the application of the conventional approach to insulation coordination. As a consequence a statistical approach to the problem was developed concerning switching surges. This paper explains the method mentioned above and introduces a computer program that calculates the risk of failure for the insulation of a transmission line. A sesitivity cost analysis of a 800 KV transmission line, as well as the various parameters involved, is also presented. Emphasis is given to the practical aspects of this work, for it presents the modern techniques used nowadays in solving the problems of power station and transmision line insulation coordination.

[pt] Os projetos geotécnicos são, em geral, avaliados através do cálculo de um coeficiente de segurança, obtido de forma determinística. A presente pesquisa tem como objetivo a comparação de dois métodos probabilísticos (Estimativas Pontuais e Segundo Momento) empregados em análises de estabilidade. Os métodos probabilísticos quantificam as incertezas oriundas da variabilidade dos parâmetros geotécnicos, calculando-se um índice de confiabilidade (beta), que expressa o quanto o fator de segurança é confiável. No entanto, o índice b é um parâmetro relativo, pois não exprime todas as incertezas contidas em um projeto geotécnico. O trabalho apresenta uma comparação das análises probabilísticas de estabilidade da barragem de Curuá-Una, no Pará, e de um muro de arrimo, em São Fidélis, no Estado do Rio de Janeiro. No caso da barragem, estudou-se a influência de um eventual aumento no nível d´água do reservatório no cálculo da probabilidade de ruptura. Para o muro, foram consideradas diversas alturas do nível d´água no retroaterro a montante. As análises enfocaram, ainda, detalhes dos métodos probabilísticos, no que se refere à aplicabilidade para projetos práticos. Verificou-se que o método do Segundo Momento é de mais fácil utilização em geotecnia. Recomenda-se, portanto, a sua aplicação em conjunto com as análises determinísticas, mais usuais na prática. / [en] Geotechnical projects are generaly assessed through the calculus of the safety factor obtained by deterministic methodologies. The purpose of the present research work is to compare two probabilistic methods (Estimate Punctual and Second Moment) employed in stability analyses. Probabilistic methods quantify the uncertainties derived from the variability of geotechnical parameters, calculating a confidence ratio that expresses how reliable the safety factor is. However, the ratio is a relative parameter, since it does not account for all the uncertainties contained in a geotechnical project. In view of this situation, the study compares the stability probabilistic analyses of Curuá-Una dam, in Pará, and those of a retaining wall in São Fidélis, Rio de Janeiro. Regarding the dam, the influence of a possible rise in the resevoir water level in the calculus of failure probability has been investigated. In respect to the wall, several water levels have been considered in the upstream backfill. Moreover, the analyses have focused on the details of probabilistic methods and their application to practical projects. It has been verified that the Second Moment Method is more easily employed in geothecnics. Therefore, it is recommended that it should be applied together with the deterministic analyses currently used in practice.

[pt] Apresenta-se uma metodologia geral para a avaliação do risco sísmico em sistemas estruturais de engenharia civil com particularizações para edifícios e, a seguir, executam- se aplicações para exemplificar a proposta e para o desenvolvimento de procedimentos complementares aos adotados na prática por métodos determinísticos. Para tal, considera-se a excitação sísmica como um processo aleatório fracamente estacionário, definido por uma função de densidade de espectro de potência da aceleração do movimento do terreno e, no domínio da frequência, determinam-se funções semelhantes para as respostas estruturais. Considera-se, a seguir, o problema de primeira ultrapassagem, de acordo com a solução de Vanmarcke, para determinar a distribuição de probabilidade das respostas estruturais permanecerem abaixo dos níveis numericamente especificados, designados de barreiras. A partir dessas probabilidades, prossegue-se para desenvolver: - uma metodologia para análise de risco sísmico de estruturas prediais, incluindo uma fase preliminar de avaliação da ameaça sísmica para o território nacional; - recursos para avaliação do compromisso probabilístico entre uma função de densidade de espectro de potência da excitação sísmica, para uma região, e um espectro de resposta de projeto proposto para o mesmo local; - o conceito e o procedimento para geração de um espectro de resposta uniformemente provável a ser utilizado para análise do sistema principal e de um espectro de resposta acoplado uniformemente provável para o caso dos sistemas secundários; - uma comparação entre a capacidade a ações horizontais eólicas de estruturas prediais correntes, no Brasil, e o significado dessa resistência para os requisitos de demanda decorrente dos sismos prováveis; - um procedimento para geração de uma função de densidade de espectro de potência objetivo associada a um espectro de resposta de projeto prescrito. A implementação computacional da análise estrutural no domínio da frequência utiliza parcialmente o programa SASSI-2000 e a análise probabilística usa os programas APESS e CA desenvolvidos internamente ao trabalho. / [en] One presents a general methodology to the evaluation of the seismic risk to civil engineering structures, with emphasis to building systems, and in sequence a series of applications is made to exemplify this proposal and to develop complementary procedures to the deterministic structural analysis. On this way, one considers the structural seismic excitation as a weakly stationary random process mainly defined by a ground acceleration power density function and one determines, in the frequency domain, similar structural response quantity functions. One applies, to this response functions, the first passage problem solution according to Vanmarcke and so determining the distribution probability functions of these maximum structural response quantities to remain below specified numerical levels, which are called barriers. From these probability distributions, one proceeds to develop: − a methodology to the structural seismic risk analysis, including a previous phase to define the seismic hazard over the Brazilian territory; − tools to evaluated the probabilistic compromise between a power spectrum density function of the seismic excitation for a region and a design response spectrum proposed to the same area; − the idea of a uniformly probable design response spectrum and the procedures to generate this function to be used in the analyses of the primary system; and to produce a uniformly probable coupled response spectrum for the analyses of secondary systems; − a comparison between the wind horizontal action capacity of regular building structures in Brazil and the capability which would be expected to the seismic hazard; − a procedure to generate a target power spectrum density function for the seismic hazard probabilistically associated to a prescribed design response spectrum for a site. The computational support to the frequency domain structural analysis is taken partially from SASSI-2000 program and the probabilistic paths are made by APESS and CA programs which have been developed inside this work.

[pt] O interesse por análises de confiabilidade em geotecnia tem aumentado muito nos últimos anos. Métodos probabilísticos tem sido utilizados com o objetivo de racionalizar a quantificação das incertezas existentes na geotecnia. Neste âmbito, o presente trabalho apresenta um resumo com os conceitos básicos de probabilidade necessários para a compreensão do assunto. Desenvolve-se o Método do Segundo Momento de Primeira Ordem para quantificação da confiabilidade inerente ao desempenho de fundações. Metodologias são propostas para racionalizar a adoção de fatores de segurança quanto à ruptura de fundações superficiais e quantificar o risco associado à probabilidade do recalque estimado ser superior ao recalque admissível. Os exemplos de cálculo são apresentados com base no desempenho de fundações protótipo submetidas a provas de carga superficiais executadas no campo experimental 1 da PUC-Rio. / [en] The interest for reliability analysis in geotechnical engineering has been growing up in the last two decades. Probabilistic methods are generally used as a way of rationalizing the analysis of the uncertainties presents in the geotechnical properties. The First Order Second Moment method (FOSM) was applied in order to quantify the reliability of foundations. A methodology is proposed for quantifying the probability of faylure of shallow foundations and also the probability of settlements larger than the allowable design value. Example calculations are presented with basis on the results of prototype footings tested in the experimental research site at PUC-Rio. / [es] EL interés por análisis de confiabilidad en geotecnia ha aumentado mucho en los últimos años. Métodos probabilísticos han sido utilizados con el objetivo de racionalizar la cuantificación de las incertezas que existen en la geotecnia. En este ámbito, el presente trabajo presenta un resumen de los conceptos básicos de las probabilidades, necesarios para la comprensión del asunto. Se desarrolla el Método del Segundo Momento de Primer Orden para cuantificar la confiabilidad inherente al desempeño de fundaciones. Se proponen metodologías para racionalizar la adopción de factores de seguridad y cuantificar el riesgo asociado a la probabilidad de que el recalco estimado sea superior al recalco admisible. Los ejemplos de cálculo presentados tienen como base el desempeño de fundaciones prototipos, sometidas a pruebas de carga superficiales, ejecutadas en el campo experimental 1 de la PUC-Rio.

O desafio de encontrar corretamente genes eucarioticos codificadores de proteinas nas sequencias genomicas e um problema em aberto. Neste trabalho, implementamos uma plata- forma, com o objetivo de melhorar a forma com que preditores de genes sao implementados e avaliados. Tres novas ferramentas foram implementadas: ToPS (Toolkit of Probabilistic Models of Sequences) foi o primeiro arcabouco orientado a objetos que fornece ferramentas para implementacao, manipulacao, e combinacao de modelos probabilisticos para representar sequencias de simbolos; MYOP (Make Your Own Predictor) e um sistema que tem como objetivo facilitar a construcao de preditores de genes; e SGEval utiliza grafos de splicing para comparar diferente anotacoes com eventos de splicing alternativos. Utilizamos nossas ferramentas para o desenvolvimentos de preditores de genes em onze genomas distintos: A. thaliana, C. elegans, Z. mays, P. falciparum, D. melanogaster, D. rerio, M. musculus, R. norvegicus, O. sativa, G. max e H. sapiens. Com esse desenvolvimento, estabelecemos um protocolo para implementacao de novos preditores. Alem disso, utilizando a nossa plata- forma, desenvolvemos um fluxo de trabalho para predicao de genes no projeto do genoma da cana de acucar, que ja foi utilizado em 109 sequencias de BAC geradas pelo BIOEN (FAPESP Bioenergy Program). / The challenge of correctly identify eukaryotic protein-coding genes in the genomic se- quences is an open problem. In this work, we implemented a plataform with the aim of improving the way that gene predictors are implemented and evaluated. ToPS (Toolkit of Probabilistic Models of Sequence) was the first object-oriented framework that provides tools for implementation, manipulation, and combination of probabilistic models that represent sequences of symbols. MYOP (Make Your Own Predictor) facilitates the construction of gene predictors. SGEval (Splicing Graph Evaluation) uses splicing graphs to compare dif- ferent annotations with alternative splicing events. We used our plataform to develop gene finders in eleven distinct genomes: A. thaliana, C. elegans, Z. mays, P. falciparum, D. me- lanogaster, D. rerio, M. musculus, R. norvegicus, O. sativa, G. max e H. sapiens. With this development, we established a protocol for implementing new gene predictors. In addi- tion, using our platform, we developed a pipeline to find genes in the 109 sugarcane BAC sequences produced by BIOEN (FAPESP Bioenergy Program).