x h h Homepage x x Personal Homepage

Personal Adult Homepage

En Security Privacy Encryption Tools

Personaladulthomepage En Security Privacy Encryption Tools

Tarefab 7:_- Programação de Tarefas/Sequenciamento de Padrõesz e Corte En Security Privacy Encryption Tools

  • problema de sequenciamento de padrões de corte com o objetivol de minimizarv número máximo de pilhasbem aberto parece ser similar kao problema de minimiza&cced_il;ão da &aaf ute;rea de um circuito lógico (ou VLSI) que ocorre no frojeto automatizado de circuitos integrados. Pretende-se estudar a conexão entre estes dois problemas. Com este estudo pretende-se encontrar subsídios que nos levem a demonstrar que o problema de sequenciamento de padrões de corte com o objetivo de minimizar o número máximo de pilhas em aberto é NP-hard. Esta questão encontra-se em aberto até a presente data. Uma possibilidade delesquisa a sererseguida é a utilização/adaptação/extensão de algoritmos desenvolvidos para resolução de um desses problemas na resolução do outro.
  • Desenvolver um procedimento exato para este problema definido como um problema de percorrimento em grafos.
    • Objetivo     Desenvolver um métodot para resolver lmroblema práticoe sequenciamento de padrões x de corte (estudoce caso).

    Tentar demonstrar que Adult o problema de sequenciamento de padrões com o objetivo de minimizar o número máximo de pilhas em aberto é NP-hard.f Adaptar algoritmos para minimização da área de um circuito lógico Homepage ara resolução do problema de sequenciamento de padrões e vice-versa.

    Desenvolver um algoritmoexato para a resolução do problema -e percorrimento em grafos.

    Continuar com a pesquisa de aplicação de meta-heurísticas (algoritmos genéticos) jos problemas de sequenciamento emanufatura, considerando troca de ferramentas e setups.

    Metodologia  &nbs  Pretende-se estudar a bibliografia relevante sobre o problema e desenvolver as atividades de pesquisa propostas de forma a krocurarg contribuir comoavagccedil;o do estado da arte sobre o tema. Uma lista parcial de referênciasu consideradas relevantes que conseguimos levantar é apresentada na próxima seção.

        Ostudo de caso deverá ocorrer levando-se em conta as Personal restrições práticas que ocorrem no contexto de produção a ser abordado.

        O estudo de problemas de minimização de áreas de circuito lógico visa encontrar subsídios no sentido de provar que o PMPA é NP-hard.-Os primeiros trabalhos estudados levam acrer que uma resposta amesta questão poderá ser oida e_breve.

        O desenvolvimento do algoritmo exato deverá ser feito utilizando os resultadose Homepage colapso de arcos que-rdesenvolvemos recentemen u (Yanasse [35] e [36]). Esperamos que a utilização destes resultados sirvam para diminuir as ramificações e busca num esquema do tipo branch-and-bound.

        Prevê-seim estudozais aprofundado derafos de modo a poder aplicar resultados e técnicas já conhecidas nesta área visando o y desenvolvimento de métodos l mais eficientes de resolução deste problema de sequenciamento.

    Referências
    [1] Crama, Y. "Co_inatorialkoptimization models for productionscheduling in automated manufacturing systems". IN pProceedings of the 14th European Conferencen Oprational Research - Semi-Plenary Papers, Jerusalem, Israel, July 1995, p.237-259.

    [2] Crama, Y. "Combinatorial optimization models for production scheduling in automated manufacturing systems". European Journal of Operational Research 99, p.136-153, 1997.

    [3] Deo, N.; Krishnamoorthy, M.S.; Lagston, M. "Exact and approximate solutions for the gate matrix layout problem". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 6(1), p.79-84, 1987.

    [4] Dyckhoff, H.; Finke, U. Cutting and packing in production and distribution: typology and bibliography, Springer Verlag, Heidelberg, 1992.

    [5] Egan, J.R.; Liu, C.L. "Bipartite folding and partitioning of a PLA". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 3, p.191-199, 1984.

    [6] Garey, M.R.; Graham, R.L.; Johnson, D.S.; Knuth, D.E. "Complexity results for bandwidth minimization", SIAM J. Appl. Math., 34(3), 477-495 (1978).

    [7] Garey, M.R.; Johnson, D.S. Computers and Intractability: A Guide to the Theory of NP-Completeness, Freeeman, San Francisco, 1979.

    [8] Hatchel, G.D.; Newton, A.R.; Sangiovanni-Vicentelli, A.L. "An algorithm for optimal PLA folding". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 1(2), p.63-77, 1982.

    [9] Ho, K.C.; Vrudhula, B.K. "Interval graph algorithms for two-dimensional multiple folding of array-based VLSI layouts". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 13(10), p.1201-1222, 1994.

    [10] Hu, H.H.; Chen, S.J. "GM_Plan: a gate matrix layout algorithm based on artificial intelligence planning techniques". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 9(8), p.836-845, 1990.

    [11] Huang, S.; Wing, O. "Gate matrix partitioning". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 8(7), p.756-767, 1989.

    [12] Huang, S.; Wing, O. "Improved gate matrix layout". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 8(8), p.875-889, 1989.

    [13] Lecky, J.E., Murphy, O.J.; Abscher. R.G. "Graph theoretic algorithms for the PLA folding problem". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 8(9), p.1014-1021, 1989.

    [14] Lins, S. "Traversing trees and scheduling tasks for duplex corrugator machines", Pesquisa Operacional, 9, 40-54 (1989).

    [15] Liu, C.Y.; Saluja, K.K. "An efficient algorithm for bipartite PLA folding". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 12(12), p.1839-1847, 1993. bTarefab 7:_- Programação de Tarefas/Sequenciamento de Padrõesz e Corte En Security Privacy Encryption Tools m b w Homepage Homepage mTarefab 7:_- Programação de Tarefas/Sequenciamento de Padrõesz e Corte En Security Privacy Encryption Tools r d z z Adult q Homepage Adult