A presente pesquisa buscou resolver o problema de planejamento de operações submarinas através das perspectivas de programação de tarefas e dimensionamento de frota. O problema consistiu em estabelecer a melhor sequência de tarefas a serem atendidas por embarcações levando em consideração sua compatibilidade, regras de sequenciamento e o tamanho da frota. O problema é uma extensão do modelo clássico de roteirização com janelas de tempo com o objetivo de minimizar os custos associados à roteirização e as perdas econômicas associadas às interrupções de produção. A resolução do trabalho concentrou-se no curto e longo prazo, utilizando como principal método de solução a heurística Simulated Anneling por meio de um algoritmo de simulação-otimização. / This research aimed at solving the problem of planning underwater operations that involves job scheduling and fleet sizing decisions. The problem consisted in establish the best sequence of tasks to be atended by vessels taking into account compatibility constraints, sequencing rules and the size of the fleet. The problem is an extension of the classical vehicle routing problem with time windows. The objective is to minimize the routing costs and the economic losses associated with production losses. The solution procedure focused on short and long-term decisions based on the heuristic Simulated Anneling through a simulation-optimization algorithm.

Nos problemas de corte de itens irregulares, temos um conjunto de itens menores que devem ser alocados em objetos maiores (recipientes) de forma que estes estejam inteiramente contidos no recipiente e não se sobreponham. Neste trabalho, resolvemos um problema de corte e empacotamento de uma indústria que confecciona aventais e forros de luva, no qual deseja-se alocar uma lista de itens dentro de recipientes retangulares utilizando a menor quantidade de recipientes possível e minimizando o comprimento utilizado em cada recipiente. Para isto, utilizamos métodos exatos e heurísticos adaptados para o corte de aventais e forros de luva, com o objetivo de obter soluções de alta qualidade. Foram realizados experimentos computacionais que comprovaram a eficiência dos métodos de solução presentes neste trabalho. / In nesting problems, we have a set of small items that must be allocated into larger objects (containers) so that they are fully contained within the container and do not overlap. In this work, an apron and gloves lining industry cutting problem is solved, in which we want to allocate a list of items into rectangular containers using the smallest quantity of containers and minimizing the length used in each container. For this, we used exact and heuristic methods adapted for cutting aprons and glove liners, in order to obtain high quality solutions. Computational tests were performed and they show the efficiency of the solving methods presented in this work.

O ambiente produtivo denominado job shop representa empresas manufatureiras com características como: alta variedade de produtos, volume baixo de produção e uma fábrica dividida em áreas funcionais. O problema abordado neste trabalho trata da determinação do programa de produção (scheduling) de cada lote de produtos no ambiente job shop, com a premissa de que cada produto a ser elaborado surge através de um pedido realizado pelo cliente com especificações e particularidades próprias. O objetivo do trabalho é apresentar e examinar de forma detalhada as formulações matemáticas do tipo linear inteira mista (PLIM), encontradas na literatura para o ambiente que consideram a função objetivo do makespan. Além disso, se estabelece uma nova formulação matemática que auxilia a simulação do ambiente. Todas as formulações foram comparadas através de suas dimensões e testes computacionais. Adicionalmente são apresentadas três diferentes estratégias de resolução que permitem a exploração de soluções obtidas através de diferentes metodologias. A primeira estratégia estabelece para cada instância uma solução inicial que promove uma redução do número de combinações a serem avaliadas pelo software, a segunda estratégia combina duas formulações tornando uma formulação unificada, e a terceira estratégia, estabelece um processo que utiliza duas formulações de forma consecutiva compondo um procedimento sistemático. Experimentos computacionais indicam que a formulação com melhor desempenho para o problema de job shop é a formulação de Manne (1960) por obter o melhor limitante superior (upper bound). A formulação proposta apresenta o melhor limitante inferior (lower bound). Todas as formulações melhoram seus resultados através do uso das estratégias propostas. / The operational job shop environment, represents manufacturing companies with high product variety, low volume production and an organization divided into functional areas. The problem addressed in this work determines the production schedule of each batch production, with the premise that each product results from a request made by the client with specifications and its own particularities. The main objective here is to present and to examine in detail the mathematical integer - linear program formulations (MILP) from the literature for the job shop classic environment, which considers the makespan objective. Furthermore, a new mathematical formulation is provided to help with the simulation of the environment. All the formulations were compared by mathematical dimensions and computational tests. In addition, three different strategies are presented to promote the exploration of solutions obtained from new methodologies. The first strategy defines an initial solution for each problem and promotes a reduction of the combination number to be evaluated by the software. The second strategy considers the combination of two mathematical formulations under one objective function. The third strategy establishes a procedure in which two mathematical formulations are used consecutively, creating a systematic procedure. Computational experiments demonstrate that the best formulation for the job shop problem is the Manne (1960) formulation, since it obtains the best upper bound. The proposal formulation obtains the best lower bound. All of the formulations improve their results through the use of the proposed strategies.

Neste trabalho foi estudado um problema de dimensionamento de lotes em uma indústria química brasileira, cujo objetivo era determinar o tamanho dos lotes dos produtos para atender às demandas, minimizando os custos produtivos. Os itens podem ser produzidos em máquinas paralelas distintas, através de diferentes processos, e devem ser armazenados em taques cativos, exclusivos a um produto, ou multipropósitos, compartilhado entre produtos, desde que não simultaneamente. Foram propostos dois modelos matemáticos de programação inteira mista para representar o problema, o primeiro apresentava uma função objetivo compreendendo o preço das matérias-primas consumidas nas reações, os gastos com a estocagem de produtos e o custo de descarte de produtos quando os tanques de armazenamento não tiverem capacidade suficiente para armazená-los, já o segundo estendendo este modelo para considerar custos de preparação de máquina. Experimentos computacionais com os modelos propostos, utilizando instâncias geradas a partir dos dados fornecidos pela empresa, mostraram que o software de otimização empregado foi capaz de resolver poucas instâncias, após uma hora de processamento. Portanto, foram propostas heurísticas construtivas do tipo LP-and-fix e relax-and-fix, além de heurísticas de melhoria do tipo fix-and-optimize. Após serem realizados testes com essas heurísticas, constatou-se que algumas proporcionaram a obtenção de soluções factíveis de boa qualidade, quando comparadas às obtidas pelo software, sendo ainda capazes de resolver um maior número de instâncias / In this dissertation the lot sizing problem in a chemical Brazilian industry was studied, with the goal to determine the products lot size to satisfy the demands, minimizing the production costs. The items can be produced on distinct parallel machines through different processes and then must be stored in exclusive tanks, used by only one product, or multipurpose tanks, when more than one product can use the tank, but not simultaneously. Two models were proposed to represent the problem, the first one aiming to minimize the price of raw material consumed in the reactions, storage product spending and the cost of discarting products when the storage tanks do not have enough capacity to store them, and the second one considering setup cost either. Computational experiments using the proposed models, with instances were generated from the data provided by the company, showed that the used optimization software was able to solve only few instances after processing for one hour. In this dissertation we propose constructives heuristics such LP-and-fix and relax-and-fix, and improving heuristics like fix-and-optimize. After performing the tests with those heuristics, it was found that some of them provided feasible solutions with good quality, when compared to the ones obtained by the software, and they were also able to solve a larger number of instances

Made available in DSpace on 2014-06-12T17:34:56Z (GMT). No. of bitstreams: 2 arquivo2536_1.pdf: 2208706 bytes, checksum: 8de8746be2eb21264b1dec79e1932796 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Este trabalho tem como objetivo o desenvolvimento e a aplicação de ferramentas de Inteligência Artificial como Redes Neurais Artificiais, Algoritmos Genéticos e Regras Heurísticas para solucionar problemas de planejamento da operação energética de sistemas de geração de energia elétrica compreendendo hidrelétricas, termelétricas, e parque eólico. A formulação escolhida para solucionar o problema agrega a operação dos reservatórios das hidrelétricas dando como dados de referência ao problema os volumes iniciais e os volumes finais. Esta formulação envolve problemas de grande porte, cujo tamanho varia de acordo com o horizonte de estudo e o detalhamento do sistema gerador. As Rede Neurais Artificiais recorrentes são conhecidas como eficientes ferramentas de otimização para solucionar problemas de programação linear e quadrática, além de apresentar um grande potencial para implementação em hardware do tipo Very- Large-Scale Integration, na qual pode ser mais eficiente do que as técnicas tradicionais de otimização. Os Algoritmos Genéticos também formam outras ferramentas de otimização que vêm sendo estudadas nos últimos anos. Além dessas duas ferramentas podem ser produzidas regras heurísticas para acelerar e melhorar a convergência destes métodos. As técnicas de Inteligência Artificial implementadas foram aplicadas ao despacho econômico de geração do sistema interligado CHESF-ELETRONORTE, para o qual foram obtidos a solução otimizada da operação, os custos marginais de geração e o valor da água associado com cada hidrelétrica

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-02-01T18:20:32Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Ivaneide Alves Protásio.pdf: 1710443 bytes, checksum: 890976db270d6fb66cc3f04a13cabf51 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-02-01T18:20:47Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Ivaneide Alves Protásio.pdf: 1710443 bytes, checksum: 890976db270d6fb66cc3f04a13cabf51 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-02-01T18:21:08Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Ivaneide Alves Protásio.pdf: 1710443 bytes, checksum: 890976db270d6fb66cc3f04a13cabf51 (MD5) / Made available in DSpace on 2017-02-01T18:21:08Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Ivaneide Alves Protásio.pdf: 1710443 bytes, checksum: 890976db270d6fb66cc3f04a13cabf51 (MD5) Previous issue date: 2014-03-21 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / Several real-world problems can be modeled as combinatorial optimization problems. This is are usually complex and large scale problems can not be solved by exact methods , since they would require impractical computational time . Thus, meta-heuristics have been widely used for solving such problems. Two of the major difficulties of these methods are to escape from sub-optimal regions and to avoid premature convergence of the algorithm . To try to solving this problem , we use o hybrid techniques in order to develop strategies that are applicable to many optimization algorithms . This study investigates the efficiency of incorporating of data mining techniques to ant colony and genetic algorithm Population Metaheuristcs in order to guide them to generate new and better solutions. To validate the proposal, we use the Travelling Salesman Problem and the Problem Sets Cover and different versions of the hybrid meta-heuristics are tested and analyzed . The technique chosen to guide the search of new solutions , from the patterns obtained with the Data Mining , was grouping similar solutions in an attempt to reduce the search space in combinatorial optimization problems . The mining algorithms used are the K -means and Ward which use techniques of hierarchical and partitioning respectively. Computational experiments were performed in order to evaluate the use of MD in Meta-Population traditional heuristics . These experiments showed that the use of mined patterns can assist in obtaining good solutions . / Vários problemas do mundo real podem ser modelados como problemas de otimização combinatória. Em geral são problemas complexos e de larga escala, não podendo ser resolvidos por métodos exatos, pois os mesmos necessitariam de tempo computacional impraticável. Desse modo, as meta-heurísticas têm sido amplamente empregadas para a resolução de tais problemas. Duas das principais dificuldades destes métodos são escapar das regiões sub-ótimas e evitar a convergência prematura do algoritmo. Para tentar solucionar estes problema, propõe-se o uso de técnicas híbridas buscando desenvolver estratégias que sejam aplicáveis a diversos algoritmos de otimização. O presente trabalho investiga a eficiência da incorporação de técnicas de Mineração de Dados (MD) as Meta-heurísticas Populacionais Colônia de Formiga e Algoritmo Genético com o intuito de guiá-las a gerar novas e melhores soluções. Para a validação da proposta, serão utilizados o Problema do Caixeiro Viajante e diferentes versões das meta-heurísticas híbridas serão testadas e analisadas. A técnica escolhida para guiar a obtenção de novas soluções, a partir dos padrões obtidos com a Mineração de Dados, foi o de Agrupamento de soluções similares, na tentativa de reduzir o espaço de busca em problemas de otimização combinatória. O algoritmos de mineração utilizados são o K-Means e o Ward que utilizam técnicas de particionamento e hierárquico respectivamente. Experimentos Computacionais foram realizados com o objetivo de avaliar o uso de MD em Meta-heurísticas Populacionais tradicionais, atai como Algoritmo Genético e Colonia de Formiga. Estes experimentos mostraram que a utilização de padrões minerados podem auxiliar na obtenção de boas soluções em relação as técnicas tradicionais

Made available in DSpace on 2015-04-11T14:02:44Z (GMT). No. of bitstreams: 1 aurelio.pdf: 7052556 bytes, checksum: 209649285da9d7e9789f5576368e72c7 (MD5) Previous issue date: 2013-03-26 / The quality of software design is directly related to the decisions taken during its execution, because wrong decisions may cause significant damage in a software project. Among the decisions to be performed by a software engineer, an important one would be the selection of technologies to be applied to software projects. Usually, these decisions are made taking into account the experience of the professionals involved in the task. Thus, we limit the exploration of other possibilities that could be most appropriate for such scenario, what could be offered by a scientific approach to support this decision making. This thesis presents a framework for instantiation of software technologies selection techniques by using search-based strategies. For this, the Software Technologies Selection Problem (STSP) was modeled as a combinatorial optimization problem (Minimum Dominanting Set) with the purpose of to attend different and real scenarios of Software Engineering. The proposed framework for the STSP was idealized as a mechanism to support software engineers who are not able to use other generic optimization frameworks in a software project due to tight deadlines and limited resources. It was designed to be integrated with the main meta-heuristic optimization frameworks, such as JMetal and Opt4J, that implement a large number of meta-heuristics. To analyze the feasibility of the proposed modeling and the developed framework, two case studies were conducted in complex and real optimization problems: (i) selection of model-based testing techniques; (ii) selection of requirements elicitation technique for critical embedded systems. The studies were performed using different meta-heuristics and their results indicate their feasibility to support the selection of software technologies. / A qualidade de um projeto de software está diretamente relacionada com as decisões tomadas durante suas diversas fases, pois decisões equivocadas podem causar danos significativos no projeto. Entre as decisões de um engenheiro de software, pode ser citada a escolha de tecnologias a serem aplicadas em um projeto de software. Geralmente estas decisões são tomadas levando-se em conta a experiência dos profissionais envolvidos nas tarefas. Assim, deixa-se de explorar outras soluções mais adequadas para tal cenário, algo que uma abordagem científica de apoio a tal seleção poderia oferecer. O trabalho apresenta um framework para instanciação de técnicas de seleção de tecnologias de software baseado em estratégias de busca. Para isso, o Problema de Seleção de Tecnologias de Software, do inglês Software Technologies Selection Problem (STSP) foi modelado como um problema de otimização combinatória (Conjunto Dominante Mínimo) com o objetivo de atender diferentes cenários reais de Engenharia de Software. O framework proposto para STSP foi idealizado como um mecanismo de apoio aos engenheiros de software que possuiriam dificuldades em usar outros frameworks de otimização genéricos durante um projeto de software, devido a prazos curtos e recursos limitados. Tal framework foi desenvolvido para ser integrado com os principais frameworks de meta-heurística de otimização identificados na literatura técnica, como JMetal e Opt4J, que implementam um grande número de meta-heurísticas. Para analisar a viabilidade da modelagem proposta para o STSP e do framework desenvolvido, foram realizados dois estudos de casos em problemas de otimização do mundo real: (i) seleção de técnicas de teste baseado em modelos; (ii) seleção de técnicas de elicitação de requisitos para sistemas embarcados. Os estudos foram realizados utilizando diferentes meta-heurísticas. Os resultados indicam sua viabilidade de apoio à seleção de tecnologias de software.

Neste trabalho desenvolvemos o estudo da álgebra linear, secções cônicas e aplicações. Apresentamos os conceitos mais importantes da álgebra linear, estudando os espaços vetorias, subespaços vetoriais, matriz de mudança de base, transformações lineares e produto interno. O principal resultado do trabalho é o teorema espectral que fornece ferramentas para se estudar as secções cônicas não elementares, ou seja, aquelas nas quais uma parábola, elipse ou hipérbole são apresentadas com seus eixos não paralelos aos eixos coordenados do plano cartesiano. Uma vez de posse deste teorema é mostrado um processo prático no qual transformamos uma equação ax2 +bxy +cy2 +dx +ey + g = 0 na equação k1 (x\')2 + k2 (y\')2 + (dx1 + ey1) x\' + (dx2 + ey2) y\' + g = 0 sem o termo misto xy, onde após a eliminação deste, podemos deduzir a equação da cônica identificando assim esta curva. Apresentamos exemplos de cônicas com eixos paralelos e não paralelos aos coordenados do plano cartesiano e utilizamos o software geogebra para visualização. Também discutimos algumas aplicações das cônicas como trajetória de corpos celestes (planeta Terra e um cometa), princípio de reflexão da parábola mostrando o porquê das antenas e dos captadores de ondas sonoras serem parabólicos. Demonstramos um teorema que denominei de identificador de uma curva cônica pois com ele é possível classificar a cônica sem realizar o processo prático, apenas para isso identificamos através da equação ax2 +bxy + cy2 +dx + ey +g = 0, quais os valores de a;b e c e feito isto calculamos o discriminante b2 - 4ac, analisamos os sinais e a nulidade, ou seja, se é maior que zero, menor que zero ou igual a zero, assim é possível classificar a cônica. / The paper develops the study of linear algebra, conic sections and applications. I present the most important concepts of linear algebra, studying vector spaces, vector subspaces, base change matrix, linear transformations, internal product. The main result of the work is the spectral theorem, which provides tools to study the non-elementary conic sections, that is, those in which a parabola, ellipse or hyperbola are presented with their axes not parallel to the cartesian planes coordinate axes. Using this theorem we show a practical process in which we transform an equation ax2 +bxy + cy2 +dx +ey +g = 0 into the equation k1 (x\')2 +k2 (y\')2 + (dx1 +ey1) x\' (dx2 + ey2) y\' +g = 0 without the mixed term xy, where after its elimination we can deduce the conic equation thus identifying the curve we are looking for. I present examples of conic with parallel and non-parallel axes to the coordinates of the Cartesian plane and use the geogebra software for visualization. I discuss some applications of the conic as a trajectory of celestial bodies (planet Earth and a comet), principle of reflection of parabola showing why the antennas and sound wave pickups are parabolics. I demonstrate a theorem that I named the identifier of a conic curve, with it it is possible to classify the conic without realizing the practical process only for this. I identify through the equation ax2 +bxy + cy2 +dx + ey + g = 0, what are the values of a;b, and c and, with this done, I compute the discriminant b2 - 4ac and analyze the signs and the nullity, that is, if it is greater than zero, less than zero or equal to zero, therefore is possible to classify the conic.

As refinarias de petróleo utilizam grandes quantidades de água em seus processos e por isso são impelidas a desenvolver fortes programas de redução de seu consumo. O objetivo do presente estudo é a aplicação de metodologia de otimização em problemas de alocação ótima e reuso de água em refinaria de petróleo. Diferentemente dos enfoques tradicionais que buscam tratar os efluentes gerados para atender às legislações ambientais ou para algum tipo de reuso na planta, a metodologia utilizada avalia os processos que usam água, questionando as causas da geração do efluente. Essa abordagem envolve o levantamento de dados industriais, análise dos processos de produção, identificação de oportunidades para aplicar as estratégias de otimização da alocação de água: racionalização, reuso e/ou reciclagem do efluente e, em seguida, a otimização da rede de água. Visando obter uma rede de água que seja aplicável na indústria, desenvolveu-se um procedimento específico baseado em regras heurísticas que representam as restrições reais dos processos. Através deste procedimento, o consumo de água fresca atingido é próximo do valor ótimo encontrado na literatura. As redes de água geradas são simples, com poucas interconexões e, consequentemente, os investimentos necessários para implementação são menores. / Oil refineries consume a large amount of water in their processes and because of that they are urged to develop strong programs to reduce their water consumption. The aim of this study is to apply an water optimization methodology in an oil refinery. Unlike traditional approaches that only search for treating the effluents in order to meet environmental legislation or to reuse in the plant, this methodology evaluates the processes that use water, questioning the causes of the wastewater generation. This approach involves the industrial data collection, analysis of production processes, identification of opportunities to optimize water use: rationalization, reuse and/or recycling of the effluent and, lastly, the water network optimization. Looking for a water network that is applicable in the industry, in this study it was also developed a specific optimization procedure based on heuristic rules representing the constraints of the actual processes. Through this procedure, freshwater consumption was found to be close to that of the theories found in the literature. The water networks generated are simple, with few interconnections and, consequently, the investments required to implement them are small.

Made available in DSpace on 2016-08-16T18:10:21Z (GMT). No. of bitstreams: 1 DISSERTACAO_JOSE ANTONIO PINHEIRO JUNIOR.pdf: 3181693 bytes, checksum: 3c342d8463d8f99f5cbae8f7b7cf1445 (MD5) Previous issue date: 2014-06-01 / This research was born out of our interest in the relationship that we establish between philosophy, myth and philosophy teaching. This is a study that seeks to understand how teachers of philosophy at the Federal Institute of Maranhão are teaching the myth of the cave to its high school students and how we can capture the imagery that arises in this educational process, since we believe that the allegory is a kind of metaphor for the teaching of philosophy itself because it is loaded with symbolism, is full of symbols, images and metaphors, and therefore, has a direct link with the philosophical educational practice. In this direction we decided to use the concept of imagination present in the Poetics of Reverie Bachelard as also the Theory of Imaginary Durand. First worked with notions of creative imagination, archetypes and daydreams. Latter work with the concepts of symbolic imagination and anthropological path. Given the symbolic richness of the allegory of Plato's cave made some analogies between its symbolism and imagery that developed by both Bachelard as in Durand. The methodology adopted Reading corresponded imaginary from heuristics that sought to map the images and memories that remain in the minds of teachers long before the myth of the cave. Where Bachelard operate with the pair rebound / resonance in order to know if the myth of the cave still causes some enchantment among teachers. From the perspective of the theory of Durand seek to know which regimen images of teachers are those arising influences, whether by day or night regime. Data analysis showed that on one hand the myth of the cave has been used in philosophy classes as well as the IFMA showed that relate to the philosophy and myth teachers set philosophy as a combat activity, brightness and criticality. However, the analysis of the images showed an imaginary governed by the hegemony of the daytime by the presence of images of light, fire and the sun. Therefore, the results we have seen that the archetype or myth of the hero appears in allegory of the cave and euphemizes the individual functions of the philosopher who should be fighting, endurance, suffering, pain and perhaps even death to return to the cave. / Esta pesquisa nasceu do nosso interesse pelas relações que podemos estabelecer entre filosofia, mito e ensino de filosofia. Trata-se de um estudo que busca compreender como os professores de filosofia do Instituto Federal do Maranhão estão ensinando o mito da caverna aos seus alunos do ensino médio e de como podemos captar o imaginário que surge neste processo educativo, já que entendemos que a alegoria é uma espécie de metáfora do próprio ensino de filosofia porque é carregada de simbolismo, é repleta de símbolos, de imagens e metáforas, e que por isso, tem uma ligação direta com a prática educativa filosófica. Nesta direção optamos pelo uso do conceito de imaginário presente na Poética do Devaneio de Bachelard como também pela Teoria do Imaginário de Durand. Do primeiro trabalhamos com as noções de imaginação criadora, arquétipos e devaneios. Deste último trabalhamos com os conceitos de imaginação simbólica e trajeto antropológico. Diante da riqueza simbólica da alegoria da caverna de Platão fizemos algumas analogias entre seu simbolismo e aquele desenvolvido pelo imaginário tanto em Bachelard como em Durand. A metodologia adotada correspondeu leitura do imaginário a partir de heurísticas que buscaram mapear as imagens e lembranças que permanecem no imaginário dos professores diante do contanto com o mito da caverna. No caso de Bachelard operamos com o par repercussão/ressonância a fim de saber se o mito da caverna causa ainda algum encantamento entre os professores. Pela perspectiva da teoria de Durand buscamos saber por qual regime de imagens aquelas advindas dos professores são influencias, se pelo regime diurno ou noturno. A análise dos dados por um lado mostrou que o mito da caverna vem sendo utilizado nas aulas de filosofia do IFMA assim como mostrou que ao relacionarem filosofia e mito os professores estabelecem a filosofia como uma atividade de combate, luminosidade e criticidade. Já a análise das imagens mostrou um imaginário regido pela hegemonia do regime diurno pelas presenças das imagens de luz, do fogo e do sol. Por isso, pelos resultado, vimos que o arquétipo ou mito do herói aparece na alegoria da caverna e se eufemiza na própria função do filósofo que deve ser de combate, resistência, sofrimento, dor e talvez até a morte ao retornar a caverna.