Made available in DSpace on 2014-06-12T18:03:07Z (GMT). No. of bitstreams: 2 arquivo172_1.pdf: 3067231 bytes, checksum: 51cdafaa87f5a655f55051d85f5aa95b (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Agência Nacional do Petróleo, Gás Natural e Biocombustíveis / Dentro do panorama atual, há uma demanda crescente pelo processamento de óleos pesados, devido principalmente a escassez de novas reservas de óleos leves. Sob esta ótica o processamento térmico de frações pesadas tem sido uma das formas encontradas para obter compostos mais leves que, em geral, possuem uma maior demanda tanto para combustíveis como para a petroquímica, assim como um maior valor agregado. Sob esses aspectos torna-se interessante o desenvolvimento de modelos matemáticos e simulação computacional para a melhor compreensão de como se dá o processo de craqueamento térmico em uma fornalha. Através do desenvolvimento de um código em linguagem Matlab® computacional foi possível prever a conversão da carga alimentada em diversas frações de petróleo usando pseudocomponentes e lumps para tratar as misturas respectivamente do ponto de vista termodinâmico e cinético. No presente trabalho foram usadas equações diferenciais ordinárias para representar o balanço de massa de um processo de craqueamento térmico, que foram resolvidas através da técnica das diferenças finitas. As diversas propriedades necessárias para modelar a perda de carga, hold up e equilíbrio termodinâmico foram obtidas através de correlações empíricas presentes na literatura ou nos procedimentos da API. A partir dos resultados das simulações foram obtidos perfis de concentração e de queda de pressão ao longo do equipamento

Ingeniera Civil Matemática / A nivel internacional se ha caracterizado una estructura del conocimiento matemático de los profesores que es específico de la tarea de enseñar matemática y se ha acumulado evidencia en cuanto a que explica significativas ganancias de aprendizaje en los alumnos. En esta estructura se distinguen seis factores que se agrupan en dos categorías: el conocimiento disciplinar y el conocimiento pedagógico del contenido. En esta memoria se trabajó con los datos resultantes de la aplicación de un instrumento diseñado para medir el conocimiento de alumnos y matemáticas (CAM), que forma parte del conocimiento pedagógico del contenido. Además se utilizaron los datos resultantes de la aplicación simultánea de una prueba internacional que evalúa dos componentes del conocimiento disciplinar: el conocimiento matemático común y el conocimiento matemático especializado, para compararlos con los de la prueba CAM, y aportar así tanto a su validez como a la comprensión de la estructura del conocimiento mencionado. Por otra parte para determinar la validez y confiabilidad de las mediciones de un constructo teórico es necesario entender, utilizar y analizar los resultados de diversos modelos matemáticos. En la presente memoria primero se estudiaron y describieron estos modelos y luego se aplicaron a las dos pruebas mencionadas. En la introducción de esta memoria se describe el marco teórico del conocimiento matemático de los profesores que es específico de la tarea de enseñar . En el segundo capítulo se describen los métodos de análisis factoriales exploratorio y confirmatorio. En la parte de resultados de este capítulo se muestra la aplicación de los métodos de análisis factorial exploratorio para determinar las dimensiones que mide la prueba CAM y realizar una selección de ítems que sea unidimensional. También se utilizó el método de análisis factorial confirmatorio para confirmar la hipótesis de que los constructos conocimiento matemático común y específico y conocimiento de alumnos y matemáticas son distinguibles. En el tercer capítulo se describe la teoría clásica de test con especial énfasis en el concepto de confiabilidad y su estimación. En la sección de resultados se determina la confiabilidad de la prueba CAM total y la selección de ítems. Se presenta también el cálculo y análisis de los estadísticos de los ítems. En el cuarto capítulo se describe la Teoría de Respuesta al Ítem (TRI o IRT). Primero se describen dos modelos de la TRI: el modelo de un parámetro (Rasch) y el de dos parámetros. Se presenta la aplicación de estos modelos a la prueba CAM, en particular se describe la relación entre los ítems y las personas. Por último se presentan las conclusiones. Se obtuvo una prueba que permite evaluar el conocimiento de alumnos y matemáticas con un buen nivel de confiabilidad y validez.

La Teoría de los Juegos se caracteriza por ser un instrumento de análisis matemático que actualmente se utiliza en diversas ciencias sociales, y preponderantemente estudiada y utilizada por la Economía. Teniendo en cuenta la importancia de esta herramienta analítica en esta investigación, se pretende analizar las transacciones extrajudiciales que se han celebrado en el año 2012 en el distrito de Huancayo. Para este fin, la presente investigación consta de seis capítulos. En el primer capítulo se realiza una introducción a la teoría de los juegos, planteándose el problema, los objetivos e hipótesis. / Tesis

Las cadenas de suministros agroalimentarias (CSA) en especial la de industria pesquera, presentan desafíos particulares, tales como, el manejo adecuado de los mariscos debido a la naturaleza altamente perecedera, el manejo del inventario de la producción, la planificación de la producción y distribución de productos a los diferentes mercados, la discretización de la incertidumbre en la disponibilidad de materias primas, la planificación de la producción de mariscos en base a la calidad y trazabilidad, entre otros aspectos, que hacen que sea un caso importante de estudio. El enfoque de esta tesis, aborda la investigación de la planificación de la cadena de suministros pesquera de Esmeraldas (CSP-E), para el movimiento rápido de artículos de consumo como son los mariscos, implementando modelos matemáticos de programación lineal (LP), cuya aplicación ayudara a la asignación del paso de los mariscos entre los nodos que conforman la cadena de suministro pesquera (CSP) en forma óptima, de tal forma que evitará el desgaste innecesario de los mariscos lo que ocasiona pérdidas en las ventas; también se considerara como restricción la calidad de los mariscos, esto en relación al tiempo de vida útil. Para llevar a cabo el modelamiento matemático de la CSP-E, se ha utilizado la herramienta ccomputacional General Algebraic Modeling System (GAMS), o Sistema de Modelamiento Algebraico, en español. Esta tesis modela matemáticamente la CSP-E por medio de 2 modelos; el Modelo Nº 1 tiene el objetivo de maximizar los beneficios económicos, cumpliendo con las restricciones de la demanda de los diferentes mercados con un horizonte de tiempo propuesto en meses, por lo cual se lo considera un planeamiento táctico; el modelo Nº 2 tiene el objetivo de maximizar beneficios económicos, cumpliendo con las restricciones operativas, tales como, el manejo de la calidad del stock de mariscos, el manejo de las capacidades de procesamiento, almacenamiento y distribución de mariscos de cada nodo de la CSP-E, así como la restricciones de las demanda de los diferentes mercados con un horizonte de tiempo propuesto en días, por lo que cual se lo considera un planeamiento operativo. El sector pesquero de Esmeraldas es considerado un generador de desarrollo económico en la región; además los mariscos son una fuente de alimentos de alto contenido nutritivo para la dieta alimenticia de los esmeraldeños, por lo tanto lograr modelar un planeamiento táctico y operativo de la CSP-E será importante para el progreso sustancial en la investigación de operaciones, la cual intenta encontrar una mejor solución o la bien llamada solución óptima. Los modelos matemáticos planteados serán considerados como un procedimiento científico para la toma de decisiones sobre las operaciones del sistema de planificación de la cadena de suministros (CS) en estudio; los resultados obtenidos en esta tesis podrán ser validados con los datos históricos registrados. / The Agri-food supply chains (ASC) especially the fishing industry, present particular challenges, such as the proper handling of seafood because of the highly perishable nature, inventory management of production, production planning and distribution of products to different markets, discretization of the uncertainty in the availability of raw materials, production planning based on seafood quality and traceability, among other things, make it an important case study. The focus of this thesis is oriented, from the viewpoint of mathematical modeling, to the planning for determining optimal allocation and distribution of seafood maximizing the economic benefits along the SC considering the perishable nature of seafood. Therefore it was considered to develop 2 mathematical models, which were implemented with the computational tool GAMS (General Algebraic Modeling System). This thesis aims to model the supply chain of fisheries in Esmeraldas-Ecuador, through 2 models; the first model will aim to optimize the economic benefits of all nodes in the supply chain within the restrictions of the demand for different markets; the second model aims to optimize the economic benefits of all nodes in the supply chain meeting the restrictions of managing the production quality of queers and market demand; Model 1 and 2 are linear programming (LP) models, and serve as a computational tools for decisionmaking. These mathematical models will be able to provide quantitative results of the distribution flows seafood for sale in the markets, amounts of seafood intended for selfconsumption, amounts of waste generated along the chain; models results also throw flows of economic benefits generated in each of the nodes in the chain, with a view to maximizing benefits function.

En esta tesis se aborda el planeamiento óptimo en la industria de la fruta de pepita, con especial énfasis en el complejo productivo-industrial de peras y manzanas localizado en la región del alto valle de Río Negro y Neuquén. La toma de decisiones en esta actividad presenta desafíos importantes relacionados con la incertidumbre existente en los segmentos productivo y de comercialización, la naturaleza estacional del negocio y la condición perecedera de sus productos. Especfícamente se estudiaron los tres niveles de toma de decisión principales de cualquier cadena de suministro: estratégico, táctico y operativo.A nivel estratégico, relacionado con la introducción de nuevos ítems a la carterade productos de la empresa, se modeló el problema de reestructuración de la composición varietal. Este problema se considera relevante porque la modificación de la estructura de variedades de peras y manzanas de una chacra involucra grandes inversiones y períodos extensos hasta lograr la entrada en producción de las nuevas plantaciones. En lo que respecta a los niveles de planeamiento táctico y operativo, se modeló la cadena de suministro de la fruta fresca desde los productores hasta los mercados finales, incluyendo las plantas de empaque y las cámaras frigoríficas, con el objeto de planificar los principales ujos e inventarios del sistema.A nivel táctico, sobre la base de pronósticos de cosecha, costos y precios, se procura definir los programas de producción y venta que optimicen el beneficio del negocio.Este modelo permite evaluar el desempeño de diferentes infraestructuras para satisfacer la demanda prevista y estimar los requerimientos de servicios correspondientes. En modo operativo se incluyó un mayor nivel de detalle con el objeto de evaluar el impacto de corto plazo de decisiones operativas. Para posibilitar su resolución en un tiempo razonable y disponer de una forma práctica de reaccionar frente a eventos inciertos, se propone su empleo en el contexto de una estrategia de horizonte móvil. / This thesis addresses optimal planning of the pip-fruit industry with particular emphasis on the productive-industrial complex located in the \Alto Valle de Río Negro y Neuquén" region. Decision making in this industry presents challenging features related to the inherent uncertainty in the productive and commercialization segments, the seasonal nature of the activity and the perishable condition of its products. Speci fically, three decision making levels of any supply chain system were addressed: strategic, tactical and operational. At the strategic level, the restructuring of the apple and pears varieties composition related to the inclusion of new items in the product portfolio of the company was addressed. This problem is considered relevant since the modification of the varieties structure in farms involves large investments and extensive periods until the new plantation production start. Regarding tactical and operative levels, the fresh fruit industry supply chain was modelled from production farms to final markets, including packaging plants and refrigeration facilities, aimed at planning the main uxes and inventories along the system.At the tactical level, based on harvest estimations and costs and prices forecasts, the production plans that optimize the business profit are investigated. This model allows the assessment of diferent infrastructures performance aimed at satisfying the expected demand and estimating the required logistics. In an operational mode, the described supply chain was modelled with a larger level of detail in order to evaluate the short term impact of operative decisions. Aimed at achieving solutions in reasonable computation times and being able to react in the face uncertain events in a practical fashion, its use within a rolling horizon strategy is proposed.

Submitted by Isaac Francisco de Souza Dias (isaac.souzadias@ufpe.br) on 2016-02-29T18:35:41Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE Giselda Magalhaes Moreno Nobrega.pdf: 801122 bytes, checksum: d01aa5909fdb53816240291d133f546c (MD5) / Made available in DSpace on 2016-02-29T18:35:41Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) TESE Giselda Magalhaes Moreno Nobrega.pdf: 801122 bytes, checksum: d01aa5909fdb53816240291d133f546c (MD5) Previous issue date: 2015-02-11 / CNPQ / O pensamento sobre o possível (e consequentemente sobre o impossível e a certeza) configura-se enquanto raciocínio abstrato, sendo esse um dos aspectos que caracteriza o desenvolvimento cognitivo do sujeito. Isso porque conjecturar acerca de possíveis exige habilidades hipotético-dedutivas, que permitem ao sujeito pensar sobre situações que não constituem uma realidade imediata. Apesar da importância do tema, há na literatura uma escassez de estudos acerca da concepção de possível. O estudo encontrado data de 1985, e consiste em um conjunto de experimentos realizados por Piaget e colaboradores. Na visão piagetiana, as noções sobre o possível começam a emergir por volta dos sete, oito anos. Porém, estudos recentes no campo da Psicologia da Educação Matemática têm mostrado que crianças de cinco anos já são capazes de conjecturar sobre o possível em situações que envolvem noções iniciais de probabilidade e análise combinatória. Diante disso, este estudo teve por objetivo investigar a concepção do possível em crianças no âmbito do conhecimento matemático e não-matemático. Participaram deste estudo 180 crianças de ambos os sexos, alunas de duas escolas particulares da cidade de Recife, igualmente divididas em seis grupos de participantes em função da escolaridade, que variava do Infantil III ao 5º ano. Cada participante respondeu a um conjunto de 36 perguntas acerca de ocorrência de três tipos de situações: possíveis, impossíveis e certas de acontecer – tanto no domínio de conhecimento matemático como não-matemático. Especificamente no domínio da matemática, as questões eram referentes a probabilidade e análise combinatória. Os dados foram analisados em função do desempenho (acertos) e das justificativas dadas pelas crianças. Os resultados mostraram que aos cinco anos as crianças já são capazes de pensar sobre a possibilidade (ou não) de ocorrência de situações hipotéticas a elas apresentadas. Essa concepção de possível se desenvolve ao longo do tempo, de modo que as crianças mais velhas não só apresentam um melhor desempenho como também se tornam mais capazes de justificar suas respostas de maneira fundamentada. Os dados mostraram também que com exceção das crianças do Infantil III (que evidenciam um desempenho superior nas perguntas de conhecimento não-matemático), não houve diferença significativa de desempenho entre as perguntas de conhecimento matemático e não-matemático. Tal fato sugere que desde muito cedo as crianças já se mostram aptas a conjecturar sobre o possível em diferentes contextos. No que se refere aos tipos de questões (possibilidade, impossibilidade e certeza), constatou-se que as perguntas do tipo possibilidade foram mais facilmente respondidas no âmbito do conhecimento matemático do que no âmbito do conhecimento não-matemático. Já as perguntas do tipo impossibilidade mostraram-se mais fáceis no conhecimento não-matemático. Nas questões do tipo certeza o desempenho das crianças foi semelhante nesses dois domínios de conhecimento. O fato das crianças apresentarem facilidade em pensar sobre as possibilidades no âmbito do conhecimento matemático abre caminhos para aprofundar a abordagem dos conteúdos de probabilidade e análise combinatória no contexto escolar. Se crianças a partir do 3º ano do Ensino Fundamental já demonstram ter o entendimento de situações probabilistas, talvez seja o momento de aprofundar mais as noções de probabilidade trabalhadas em sala de aula. A partir do 3º ano as crianças apresentaram um desempenho significativamente melhor em probabilidade do que em combinatória, sugerindo a existência de um “freio” no desenvolvimento deste conceito, que é essencialmente escolar. Ao que parece, os conteúdos de análise combinatória ou não estão sendo trabalhados nas series iniciais, ou a maneira como se conduz esse trabalho não permite que as crianças se apropriem e desenvolvam o seu raciocínio acerca dos princípios da combinatória. / The thought of the possible (and consequently of the impossible, as well as “ertainty) is configured in the realm of abstract reasoning, being one of the aspects to characterize the cognitive development of a subject. That can be justified by the fact that conjectures about possibilities and outcomes, requires hypothetical-deductive skills that allow the subject to think about situations that are not an immediate reality. Despite the importance of the issue, there is a shortage, in the literature, of studies on the conception of possible. The study found dates back to 1985 and consists of a set of experiments conducted by Piaget and colleagues. According to their view, the notions about the possible begin to emerge when the individual is about seven or eight years old. However, recent studies in the field of Psychology of Mathematics Education have shown that children under five years old are already able to conjecture about the possible in situations involving basics of probability and combinatory analysis. This study aimed to investigate the designation of possible in children under the mathematical as well as non-mathematical knowledge. The study included 180 children of both sexes, two private school students in the city of Recife, equally divided into six groups of participants according to level of education, ranging from Childhood III to 5th Grade. Each participant answered a set of 36 questions about occurrence of three types of situations: possible, impossible and certain to happen - both in the mathematical and non-mathematical knowledge domains. Specifically in the mathematical domain, the questions concerned probability and combinatory analysis. Data were analyzed in terms of performance (right/wrong) and the justifications given by subjects. The results showed that at the age of five, children are capable of thinking about the possibility (or not) of the occurrence of hypothetical situations presented to them. This design can develop over time, in the sense that older children not only incur in a better performance including well fundamented justifications to their responses. The data also showed that with the exception of children from Childhood III (that show superior performance in non-mathematical knowledge questions), there was no significant difference in performance between the mathematical and non-mathematical knowledge questions. This suggests that at early stages in life, children already show the ability to conjecture about the possible in different contexts. With regard to the types of questions (possibility and impossibility and certainty), it was found that the questions of the type possibility were more easily answered in the context of the mathematical knowledge that under the non-mathematical knowledge. Nonetheless the questions of impossibility type proved to be better handled in the non-mathematical domain. In the certainty questions the children's performance was similar regarding both domains of knowledge. The fact that children presented their responses regarding possibility with ease within the mathematical knowledge paves the way to deepen the approach of combinatorial probability of content and analysis in the school context. If children from the 3rd year of elementary school have already demonstrated understanding of probabilistic situations, it may be time to deepen more the notions of probability explored in the classroom. Still in this context, children from the 3rd year on, the subjects had significantly better performance in probability than in combinatorial analysis, suggesting the existence of a brake on the development of this concept, which is essentially established by school. Apparently, the combinatorial contents are either not being developed in the early school years, or the way that this work is conducted does not allow children to take ownership and develop their own thinking about such principles.

Para que uma outorga de direito de uso da água seja emitida, é preciso que os técnicos do órgão gestor de recursos hídricos avaliem se o corpo hídrico apresenta capacidade para atender a demanda solicitada para a captação de água ou lançamento de efluentes, considerando os demais usos já existentes e a hidrologia local. Dessa forma, o emprego de modelos matemáticos para avaliar esses critérios torna a análise mais eficiente, o que possibilita a simulação de diferentes cenários de intervenção em uma determinada bacia. Nesse contexto, este trabalho teve como objetivo avaliar a aplicabilidade de modelos matemáticos acoplados a uma ferramenta SIG para estimar a disponibilidade hídrica e o balanço hídrico entre a oferta e a demanda da água da Bacia Hidrográfica do Ribeirão Taquaruçu Grande, responsável pelo abastecimento de 70% da população urbana de Palmas – TO, para diferentes cenários de demanda e lançamento de efluentes. Para tanto, utilizou-se o modelo hidrológico MGB-IPH para estimar a disponibilidade hídrica, que gerou resultados satisfatórios para a bacia de pequena extensão territorial, representando de forma consistente a sazonalidade da vazão da bacia. Esses dados de vazão foram posteriormente utilizados no Sistema de Suporte à Decisão – SAD-IPH, onde foram realizadas simulações nos módulos quantitativo e qualitativo, envolvendo três diferentes cenários de demanda hídrica e lançamento de efluentes. Essas simulações demonstraram que a bacia do ribeirão Taquaruçu já apresenta trechos da rede hidrográfica em situação crítica quanto à disponibilidade, que é agravada nos meses de seca e com o passar dos anos. A bacia possui condições físicas que favorecem a manutenção da qualidade de suas águas. Todavia, com o decorrer dos próximos 20 anos, a qualidade da água irá se degradar à medida que o lançamento de efluentes for intensificado. Os resultados obtidos nos três cenários indicam que deverão ser adotadas tecnologias mais eficientes para reduzir o aporte de poluentes na bacia e assim, manter a qualidade da água para atender a demanda dos usos existentes. Conclui-se, portanto, que as ferramentas utilizadas são importantes para subsidiar o órgão gestor dos recursos hídricos e o comitê de bacia na tomada de decisões quanto à análise e emissão de outorgas para captação de água e lançamento de efluentes. / For a water rights permits is issued, it is necessary that the technicians of the managing body of water resources assess whether the water body has the capacity to meet the demand required for the uptake of water or wastewater discharge, considering other uses existing and local hydrology. Thus, the use of mathematical models to evaluate these criteria makes more efficient analysis, which allows the simulation of different intervention scenarios in a given basin. In this context, this study aimed to evaluate the applicability of mathematical models coupled to a GIS tool to estimate water availability and water balance between supply and demand of water basin of river Taquaruçu Grande, responsible for supplying 70% the urban population of Palmas - TO for different demand scenarios and discharge of effluents. For this, we used the hydrological model MGB-IPH to estimate water availability, which generated satisfactory results for the basin small territory, representing consistently seasonality of flow of the basin. These flow data were later used in the Decision Support System - SAD-IPH where simulations were performed on the quantitative and qualitative modules, involving three different scenarios of water demand and wastewater discharge. These simulations showed that the basin Taquaruçu stream already has stretches of river network in a critical situation regarding the availability, which is aggravated during the dry season and over the years. The basin has physical conditions that favor the maintenance of the quality of its waters. However, over the next 20 years, the water quality will degrade as the discharge of effluents is intensified. The results obtained in the three scenarios indicate that more efficient technologies should be adopted to reduce the input of pollutants to the basin and thus maintain the quality of water to meet the demand of existing uses. It follows therefore that the tools used are important to support the managing body of water and the basin committee in making decisions regarding the analysis and issuing water rights permits abstraction and discharge of effluents.

Esta tesis tiene como objetivo analizar las acciones de los estudiantes de los cursos de Análisis Matemático I de las carreras de ingeniería de la Universidad San Ignacio de Loyola, durante una secuencia de aprendizaje de la función definida por tramos mediada por el GeoGebra. Debido a que el análisis estuvo centrado en aquellas acciones que instrumentalizaban al GeoGebra y a la función definida por tramos, nos planteamos responder las siguientes interrogantes: ¿Cómo una secuencia de aprendizaje puede minimizar las dificultades que se presentan a los estudiantes cuando instrumentalizan algunas propiedades del software GeoGebra en su aprendizaje de la función definida por tramos? ¿ Cómo una secuencia de aprendizaje puede minimizar las dificultades que se presentan a los estudiantes al instrumentalizar propiedades de la función definida por tramos en su aprendizaje con el GeoGebra?. Para este estudio elegimos como referencial teórico el Enfoque de Instrumental de Rabardel (2011) y como referencial metodológico la Ingeniería Didáctica de Artigue (1995). Este enfoque nos permitió esclarecer las preguntas planteadas y los objetivos deseados, siendo el aspecto central el proceso denominado Génesis Instrumental. Producto de nuestro análisis identificamos en las interacciones de los estudiantes con el GeoGebra y con la función definida por tramos, que los estudiantes movilizaron esquemas de uso pre existentes que permitieron minimizar las dificultades en la secuencia de aprendizaje, y que además, en las últimas actividades algunas de las propiedades de estos dos artefactos conservaron las funciones adquiridas durante sus respectivas transformaciones a instrumentos. / Tesis

O principal objetivo desta dissertação é obter um Teorema do Envelope que permita mecanismos não diferenciáveis, preferências arbitrárias e que possa ser aplicado em modelos com múltiplos agentes. Nós alcançamos isto ao expandir a análise de Milgrom e Segal (2002), generalizando seus resultados para espaços de tipos multidimensionais. Dessa forma, continuamos permitindo que a regra de escolha (mecanismo) seja descontínua. Para obter nosso resultado, é necessário o uso do Teorema do Máximo de Berge e, consequentemente, devemos impor compacidade no conjunto de escolha. Inicialmente esta hipótese pode parecer forte, porém argumentamos que em aplicações _e muito improvável termos um conjunto de escolha aberto ou, principalmente, não limitado. Nós também identificamos condições para que a função valor seja absolutamente contínua e mostramos que sua representação integral também é válida para espaços de tipos multidimensionais. Inicialmente propomos uma generalização direta do resultado de Milgrom e Segal (2002), utilizando a hipótese de continuidade absoluta da função de utilidade do agente. Entretanto, esta exigência não possui muito significado econômico e é considerada pouco elegante por parte da literatura. Neste sentido, incorporamos uma hipótese adicional de diferenciabilidade da utilidade em todo o domínio que gera a mesma representação integral e possui uma maior interpretação econômica. Nossos resultados são, em geral, aplicados a modelos com múltiplos agentes, em especial Economia do Setor Público (provisão de bens públicos e taxação ótima) e teoria dos leilões. / The main objective of this dissertation is to obtain an Envelope Theorem that allows non-di erentiable mechanisms, arbitrary preferences, and that can be applied to models with multiple agents. We achieve that by expanding the analysis of Milgrom and Segal (2002) and generalizing their results to multidimensional type spaces. Thus, we continue allowing that the choice rule (mechanism) is discontinuous. For our result, it is necessary to use the Berge's Maximum Theorem and therefore we must impose compactness in the choice set. Initially this assumption may seem strong, but we argue that in applications there is an open or unbounded choice set is very unlikely. We also identify conditions for the value function is absolutely continuous and show that its integral representation is also valid for multidimensional type spaces. Firstly we propose a direct generalization of the Milgrom and Segal (2002)'s result, using the assumption of absolute continuity of the agent's utility function. However, this requirement does not have much economic interpretation and it is considered not very elegant in the literature. In this sense, we incorporate an additional assumption of di erentiability of the utility in all range that generates the same integral representation and it possesses a greater economic interpretation. Our results are generally applied to models with multiple agents, in particular Public Economics (public goods supply and optimal taxation) and auction theory.

Problemas de escalonamento ocorrem com freqüência, principalmente em empresas de manufatura. Entretanto, na maioria das vezes, ferramentas matemáticas de apoio à decisão são pouco utilizadas, pois requerem profissionais capacitados, softwares caros e computadores muito potentes. Esta dissertação tem como objetivo mostrar uma heurística capaz de reduzir a quantidade de fôrmas na indústria calçadista. Inicialmente, foram comparadas as soluções fornecidas pela heurística com as soluções obtidas a partir do modelo matemático de programação linear, com a finalidade de verificar o quão próximas estão ambas as respostas. Em seguida, foram comparadas a solução fornecida pela heurística e a solução presentemente adotada por uma empresa de calçados denominada de Empresa de Calçados X. Os principais resultados obtidos foram: a) o resultado fornecido pela heurística apresenta menos de 10% de acréscimo no número de pares de fôrmas em relação ao resultado fornecido pelo modelo matemático de programação linear inteira tipo 0/1; b) a solução fornecida pela heurística reduz, em média, 23,4% a quantidade de fôrmas necessárias, podendo chegar próximo a 40%. Isto pode trazer uma estimativa de redução anual na ordem de R$ 288.100,00; c) o percentual de redução na quantidade de pares de fôrmas é variável, dependendo de cada caso.