Conclusion générale
Ce travail s'inscrit dans le cadre de développement des
systèmes formels pour l'informatique quantique, nous avons mis comme
objectif de ce mémoire, l'élaboration d'une synthèse (vue
globale non exhaustive) sur l'état de l'art de ce domaine, et la
proposition d'une extension du langage LOTOS vers son analogue quantique
q-LOTOS, tout en donnant sa syntaxe formelle et sa sémantique
opérationnelle.
Nous avons devisé ce mémoire en trois parties :
1ér partie pour explorer les notions
mathématiques et les notions de la physique ayant rapport avec
l'informatique quantique, et qui servent d'éléments de base de ce
dernier.
2éme partie pour explorer les fondements
théoriques du sujet, nous avons mis en évidence, les principaux
algorithmes, modèles de calcul et langages de programmations
quantiques.
3éme partie est consacré a l'extension
proposée nommée Q-LOTOS.
Perspectives
Ce sujet peut étendu dans plusieurs directions :
- Elaboration de modèles de bas niveau basés sur
l'approche action plutôt que l'approche évènement, à
des fins de caractérisation mathématique des sémantiques
de vraie parallélisme (maximalité comme exemple), tout en
profitant du parallélisme qu'offre l'aspect quantique.
- Une interprétation du modèle proposé
q-LOTOS par la sémantique floue (FTS; Systèmes de Transition
Floue) paraît intéressante est prometteuse.
59
Bibliographie
[Alexander S. Green et Valiron, 2012] ALEXANDER S. GREEN,
Peter LeFanu Lumsdaine, N. J. R. P. S. et VALIRON, B. (11 avril 2012). Quipper
: A scalable quantum programming language.
[Alexander S. Green et Valiron, 2013] ALEXANDER S. GREEN,
Peter LeFanu Lumsdaine, N. J. R. P. S. et VALIRON, B. (19 Apr 2013). An
introduction to quantum programming in quipper. Dalhousie University,
Halifax, NS, Canada.Institute of Advanced Studies, Princeton, NJ,
U.S.A.University of Pennsylvania, Philadelphia, PA, U.S.A, pages 1-15.
[Altenkirch et Grattage, 2005] ALTENKIRCH, T. et GRATTAGE, J.
(2005). A functional quantum programming language. 20th Symposium on Logic
in Computer Science (LICS).
[Belala, 2005] BELALA, N. (Juin 2005). Formalisation des
systèmes temps-réel avec durées d'ac-tions. Masters
thesis, Université Mentouri, 25000 Constantine, Algérie.
[Bennett et Wiesner, 1992] BENNETT, C. H. et WIESNER, S. J.
(1992). Communication via one-and two-particle operators on
einstein-podolsky-rosen states. Phys. Rev. Lett.
[Bernstein et Vazirani, 1997] BERNSTEIN et VAZIRANI (1997).
Quantum complexity theory. SIAM J. Comput.
[Deutsch, 1985] DEUTSCH, D. (1985). Quantum theory, the
church-turing principle and the universal quantum computer. Proc. R. Soc.
Lond. A., page 400 :97-117.
[Deutsch et Jozsa, 1992] DEUTSCH, D. et JOZSA, R. (1992).
Rapid solution of problems by quantum computation. Proc. R. Soc. Lond. A,
page 439-553.
[FDT/C, 1987] FDT/C, I.. (1987). Lotos,a formal description
technique based on the temporal ordering. Technical Report DIS
8807,ISO.
[Feynman, 1982] FEYNMAN, R. P. (1982). Simulating physics with
computers. International Journal of Theoretical Physics, page
467-488.
[Feynman, 1984] FEYNMAN, R. P. (1984). Quantum-mechanical
computers. J. Opt. Soc. Am, page 464.
[Glendinning, 2005] GLENDINNING, I. (February 16, 2005). The
bloch sphere. European Centre For Parallel Computing at Vienna
VCPC.
60
[Gradel, 0910] GRADEL, P. D. E. (2009/10). Quantum computing.
Mathematische Grundlagen der Informatik RWTH Aachen, pages 19-34.
[Grattage, 2006a] GRATTAGE, J. J. (2006a). A functional
quantum programming language. Thèse de doctorat, The University of
Nottingham for the degree of Doctor of Philosophy.
[Grattage, 2006b] GRATTAGE, J. J. (September 2006b). A
functional quantum programming language. Thèse de doctorat, The
University of Nottingham for the degree of Doctor of Philosophy.
[Grover, 1996] GROVER, L. K. (1996). A fast quantum mechanical
algorithm for database search. In ACM Symposium on Theory of Computing,
page 212-219.
[Haroche, 2002] HAROCHE, S. (26 Février 2002).
algorithmes quantiques. Leçons du Collège de France Chaire de
Physique quantique. 8ème leçon.
[Hoare, 1985] HOARE, C. A. R. (1985). Communicating sequential
processes. Prentice Hall.
[Jorrand, 2012] JORRAND, P. (1er janvier 2012). Algorithme
quantique de shor factorisation des entiers en temps polynomial.
[Jorrand, 2005] JORRAND, P. (2005). Algorithme quantique de
grover accélération quadratique de la recherche dans une base de
données. CNRS Laboratoire Leibniz, Grenoble, France.
[Lacour, 2007] LACOUR, X. (2007). Information Quantique
par Passage Adiabatique Portes Quantiques et Décohérence.
Thèse de doctorat, Docteur en Physique Université de
Bourgogne.
[law Adam MISZCZAK, 2011] law ADAM MISZCZAK, J. (3 Dec 2011).
Models of quantum computation and quantum programming languages. Institute
of Theoretical and Applied Informatics, Polish Academy of Sciences, Ba ltycka,
pages 44-100.
[Michael A, 2000] MICHAEL A, Nielsen Issac, L. C. (2000).
Quantum computation and quantum information. University of
CAMBRIDGE.
[Milner, 1989] MILNER, R. (1989). Communication and
concurrency. Prentice Hall.
[Monerau, 2008] MONERAU, M. (Novembre 2008). Algorithmique
quantique : de l'exponentiel au polynômial.
[Omer, 2000] OMER, B. (20th January 2000). Quantum programming
in qcl. Institute of Information Systems Technical University of
Vienna.
[Omer, 1998] OMER, B. (23th July 1998). A procedural formalism
for quantum computing. Department of Theoretical Physics Technical
University of Vienna.
[Omer, 2009] OMER, B. (2nd September 2009). Structured quantum
programming. Institute for Theoretical Physics Vienna University of
Technology, page 130.
[Perdrix, 2006] PERDRIX, S. (2006). Modèles formels
du calcul quantique ressources, machines abstraites et calcul par mesure.
Thèse de doctorat, National Polytechnique De Grenoble.
61
[Rolland, 2006] ROLLAND, R. (2006). Produit tensoriel d'espaces
vectoriels. CNRS Laboratoire Leibniz, Grenoble, France.
[Shor, 1997] SHOR, P. W. (1997). Polynomial-time algorithms for
prime factorization and discrete logarithms on a quantum computer. SIAM J.
Computing.
[Y, 1993] Y, Y. (1993). Quantum circuit complexity. Proc of
the 34th Annual Symposium on Foundations of CS.
[YING et al., 2003] YING, M., FENG, Y., DUAN, R. et JI,
Z. (September 2003). An algebra of quantum processes. Tsinghua University
and University of Technology, Sydney,Institute of Software, Chinese Academy of
Sciences, page 33.
| 
