EVENTO
Computação Reversível
Tipo de evento: Exame de Qualificação
De acordo com o Principio de Landauer, é possível construir um computador que dissipe uma quantidade de calor arbitrariamente pequena. Uma condição necessária para isso é que nenhuma informação seja perdida na computação. Desse ponto de vista, um outro modelo de computação torna-se necessário, tendo em mente que o atual, baseado em lógica irreversível, não atende a tal especificidade. Então, a lógica reversível tem papel fundamental neste novo modelo, observando que no limite teórico, um dispositivo construído sobre este alicerce não dissiparia calor.Neste trabalho, apresentamos a teoria da lógica reversível, mais especificamente, descrevemos as portas lógicas reversíveis, explorando o fato de que elas formam um grupo simétrico e, assim, podemos empregar o ferramental da teoria de grupos. Apresentaremos um conjunto de portas mais simples que podem servir de base para a construção das demais.Bibliografia: 1. A. De Vos, B. Raa e L. Storme, Generating the group of reversible lógic Gates, J. Phys. A: Math. Gen. vol. 35, nº 33 (2002), 7063 7078.2. L. Storme, A. De Vos, G. Jacobs, Group theoretical aspects of reversible logic gates, J. Universal Comput. Sci. vol. 5, nº 5 (1999), 307 321.3. T. Toffoli, Reversible computing, Proc. 7th Col. on Automata, Languages and Programming, Springer-Verlag (1980), 632 644.
Data Início: 12/04/2006 Hora: 14:00 Data Fim: 12/04/2006 Hora: 16:30
Local: LNCC - Laboratório Nacional de Computação Ciêntifica - Auditorio A
Aluno: Carlos Magno Martins Cosme - Universidade Federal dos Vales Gequitinhonha - UFVJM
Orientador: Renato Portugal - Laboratório Nacional de Computação Científica - LNCC
Participante Banca Examinadora: Gilson Antônio Giraldi - Laboratório Nacional de Computação Científica - LNCC Guilherme Augusto de La Rocque Leal - IM-UFRJ - UFRJ Maurício Vieira Kritz - Laboratório Nacional de Computação Científica - LNCC Paulo César Marques Vieira - Laboratório Nacional de Computação Científica - LNCC
