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