Made available in DSpace on 2018-08-01T22:35:44Z (GMT). No. of bitstreams: 1 tese_10573_Dissertação HARLIANY 2017-Final.pdf: 1632621 bytes, checksum: 9884692594faa94600fa0c6cc104f3ee (MD5) Previous issue date: 2017-02-20 / O objetivo do presente trabalho foi desenvolver uma estratégia para gerar alternativas de corte para a indústria de serraria de toras de madeira, utilizando Programação Linear Inteira (PLI). Para isso, foi proposto um modelo matemático que tem como função objetivo maximizar a receita da serraria em estudo, levando em consideração o estoque de matéria-prima (toras), padrões de corte do tipo Live Swaing e Cant Swaing e a demanda pelos produtos de madeira serrada. Os dados para a realização do estudo foram coletados na Serraria Santa Rita, localizada no município de Dores do Rio Preto, Estado Espírito Santo, em que foram separados em dados de estoque e dados de demanda. Os dados de estoque foram 95 toras de comprimento fixo de 2,5 m que foram divididos em seis classes de diâmetro (28, 30, 32, 34, 36 e 38), e os dados de demanda foram os produtos que a serraria precisava serrar para atender o pedido feito por um cliente: P1 15x5 cm, P2 10x4 cm, P3 12,5x2,5 cm e P4 7x3 cm. Foi desenvolvido um sistema para simulação e otimização do desdobro de toras, denominado OptiSawn. O sistema é composto por dois módulos. No primeiro são gerados todos os planos de corte possíveis por meio de um algoritmo recursivo. Na sequência, o sistema escreve o modelo baseado em Programação Linear Inteira tendo como método de resolução o algoritmo exato branch-and-cut. O sistema Optisawn gerou um total de 84.668 diagramas de corte para as seis classes diamétricas, sendo 84.160 para o padrão de corte Live Sawing e 508 para o padrão Cant Sawing. O modelo de Programação Linear Inteira resultou em uma receita de R$4.193,43, indicando sete alternativas no padrão de corte Live Sawing e três alternativas no padrão de corte Cant Sawing. Palavras chave: Diagramas de corte; Modelo Matemático; Rendimento em serrarias.

Orientadores: Jose Manoel Balthazar, Helder Anibal Hermini / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-06T09:09:07Z (GMT). No. of bitstreams: 1 Chavarette_FabioRoberto_D.pdf: 4150246 bytes, checksum: 9d985ec5ea9fe6e142b97323e3bcc2d9 (MD5) Previous issue date: 2005 / Resumo: Nesta tese de doutorado, estuda-se o comportamento da membrana plasmática modelada através de um circuito elétrico. O modelo elétrico foi desenvolvido por Hodgkin e Huxley em 1952 e trata da variação do tempo em relação à condutância de íons de potássio e sódio no axônio da lula gigante, este modelo serviu como um arquétipo para modelos comportamentais da eletrofisiologia das membranas biológicas. Hodgkin e Huxley desenvolveram um conjunto de equações diferenciais para a propagação de sinais elétricos, que foram modificados posteriormente para descrever o comportamento dos neurônios em outros animais e para outros tipos de fibras excitáveis, como por exemplo às fibras de Purkinjie. Assim a dinâmica do modelo de Hodgkin-Huxley foi estudada extensivamente com uma visão para as implicações biológicas e com testes para métodos numéricos que podem ser aplicados a modelos matemáticos mais complexos. Recentemente, um movimento irregular caótico do potencial de ação da membrana foi observado com diversas técnicas de controle com o objetivo de estabilizar a variação deste potencial. Na tese de doutorado, analisa-se a dinâmica não-linear do modelo matemático de Hodgkin-Huxley, a existência de soluções quase periódicas para este modelo com os seus parâmetros originais, apresenta-se ainda modificações no modelo para acrescentar-se comportamento não ideal, isto é, quando se considera a ação de uma fonte de energia sob o sistema e sua interação supostamente limitada onde ela é mais intensa, e desenvolve-se um projeto de controle linear ótimo para o potencial de ação da membrana / Abstract: In this work it is studied the plasmatic membrane behavior through an electric circuit. The electric model was developed by Hodgkin and Huxley at 1952 and it treats of the variation of the amount of time related with the potassium and sodium conductance's in the squid axon, this model has served as an archetype for mannering mathematical model of eletrophysiology of biological membranes. Hodgkin and Huxley developed differential equations for the propagation of electric signals, and later they had been modified to describe the behavior of neurons in other animals and for other excitable types of as pancreatic cells, cardio paths and staple fibres of Purkinje. Thus the dynamics of the Hodgkin-Huxley model have been extensively studied both with a view to their biological implications and as a test bed for numerical methods that can be applied to more complex models. Recently, a chaotic irregular movement of the potential of action of the membrane was observes through several techniques of control with the objective to stabilize the variation of this potential. This Phd dissertation deals with an analysis of the nonlinear dynamics in the Hodgkin-Huxley mathematical model, namely, the existence of quasi-periodic solutions in the model with its original parameters, and still we present modifications in the system to demonstrate the non-ideal dynamics behavior, that is when one consider the interaction between the energy source and the dynamical system and we developed an optimal linear control design for the action potential of membrane. They had been disclosed the conditions that allow using a controllinear feedback for non-linear system / Doutorado / Mecanica dos Sólidos e Projeto Mecanico / Doutor em Engenharia Mecânica

Orientadores: Joerg Schleicher, Amelia Novais / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-06T21:47:51Z (GMT). No. of bitstreams: 1 Silva_MariaGabrielaMelo_M.pdf: 824279 bytes, checksum: 86fc870083d29ff7d1c834bea8c9f983 (MD5) Previous issue date: 2006 / Resumo: Em meios homogêneos, o operador diferencial da equação da onda cheia pode ser substituído pelo produto de dois operadores diferenciais. Cada um destes operadores gera uma equação da onda de sentido único. As soluções destas equações descrevem a propagação de uma onda para baixo e uma para cima, respectivamente. Estas soluções possuem os mesmos tempos de trânsito e amplitudes que a onda cheia, uma vez que satisfazem as mesmas equações iconal e de transporte. No entanto, em meios heterogêneos, estas ondas de sentido único satisfazem somente a mesma equação iconal que a onda cheia. Zhang et al. (2003) mostraram como obter equações da onda de sentido único de amplitude verdadeira de modo que estas possuam tanto os mesmos tempos de trânsito como as mesmas amplitudes da onda cheia. Com base nestas equações, desenvolveram uma migração da equação da onda de amplitude verdadeira para seções de fonte comum. Nosso objetivo neste trabalho é modificar a migração de Gazdag (1980), de tal maneira que esta passe a utilizar as equações da onda de sentido único de amplitude verdadeira ao invés das equações de sentido único padrão, para realizar uma migração da equação da onda em amplitude verdadeira para seções de afastamento nulo / Abstract: In homogeneous media, the two-way wave operator can be substituted by the product of two one-way wave operators each of which generates a one-way wave equation. One of these equations has a downgoing wave and the other has an upgoing wave as a solution. Those oneway waves have the same travei time and amplitudes as the full wave since they satisfy the same eikonal and transport equation. However, in heterogeneous media, the standard one-way waves satisfy only the same eikonal equation as the full wave. Thus, in this case, the amplitudes of the migrated section obtained through a migration method based on the standard wave equations are incorrect. Zhang et al. (2003) described how to modify the standard one-way waves in order to produce the true amplitude one-way waves, which not only have the same travei times but also the same amplitudes as the full wave. They use these true amplitudes one-way wave equations to preserve the amplitudes in common-shot wave-equation migration. Our goal is to modify Gazdag migration (Gazdag, 1980) in such a way that it uses the true amplitude one-way wave equations instead of the standard ones, in order to realize a true amplitude wave equation migration for zero-offset data / Mestrado / Geofisica / Mestre em Matemática Aplicada

O transporte pneumático de partículas sólidas tem sido frequentemente utilizado em diversas indústrias. Na última década, houve um aumento da demanda a favor da utilização otimizada dessa tecnologia, o que requer bom entendimento da dinâmica do escoamento da mistura gás-sólido em tubos e capacidade para predizer tal comportamento. A maioria dos modelos matemáticos que descrevem os fenômenos que ocorrem no transporte pneumático vertical são unidimensionais em regime permanente. No entanto, evidências experimentais sugerem que a suposição de não variação radial das variáveis básicas podem não ser verdadeiras. No presente trabalho realizaram-se as modelagem e simulação do transporte pneumático vertical considerando os perfis axiais e radiais das variáveis de escoamento. Procedeu-se à comparação entre os resultados obtidos com a simulação utilizando os modelos unidimensional e bidimensional. Considerando ainda as transferências convectivas de calor e de massa, foram efetuados os balanços de energia e de massa, estendendo-se o modelo para um secador pneumático vertical. Foram obtidas as variações axiais e radiais, das temperaturas e umidades do gás e das partículas. Efetuou-se também uma análise paramétrica da simulação, no que concerne à secagem pneumática vertical, não só com relação às variáveis de processo, como também às variáveis geométricas envolvidas. A análise paramétrica foi realizada utilizando planejamento fatorial e foram obtidas as influências das variáveis estudadas na umidade da partícula a 2,Omda entrada do secador. _________________________________________________________________________________________ ABSTRACT: Pneumatic conveying of solid partic1es has been frequently used in chemical industries. The increase in the use in this unit operation requires the knowledge of the dynamic of the gas-solid flow in tubes. The mathematical models of vertical pneumatic conveying found in the literature mostly consider the flow stcady and one dimensional. However, experimental evidence suggest that radial profiles of the basic variables of the flow exists. In this work a model is proposed for vertical pneumatic conveying considering axial and radial profiles for gas and solid velocities, porosity and pressure. The results obtained from this two-dimensional model were compared with the ones from the one dimensional model. The conservation equation for energy and mass of water were written to extend the model to a pneumatic dryer. The results show the axial and radial variations of gas and solid temperatures, gas humidity and particle moisture content along the dryer. A parametric analysis of the simulation was realized involving process and geometric variables using fatorial planning. The results of the parametric analysis show the influence of each variable in the moisture content of the particles at 2,Omat the entrance of the dryer.

Orientador: Marcio Luiz de Andrade Netto / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-21T03:09:01Z (GMT). No. of bitstreams: 1 VonZuben_FernandoJose_D.pdf: 14573699 bytes, checksum: 0ee593fadc48426550c71fca5580b441 (MD5) Previous issue date: 1996 / Resumo: Esta tese apresenta métodos de análise e síntese de modelos paramétricos e nãoparamétricos de redes neurais artificiais, utilizando resultados derivados da teoria de aproximação de funções e análise numérica. A flexibilidade destas estruturas conexionistas não-lineares é explorada com base em técnicas de regularização e métodos de otimização nãolinear irrestrita. A rede neural não-paramétrica resultante realiza mapeamentos não-lineares estáticos via métodos construtivos caracterizados por redução de dimensionalidade e propriedades de aproximação bem-definidas. Estruturas genéricas de processamento dinâmico não-linear podem ser obtidas via redes neurais multicamadas recorrentes, que são modelos paramétricos tendo redes neurais multicamadas não-recorrentes como caso particular. É investigado um conjunto de problemas não-lineares, cujas soluções são formuladas de modo a permitir a aplicação direta dos modelos de redes neurais desenvolvidos / Abstract: This thesis presents methods of analysis and synthesis of parametric and nonparametric artificial neural network models, using results from approximation theory and numerical analysis. The flexibility of these nonlinear connectionist structures is explored based on regularization techniques and nonlinear unconstrained optimization methods. The resulting nonparametric neural network performs arbitrary nonlinear and static mappings via constructive methods characterized by dimensionality reduction and well-defined approximation properties. Generic nonlinear dynarnicprocessing structures can be obtained via recurrent multilayer neural networks, parametric models having nonrecurrent multilayer neural networks as a particular case. A set of nonlinear problems is investigated, and solutions are formulated so that the developed neural network models can be directly employed. / Doutorado / Engenharia de Computação / Doutor em Engenharia Elétrica

Orientador: Mario de Jesus Mendes / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-07-21T09:29:49Z (GMT). No. of bitstreams: 1 Poiani_LuizMarcio_D.pdf: 6523322 bytes, checksum: 30a1efb12160f9afcd23fd1c65ba6abd (MD5) Previous issue date: 1993 / Resumo: Este trabalho se propõe a estudar a modelagem matemática, a simulação e o controle de colunas de destilação de elevada pureza. Analisam-se inicialmenteos aspectos fenomenológicos do comportamento dinâmico de colunas, objetivando-se desenvolver um modelo que contenha todas as informações fenomenológicas principais e que ao mesmo tempo seja suficientemente flexível, confiável e de real significado prático. Estuda-se a seguir a simulação do comportamento dinâmico de colunas, com concentração de impureza no produto de topo variando de ¿10 POT. 3¿ a ¿10 POT. 6¿ ppm. Utiliza-se como exemplo aplicativo o sistema metanol-água Com base nos resultados discute-se o potencial do modelo para ser usado na análise de sistemas de controle de colunas de elevada pureza, procurando-se explorar diferentes aspectos da teoria do controle: seleção da configuração de controle dual mais adequado, análise dinâmica das iterações (método da matriz dos ganhos), controle dual ideal x real (atraso), controle não linear (função desacopladora) e controle antecipativo-retroativo / Abstract: The main objective of the present study is the mathematical modelling, simulation and control of distillation columns processing high-purity overhead products. The phenomenological aspects of the dynamic behavior of columns are analysed at first to obtain a model which takes into account the main variables, beeing also flexible, reliable and practical. The next step is the simulation of the dynamic behavior of columns with overhead impurities in the range of ¿10 POT. 3¿ to ' 10 POT. 6¿ ppm. Methyl alcohol system was selected as an illustrative case. The potential of the model in the analysis of control systems is discussed, with emphasis in several aspects of the control theory: selecting the most adequate dual control theory: dynamic analysis of interactions (gain matrix methods), ideal versus real dual control (delay), non-linear control (decoupling function) and forward-feedback control / Doutorado / Sistema de Processos Quimicos e Informatica / Doutor em Engenharia Química

Orientador: Milton Mori / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-07-21T09:56:42Z (GMT). No. of bitstreams: 1 Tacao_AndreaAssumpcao_M.pdf: 3745174 bytes, checksum: 9f3d8b3bae12dcbe688031395b4acfa5 (MD5) Previous issue date: 1996 / Resumo: o presente trabalho apresenta a simulação do escoamento gás-sólido do "standpipe" da unidade de FCC da Petrobras-SIX. "Standpipe" é o tubo que transporta catalisador e gás arrastado do reator para o regenerador através de uma contrapressão, com auxílio da gravidade, possuindo um ponto de injeção adicional de gás próximo à descarga. Apenas escoamento em leito móvel é considerado. O objetivo deste estudo é determinar o comportamento do "standpipe", ou seja, contrapressão máxima que pode ser vencida, perfil de pressão e condições de inversão de fluxo de gás (ou fluidização reversa), para que seja possível prever o desempenho do mesmo nas condições de operação. Para tanto, dois modelos matemátícos da literatura foram utilizados, com três expressões de força de interação entre as fases sendo testadas para um deles. Desenvolveu-se um simulador em linguagem FORTRAN. o qual utiliza o método de Runge-Kutta-Gill para solução das equações diferenciais de um dos modelos. Simulações foram executadas para várias condições de vazão de sólidos, contrapressão e aberturas da válvula de descarga. Os resultados obtidos com ambos os modelos não foram concordantes, sendo que apenas um deles fornece respostas condizentes com as condições de operação da unidade. Com este modelo foi realizada uma análise quanto à vazão e localização do gás adicional injetado. Concluiu-se que o "standpipe" em questão opera com bom desempenho, mas em condições próximas aos limites de fluidização reversa, a qual ocasiona paradas da unidade / Abstract: This work presents the simulation of the gas-solid flow through the standpipe of the FCC unity of Petrobras-SIX. Standpipe sends gas and catalysts from riser to the regenerator against a backpressure with the aid of gravity and presents a point of gas injection near the discharge. Only moving bed flow is considered. The objective is to determine the standpipe behavior, that is, the maximum backpressure, the pressure profile and reversed gas flow (or reversed fluidization) conditions in order to predict the pipe performance under the operating conditions. We have used two mathematical models reviewed in the literature and tested three expressions for the force exerted by the gas on the particles. A simulator has been developed in FORTRAN using the Runge-Kutta-Gill method for differential equations solution. Simulations were carried out for many catalyst flow conditions, backpressure and discharge valve opening. Results obtained for each model were not in agreement, but one of the models provides results in agreement with the unity operation conditions. We have used this model to analyze the flow and location of injected gas. We have concluded that the standpipe performance is good but it works with operating conditions near the limit of reversed fluidization, which makes the process to shut down / Mestrado / Desenvolvimento de Processos Químicos / Mestre em Engenharia Química

Orientador: Ilmar Ferreira Santos / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-21T17:10:26Z (GMT). No. of bitstreams: 1 TeixeiraNeto_Alessandro_M.pdf: 6145701 bytes, checksum: 0baf2adc94ed23aec9d0287de7e9070e (MD5) Previous issue date: 1996 / Resumo: A determinação das curvas características de torque de acionamento e cálculo dos esforços máximos exercidos sobre os mancais hidrodinâmicos são etapas imprescindíveis não só no projeto da bomba injetora mas também no estudo de cada uma de suas aplicações em motores de combustão Diesel. O objetivo deste trabalho é o estudo da viabilidade da modelagem matemática do eixo de acionamento da bomba injetora. Assim, definida uma aplicação da bomba injetora e seus parâmetros operacionais (rotação do motor e níveis de pressão internos da bomba), um modelo matemático é desenvolvido com o intuito de óbter-se o comportamento dinâmico do eixo de acionamento da mesma. O Método dos Elementos Finitos é empregado para a modelagem do eixo de acionamento representando-o por um rotor flexível. Os esforços que agem sobre o eixo devido a cada um dos mecanismos que estão vinculados ao mesmo (engrenagem de acionamento, mancais hidrodinâmicos, bomba de palhetas, engrenagem do regulado.r e carne) são estudados extensivamente de forma que o modelo reproduza fielmente os carregamentos dinâmicos efetivos da bomba injetora. Um modelo matemático para os esforços do carne, em função do tempo, é desenvolvido a partir do perfil do carne e de uma função obtida experimentalmente para a pressão do cilíndro distribuidor. Modelos linearizados são empregados na caracterização dos esforços dos mancais hidrodinâmicos. Entretanto, no apêndice do trabalho é desenvolvido um modelo matemático, empregando-se o Método dos Elementos Finitos, para a distribuição da pressão na superfície do mancal hidrodinâmico. As etapas de cálculo para a determinação do problema não-linear da configuração de equilíbrio do sistema rotor /mancal são descritas. Os resultados do modelo matemático são comparados àqueles obtidos nos ensaios experimentais ratificando a viabilidade de simulação, via computador, como metodologia alternativa para o comportamento dinâmico do eixo de acionamento da bomba injetora / Abstract: The establishment of the driving torque characteristic curves and the computation of the maximum strains exerted over the journal bearings are fundamental stages to a fuel injection pump design and also to any application study of it in Diesel combustion engines. The objective of this work is the feasibility study of a fuel injection pump driving shaft mathematical modelling. So, once defined a fuel injection pump application and its operating parameters (engine rotation and pressure levels inside the pump), a mathematical model is developed with the purpose of geting its driving shaft dynamic behavior. The finite element method is applied to the driving shaft modelling representing it as a fiexible shaft. The strains that act over the shaft due to each one of the mechanisms that are attached to it (driving gear, journal bearings, rotary vane pump, guide gear and cam) are extensively studied in a way that the model reproduces the fuel injection pump actual dynamic loads. A mathematical model of the cam strains are developed employing the cam shape and an experimental function that describes the piston pressure. Linearized models are employed to establish the journal bearings strains. A mathematical model employing the finite element method is developed in the appendix to describe the pressure distribution over the journal bearing surface. The computation stages to solve the nonlinear problem of the shaft / journal bearing balance configuration are described. The results of the mathematical model are compared to those obtained experimentaly ratifying its feasibility as an alternative methodology to the fuel injection pump driving shaft behavior study / Mestrado / Mecanica dos Sólidos e Projeto Mecanico / Mestre em Engenharia Mecânica

Orientador: Mario de Jesus Mendes / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-07-21T18:29:50Z (GMT). No. of bitstreams: 1 Carvalho_CesarRobertoGuimaraesde_M.pdf: 2053678 bytes, checksum: c70a8b848430bc2fe8255c7380d9b484 (MD5) Previous issue date: 1996 / Resumo: Um dos maiores problemas encontrados no estudo dos processos de separação por estágios é a grande dimensão dos modelos do processo. Deste modo, a simulação desses processos geralmente envolve um grande número de equações algébrico-diferenciais não-lineares cuja solução requer um elevado esforço computacional. Técnicas para reduzir a dimensão destes modelos facilitariam muito a aplicação da otimização on-line e do controle avançado de tais processos. Estas técnicas são chamadas de métodos de redução e os modelos por elas gerados recebem o nome de modelos reduzidos. Neste trabalho a aplicação do método da colocação ortogonal é estendida à solução de equações às diferenças, a partir do desenvolvimento de uma metodologia que unifica o uso da colocação ortogonal tanto para a solução de equações diferenciais quanto para a de equações às diferenças. O objetivo básico do trabalho é o desenvolvimento de modelos reduzidos para processos de separação por estágios. Para tal, as equações de balanço de massa e energia do modelo pratoa-prato original são reescritas na forma de equações às diferenças finitas e em seguida essas diferenças são aproximadas por técnicas de colocação ortogonal discreta. Os resultados obtidos na simulação de alguns casos exemplos apresentaram uma concordância muito boa com os do modelo prato-a-prato, tanto no estado estacionário quanto no transiente, além de uma redução considerável na ordem do sistema e no tempo de processamento / Abstract: One major problem in the study of stage-based separation process is the large dimensionof the process models. Hence, the sim!Jlationof these processes normallyrequires the solution of a large number of algebraic and differentialequations, associated with prohibitive computacional effort. For on-line optimization and advanced control, models with mallerdimensionswould be desirable. In this work the technique of orthogonal collocation is extended to the solution of difference equations, based on the development of an unified approach for the solution of differentialand difference equations. The main objective ofthis work is the development ofreduced-order models for staged separation processoThe mass and energy balance equations for the original tray-by-tray model are rewritten in the form of finite difference equations, and those are then solved by discrete orthogonal collocation. The results obtained ftom the new approach compare very well with the original trayby-tray model results, both for steady-state and dynamicsconditions. The decrease in computational effort is considerable in the magnitude ofthe problem formulation as well as in the time required for the solution / Mestrado / Sistemas de Processos Quimicos e Informatica / Mestre em Engenharia Química

Orientador: Ulisses Caramaschi / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Biologia / Made available in DSpace on 2018-07-21T21:18:29Z (GMT). No. of bitstreams: 1 Barata_PauloCesarRosito_D.pdf: 11779670 bytes, checksum: d7860a8004dbecaf1bf4aa8bc7625708 (MD5) Previous issue date: 1996 / Resumo: Nesta tese é apresentado um modelo para a estimação do número de tartarugas marinhas desovando em uma praia em uma temporada de desova, tendo por base dados obtidos por marcação das tartarugas na praia de desova e a contagem do número total de ninhos depositados na praia na temporada. O estimador classicamente utilizado neste problema calcula o número de fêmeas desovando na temporada como sendo a razão entre o número total de ninhos depositados na praia na temporada e o número médio de ninhos depositados por tartaruga na temporada. Caso a cobertura do trabalho de marcação na praia não seja completa, o número médio de ninhos depositados por tartaruga na temporada, conforme calculado diretamente dos dados de campo, será em geral menor do que o número médio real. Este fato, que já foi reconhecido por diversos pesquisadores, faz com que o estimador clássico, caso o número total de ninhos depositados na praia na temporada seja conhecido, produza uma estimativa para o número de tartarugas desovando na temporada em geral maior que o número real. O procedimento aqui proposto aplica uma correção ao estimador clássico mencionado acima, utilizando, no lugar do número médio de ninhos por tartaruga calculado diretamente dos dados obtidos por marcação, um número médio de ninhos estimado através de uma modelagem matemática do processo de observação das tartarugas na praia. A essência do modelo é a análise, feita com o emprego de técnicas de probabilidade, da transformação existente entre a distribuição de probabilidade real do número de ninhos depositados por tartaruga na temporada e a distribuição de probabilidade do número de ninhos depositados por tartaruga na temporada calculada apenas para as tartarugas observadas pela equipe de campo na temporada, na situação em que nem todas as tartarugas tenham sido encontradas por ocasião da desova. O modelo tem suas propriedades estatísticas investigadas por meio de simulações em computador. Os resultados destas simulações mostram que o estimador proposto é essencialmente não-viciado (tem vício relativamente pequeno) e consistente. As simulações permitem também uma estimativa do esforço de trabalho de campo necessário para a obtenção de uma precisão especificada na estimação do número de tartarugas desovando na temporada. São propostos também (1) um procedimento para a construção de um intervalo de confiança para a população estimada, onde é utilizado o método do bootstrap, um dos chamados métodos de reamostragem, e (2) um teste para o modelo; ambos têm sua validade investigada também por simulações em computador. Como exemplo, o modelo é aplicado às tartarugas marinhas Caretta caretta desovando na Praia do Forte, estado da Bahia, utilizando-se dados colhidos pelo Projeto Tartaruga Marinha (Projeto TAMAR), do Instituto Brasileiro do Meio Ambiente e dos Recursos Naturais Renováveis (IBAMA). Por fim, algumas possíveis extensões do modelo são sugeridas / Abstract: ln this thesis, a model for the estimation of the number of sea turtles nesting on a beach in a season is presented, based on data gathered by tagging the turtles on the nesting beach and counting the total number of nests laid on the beach in the season. The estimator classically used in this kind of problem calculates the number of females nesting in the season as the ratio between the total number of nests laid on the beach in the season and the mean number of nests laid per turtle in the season. If the beach tagging coverage is not complete, the mean number of nests laid per turtle in the season directly calculated from the beach data will be generally smaller than the actual mean number. As a result of this fact, already recognized by several researchers, the classical estimator, when the total number of nests laid on the beach in the season is known, produces an estimate for the number of turtles nesting in the season generally greater than the actual number of turtles. The procedure proposed here applies a correction to the classical estimator mentioned above, using, instead of the mean number of nests per turtle directly calculated from the data gathered through tagging, a mean number of nests estimated through a mathematical model of the sampling of the turtles on the beach. The essence of the model is the analysis, using the probability theory, of the transformation occurring between the actual probability distribution of the number of nests laid per turtle in the season and the probability distribution of the number of nests laid per turtle in the season calculated only for the turtles found by the tagging team in the season, whenever the beach tagging coverage is not complete. The model has its statistical properties investigated by means of computer simulations. The results of these simulations show that the proposed estimator is essentially unbiased (it has a relatively small bias) and consistent. The simulations also allow an estimate of the beach tagging coverage necessary to obtain a specified precision in the estimation of the number of turtles nesting in the season. A procedure for the construction of a confidence interval for the estimated population, using the bootstrap method, and a test of the model are also proposed. Both have their validity checked by means of computer simulations. As an example, the model is applied to the Caretta caretta sea turtles nesting on Praia do Forte, Bahia, Brazil, using data gathered by Projeto Tartaruga Marinha (TAMAR Project / IBAMA), the Brazilian sea turtle conservation program. Finally, some possible extensions of the model are proposed / Doutorado / Ecologia / Doutor em Ciências