Apresentamos neste trabalho, um estudo do modelo de confiabilidade de software de Jelinski e Moranda (1972). Enfocamos, a importância da análise Bayesianapara a correção da instabilidade do estimador de máxima verossimilhança de N (número de erros do software), e a ortogonalização de Cox e Reid (1987) para a realização de inferência Bayesiana sobre a taxa de falhas A. Também, caractenzamos a existência da densidade a posteriori de { quando admitimos densidades a priori não-informativas e impróprias aos parâmetros do modelo. Destacamos o comportamento dos métodos de aproximação de Monte Carlo em cadeias de Markov, para a obtenção da distribuição a posteriori de N quando esta é imprópria. / In this work is presented an analysis of the Jelinski-Moranda model (1972). Special importance are given to the instability of the maximum-likelihood estimator of // (the number of software failures) and the orthogonal parameters (Cox and Reid, 1987) to obtain a Bayesian analysis of the failure rate. Also, the existence of the posterior distribution of N when an improper prior is used is charactenzed. The behavior of the MCMC to simulate the posterior distribution of Nwith improper priors is emphasized.

Neste trabalho estudam-se problemas de dimensionamento de lotes com aplicações específicas em uma fundição automatizada. Quando várias ligas são consideradas na programação, o problema é modelado com um problema de programação linear inteira mista; caso contrário como um problema de programação linear. Algumas hipóteses são assumidas sobre o gargalo e heurísticas são desenvolvidas. Mostra-se também como a fundição pode ser integrada a um sistema de múltiplos estágios, tais como usinagem e montagem. Experiências computacionais sobre o desempenho dos métodos são relatadas. / ln this work the subject of lot sizing problems is studied and a case study in an automated cast is presented. When different alloys are considered in the production scheduling, the problem is modeled as a linear mixed-integer programming problem; otherwise a linear programming problem is used. Some hypotheses on the production bottleneck are assumed and heuristic methods are developed. lt is also shown how the automated cast can be coupled with a multilevel global system. Computational performance of the methods is verified and the results presented.

Esta dissertação apresenta o projeto de construção do sistema INTEMA: um gerador de explicações e um ambiente de interação para Sistemas Tutores Inteligentes (sTIs) em Matemática. o INTEMA é parte de uma arquitetura genérica de STIs em Matemática que permite a troca de domínio, sem necessidade de alterar a geração de explicações. As explicações geradas têm por objetivo justificar o comportamento do sistema e informar os usuários, de maneira individualizada, sobre as características e funções do sistema. O estilo de interação fornecido pelo sistema é o de manipulação direta. São discutidos em detalhes os três módulos principais do INTEMA: planejador, realizador e interface. Um exemplo de interação com o sistema no domínio de Lógica de Primeira Ordem é apresentado. / This work presents the system INTEMA: an Intelligent Tutoring System (ITS) module which consists of an explanation generator and an interaction environment for ITSs in any mathematical domain. INTEMA is part of a generic architecture for representing mathematical knowledge, what allows the domain exchange. The explanations aim to justi$ the system\'s behaviour by teaching and informing the user about the characteristics and the functions of the system. Direct manipulation is the interaction style provided by the system. The three main system\'s modules - the planner, the realizer and the interface - are discussed in detail. An example of an interaction with a system that teaches First Order Logic is also presented.

Atualmente, os principais indicadores sobre a educação básica no Brasil são calculados a partir dos resultados apurados pelo Censo Escolar, fonte que apresenta inconsistências nos resultados, principalmente na obtenção das Taxas do Fluxo Escolar e nos totais de matrículas dos alunos. O modelo de Fluxo Escolar tem como função descrever o movimento dos alunos dentro do Sistema de Ensino, reconstruindo a evolução dos mesmos nas séries do ensino fundamental ao longo dos anos mediante as Taxas de Transição. É desenvolvida uma metodologia baseados numa proposta demográfica, onde é mostrada a dinâmica do processo de transição das séries que regulam o fluxo dos alunos medindo as taxas de promoções, repetências e desistências, de forma a estimar o fluxo dos estudantes para uma coorte hipotética de uma determinada idade. O presente trabalho tenta encontrar uma ponte entre a explicação da atual realidade educacional do país com a teoria e as ferramentas estatísticas, as quais tentam conseguir uma melhor visão da dimensão do desempenho do Sistema Educativo. O ponto central do trabalho trata das estimativas e previsões de matrículas que possam explicar esta dimensão, a traves da estimação das chamadas taxas do Fluxo Escolar. É descrito o tratamento de Cadeias de Markov Discretas mediante a Inferência Clássica, dado que o número de alunos aprovados, repetentes e evadidos podem ser vistos como tal. São calculados os Estimadores de Máxima Verossimilhança das taxas e são mostradas as propriedades asintóticas das mesmas e encontrada a distribuição asintótica com correlação serial, dado que os dados tem certa medida de dependência entre pares sucessivos de observações, são construídos testes de hipóteses e é feita uma abordagem Bayesiana considerando que o número de alunos aprovados, repetentes e evadidos tem uma distribuição multinomial sendo os parâmetros as probabilidades de transição (taxas de transição do fluxo). É feita a análise considerando primeiro como priori não informativa a priori de Jeffrey, logo é considerada como priori conjugada uma distribuição beta multivariada, conhecida também como distribuição de Dirichlet, esta distribuição pode ser interpretada como contendo informação equivalente ao número total de matrículas. As taxas do fluxo são estimadas usando função de perda quadrática. Também é considerado como estimador das taxas a moda da posteriori, em ausência de uma função de perda específica. São desenhadas propostas futuras dando alguns tópicos de Inferência Bayesiana para Processos estocâsticos. As taxas do Fluxo escolar são calculadas para diversas regiões do país e é considerado um modelo hierárquico com parâmetros comuns para cada região. Dessa forma o presente estudo busca contribuir no sentido de apresentar e discutir as possibilidades do modelo de Profluxo e, ao mesmo tempo, propor uma metodologia que combine os resultados deste método com as tendências demográficas e a teoria estatística, de maneira a se ter um quadro mais fidedigno na demanda por ensino fundamental no Brasil para os anos seguintes. / Not available

Neste trabalho foi feita uma aplicação das Equações Diferenciais Estocásticas á teoria da Precificação de Opções. Esta teoria teve grande impulso com o trabalho [Black & Scholes, 73], Black e Scholes em seu trabalho entre outra premissas feitas consideraram que os log-retornos dos ativos tinha uma distribuição normal. Aqui neste trabalho foram considerados três modelos, um deles é a difusão log- normal utilizada por Black-Scholes os outros dois modelos são a difusão linear e o processo de Ornstein-Uhlenbeck. Para estes três modelos foram determinadas as Medidas Martingales Equivalentes, isto foi feito utilizando o Teorema de Cameron-Martin- Girsanov, veja [Friedman, 75], Também foram analisadas versões discretas destes modelos obtidas pela aproximação de Euler, veja [Kloeden & Platen, 95]. O objetivo foi comparar os resultados obtidos com os modelos contínuos com os resultados obtidos com os modelos discretos. Também se fez uma análise dos estimadores dos parâmetros dos modelos contínuos. Nesta análise foi utilizada a abordagem Clássica e a abordagem Bayesiana. Primeiramente se fez uma comparação das estimativas obtidas por estas duas abordagens e posteriormente uma análise do comportamento assintótico desses estimadores. / In this work, an application of the stochastic differential equations to the theory of options was carried out. This theory had great impulse with the work by [Black & Scholes, 73], In their work, amongst other premi ses, they consider that the log-retums of actives had a normal distribution. In this work, three models were considered, one of which is the log-normal distribution used by Black & Scholes. The other two models are the linear diffusion and the Ornstein-Uhlenbeck. For these three models, the Equivalent Martingales Measures were determined, this was made using the theorem of Cameron-Martin-Girsanov, see [Friedman, 75], Discrete versions of these models were also analysed, which were obtained by the approximation of Euler, see [Kloeden & Platen, 95]. The objective was to compare the results for the continuous models to the results obtained for the discrete models. It was also made the analysis of the estimates of parameters of the continuous models. In this analysis, the Classic approach and the Bayesian approach were used. Firstly, a comparison was carried out for the estimates obtained for these two approaches and a further analysis of the asymptotic behaviour of these estimates was also made.

O problema de corte de estoque consiste em cortar unidades maiores (objetos) em unidades menores (itens) de maneira a satisfazer uma demanda e otimizar algum critério, por exemplo, minimizar a perda gerada pelos padrões de corte (um padrão descreve como arranjar itens dentro de um objeto). O problema dc sequenciamento de padrões de corte consiste em determinar uma sequência, na qual os padrões serão processados a fim de otimizar algum critério, por exemplo, minimizar o número máximo de pilhas abertas (itens que ainda serão cortados de um ou mais padrões na sequência) durante o corte dos padrões. Em alguns processos industriais os problemas de geração e sequenciamento de padrões de corte não podem ser resolvidos de forma independente pois, em geral, uma boa solução para o problema de corte (isto é, com pequena perda de material) não corresponde a uma boa solução para o problema de sequenciamento (isto é, com um pequeno número de pilhas abertas) e vice-versa. Existe, na verdade, um trade-off entre os objetivos desses dois problemas. Neste trabalho três abordagens heurísticas são apresentadas para resolver de forma integrada os problemas de geração e sequenciamento de padrões. Os resultados computacionais apresentados mostram que as abordagens geram boas soluções e são eficazes para analisar o trade-off entre esses dois problemas. / The cutting stock problem consists of cutting large units (objects) into smaller ones (items) in order to satisfy a demand and optimize a criterion, e.g., to minimize the trim loss. The sequencing problem consists of determining a sequence in which to cut patterns so as to optimize an objective, such as minimizing the maximum number of open stacks (items that will still be cut from one or more patterns in the sequence) during the pattern cut. In some industrial processes, the problems involved in generating and sequencing cutting patterns cannot be solved independently because a good solution for the cutting problem (i.e., with low trim loss) usually does not correspond to a good solution for the sequencing problem (i.e., with a small maximum number of open stacks) or vice-versa. There is, in fact, a tradeoff between the objectives of these two problems. In this work, three heuristic approaches are presented to solve the problems of generating and sequencing cutting patterns in an integrated manner. The computational results presented here demonstrate that these approaches offer good solution and are effective to analyze the tradeoff between these two problems.

Os Sistemas de Gerenciamento de Banco de Dados (SGBDs) existentes são muito sofisticados, eficientes e rápidos na recuperação de informações envolvendo dados de tipos tradicionais, tais como números, texto, etc., mas existem muitas limitações em se tratando de recuperar informações quando os tipos de dados são mais complexos, isto é, dados multi-dimensionais. Considerando os problemas existentes com a indexação e recuperação de dados multi-dimensionais, este trabalho propõe um sistema híbrido que combina um modelo de Redes Neurais da família ART, ART2-A, com uma estrutura de dados, Slim-Tree, que é um método de acesso a dados no espaço métrico. Esta proposta é uma alternativa para realizar o processo de agrupamento de dados de forma \"inteligente\" tal que os dados pertencentes aos agrupamentos (clusters) possam ser recuperados a partir da Slim-Tree correspondente. O sistema híbrido proposto é capaz de realizar consultas do tipo: busca por abrangência e dos k-vizinhos mais próximos, o que não é característica comum das redes neurais artificiais. Além disto, os experimentos realizados mostram que o desempenho do sistema foi igual ou superior ao desempenho obtido pela Slim-Tree. / Database Management System (DBMS) are very sophisticated, efficient and fast in the information retrieval involving traditional data sets such as numbers, strings, etc., but there are many limitations in the information retrieval when the data are more complex, i.e., high-dimensional data. Considering some existing problems in the information retrieval, this work proposes a hybrid system that combines an ART family neural network, ART2-A, with a data structure, Slim-Tree, that is a metric access method. This proposal is an alternative to perform the clustering process of data in a \"intelligent\" way in order the data can be recovered from the corresponding Slim-Tree. The proposed hybrid system is able to perform range queries and k nearest neighbor queries, that is not a inherent characteristic of artificial neural networks. Furthermore, in experiments show that the performance system was equal or superior to Slim-Tree performance.

Realizaram-se quatro séries de sínteses (2Kbar de pressão total): sanidina a \'930 GRAUS\'C, leucita a \'930 GRAUS\'C e \'1030 GRAUS\'C e de vidro sanidínico a \'1030 GRAUS\'C, em contato com solução hidrotermal contendo KCl e traços de cloretos de metais alcalinos e alcalino-terrosos marcados com seus isótopos radiativos (\'ANTPOT. 86 Rb\',\'ANTPOT. 45 Ca\', \'ANTPOT. 85 Sr\', \'ANTPOT. 133 Ba\'). Em cada série de experimentos, a titulação total da solução foi mantida constante e as concentrações elemento traço/potássio variaram de \'10 POT. -1\' a \'10 POT. -6\'. Foram estabelecidos os vários coeficientes de distribuição dos oligoelementos entre cristais e solução entre vidro (magma) e solução, dentro dos critérios de idealidade (Leis de Henry e Berthelot-Nernst). Esses coeficientes experimentais foram relacionados para obtenção indireta de coeficientes de partição dos elementos trações entre sanidina e \"magma sanidínico\" e entre leucita e esse mesmo \"magma\". Com essas aproximações concluimos que: a) durante a cristalização da leucita, quantidades importantes de Ba e pouco menos importantes de Rb são fixadas na leucita, empobrecendo o líquido residual nesses elementos. O Sr e o Ca apresentam comportamento oposto. b) durante a cristalização da sanidina, o Ba é ainda mais fixado nessa fase, seguido de perto pelo Sr. O Rb concentra-se ligeiramente mais no líquido (vidro) e o Ca, segue o mesmo comportamento, porém, de forma marcante. Os dados experimentais acham-se em perfeito acordo com a história magmática dos complexos alcalinos de Tanguá e de Itaúna no Estado do Rio de Janeiro. / This work shows results of hydrothermal experiments to determine the distribution coefficients of alcali and alcaline earth elements in trace concentrations between sanidine and liquids of same composition and between leucite and liquid. At 2 kb pressure and 930°C for sanidine, 930° and 1030°C for leucite and 1030°C for a melt of sanidine composition the concentration of trace elements (TE) in the coexisting potassium bearing aqueous fluid phase was varied between \'10 POT.-1\' to \'10 POT. -6\' mole to one mol of \'K POT.+\'. By use of radioactive tracers (\'Rb POT.86\', \'Ca POT. 45\', \'Sr POT. 85\', \'Ba POT. 133\') the concentrations in TE of the aqueous phase, the solids and melts has been determined. Under the assumption of Henry-and Bertholet-Nernst law behavior for the trace elements the following distribution coefficient between solids and aqueous fluid phase (HS) and melt and aqueous fluid phase (HS) have been determined (\'KD POT. Solid-HS\' = TE/\'K POT +\'; \'KD POT. Melt-HS\' = TE/\'K POT. +\'). Under the assumption of equal bahaviour of trace elements in the aqueous fluid phase of the experiments with solids and with melts coexisting, the division of the distribution coefficients of \'KD POT. solid-SH\' and \'KD POT. melt-SH\' gives directly the distribution coefficient \'KD POT. solid-melt\'. This indirect method will give a good approximation of the behaviour of TE between a melt and crystallising solids. These aprotimations lead to following conclusions: a) during the crystallisation of leucite, this phase incorporates large quantities of Ba and Rb, depleting the residual melt in those elements. Sr and Ca, on the other hand are enriched in the residual melt. b) the crystallisation of sanidine depletes even more the residual melt in Ba, Sr shows similias behaviour, Rb and Ca, however, are enriched in the residual melt phase. The application of these data to the igneous history of the alkaline rocks de Tanguá and Itaúna, state of Rio de Janeiro showed good correspondence between natural observation and experimental work.

Os maciços Sorocaba e São Francisco constituem dois corpos granitóides, intrusivos em rochas metamórficas de baixo grau do Grupo São Roque, e localizados no sudoeste do Estado de São Paulo. Perfazem uma área de 180 \'km POT.2\' e 150 \'km POT.2\', respectivamente, distando entre si aproximadamente 10 km. Foram mapeados na escala 1:50.000, com estudos abrangendo mapeamento faciológico, petrografia, geoquímica e tipologia do zircão. Os contatos a norte de ambos os maciços são marcados por rochas de metamorfismo termal, enquanto que a sul estão associados a zonas de falhas. O Maciço Sorocaba apresenta forma alongada, com direção geral NE-SW, associado ao Falhamento de Jundiuvira. É caracterizado por dezoito fácies granitóides, agrupadas em onze associações mapeáveis. É composto por monzogranitos leucocráticos e melagranitóides cinza e róseo predominantes, sienogranitos e quartzo monzonitos inequigranulares porfiróides, e granodioritos cinza equigranulares e porfiríticos. A composição é calci-alcalina de médio a alto potássio, caracterizada petrograficamente, geoquimicamente e através da tipologia do zircão. Apresenta litotipos menos diferenciados com valores mais elevados do elementos maiores e traços e maior variação composicional entre as rochas. Foi classificado como um granitóide \"Tipo I\", formado em ambiente pós-colisional, a aprtir de fusão de material da crosta inferior e magmas básicos. O Maciço São Francisco tem uma forma ovalada, com direção geral ENE-WSW, paralelo ao Falhamento de Pirapora. Apresenta sete fácies mapeáveis, compostas por sienogranitos e monzogranitos hololeucocráticos e leucocráticos róseos porfiróides e equigranulares, com ou sem textura, rapakivi. A composição é alcalina potássica a sub-alcalina, com litotipos mais indiferenciados e menor variação composicional entre as rochas. Os processos de albitização e greizenização são intensos às vezes associados a hidrotermalismo. Foi classificado como um granitóide de transição entre os Tipos \"I\" e \"A\", ligados a um ambiente de descompressão pós-orogênico, formado a a partir de fusão de rochas granulíticas da base da crosta, em condições de geração de granitos \"subsolvus\". / The Sorocaba and São Francisco ganitoid massifs are intruded into low-grade metamorphic rocks of the São Roque Group. These two massifs are located at the southwest portion of São Paulo State, about 10Km apart from each other and have outcropping areas of 180 and 150 km2, respectively .This study includes 1:50.000 scale geological mapping, faciologic mapping, ,petrographical and geochemical analyses and zicon typology. Both massifs present two distinct types of contacts: northward contacts with thermal metamorphism; and southward contacts associated to fault zones. The Sorocaba Massif shows and elongated shape with a ne_sw general trend associated to the \"Jundiuvira Fault System\". It comprises 18 granitoid facies grouped into il discernible associations. It is characterized by leucocratic monzogranites and grey and pink melagranitic rocks, predominantly. Sienogranites, inequigranular porphyritic quartz monzonites and equigranular to porphyritic grey granodiorites occur subordinately. It corresponds to a middle to high-potassium cal-alkaline trend, characterized by petrographical, geochemical and zircon typology data. Its lithotypes show less differentiated types and large compositional variation. The massif corresponds to a \" type I\" granitoid, generated in a post-collisional environment from melting of deep crustal material and basic rocks. The São Francisco Massif have an oval shape with an ENE-WSW general trend parallel to the \"Pirapora Fault System\".It includes 7 discernible facies, composed by pink leucocratic,porphyritic and equigranular sienogranites and monzogranites, occasionally with rapakivi textures. Its chemical trend is potassic-alkaline to sub-alkaline with more differentiated types and showing little compositional variation. Greisenization and albitization are widespread and are occasionaly associated to hydrothermal activities. The massif can be classified as a trasitional granitoid between types \"l\" and \"A\", attributed to a distensible, post-orogenic to anorogenic tectonic environment, and probably originated from the melting of granulitic rocks in the deeper crust, coexisting with subsolvus granitic conditions.

A estruturação do Lineamento Além Paraíba-Cubatão Lancinha ocorreu em dois eventos distintos: Cubatão e Lancinha. O Evento Transcorrente Cubatão, atuante em rochas gnáissicas, mostra a presença de rochas miloniticas e blastomiloniticas, com metamorfismo da fácies anfibolito e deformações essencialmente dúcteis associadas. A reativação de antigos planos de fraqueza gerados no Evento Cubatão, levaram à deformação dos metassedimentos Açungui sobrepostos, com a instalação de estruturas secundárias previstas no Modelo de Riedel, como dobras escalonadas, falhas sintéticas e antitéticas, além de fraturas do tipo Y (D), X e T. Associam-se a estas estruturas um generalizado fraturamento e esporádicas brechas, além de lenticularizações e constricções de camadas litológicas. Estas deformações geradas no nível estrutural médio, caracterizam o Evento Transcorrente Lancinha. A presença de esforços transpressionais alçaram o Núcleo Betara, e expuseram cisalhamentos transcorrentes dúcteis, rupteis-ducteis, alem de deformações rupteis. Além disso, estes esforços NW-W/SE-E formaram estruturas do tipo \" duplex de Riedel\". A formação Camarinha foi deformada por nova reativação deste mega lineamento, estirando seixos do seu fácies conglomerático, com valores de Rs=1.8-2.0. Diversas reativações tiveram lugar durante o Fanerozoico, até movimentos suaves que parecem estar presente nos dias atuais. / Two distinct events (Cubatão and Lancinha) were recognized to have taken place for the structural installation of the Além Paraíba-Cubatão-Lancinha lineament. The Cubatão strike-slip fault affected gnaissis rocks, producing mylonites and blastomylonites, associated with amphybolite facies metamorphism and essentially ductile deformation along its strike. The overlying Açungui metassediments were deformed due to reactivation of earlier weakness planes originated at the Cubatão event. Several secondary structures, such as en échelon folds, synthetic and antithetic faults, Y (D), X and T fractures were simultaneously develloped, in accordance with Riedel\'s Model. Generalized fracturing and rather few brecciation, along with lenticularization and constriction of some beds are associated phenomena. These deformations all were produced at intermediate crustal level and are due to the Lancinha strike-slip event. Ductile and brittle-ductile transcurrent shears, beside brittle deformations, were exposed where transpressional stresses succeded to cut across the core gneisses of the structure known as Núcleo do Betara. NW-W/SE-E oriented stresses also led to Riedel\'s duplex structures. Deformation of the Camarinha Formation was caused by a new reactivation of this mega shear zone. Pebble elongation measurements performed in the conglomeratic facies of this sequence indicated values of Rs=1.8-2.0. Several reactivations also took place during Phanerozoic time and gentle movements seen to be notiable in present times.