02 - Mestrado - Matemática Aplicada e Computacional
URI Permanente para esta coleção
Navegar
Navegando 02 - Mestrado - Matemática Aplicada e Computacional por Assunto "Applied mathematics - Computer"
Agora exibindo 1 - 20 de 26
Resultados por página
Opções de Ordenação
Item Boa colocação para equações diferenciais via semigrupos linearesSozzo, Bruna Thais Silva; Silva, Marcio Antonio Jorge da [Orientador]; Alves, Michele de Oliveira; Corrêa, Wellington JoséResumo: Este trabalho apresenta a boa colocação para sistemas de equações diferenciais lineares empregando a técnica de semigrupos lineares Ao longo do trabalho a boa colocação é estudada para diversos problemas, tais como equação do calor, equação da onda, equação da viga, sistemas termoelásticos, sistemas viscoelásticos, sistemas termoviscoelásticos, bem como sistemas de vigas de Timoshenko com leis elásticas, viscoelásticas e termoelásticas Em todos os casos, podemos enxergar os problemas de valor inicial e de fronteira como um problema de Cauchy Abstrato da forma 8<:dudt(t) = Au(t); t > ;u() = u; onde A : D(A) H ! H é um operador linear não limitado definido em um espaço de Banach(ou Hilbert) H Sendo assim, os resultados de existência, unicidade e dependência contínua dos dados iniciais são mostrados por meio da teoria de semigrupos lineares, o que requer estudar propriedades específicas para o operador A em cada caso abordadoItem Comportamento assintótico para sistemas de Bresse dissipativos e taxa ótimaMonteiro, Rodrigo Nunes; Fatori, Luci Harue [Orientador]; Cavalheiro, Albo Carlos; Rivera, Jaime Edilberto MuñozResumo: Neste trabalho analisamos a existência, unicidade e o comportamento assintótico de solução para sistemas de Bresse dissipativos, também provamos alguns resultados sobretaxas ótimas de decaimento polinomial A formulação faz uso de operadores definidos em espaços de Hilbert e usando a teoria de semigrupo de operados, demonstramos a existência e unidade de solução Para a análise das propriedades assintóticas, utilizamos resultados obtidos por A Borichev e Y Tomilov [1] e Pr uss [12] A taxa de decaimento ótima é provada usando um resultado obtido por Fatori e Rivera [13]Item Convergência numérica das equações telegráficas predador-presaLuiz, Kariston Stevan; Natti, Paulo Laerte [Orientador]; Santiago, Cosmo Damião; Romeiro, Neyva Maria LopesResumo: Nesse trabalho, estuda-se a convergência numérica de um sistema de equações predador-presa do tipo telegráfico, com efeitos reativos, difusivos e de retardo Tal sistema de EDPs pode descrever sistemas biológicos em que tais efeitos não possam ser desprezados Inicialmente realizou-se a modelagem matemática do problema, e em seguida fez-se a discretização do sis- tema de EDPs em uma malha no nível de tempo k, por meio do método das diferenças finitas, obtendo um sistema de equações explícitas Em seguida, analisou-se a consistência dos mé- todos de discretização de um sistema de equações predador-presa clássico, de uma equação telegráfica e por fim de uma equação telegráfica predador-presa Posteriormente foram calculadas as condições de estabilidade de Von Neumann para estas equações Através do Teorema de Equivalência de Lax verificou-se que o refinamento da malha, bem como os parâmetros dos modelos, as constantes reativas, a constante de difusão e o termo de retardo, oriundo da equação de Maxwell-Cattaneo, determinam as condições de estabilidade/instabilidade do problemaItem Estabilidade com taxa racional para um sistema de BresseGutierrez, Maria Natalia Rodrigues; Monteiro, Rodrigo Nunes [Orientador]; Alves, Michele de Oliveira; Ma, To FuResumo: Neste trabalho consideramos o sistema de Bresse com dissipação friccional atuando somente no ângulo de rotação da seção transversal Mostramos mediante teoria de semigrupos de operado res lineares a existência e unicidade da solução deste sistema, também estudamos o comporta mento assintótico de tal solução, no qual concluímos que quando as velocidades de propagação das ondas são iguais, a solução do sistema possui decaimento exponencial Caso contrário, a solução decai para zero com taxa racionalItem Estabilidade para um sistema de Bresse parcialmente dissipativoAvelino, Elvis Feruti; Alves, Michele de Oliveira [Orientador]; Ferreira, Adeval Lino; Monteiro, Rodrigo NunesResumo: Nesse trabalho estuda-se um sistema de Bresse com duas dissipações friccionais O principal objetivo é analisar, de forma mais detalhada, a existência de solução e estabilidade para o sistema apresentado Para isso, será feita a formulação abstrata do problema e, utilizando a teoria de semigrupos de operadores lineares, será garantida a existência e estabilidade exponencial da solução do sistema abordado no trabalho Além disso, será verificada a estabilidade polinomial da solução, com taxa ótimaItem Estudo e implementação de esquema upwind na resolução de um modelo de dinâmica dos fluidos computacional em coordenadas generalizadasBarba, Alessandra Negrini Dalla; Cirilo, Eliandro Rodrigues [Orientador]; Romeiro, Neyva Maria Lopes; Bernardes, MateusResumo: Desde a Antiguidade a humanidade sempre teve interesse em estudar o comportamento dos fluidos, mas foi a partir do século XVIII, com os estudos desenvolvidos por Leonhard Euler, Claude Navier, Simeon Poisson e George Stokes, é que as expressões matemáticas que regem o movimento de fluidos foram deduzidas, sendo resolvidas de forma mais expressiva a partir do desenvolvimento da computação científica, com o advento da área chamada de Dinâmica dos Fluidos Computacional No presente trabalho nosso objetivo é estudar o escoamento de fluidos incompressíveis, sem superfície livre, utilizando o sistema de coordenadas generalizadas Assim, abordaremos a geração de malhas e a representação das equações de Navier-Stokes e da continuidade neste sistema de coordenadas Discretizaremos as equações da quantidade de movimento por meio do método de diferenças finitas e aplicaremos um esquema upwind para aproximação dos termos convectivos Dentre vários esquemas existentes, trabalharemos com o de primeira ordem FOU (First Order Upwind) Por fim, será estabelecido um método numérico – uma versão simplificada do método MAC (Marker and cell) – com o objetivo de resolver problemas de escoamentos incompressíveis, comparando os resultados obtidos com os apresentados na literaturaItem GAMLSS espaçotemporal para engenharia de avaliaçõesCosta, Felinto Junior da; Pescim, Rodrigo Rossetto [Orientador]; Biz, Guilherme; Nakamura, Luiz RicardoResumo: A engenharia de avaliações fornece subsídios de suma importância não apenas para órgãos públicos e o sistema legal, mas também para diversas atividades econômicas privadas, lastreando a fundamentação de decisões judiciais, garantindo um procedimento equânime nas decisões administrativas e assegurando operações financeiras baseadas em garantias reais Todavia, a natureza heterogênea dos bens imobiliários impõe grande complexidade quando da formulação de modelos estatísticos que procurem estimar seu valor, uma consequência de três aspectos indissociáveis que introduzem grande variabilidade: endógenos (características da propriedade relacionadas a tamanhos e padrões), exógenos (a vizinha da propriedade, a presença de amenidades e serviços públicos) e temporal (o tempo de referência) Os Modelos Hedônicos de Regressão tradicionalmente adotados pela engenharia de avaliações contemplam esses três aspectos pela inclusão de um conjunto de variáveis explicativas associadas às características intrínsecas e extrínsecas mais significativas e o tempo de referência como mais uma variável, por vezes um fator assumindo tantos níveis quanto períodos temporais existirem na amostra Entretanto, esses modelos consideram os aspectos espacial e temporal dissociadamente, contrariando a situação real observada, em que diferentes regiões de uma cidade se valorizam (ou desvalorizam) de modos distintos ao longo do tempo, não sendo assim possível admitir-se como válida, uma variabilidade temporal espacialmente homogênea Este trabalho propõe um Modelo Hedônico de Regressão Espaçotemporal baseado na classe dos Modelos Aditivos Generalizados para Locação, Escala e Forma (GAMLSS: Generalized Additive Models for Location, Scale and Shape) Ele considera a variabilidade espacial e temporal de modo conjunto nos preditores dos parâmetros da distribuição teórica adotada para a resposta usando splines de produto tensor Eles são estimados a partir das bases de duas funções suavizadoras distintas A primeira delas modela a variabilidade puramente espacial usando thin plate splines sobre as coordenadas métricas da localização de cada elemento da amostra A segunda modela apenas a variabilidade temporal usando splines cúbicos sobre as datas dos elementos O modelo foi ajustado a um conjunto de dados reais composto por informações imobiliárias sobre terrenos sem benfeitorias localizados no perímetro urbano da cidade de Londrina (norte do Estado do Paraná) coletada no período de maio de 1995 a março de 221 O modelo é capaz de estimar os valores unitários medianos em distintas localizações espaciais e referências temporais Isso permite a geração de superfícies de valor que ilustram a variabilidade do valor na área do estudo em qualquer data Por fim, possibilita também a utilização dessa informação como variável adicional em modelos relativos a outras tipologias de imóveis para, nesses modelos, considerar-se também o aspecto espaçotemporal de forma conjuntaItem Método de discretização multiestágios através dos aproximantes de PadéSilva, Elias Borges da; Romeiro, Neyva Maria Lopes [Orientador]; Natti, Paulo Laerte; Meyer, Frederico da Costa AzevedoResumo: Este trabalho tem como objetivo apresentar um estudo dos métodos numéricos de alta ordem multiestágios através dos aproximantes de Padé O estudo ficou concentrado nos métodos implícitos de ordens dois e quatro Na abordagem do método multiestágio utiliza-se a discretização na variável temporal Foram realizados testes com a equação de difusão, com a equação de Maxwell-Cattaneo e com o modelo predador-presa Lotka-Volterra logístico As soluções geradas foram comparadas com as suas respectivas soluções exatas e também com as soluções aproximadas de métodos tradicionais encontrados na literatura Os resultados obtidos com os testes mostraram ser satisfatórios em relação à ordem de convergência, quando utilizado os métodos multiestágios com aproximantes de PadéItem Modelagem e simulações numéricas das equações reativa-convectiva-difusiva com retardo para um sistema predador-presaOrganista, Juniormar; Romeiro, Neyva Maria Lopes [Orientador]; Ströher, Gylles Ricardo; Natti, Paulo LaerteResumo: Fenômenos biológicos são modelados matematicamente com o objetivo de propor explicações, ou melhorar o entendimento de determinados comportamentos Dentre as classes de problemas que abordam as interações entre populações têm-se as equações predador-presa, que podem ser modeladas por meio de equações diferenciais parciais Neste contexto, o presente trabalho objetiva explicitar o comportamento de um modelo aprimorado envolvendo as equações predador-presa de tal forma a contemplar o fenômeno de difusão e retardo, considerando que as populações estão sob a influência de um campo de velocidade A difusão é deduzida por meio da primeira lei de Fick, fazendo-se necessário introduzir um termo de retardo, para corrigir o paradoxo da difusão de velocidade infinita No estudo da influência do efeito difusivo na dinâmica populacional são considerados três cenários No primeiro, as populações encontram-se na mesma posição e o efeito difusivo não é considerado No segundo e no terceiro, as populações são consideradas em posições distintas, ou seja, são separadas espacialmente, sendo que, no segundo cenário o processo de difusão não é considerado, enquanto no terceiro o efeito difusivo ocorre Por fim, no estudo da influência do campo de velocidades na dinâmica populacional são considerados dois cenários para as equações reativa-convectiva-difusiva com retardo para um sistema predador-presa No primeiro cenário o campo de velocidade é identicamente nulo e no segundo o campo de velocidade é uniforme não nulo Por meio dos resultados numéricos obtidos, pode-se constatar tanto a influência da difusão, como a influência do campo de velocidades na dinâmica das populações e também os efeitos sobre as populações (extinção/sobrevivência)Item Modelagem matemática da invasão biológica bidimensional via equação telegráficaGodoi, Pedro Henrique Valerio de; Cirilo, Eliandro Rodrigues [Orientador]; Abreu, Eduardo Cardoso de; Pettres, RobertoResumo: Neste trabalho, consideramos a extensão da equação reativa-telegráfica para duas dimensões para modelagem de problemas de invasão biológica, que generaliza o modelo de Goldstein Kac Propomos uma modelagem inédita para o tempo de retardo (t), baseada em hipóteses biológicas, de modo a evitar soluções negativas e garantir resultados mais realistas para o uso da equação telegráfica no contexto biológico Detalhes da resolução numérica por meio do mé todo de Diferenças Finitas e do método Quasi-Não-Linear são descritos Realizamos um estudo numérico para garantir a aproximação do resultado numérico à solução do modelo Apresen tamos um estudo qualitativo/quantitativo preliminar do modelo de tempo de retardo em com paração ao caso constante, em situações teóricas, verificando que soluções negativas não foram encontradas com nosso modeloItem Modelagem matemática e análise numérica do tempo de retardo para equação telegráfica-reativa-difusivaOliveira, Thiago Ferreira de; Cirilo, Eliandro Rodrigues [Orientador]; Pinto, Marcio Augusto Villela; Romeiro, Neyva Maria LopesResumo: É sabido que a equação telegráfica-reativa-difusiva é mais apropriada para estudar dinâmicas populacionais do que a equação de reação-difusão Entretanto, dependendo dos valores assumidos pelas constantes presentes no termo reativo, inconsistências podem ser encontradas nas soluções obtidas pelo modelo telegráfico Essas inconsistências são soluções negativas da densidade populacional Por outro lado, constatamos que o parâmetro de retardo temporal tem vínculo direto com o surgimento das soluções negativas Desta forma, neste trabalho propomos um novo modelo matemático para o tempo de retardo, de modo que as constantes do termo reativo assumidas não conduzam ao surgimento das soluções negativas, e que a solução encontrada seja válida e de alta acurácia na perspectiva numéricaItem Modelling P-SV seismic wave propagation for Brazilian territory in homogeneous mediaAlay Lerma, Andina; Natti, Paulo Laerte [Orientador]; Ferreira, Adeval Lino; Farias, Poliane Cristina deResumo: Na literatura existem poucos trabalhos de modelagem sísmica no Brasil Sabemos que o Brasil está na parte central da placa sul-americana fazendo com que o país tenha muitos sismos, a maioria de baixa intensidade No entanto, algumas falhas conhecidas já geraram terremotos intensos no território brasileiro Os terremotos são fenômenos vibratórios, de curta duração e, às vezes, de grande intensidade São gerados em torno de uma fonte denominada hipocentro, onde são produzidos grandes deslocamentos de massas, gerando ondas longitudinais e transversais As ondas longitudinais vibram na direção da propagação das ondas e são as primeiras a serem observadas As ondas transversais vibram perpendicularmente à direção de propagação e atrasam em relação às ondas longitudinais Nesse contexto, a modelagem matemática de ondas sísmicas permite a elaboração de sismogramas teóricos que permitem prever as características dos terremotos, dependendo das condições geológicas locais Este trabalho modelou a propagação das ondas sísmicas P (ondas longitudinais) e SV (ondas transversais) por meio de equações de movimento em meios elásticos, uma vez que a Terra se comporta como um material deformável Portanto, essas equações diferenciais parciais (PDE) descrevem a propagação de ondas sísmicas em um sistema bidimensional vertical (coordenadas x e z), dada uma fonte e condições iniciais e de contorno O domínio bidimensional vertical é considerado retangular A fonte é modelada por uma função de pulso gaussiana, localizada em um ponto dentro do domínio As condições de contorno são do tipo Robin Para resolver este sistema PDE, o método das diferenças finitas (FDM) é usado As condições iniciais são consideradas no estado de quiescência As condições de contorno inicial e Robin também são discretizadas por FDM O algoritmo computacional foi desenvolvido As simulações numéricas foram realizadas em meio homogêneo usando OCTAVEItem Modelo de Goodwin : ciclos econômicos em regiões metropolitanas brasileiras entre 2004 e 2014Cavalcante, Lucas Iran da Cruz; Natti, Paulo Laerte [Orientador]; Alexopoulos, Joanna Georgios; Cirilo, Eliandro RodriguesResumo: O ciclo de crescimento de Goodwin é um modelo macroeconômico que visa estudar a interação dinâmica entre a taxa de emprego e a parcela salarial dos empregados na renda nacional Destacamos que esse modelo não prevê intervenções políticas numa economia Neste trabalho, o ajuste dos parâmetros do modelo de Goodwin é realizado por meio de dados experimentais através do método de mínimo quadrados e as simulações numéricas são realizadas, no período entre 24 e 214, em regiões metropolitanas brasileiras: Recife, Salvador, Belo Horizonte, Rio de Janeiro, São Paulo e Porto Alegre Primeiramente, o desenvolvimento do nosso estudo é realizado nas seis regiões metropolitanas brasileiras em conjunto diante do produto interno bruto nacional Posteriormente, o estudo é desenvolvido separadamente nas regiões metropolitanas brasileiras de Belo Horizonte, Porto Alegre, Recife e São Paulo mediante o produto interno bruto dessas regiões O estudo não pode ser realizado separadamente para as demais regiões metropolitanas brasileiras devido à carência de dados experimentais A partir desses parâmetros ajustados, simulamos numericamente o comportamento do modelo de Goodwin utilizando cinco metodologias, onde a primeira metodologia é sem relaxação das hipóteses de Goodwin Por fim, analisamos as devidas simulações para as cinco metodologias desenvolvidas e as discutimosItem Modelo matemático de crescimento de tumor avascular invasivoCoelho, Julio Cesar; Romeiro, Neyva Maria Lopes [Orientador]; Mancera, Paulo Fernando de Arruda; Cirilo, Eliandro RodriguesResumo: Neste trabalho, será analisado, por meio de um modelo matemático, o crescimento de um tumor avascular invasivo, cujo único nutriente é o oxigênio disponível nos vasos sanguíneos distantes Por meio de um estudo na biologia do câncer e nos modelos matemáticos, será utilizado um modelo com duas equações diferenciais parciais que descreve o crescimento do tumor As simulações dos resultados são obtidos pelos métodos numéricos Entre os métodos numéricos, utiliza-se o método explícito e o método de dois estágios Analisa-se a consistência e a estabilidade dos métodos para verificar a convergência, no qual, constata que ambos os métodos no intervalo de estabilidade resultam em resultados similares obtidos na literatura Verifica-se que os métodos apresentam a mesma ordem na norma euclidiana, porém o método de dois estágios não exige uma malha tão refinada Ainda, com os resultados das simulações numéricas observa-se que o câncer tem um crescimento rápido em regiões que possuem grande quantidade de nutrientes, e com a escassez de nutrientes o tumor deixa de crescer, gerando duas regiões, a necrótica e a hipóxica Sendo que a região necrótica é formada pelas células cancerosas mortas e a região hipóxica formada por células que sofrem mutações, para sobreviver com a baixa concentração de oxigênioItem Modelo matemático de crescimento tumoral com difusão e tratamentoAbreu, Anderson Inácio Salata de; Romeiro, Neyva Maria Lopes [Orientador]; Natti, Paulo Laerte; Mancera, Paulo Fernando de ArrudaResumo: Neste trabalho apresenta-se modelos matemáticos envolvendo equações diferencias ordinárias(EDO) e equações diferencias parciais (EDP), que modelam o crescimento tumoral No modelode EDO aplica-se dois tipos de tratamento, radioterapia e quimioterapia, enquanto que nomodelo de EDP aplica-se apenas o tratamento via quimioterapia As derivadas dos modelos sãoaproximadas utilizando o método de diferenças finitas Análises de convergência dos sistemassão realizadas e, simulações numéricas são apresentadas para encenar diversos tipos de tratamentosatravés da radioterapia e quimioterapia para o câncer de mama e o câncer de pulmãoO objetivo é compreender o desenvolvimento do tumor ao longo do tempo e o efeito da aplicaçãodos tratamentos nos modelos Os resultados numéricos obtidos mostram-se coerentes coma análise matemática, visto que as soluções numéricas convergiram para pontos de equilíbriosdos sistemasItem Uma nova proposta metodológica de análise para dados multivariados sobre absenteísmoCalcagnoto, Laryssa Ribeiro; Santana, Tiago Viana Flor [Orientador]; Pescim, Rodrigo Rossetto; Nakamura, Luiz RicardoResumo: O absenteísmo é a prática ou costume de um colaborador se ausentar de seu local de trabalho Suas causas são diversas e afetam a renda do trabalhador, provoca transtornos operacionais, estressa a administração e causa prejuízos financeiros para empresa A análise de clusters é uma ferramenta multivariada que pode ser utilizada para determinar grupos de modo que cada grupo apresente características próprias de acordo com as variáveis observadas Assim, pode se utilizar essa técnica como suporte para determinar as características que contribuem para o absenteísmo O método para construção dos clusters utilizado foi o algorítimo hierárquico de Ward e para comparação dos grupos o teste não paramétrico de Kruskal-Wallis foi adotado Por fim, um estudo sobre a força de associação entre as variáveis foi desenvolvido utilizando-se a correlação de Spearman e para a relação entre variáveis relacionadas à ausência e os aspectos sociais, utilizou-se a análise de componentes principais, assim como a construção de um biplot para resumir os resultados da correlação e componentes principais Por meio desse estudo foi possível determinar três grupos heterogêneos na empresa e evidenciar características que são potenciais fatores causadores do absenteísmo em maior ou menor grauItem Otimização do crescimento socialLeite, Stela Angelozi; Sharma, Naresh Kumar [Orientador]; Hoto, Robinson Samuel Vieira; Sharma, Santosh ShellyResumo: Nesta Dissertação estuda-se um modelo de acumulação do capital baseado em dados iniciais como produção, consumo, investimento e bens de consumo, em uma economia que tem objetivo de otimizar o bem estar social futuro A partir de relações entre variáveis econômicas, obtém-se um modelo bidimensional constituído por um sistema de equações diferenciais lineares Para isso utiliza-se os métodos de Cálculo Variacional, em particular o sistema de equações Hamiltonianas Foram obtidas as condições necessárias para existência de uma trajetória de crescimento ótimo a partir de condições existentes atualmente Para verificar que as condições n são também as condições suficientes, foi usado o Teorema da Variedade Estável e a estabilidade de Lyapunov das soluções de sistemas de equações diferenciais lineares Para que exista uma trajetória de crescimento ótimo é necessária a existência de um preço imputado cuja taxa depende da taxa de produção, da taxa de utilidade e do próprio preço por unidade de investimento Este preço imputado varia com tempo assim como o valor imputado do capital, enquanto o preço imputado atual tende a zero quando t___ 8 Além disso, dada a função que descreve os bens de capital e o preço imputado, a distribuição atual maximiza, em longo prazo, o valor imputado do produto interno bruto per capita Estas considerações foram sintetizadas no resultado principal do texto que diz que para qualquer capital inicial, o preço inicial imputado de bens de investimento pode ser escolhido de tal modo que a trajetória, que inicia nestes valores e satisfaz as condições de otimalidade, se aproxima assintoticamente da solução quase estacionaria Esta curva e a única trajetória ótima e nela o consumo e os bens de capital são estritamente crescentes (decrescente) se os valores inicias dos bens de consumo estiverem abaixo (acima) dos valores da trajetória quase-estacionáriaItem Projeções da Cesta de SierpinskiSilva, Weberty Domingos; Carvalho, Túlio Oliveira de [Orientador]; Ferreira, Diego Marques; Liboni Filho, PauloResumo: Neste trabalho, estudamos a dimensão de Hausdorff de projeções da cesta de Sierpinski na reta O problema de encontrar a dimensão de Hausdorff de certos subconjuntos de R é delicado, e tem despertado o interesse de muitos matemáticos desde a descoberta dos números transcendentes A cesta de Sierpinski é um subconjunto do plano cuja dimensão de Hausdorff é 1 e, como consequência disto, um resultado de Marstrand se aplica ao garantir que um subconjunto do plano com dimensão maior ou igual a 1 possui projeções na reta com dimensão 1, para quase todas as direções Furstenberg conjecturou que a dimensão da projeção da cesta de Sierpinski em uma direção irracional qualquer é 1, e este problema permaneceu aberto até 214 Apresentamos uma releitura dos trabalhos de Kennyon sobre estes temas Eles nos fornecem o valor da dimensão para números racionais e algumas estimativas para um subconjunto de irracionaisItem Uma proposta para resolver o problema de corte de estoque unidimensional com reaproveitamento de sobras por meio de dois objetivosPinto, Thiago de Souza; Hoto, Robinson Samuel Vieira [Orientador]; Arenales, Marcos Nereu; Mesquita, Marcos Eduardo Ribeiro do ValleResumo: Problemas de corte de estoque unidimensional consistem em cortar um conjunto de peças disponíveis em estoque para produzir um conjunto de itens em quantidades pré-determinadas, onde apenas o comprimento das peças é relevante Neste trabalho apresentamos uma definição para o problema de corte de estoque unidimensional em que as perdas geradas pelo processo de cortagem dos itens demandados, que apresentam comprimentos em condições de reuso, são aproveitadas para atender futuras demandas, denominado na literatura por Problema de Corte de Estoque Unidimensional com Reaproveitamento de Sobras Na prática encontramos tal problema em indústrias que, buscando uma melhor utilização da matéria-prima, procuram reutilizar as perdas ocorridas no processo de cortagem, ao invés de descartá-las, desde que apresentem condições para isto Visando resolver o problema apresentado, propomos três abordagens de resolução em duas etapas e outras duas em uma única etapa Como a finalidade de verificarmos a eficiência das abordagens propostas, efetuamos simulações com exemplos extraídos de dois trabalhos da literaturaItem Uma propriedade das funções e distribuições anuladas por uma estrutura localmente integrávelPereira, Elizangela Mendes; Liboni Filho, Paulo Antonio [Orientador]; Abreu Junior, Jamil Gomes de; Rodrigues, José HenriqueResumo: O objetivo deste trabalho é o estudo do Teorema de Aproximação, provado em 1981 por Baouendi e Treves, que é uma das principais ferramentas disponíveis na teoria das estruturas localmente integráveis Tal resultado afirma que funções e distribuições que são anuladas por uma estrutura localmente integrável L, ou seja, funções e distribuições que satisfazem a equação Lu = , podem ser localmente aproximadas por polinômios nas variáveis Z = (Z1; : : : ;Zm) que formam um conjunto completo de integrais primeiras