Nas últimas décadas, avanços em tecnologias de geração, coleta e armazenamento de dados têm contribuído para aumentar o tamanho dos bancos de dados nas diversas áreas de conhecimento humano. Este aumento verifica-se não somente em relação à quantidade de amostras de dados, mas principalmente em relação à quantidade de características descrevendo cada amostra. A adição de características causa acréscimo de dimensões no espaço matemático, conduzindo ao crescimento exponencial do hipervolume dos dados, problema denominado “maldição da dimensionalidade”. A maldição da dimensionalidade tem sido um problema rotineiro para cientistas que, a fim de compreender e explicar determinados fenômenos, têm se deparado com a necessidade de encontrar estruturas significativas ocultas, de baixa dimensão, dentro de dados de alta dimensão. Este processo denomina-se redução de dimensionalidade dos dados (RDD). Do ponto de vista computacional, a conseqüência natural da RDD é uma diminuição do espaço de busca de hipóteses, melhorando o desempenho e simplificando os resultados da modelagem de conhecimento em sistemas autônomos de aprendizado. Dentre as técnicas utilizadas atualmente em sistemas autônomos de aprendizado, as redes neurais artificiais (RNAs) têm se tornado particularmente atrativas para modelagem de sistemas complexos, principalmente quando a modelagem é difícil ou quando a dinâmica do sistema não permite o controle on-line. Apesar de serem uma poderosa técnica, as RNAs têm seu desempenho afetado pela maldição da dimensionalidade. Quando a dimensão do espaço de entradas é alta, as RNAs podem utilizar boa parte de seus recursos para representar porções irrelevantes do espaço de busca, dificultando o aprendizado. Embora as RNAs, assim como outras técnicas de aprendizado de máquina, consigam identificar características mais informativas para um processo de modelagem, a utilização de técnicas de RDD frequentemente melhora os resultados do processo de aprendizado. Este trabalho propõe um wrapper que implementa um modelo neural de aprimoramento progressivo para RDD em sistemas autônomos de aprendizado supervisionado visando otimizar o processo de modelagem. Para validar o modelo neural de aprimoramento progressivo, foram realizados experimentos com bancos de dados privados e de repositórios públicos de diferentes domínios de conhecimento. A capacidade de generalização dos modelos criados é avaliada por meio de técnicas de validação cruzada. Os resultados obtidos demonstram que o modelo neural de aprimoramento progressivo consegue identificar características mais informativas, permitindo a RDD, e tornando possível criar modelos mais simples e mais precisos. A implementação da abordagem e os experimentos foram realizados no ambiente Matlab, utilizando o toolbox de RNAs. / In recent decades, advances on data generation, collection and storing technologies have contributed to increase databases size in different knowledge areas. This increase is seen not only regarding samples amount, but mainly regarding dimensionality, i.e. the amount of features describing each sample. Features adding causes dimension increasing in mathematical space, leading to an exponential growth of data hypervolume. This problem is called “the curse of dimensionality”. The curse of dimensionality has been a routine problem for scientists, that in order to understand and explain some phenomena, have faced with the demand to find meaningful low dimensional structures hidden in high dimensional search spaces. This process is called data dimensionality reduction (DDR). From computational viewpoint, DDR natural consequence is a reduction of hypothesis search space, improving performance and simplifying the knowledge modeling results in autonomous learning systems. Among currently used techniques in autonomous learning systems, artificial neural networks (ANNs) have becoming particularly attractive to model complex systems, when modeling is hard or when system dynamics does not allow on-line control. Despite ANN being a powerful tool, their performance is affected by the curse of dimensionality. When input space dimension is high, ANNs can use a significant part of their resources to represent irrelevant parts of input space making learning process harder. Although ANNs, and other machine learning techniques, can identify more informative features for a modeling process, DDR techniques often improve learning results. This thesis proposes a wrapper which implements a Progressive Enhancement Neural Model to DDR in supervised autonomous learning systems in order to optimize the modeling process. To validate the proposed approach, experiments were performed with private and public databases, from different knowledge domains. The generalization ability of developed models is evaluated by means of cross validation techniques. Obtained results demonstrate that the proposed approach can identify more informative features, allowing DDR, and becoming possible to create simpler and more accurate models. The implementation of the proposed approach and related experiments were performed in Matlab Environment, using ANNs toolbox.

A melhora da confiabilidade em redes de distribuição de energia elétrica é um tema importante para as indústrias de fornecimento de eletricidade, devido aos regulamentos estritos em muitos países. Depois de uma falha na rede, algumas chaves são usadas para isolar a falha, enquanto outras restauram a energia a alguns consumidores. A ótima seleção das chaves que serão abertas ou fechadas para restaurar a energia é conhecido como o problema de restauração de serviço. A instalação de chaves em posições estratégicas pode reduzir o tempo de parada, e assim melhorar a confiabilidade da rede. A seleção ótima de posições para instalar chaves é conhecido como o problema de alocação de chaves. Estes dois problemas estão relacionados estreitamente. Esta dissertação estuda o problema de alocação de chaves, considerando o problema de restauração de serviço como um subproblema. Dois métodos são propostos para estimar a confiabilidade de uma rede de distribuição com um conjunto dado de chaves instaladas. O foco principal está nas heurísticas para resolver o problema composto. Propõe-se aqui métodos como busca tabu, procedimento de busca gulosa adaptativa aleatória (sigla em inglês: GRASP), e procedimento iterativo de construção por amostras com reconexão de caminhos. Também estuda-se o benefício dos métodos de construção gulosa, semigulosa, aleatória e por amostras, e estuda-se o desempenho das estratégias de busca local por amostras, primeira melhoria e melhor melhoria. Os diferentes métodos são comparados e analisados. Os resultados mostram que os métodos por amostras são baratos e levam a soluções de boa qualidade. O procedimento iterativo de construção por amostras com reconexão de caminhos é o melhor método proposto para resolver o problema composto que é proposto nesta dissertação. / The improvement of reliability in electrical power distribution networks is an important issue for electricity supply industries, due to strict regulations in many countries. After a failure in the network, some switches are used to isolate the failure, while others restore the energy to some consumers. The optimal selection of the switches to open or close to restore energy is called the service restoration problem. The installation of switches in strategic places may reduce the outage time in case of blackouts, and thus improve the reliability of the network. The optimal selection of places to install switches is called the switch allocation problem. These two problems are closely related. This dissertation studies the switch allocation problem, considering the service restoration problem as a sub-problem. Two methods are proposed to estimate the reliability of a distribution network with a given set of installed switches. The main focus is in heuristics to solve the joint problem. It proposes methods like tabu search, greedy randomized adaptive search procedure, and iterated sample construction with path relinking. It also studies the benefit of greedy, semigreedy, random, and sample construction methods, and studies the performance of sample, first improvement and best improvement local search strategies. The different methods are compared and analyzed. The results show that sample approaches are inexpensive and lead to solutions of good quality. Iterated sample construction with path relinking is the best method to solve the joint problem that is proposed in this dissertation.

Com as crescentes expansão e popularização dos jogos digitais, sua utilização para fins além do simples entretenimento é cada vez mais visada por educadores, especialistas e estudantes. No entanto, os jogos educativos nem sempre conseguem concorrer com jogos comerciais. Nesse contexto, a presente pesquisa tem por objetivo desenvolver e avaliar um conjunto de heurísticas projetuais que contribuam com o desenvolvimento, adaptação de conteúdo instrucional e avaliação de jogos digitais educativos. Para isso, foram investigados aspectos relativos ao design instrucional e abordagens de aprendizagem, bem como características referentes a elementos que constituem os jogos digitais comerciais. Esses dados, obtidos a partir de base teórica composta por autores diversos das áreas supracitadas, foram analisados e comparados a partir de informações similares e/ou complementares, gerando um conjunto inicial de heurísticas. Esse foi revisado e incrementado com informações obtidas através de entrevistas com especialistas da área, realizadas para compreender as percepções e aspectos relacionados à prática do desenvolvimento de jogos educativos. O conjunto de heurísticas foi, então, testado e avaliado por especialistas e readequado conforme o feedback recebido. Os resultados permitiram a construção de um protótipo funcional para a adaptação de conteúdo instrucional, desenvolvimento e avaliação de jogos digitais educativos. / With the growth and popularization of videogames, their use to purposes beyond simple entertainment is increasingly targeted by educators, professionals and students. However, educational games are not always able to compete with commercial games. In this context, this research intends to develop and evaluate a set of heuristics for projects, with the purpose of contribute on the development, measurement and adaptation of instructional content on educational games. In order to achieve this goal, aspects related to instructional design and learning approaches have been researched, as well as characteristics of commercial games. These data, obtained through theoretical research, were analyzed and compared through similar/complementary informations, generating a primary set of heuristics, which has been complemented by data obtained through interviews with experts on the subject. The set of heuristics was, then, tested and evaluated by experts, and reviewed according to this feedback. The results allowed the construction of a functional prototype to improve adaptation of instructional content, development and evaluation of educative games.

Orientador: Maria Teresa Moreira Rodrigues / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Quimica / Made available in DSpace on 2018-08-06T01:44:33Z (GMT). No. of bitstreams: 1 Borjas_AlessandroLudgeroNoal_M.pdf: 6774962 bytes, checksum: e38957bd7f3f0b89b066fdbbe1adf6e7 (MD5) Previous issue date: 2005 / Resumo: O problema abordado é o de programação de produção (scheduling) em plantas operando em batelada. Considera-se problemas de curto prazo (short-term) com restrições de capacidade de produção e de armazenagem de produtos intermediários, situação que ocorre na indústria de processos com freqüência. A abordagem proposta visa a resolução do problema de programação de produção com o uso de janelas de tempo, explorando-se as restrições envolvidas, através da orientação do procedimento de solução à competição de bateladas que requisitam os mesmos recursos (gargalos de produção), e também pelo uso da propagação de restrições na redução da dimensão do problema durante o procedimento de solução, de forma a aumentar a eficiência do processo de busca. Para esse fim, foram usadas as principais técnicas de propagação de restrições existentes na literatura. Além disso, propõe-se um procedimento de backtracking que permite a continuidade do processo de busca automatizado, caso ocorra infactibilidade em soluções parciais do problema. Na discussão dos resultados obtidos são comparados os desempenhos das duas heurÍsticas implementadas, tendo-se como subsídio os resultados obtidos na resolução de dois problemas com características distintas / Abstract: The problem considered is short term scheduling of batch chemical plants. Constraints over plant capacity are taken as intermediate storage constraints since they are frequent in the process industries area. The proposed approach using time windows utilizes a constraint based search technique based on the competiton of operations and bottleneck identification heuristics which guide the search procedure. To reach this goal, the usual constraint propagation techniques over unitary resouces and intermediate storage constraint propagation are used. Besides, it was possible to propose a backtracking technique that allows the search process to go on in spite of some constraint is not observed in a partial solution. In the discussion about the obteined results, the characteristics of the two implemented heuristics are compared. It is possible through the analysis of two different kind of problems / Mestrado / Sistemas de Processos Quimicos e Informatica / Mestre em Engenharia Química

Orientador: Hermes Renato Hildebrand / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Artes / Made available in DSpace on 2018-08-13T04:23:41Z (GMT). No. of bitstreams: 1 Cuperschmid_AnaReginaMizrahy_M.pdf: 3728417 bytes, checksum: 119719713ed847d7e7e4bdd5ed4b5816 (MD5) Previous issue date: 2008 / Resumo: Os jogos de computador suscitam uma série de considerações, por apresentarem problemas diferentes dos outros tipos de softwares. Neles, os fatores chave para o sucesso são o entretenimento, o prazer e a diversão, que dependem de uma boa usabilidade, fatores esses totalmente vinculados e intimamente relacionados. Este trabalho apresenta uma listagem de heurísticas que permitem avaliações de usabilidade e entretenimento, aqui denominadas de jogabilidade. Esta pesquisa teve, como objetivo, investigar, através da literatura e de estudos de casos, os jogos de computador e elaborar uma lista compreensível de heurísticas de jogabilidade. Para isso foi necessária uma vasta exploração da bibliografia sobre jogos, ergonomia e usabilidade, para, em seguida, realizar avaliações heurísticas de jogabilidade. A análise dos resultados obtidos nos leva a crer que as heurísticas de jogabilidade podem servir como um ponto de partida para uma avaliação de jogos e como uma contribuição para a massa de conhecimentos existentes sobre o assunto. Enxergamos a necessidade de continuar validando as heurísticas levantadas por meio de avaliações de mais jogos, alterando-as, se necessário. / Abstract: Computer games have a series of problems and considerations that differ from other kinds of software. Their key factors for success are: entertainment, fun and pleasure, which depend on good usability. These factors are totally linked and intimately related. This work presents a heuristics list that permits an evaluation of usability and entertainment, here called playability. The objective of this research was to investigate computer games through literature and case studies and elaborate a comprehensive heuristics list of playability. It was necessary a vast exploration of the bibliography of game, ergonomic criteria for the evaluation of human-computer interfaces and usability, and then, perform a heuristic evaluation of playability. The analyses of the final results makes us believe that playability heuristics may be used as a starting point for assessing games and as contribution for the amount of knowledge available about the subject study. We see the need to keep validating the heuristics brought up in this study by assessing more games and updating them if necessary. / Mestrado / Mestre em Artes

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2018-09-11T13:46:43Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação Pericles Balderrama.pdf: 2562430 bytes, checksum: 225d4c2dd608f78114e9938de2d5861a (MD5) / Made available in DSpace on 2018-09-11T13:46:43Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação Pericles Balderrama.pdf: 2562430 bytes, checksum: 225d4c2dd608f78114e9938de2d5861a (MD5) Previous issue date: 2018-02-09 / This dissertation proposes a heuristic that uses the concept of market and the process of price formation as guidelines for the generation of routes in a factory plant scenario. The assumption is that the economic market is efficient in allocating scarce resources and that the price agglutinates in a single number the complexity of the productive process, simplifying the system of evaluation of economic agents. In this way, the price is adopted as the main variable in the selection of the sections that compose the routes. The price definition considered in the proposal differs from the cost per an updated variable considering only the market, that is, the interactions between economic agents. The market is modeled and implemented to simulate the movement of inputs in a manufacturing space, this space consisting of production cells interconnected by a transport grid in which the mobile robots carry inputs between the central warehouse and the production cells. In the proposed context robots are consumer economic agents and the crate of the grid are the traded products, there is a vendor that caters to all the robots. In the implementation of the proposed heuristic the Dijkstra algorithm is used to detect to the stretches that form the route with the minimum price in the market at a certain instant / Este trabalho propõe uma heurística que utiliza o conceito de mercado e no processo de formação de preço como diretrizes para a geração de rotas em um cenário de uma planta fabril. Assume-se como premissa que o mercado econômico é eficiente em alocar os recursos escassos e que o preço aglutina em um único número a complexidade do processo produtivo, simplificando o sistema de avaliação dos agentes econômicos. Desta forma, adota-se o preço como principal variável na seleção dos trechos que compõem as rotas. A definição de preço considerada na proposta diferencia-se do custo por se uma variável atualizada considerando unicamente o mercado, ou seja, as interações entre os agentes econômicos. O mercado é modelado e implementado para simular a movimentação de insumos em um espaço fabril, espaço este constituido por células de produção interligadas por uma grade de transporte na qual os robôs moveis transportam insumos entre o deposito central e as células de produção. No contexto proposto os robôs são agentes econômicos consumidores e os treicho da grade são os produtos negociados, existe um vendedor que atende a todos o conjunto de robôs. Na implementação da heurística proposta o algoritmo Dijkstra é utilizado para detectar aos trechos que forma a rota com o preço mínimo no mercado em determinado instante.

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.

Nesta tese é tratado o caso particular, único e ainda não estudado, do problema de formação de carga e distribuição de veículos novos no Brasil, com o objetivo de obter as melhores combinações de veículos a serem carregados nos caminhões cegonha, para serem entregues às suas respectivas concessionárias, em um horizonte de planejamento preestabelecido, tal que essas formações resultem no menor valor de frete total pago pela transportadora, respeitando todas as restrições existentes. O problema, reconhecidamente um NP-Difícil, é prático e comum à várias empresas atuando no setor. Para resolver o problema de formação de carga e distribuição de veículos zero quilômetro no Brasil, foi desenvolvido um algoritmo em programação linear inteira mista, capaz de resolver pequenas instâncias do problema. A execução de múltiplos testes com instâncias de portes maiores, indicou que não é possível obter soluções ótimas para o problema abordado considerando a aplicação do modelo matemático, seja utilizando computadores pessoais ou infraestruturas de elevada capacidade computacional. Entretanto, os resultados ótimos encontrados para as instâncias de pequeno porte foram utilizados como parâmetro de avaliação da proposta de solução heurística apresentada. A heurística de busca local multi-início desenvolvida e apresentada nesta tese foi capaz de encontrar a solução ótima para todas as quatro instâncias reais e de pequeno porte, reduzindo o número de veículos entregues atrasados tanto na comparação com os resultados obtidos pelo modelo matemático, quanto pela comparação com a alocação manual feita pelo funcionário da empresa de transportes que cedeu os dados para esta pesquisa. Por fim, a heurística desenvolvida foi utilizada para solucionar um problema de tamanho condizente com aquele encontrado no dia-a-dia da operação real de uma transportadora de veículos, obtendo soluções de valor de frete menores que aqueles obtidos pela alocação manual e reduzindo drasticamente o número de veículos entregues atrasados, com tempo de execução aceitável para sua aplicação prática. / This thesis proposes a new solution to the problem of load formation and distribution of new vehicles in Brazil. The problem consists in selecting among all vehicles parked at a transportation company staging area the best combination of units to be loaded on available auto-carrier trucks and delivered to its respective dealers, over a multipleday planning horizon. The group of vehicles selected to each auto-carrier has to be physically possible to load. Thus, several group formation constraints have to be respected. Transportation company does not own the fleet. It pays a per trip freight to auto-carrier owners, responsible for transporting vehicles to dealers. There exists a minimum freight cost to be paid to auto-carrier owners, which is calculated to each trip, according to its load formation. Sometimes, the minimum freight is greater than the sum of each loaded vehicle freight individually taken. The object is to minimize the transportation company total freight cost. Described problem belongs to the NP-hard class. An algorithm capable of solving small instances of the problem was developed using mixed integer linear programming (MILP). The execution of multiple tests, with instances of larger sizes, indicated that it is not possible to obtain optimal solutions considering the mathematical model, either using personal computers or high capacity clusters. However, the optimal results obtained for four small and real instances were used as evaluation parameter for the proposed heuristic solution. The multi-start local search heuristic developed was able to find the optimal solution for all four small instances solved using the MILP. Besides that, it was able to reduce the total number of late deliveries in comparison with the results obtained by the mathematical model and by the manual allocation done at the transportation company. Finally, the multi-start heuristic was used to solve larger size problems, compatible with those encountered in real life, obtaining smaller freight value than those obtained by the manual allocation made at the transportation company, also drastically reducing the number of late deliveries with acceptable processing time for practical applications.

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.

Esta dissertação trata do problema do agrupamento de cargas fracionadas na distribuição de cimento ensacado partindo de um depósito central. O problema consiste em definir quais entregas de cimento serão carregadas juntas em um determinado veículo, de modo a aproveitar ao máximo sua capacidade e ao mesmo tempo reduzir o custo com o frete pago aos transportadores que farão sua distribuição. Em especial, o método de resolução proposto pode ser dividido em três fases. Na primeira fase, as entregas pertencentes a um mesmo cliente são agrupadas prioritariamente. Na segunda fase, são agrupadas as entregas de clientes dentro de uma mesma cidade. Neste caso, uma simplificação necessária é considerar que todas as entregas de uma mesma cidade estão localizadas em um único ponto. Com isso, a distância entre os clientes se torna irrelevante e é proposto um método baseado em um algoritmo genético para resolução de problemas de bin-packing (BPP). Para a terceira fase, é considerado o agrupamento para pontos de entrega pertencentes a cidades diferentes, onde as distâncias rodoviárias são consideradas. Nesta etapa, é proposta uma variação do método anterior, incorporando ao modelo algumas heurísticas para resolução de problemas de roteirização de veículos, como o algoritmo de Clarke & Wright e o algoritmo do Vizinho Mais Próximo. / This thesis deals with the problem of merging less-than-truckload deliveries in bagged cement distribution from a central depot. The problem consists in defining which cement deliveries shall be loaded in each given vehicle, in order to maximize the vehicle full capacity as well as reduce carriers freights. Particularly, the solution method can be divided hierarchically in three stages. In the first stage, the deliveries from the same client are merged with priority. In the second stage, the deliveries from the same city are merged. In this case, a necessary assumption is to consider the deliveries from the same city as located in a single destination point. Consequently, the distances among deliveries can be assumed as irrelevant and a heuristic method is proposed, which relies on a genetic algorithm for the bin-packing problem (BPP). In the third stage, merging of different delivery points that are apart from each other is considered. For this step, a variation of the previous method is proposed, incorporating some heuristics to solve the vehicle routing problem, like the Clarke & Wrights savings algorithm and the Nearest Neighbor algorithm.