本文主要研究内容
作者（2019）在《Implementing termination analysis on quantum programming》一文中研究指出：Termination analysis is an essential part in programming. Especially quantum programming concerning measurement, entanglement and even superposition are the foundations of bizarre behaviours in quantum programs. In this paper, we analyse and extend the theoretical theorems on termination analysis proposed by Ying et al. into computational theorems and algorithms. The new algorithm without the Jordan decomposition process has a significant acceleration with polynomial complexity both on terminating and almost-surely terminating programs. Moreover, the least upper bound of termination programs steps is studied and utilized to output the substituted matrix representation of quantum programs. We also implement four groups of experiments to illustrate the advantages of the new algorithm in case of processing a simplified quantum walk example comparing with the original counterpart.
Abstract
Termination analysis is an essential part in programming. Especially quantum programming concerning measurement, entanglement and even superposition are the foundations of bizarre behaviours in quantum programs. In this paper, we analyse and extend the theoretical theorems on termination analysis proposed by Ying et al. into computational theorems and algorithms. The new algorithm without the Jordan decomposition process has a significant acceleration with polynomial complexity both on terminating and almost-surely terminating programs. Moreover, the least upper bound of termination programs steps is studied and utilized to output the substituted matrix representation of quantum programs. We also implement four groups of experiments to illustrate the advantages of the new algorithm in case of processing a simplified quantum walk example comparing with the original counterpart.
论文参考文献
[1].4H-SiC Schottky barrier diodes with semi-insulating polycrystalline silicon field plate termination[J]. 袁昊,汤晓燕,张义门,张玉明,宋庆文,杨霏,吴昊. Chinese Physics B.2014(05)[2].Rotational Structures at Ultrahigh Spin in 157, 158, 159Er[J]. DONG Bao-guo, MA Hai-liang, YAN Yu-liang. Annual Report of China Institute of Atomic Energy.2007(00)[3].Study of Structure of High-Spin States in 112In[J]. LI Xue-qin, ZHU Li-hua, WU Xiao-guang, HE Chuang-ye, LIU Ying, PAN Bo, HAO Xin, LI Li-hua, WANG Zhi-ming, LI Guang-sheng, LI Zhong-yu1, WANG Shou-yu1, XU Qiang2, WANG Jian-guo2, DING Huai-bo2, ZHAI Jian3 (1 Peking University, Beijing 100871, China; 2 Tsinghua University, Beijing 100084, China; 3 Jilin University, Changchun 130023, China). Annual Report of China Institute of Atomic Energy.2007(00)[4].Thermodynamic Stability, Half-Metallic and Optical Properties of Sc2CoSi [001] Film:a DFT Study[J]. Maliheh Amiri,Hossein Akbari,Bashir Nedaee-shakarab,Arash Boochani,Amin Aminian,Yousof Zangeneh,Sirvan Naderi. Communications in Theoretical Physics.2019(04)[5].Automatic Generation of Very Efficient Programs by Generalized Partial Computation[J]. Yoshihiko Futamura 1,Zenjiro Konishi 2, Robert Glück 3 1.Department of Informationr and Computer Science,Waseda University, 3 4 1 Okubo, Shinjuku, Tokyo 169 8555, Japan; 2. Institute for Software Production Technology,Waseda University, 3 4. Wuhan University Journal of Natural Sciences.2001(Z1)[6].Process Expression of Security Automaton[J]. 余万涛,胡光锐. Journal of Shanghai Jiaotong University.2007(06)[7].Shape Coexistence and Band Terminations in 131La[J]. DONG Bao-guo, GUO Hong-chao. Annual Report for China Institute of Atomic Energy.2001(00)[8].Relaxation of 6H-SiC(0001) Surface and Si Adsorption on 6H-SiC(0001):an ab initio Study[J]. 贺小敏,陈治明,李连碧. Chinese Physics Letters.2015(03)[9].Generic preparation and entanglement detection of equal superposition states[J]. Qi Yu,Yan Bao Zhang,Jun Li,Heng Yan Wang,Xin Hua Peng,Jiang Feng Du. Science China(Physics,Mechanics & Astronomy).2017(07)[10].Interface effect on structural and electronic properties of graphdiyne adsorbed on SiO2 and h-BN substrates:A first-principles study[J]. 董宝娟,杨腾,王吉章,张志东. Chinese Physics B.2015(09)
论文详细介绍
论文作者分别是来自Science China(Information Sciences)的，发表于刊物Science China(Information Sciences)2019年12期论文，是一篇关于,Science China(Information Sciences)2019年12期论文的文章。本文可供学术参考使用，各位学者可以免费参考阅读下载，文章观点不代表本站观点，资料来自Science China(Information Sciences)2019年12期论文网站，若本站收录的文献无意侵犯了您的著作版权，请联系我们删除。
标签：Science China(Information Sciences)2019年12期论文;
：Implementing termination analysis on quantum programming论文
下载Doc文档