Universidad de Castilla-La Mancha
 
Escuela Superior de Ingeniería Informática

 

  cambiar a curso:   2021-22   2023-24



Grado en Ingeniería Informática


TRABAJOS FIN DE GRADO
curso: 2022-23

Computación Cuántica aplicada al problema de los Generales Bizantinos


Tecnologías Específicas

Computación
 


Descripcion y Objetivos

Se considera un escenario de guerra en el que tenemos un grupo de m generales bizantinos que están asediando una ciudad desde distintos lugares y tienen que ponerse de acuerdo para atacar o retirarse de forma coordinada, Entre los generales hay un comandante que genera ordenes y el resto son tenientes que se comunican entre ellos cuando reciben la orden del comandante y las dos posibles órdenes del comandante son "atacar" y "retirarse". Uno o más de los generales puede ser un traidor.

Se trata de implementar una solución sobre computación cuántica que será ejecutada en el simulador QSimov.

Se trata de que el proyectando realice una aproximación práctica a la computación cuántica por medio de este problema bien conocido en la literatura de Sistemas Distribuidos desde que fuera resuelto por Lamport, Shostak y Pease en 1982.

 


Metodología y Competencias

Metodología:

  1. Estudio del problema con especial atención a la soluciones de Lamport et al.
  2. Estudio de los principios básicos de Computación Cuántica
  3. Estudio de la solución cuantica propuesta por Cholvi et al
  4. Estudio y práctica sobre el simulador QSimov
  5. Implementación de la solución cuántica sobre QSimov

Con este TFG el alumnos adquirirá las siguientes competencias de la tecnologia especifica de Computación:

  • [CM1] Capacidad para tener un conocimiento profundo de los principios fundamentales y modelos de la computación y saberlos aplicar para interpretar, seleccionar, valorar, modelar, y crear nuevos conceptos, teorías, usos y desarrollos tecnológicos relacionados con la informática.
  • [CM3] Capacidad para evaluar la complejidad computacional de un problema, conocer estrategias algorítmicas que puedan conducir a su resolución y recomendar, desarrollar e implementar aquella que garantice el mejor rendimiento de acuerdo con los requisitos establecidos.
 


Medios a utilizar

Se necesitará un ordenador con acceso a internet para poder acceder a las fuentes de información.
El ordenador deberá tener una capacidad suficiente que permita ejecutar el simulador QSimov.
Todos los medios necesarios se encuentran disponibles en el grupo de investigación de los directores.

 


Bibliografía

  • Nielsen, Michael A. and Chuang, Isaac L.
    • Quantum Computation and Quantum Information, 2000. Cambridge University Press
  • Leslie Lamport, Robert Shostak and Marshall Pease
    • The Byzantine Generals Problem - ACM Transactions on Programming Languages and Systems | July 1982
  • Hernán Indíbil de la Cruz Calvo

    • Simulador de un computador cuántico en implementación de algoritmos más importantes. TFG, 2018. UCLM

  • Hernán Indíbil de la Cruz Calvo

    • Ampliación del simulador cuántico Qsimov. TFM, 2019. UCLM

       

 


Tutores


DE LA CRUZ CALVO, HERNÁN INDÍBIL
LÓPEZ PELAYO, FERNANDO
 

Alumno


GONZÁLEZ DE LA VARA, CARLOS

 

 

Sindicación  Sindicación  Sindicación  Sindicación

Curso: 2022-23
© Escuela Superior de Ingeniería Informática
Edificio Infante Don Juan Manuel
Avda. de España s/n
02071 Albacete

informatica.ab@uclm.es
aviso legal
generar código QR de la página