Este trabalho dia respeito à solução numérica de equações algébrico - diferenciais de índices zero, um e dois. Uma classe de métodos, conhecida na literatura como métodos de diferenças para trás é considerada e alguns resultados de convergência são dados. Equações algébricas - diferenciais com singularidades também são estudadas. Alguns resultados de existência a unicidade são apresentados e uma nova classe de métodos desenvolvida por [Castelo/Tavares - 94] é introduzida. Finalizaremos este trabalho com alguns exemplos numéricos que ilustram o funcionamento dos métodos considerados. / This work is concerned wiyh the numerical solution of differential - algebraic equations of indexes zero, one and two. A class of methods, known in the literature as backward difference methodfs, is considered and some convergence results are given. Differential - algebraic equations with singularities are also studieds. Some existence and uniqueness results are presented and a new class of methods developed by [Castelo/Tavares - 94] is introduced. we finish this work with some numerical exemples which ilustrete the performance of the methods considered.

O propósito desse trabalho é investigar uma transformação adequada para a confiabilidade de sistemas visando melhorar a confiabilidade quando consideramos as aproximações normais usuais. Neste sentido, as parametrizações de Guerrero e Johnson (1982) e de Aranda-Ordaz (1981), procurando melhorar a aproximação normal da função de verossimilhança (ver Sprott, 1972 ou Ascombe, 1964). Uma vez consideradas as parametrizações acima, utilizamos as medidas de normalidade introduzidas por Kass e Slate (1992) a fim de \"assegurar\" a normalidade nas transformações obtidas e, para avaliar estas transformações, utilizamos um método gráfico baseado no T-plot de Hills e Smith (1993). Como aplicação, consideramos os modelos exponencial e de Weibull para a confiabilidade de sistemas com uma unidade e desenvolvemos, ainda, uma aplicação com testes acelerados considerando o modelo de lei de potência inversa com tempos de vida com distribuição de Weibull. Sob o enfoque Bayesiano, exploramos as mesmas técnicas para melhorar a normalidade assintótica das densidades a porteriori de interesse. Finalizamos considerando 3 exemplos práticos com os modelos exponencial, de Weibull e testes acelerados, onde avaliamos os resultados obtidos com as transformações propostas. / The main goal of this work, is to search a transformation of system reliability to improve the usual asymptotical normality results. In this way, we explore the reparametrizations of Guerrero and Johnson (1982) and of Aranda-Ordaz (1981), looldng for better normality of the likelihood function (see Sprott, 1973 or Anscombe, 1964). We also use some normality measures for the likelihood function introduced by Kass and Slate (1992) to be used with the above parametrizations and a diagnostic procedure based on the T-plot, introduced by Hills and Smith (1993). As applications we consider the exponential and weibull models for the system reliability with one unit, and we also consider accelerated life tests with the power mie model and the Weibull distribution. Under the Bayesian approach, we also consider the same procedure to improve the normality of the posterior densities of interest. As numerical illustration we present three examples showing the feasibility of the proposed method.

Este trabalho investiga a evolução tectônica do Graben da Guanabara a partir dos campos de paleotensões geradores e deformadores das bacias de São José do Itaboraí e do Macacu, bem como dos corpos ígneos alcalinos e diques associados, que precedem e, localmente, acompanham a implantação do graben. Foram analisadas a geometria e a cinemática das estruturas rúpteis que afetam os corpos alcalinos e o preenchimento sedimentar. Realizou-se, também, a caracterização tectono-sedimentar da Formação Macacu, a partir do estudo de sua faciologia e paleogeografia, buscando determinar a evolução paleogeográfica do Graben da Guanabara. Caracterizou-se a atuação de quatro campos de paleotensões distintos, entre o Cretáceo Superior e o holoceno, correspondendo a quatro eventos deformacionais rúpteis: 1) Evento 1 - trascorrência sinistral, com atuação do Campaniano ao Eoceno Inferior, caracterizada por um \'sigma\'1 horizontal posicionado na direção NE-SW. Esse campo de esforços controlou a implantação do Graben da Guanabara a partir da geração da Bacia de São José do Itaboraí, a intrusão dos corpos alcalinos e dos diques a eles associados e o hidrotermalimo tardio representado pelas brechas tectônicas silicificadas; 2) Evento 2 - extensão NW-SE, que atuou do Eoceno Inferior ao Oligoceno Superior e controlou a implantação e evolução tectono-sedimentar da Bacia do Macacu; 3) Evento 3 - extensão NE-SW/transcorrência dextral, com provável atuação no Pleistoceno, deformou os corpos alcalinos e o preenchimento sedimentar do graben. A transcorrência dextral foi identificada nos corpos alcalinos, sendo posterior à sua intrusão e dos diques associados, sendo caracterizada por um \'sigma\'1 de direção NW-SE. Esse campo de paleotensões foi considerado contemporâneo com a extensão NE-SW identificada na Bacia do Macacu; 4) Evento 4 - extensão E-W, de idade holocênica, foi responsável pela segmentação dos depósitos da Bacia do Macacu, separando a bacia e as ocorrências isoladas da Formação Macacu da Ilha do Governador e de Duque de Caxias. Determinou-se que a Bacia de São José do Itaboraí, de idade paleocênica, possui a maior taxa de estiramento entre todas as bacias do RCSB, de pouco mais de 10%. A presença de veios de calcário travertino com alto e baixo ângulo de mergulho, cortando o embasamento e preenchendo a Falha de São José; as microfalhas direcionais que afetam o preenchimento da bacia e a contemporaneidade de extensões nas direções NW-SE e NE-SW indicam a complexidade da evolução tectônica da Bacia de São José do Itaboraí e foram interpretadas como geradas por uma transcorrência sinistral dessa falha. Na Bacia do Macacu, de idade eocênica a oligocênica, foram caracterizadas três associações de fácies, de leques aluviais, fluvial entrelaçada e lacustre. A distribuição das associações de fácies, em conjugação com as estruturas, indicou que essa bacia é do tipo graben assimétrico, e que os depocentros se deslocaram da borda sudeste para a noroeste. As paleocorrentes mostram uma variação no sentido, passando de SW para NE, reforçando a importância do tectonismo na sedimentação da Formação Macacu. Essa relação foi evidenciada, também, pelos afogamentos episódicos da planície aluvial, interpretados como de origem tectônica. A presença de hialoclastitos fonolíticos no Plug do Coutry Club, que constitui o embasamento da Bacia do Macacu, com idade 65,7 Ma (obtida no presente trabalho), indicou que esse segmento do Graben da Guanabara não sofreu erosão desde o Paleoceno Inferior. A localização desse \'plug\' próxima aos maciços do Tanguá e Rio Bonito, de mesma idade, mostra que as taxas de erosão no interior do Graben da Guanabara foram heterogêneas. Assim, a interpretação dos dados permite inferir que a implantação do Graben da Guanabara deu-se no Paleoceno, sob um regime de esforços direcional, tendo sido controlada por um binário sinistral E-W. Sua evolução ao longo do Eoceno e do Oligoceno foi controlada por um regime de esforços extensional, com o eixo de extensão posicionado na direção NW-SE. Dessa forma registrou-se a persistência das direções de SHmax e SHmin, NE-SW e NW-SE respectivamente, entre o Cretáceo Superior e o Oligoceno e a sua variação, para posições ortogonais a essas, apenas no Pleistoceno. Admite-se que os campos de paleotensões responsáveis pela implantação e evolução do Graben da Guanabara foram desencadeados pelas tensões locais associadas ao soerguimento que gerou a Superfície Japi. O regime direcional que gerou sua implantação foi provavelmente controlado por anisotropias mecânicas do manto. Os campos de paleontensões neogênicos são compatíveis com as tensões regionais geradas pelo empurrão da cordilheira mesoceânica ao longo do Cenozóico. / This thesis investigates the tectonic evolution of the Guanabara Graben (SE Brazil) from the analysis of paleostress fields that controls the deformation of the sedimentary sequences of the São José do Itaboraí and Macacu Basins as well as of the igneous alkaline bodies and dikes, which precede and, locally, follow the graben formation. This analysis is focused on the geometry and kinematics of the brittle structures. Furthermore, the paleogeography of the Guanabara Graben is characterized from a tectonic-sedimentary study of the Macacu Formation, with emphasis on the facies variation and depositional environments. Four events of brittle deformation were characterized from the Late Cretaceous to the Holocene: 1) First Event - Sinistral transcurrence from the Campanian to the Early Eocene characterized by horizontal \'sigma\'1 striking NE-SW. This stress field controlled the graben formation with the development of the São José do ltaboraí Basin, the intrusion of the alkaline bodies and related dikes and the late hydrothermal activity as indicated by silicified tectonic breccias; 2) Second Event - Extension NW-SE from the Early Eocene to the Late Oligocene. This extension controlled the formation of the Macacu Basin; 3) Third Event - Extension NE-SW/dextral transcurrence, probably in the Pleistocene. This extension deformed the alkaline bodies and the sedimentary infill of the graben. The dextral transcurrence affects the alkaline bodies and related dikes with a \'sigma\'1 striking NW-SE. Apparently, this paleostress field is synchronous with the NE-SW extension of the Macacu Basin; 4) Fourth Event - Holocenic extension E-W that controlled the segmentation of the Macacu Basin deposits. This event isolates the Macacu Formation at Ilha do Governador and Duque de Caxias from the main deposit. Compared to the other basins of the Continental Rift of the Southeastern Brazil, the Paleocenic São José do Itaboraí Basin shows the highest rate of stretching (- 10% more). Calcareous veins with high and low angle cutting across the basement and fiiling the São José Fault, the strike-slip micro faults in the basin sediments and the synchronous NW-SE and NE-SW extension are all indicative of sinistral transcurrence of the São José Fault. Three main facies associations were recognized in the Macacu Basin (Eocene- Oligocene): alluvial fans, braided plains and lacustrine. This facies distribution coupled with the structural analysis shows an asymmetric-type-graben with the main tectonic depression located first at the southeastern border and later migration to the northeastern border of the basin. The analysis of paleocurrents indicates a changing in the sediments flow from SW to NE, reflecting the importance of the tectonic control in the Macacu Formation. This is also shown by the episodic flooding of the braided alluvial plain, which seems to be of tectonic origin. The presence of fonolithic hialoclastites (65,7 Ma) aside of sienic bodies of the same age demonstrates local low rate of denudation in the Guanabara Graben and shows that the erosional processes in the region was heterogeneous. The overall interpretation indicates that the Guanabara Graben was formed in the Paleocene under a strike-slip regime controlled by an E-W sinistral couple. The graben evolution from the Eocene to the Oligocene was dominated by a NW-SE extension. This indicates a persistent orientation of the SHmax and Shmin, NE-SW e NW-SE, respectively, from the Upper Cretaceous to the Oligocene. There is a change to orthogonal position of the stresses axis only in the Pleistocene. Apparently, the paleostress field that controls the formation of the Guanabara Graben was triggered by the local stresses related to the uplift that generated the Japi Erosion Surface. The initial strike-slip regime that controls the formation of the graben was probably influenced by a mechanical anisotropy in the mantle. The Neogenic paleostress fields is in agreement with the Cenozoic far field dictated by the ridge push.

A Cordillera Huallanca, com pouco mais de 20 km de extensão, situa-se na parte noroeste do Peru e faz parte da Cordilheira Ocidental dos Andes. Foi visitada em Julho de 1968 pela "Expedição Brasileira aos Andes Peruanos", que visou conquistar os cumes ainda virgens de Huallanca (5.480 m), Huallanca Sur (5.400 m), Tunacancha (5.320 m) e Mina Pata (5.260 m), e executar reconhecimentos geológicos e geográficos na região. Predominam, na Cordillera Huallanca, rochas depositadas durante o Cretáceo que, no Peru, está representado por afloramentos que ocupam mais de 75% da área total de exposições das rochas do Mesozóico. Na pequena área estudada, o Cretáceo Inferior (Pós-Portlandiano ao Pré-Valanginiano) está representado pelo arenito da Formação Chimú e o Cretáceo Superior (intervalo do Albiano Superior ao Turoniano Superior), está representado pelos calcários negros maciços da Formação Jumasha. São reconhecidos afloramentos das camadas Chicama, mais antigas, a leste, no povoado de Huallanca (Bodenlos e Erickson) e a oeste, no Maciço do Cauallaraju, na extremidade sul da Cordillera Blanca (Cordani e Rocha Campos). É bem provável, assim, que essas rochas de idade jurássica ocorram por baixo da Cordillera Huallanca, bem como da Huayhuash, mais ao sul (3), estando sobrepostas em desconformidade pela Formação Chimú. As Formações Santa, Carhuaz, Pariahuanca, Chulec e Pariatambo, mapeadas por Peter Coney (3) na parte sul de Huallanca, não foram reconhecidas em sua porção setentrional. Em lugares restritos, recobrindo as formações mesozóicas afloram rochas "conglo-aglomeráticas" relacionadas a pequenas intrusões hipabissais de idade terciária, que se distribuem preferencialmente, nas proximidades das cristas, constituídas de calcários intensamente dobrados. A essas intrusões estão associadas pequenas mineralizações de preenchimento e substituição em calcários, que permitem uma extração rudimentar de cobre, prata, antimônio, chumbo e zinco. Os vales e "quebradas" apresentam acumulações de material principalmente aluvial e glacial, existindo também abundantes depósitos de talude e material fragmentado incoeso ao longo das encostas abruptas. / Not available

Recentemente uma rede neural multi-camadas, baseada no algoritmo Back- Propagation, foi proposta para resolver problemas de otimização não lineares. Esta rede tem apresentado bons resultados na solução de problemas não lineares restritos e irrestritos. Este trabalho mostra as facilidades e beneficios da aplicação de técnicas de otimização ao algoritmo de aprendizado desta particular rede neural. O termo momentum, o gradiente com busca linear e o método do gradiente conjugado foram incorporados no esquema de aprendizado desta rede neural. Resultados computacionais são apresentados mostrando as vantagens da incorporação destas técnicas nesta rede. Além disso, para verificar a adequabilidade de uso desta particular rede neural, com algumas modificações incorporadas no algoritmo de aprendizado, na solução de problemas de dimensão maior do que os até então testados, uma aplicação é, resolvida usando este modelo para otimização de um sistema hidroelétrico de potência. O sistema é constituído de uma usina térmica, uma usina hidroelétrica e com a possibilidade de transferência de energia de sistema vizinho. Resultados são apresentados e mostram a utilidade desta abordagem quando comparada com resultados obtidos por técnicas tradicionais. / Recently a neural multi-layer network, based on the Back-Propogation algorithm, was proposed for solving nonlinear optimization problems. This network has presented good results in the solution of constrained and unconstrained nonlinear problems. This work shows the feasibilþ and benefits of applying optimization techniques to learning algorithm in this particular neural network. The momentum term, the gradient method whit linear search and conjugate gradient method are incorporate into the learning scheme of this neural network. Computation results are presented showing the advantages of incorporating theses techniques in this network. Besides that, in order to veri$ the adequacy of the use of this particular neural network, with some modifications incorporated in the learning algorithm, in solving the problems of bigger dimension than those already tested, an application is solved using this model for optimizing a hydroelectric potential system. The system is constituted of one thermoelectric plant, one hydroelectric plant and with the possibility of transfer of energy from neighbor system. Results are presented and show the usefulness of this approach when compared with the results obtained by traditional techniques.

A atividade de teste é de grande importância para a eliminação dos defeitos que possam persistir no software após a sua conclusão. São encontrados na literatura estudos propondo estratégias de teste de softwares Orientados a Objetos que se baseiam na experiência já adquirida no teste de programas procedimentais, principalmente na utilização de critérios baseados em fluxo de dados; entretanto não foram encontradas, ainda, ferramentas específicas para o teste de softwares Orientados a Objetos. Deve-se observar que qualquer estratégia de teste sem o suporte de ferramentas automatizadas tende a ser trabalhosa e propensa a erros na sua condução. Os Grupos de Teste de Software do ICMSC - USP - São Carlos e DCA - FEEC - UNICAMP especificaram e implementaram duas ferramentas multilinguagens de teste de programas procedimentais baseadas em uma Linguagem Intermediária (LI). Na mesma direção, este trabalho apresenta a definição de uma Linguagem Intermediária para Programas Orientados a Objetos (denominada LI++) com a finalidade de viabilizar o desenvolvimento de ferramentas multilinguagens que apoiem esse paradigma, dada a diversidade de linguagens de programação Orientadas a Objetos existentes, tais como C++, Smalltalk, Eiffel, etc. A LI++ é uma extensão da LI, visto que os corpos dos métodos que compõem um ambiente Orientado a Objetos é basicamente composto por comandos procedimentais (mapeados na LI). Ainda, foi definido e implementado o mapeamento de programas C++ para a LI++, baseando-se fortemente na implementação do mapeamento C /LI, pois a linguagem C++ é um superconjunto da linguagem C. / The testing activity is important to eliminate software defects that would persist after software development. In the literature there are several initiatives proposing Object-Oriented testing strategies based on \"traditional testing\" experience, some of them based on data flow testing criteria. In the other hand, no specific tools for testing object-Oriented programs were identified that would support these criteria in the context. It should be observed that any strategy without the support of a tool is errorprone and expensive. The ICMSC - USP - São Carlos and DCA - FEEC - TINICAMP testing groups have specified and implemented two procedimental multilanguage testing tools based on an Intermediate Language (LI). Following this framework, considering the diversity\'of Object-Oriented languages, such as C++, Eiffel, Smalltalk, etc, this work presents the definition of an Intermediate Language (named LI++) to represent Object-Oriented programs making feasible the development of multilanguage Object-Oriented testing tools. The LI++ is an extension of LI, given that methods that compose an Object Oriented program are basically composed by procedimental commands (that are mapped to LI). The mapping of C++ programs to LI++ based on the C /Ll implementation, since the language C++ is a superset of C language, is also defined and implemented.

Neste trabalho, um sistema para transformar texto na língua portuguesa falado no Brasil em voz é, desenvolvido. O método adotado para a transformação é Texto-Fonema-Voz. Este método tem algumas vantagens: (i) ele cria uma Biblioteca de Voz (BV) para qualquer língua ou para todas, independentemente do mapeamento texto para fonemas; (ii) ele pode interconectar-se com outros sistemas que realizem tarefa semelhante. O uso do sistema Máquina Falante é muito diversificado. As pessoas podem usar facilmente os computadores, porque eles tornam-se mais interativos. A técnica utilizada para mapear texto para fonemas é as Redes Neurais Artificiais (RNA). O uso de RNA tem algumas vantagens sobre técnicas convencionais, como dicionário fonético: (i) a quantidade de informação armazenada pela RNA é menor que a quantidade de informação armazenada pelas outras técnicas; (ii) o usuário não necessita fazer manutenção para novas palavras; (iii) o Perceptron Multi-Camadas tem a característica de generalização. Para uma boa generalização, o conjunto de treinamento deve caracterizar todo o universo de discurso. Para a síntese, nós codificamos a, voz humana pela técnica Waveform. Esta técnica foi escolhida porque é simples e sua característica de qualidade é muito relevante. A BV é um conjunto de informações sobre como o processo de síntese produz fisicamente os fonemas ou grupos de fonemas. Cada arquivo da BV representa uma sílaba. A performance da rede utilizada é de aproximadamente 94% de acerto usando um conjunto de teste que foi construído com palavras diferentes das usadas no treinamento, que é considerado, na área, um bom índice de generalização. / In this work, a system to translate Portuguese language text spoken in Brazil into speech is developed. The method adopted for translation is Text-Phoneme-Speech. This method has some advantages: (i) it creates a Speech Library (SL) for any language or for all, independently of text-to-phoneme mapping; (iÐ it can interlink with other systems which would do the same task. The use of the talker system - Máquina Falante - is very diversified. People can use easily the computers, because they become more interactive. The technique utilized to map text into phonemes has been the Artificial Neural Networks (ANN). The use of ANN has some advantages over conventional techniques - like phonetic dictionary: (i) the quantity of information stored by ANN is smaller than the quantity of information stored by other techniques; (ii) the user does not need to make maintenance for new words; (iiÐ Multi-Layer Perceptron has the generalization cha¡acteristic. For a good generalization, the training set must characterize all the universe of mapping. For synthesis, we codified the human speech by Waveform technique. This technique has been chosen because it is simple and its feature of quality is very relevant. The SL is a set of information about how a synthesis process physically produces phonemes or group of phonemes. Each file of SL represents a syllable. Net performance has been around 94% of correctness over a test set which was built with non-training words. This percentage is considerate a good generalization index.

O uso de distribuições bivariadas tem um papel importante no estudo da confiabilidade de sistemas pois é co,um a existência de duas variáveis geralmente correlacionadas associadas ao funcionamento de um sistema. Neste trabalho apresenta-se inicialmente uma breve síntese das distribuições exponenciais bivariadas mais conhecidas na literatura. A seguir desenvolve-se uma análise estatística do modelo EBVAC de Block & Basu (1974) sob o enfoque clássico e sob o enfoque Bayesiano. Sob o enfoque clássico a análise é baseada na normalidade assintótica dos estimadores de máxima verossimilhança e sob o enfoque Bayesiano são utilizadas duas densidades a priori: a densidade a priori não informativa de Jeffreys e uma densidade a priori informativa. Também é feita uma análise estatística do modelo EBVAC de Block & Basu (1974) sob o enfoque clássico e sob o enfoque Bayesiano, considerando testes de sobrevivência acelerados. Finalmente apresenta-se três exemplos para ilustrar a metodologia desenvolvida.. Na análise estatística sob o enfoque Bayesiano são utilizados os métodos de aproximação de integrais de Laplace para a determinação das densidades a posteriori marginais e os momentos a posteriori de interesse. / The use of bivariate distributions has been very important in the study of system reliability since it is common the existence of two life related to the systems. In this work, we present a review of some different bivariate exponential models given in the literature. In special, we present a statistical analysis of the bivariate exponential distribution ACBVE of Block & Basy (1974) under the classycal and Bayesian approaches. Under the classycal approach, the analysis is based on the asymptotical normality of the maximun likelihood estimators and under the bayesian approach, it is considered two prior densities: a Jeffreys prior density and an informative prior density. We also present a statistical analysis of the Block & Basu (1974). ACBVE model considering accelerated life under the classycal and Bayesian approaches, and three examples to illustrate the proposed methodology. Unde the Bayesian approach it is used Laplace\'s method for approximation of integral to get marginal posterior densities or posterior moments of interest.

Este trabalho propõe uma resolução para o problema de corte não guilhotinado através do grafo-E/OU. Considera uma placa retangular que pode ser cortada em dois tipos de padrões de corte, não-guilhotinado de ordens O e 1. O objetivo é encontrar uma maneira ótima de cortá-la em peças menores. / This work suggests a resolution for the non-guillotine cutting problem by AND/OR-graph. There is a rectangular plate that can he cut only two kinds of cutting patterns, the order O and 1 non-guillotine. The objective is to find the optimal manner of cutting it in smaller pieces.

Neste trabalho estudamos propriedades de estabilidade dos equilíbrios de uma equação diferencial particular bifurcados numa vizinhança da origem. Nosso objetivo principal é analisar o princípio da estabilidade reduzida. A função de bifurcação obtida aplicando a redução de Liapunov-Schmidt é usada para discutir o comportamento dos pontos de equilíbrio do problema original. / In this work we study the stability properties of equilibria of a particular differential equation bifurcating near the origin. Our main purpose is to analyse the principie of reduced stability. The bifurcation function obtained by applying the Liapunov-Schmidt reduction is used to discuss the qualitative and quantitative behavior of the equilibrium points of the original problem.