帖子
勛章
關注
任務
我國發(fā)布量子程序設計平臺 有助于國產量子計算機研制 該量子程序設計平臺被命名為“isQ”。平臺由中科院軟件所量子軟件研究團隊研發(fā)，編譯器和模擬器部分由該團隊與清華大學計算機科學與技術系合作完成。 中科院軟件所所長趙琛介紹，隨著近年來量子計算機硬件的迅速發(fā)展，量子軟件開發(fā)越來越引起重視。正如相應的工具鏈在傳統軟件開發(fā)中的作用一樣，一套可用性高、功能廣泛而強大，集程序設計、測試、分析、驗證于一體的工具鏈對量子軟件開發(fā)十分重要。但由于量子軟件與經典軟件存在本質不同，相應的量子軟件工具更加復雜。 中科院軟件所計算機科學國家重點實驗室博士應圣鋼介紹，isQ平臺包含的編譯器能首先將高級語言編寫的量子程序轉化為指令集語言，然后交由后續(xù)工具進一步處理。模擬器可在經典計算機上模擬運行量子程序，查看運行結果，對現階段量子程序的設計、測試有重要作用。模型檢測工具可用于檢驗量子系統的各種性質。定理證明器實現了團隊提出的量子Hoare邏輯，能夠對量子程序是否正確進行驗證，在經典計算機上克服計算時間與存儲空間限制，為較大規(guī)模量子程序的設計提供重要幫助。 據了解，目前已有的量子軟件可大致分為兩大類：一類是保證量子算法能準確轉化為計算機能執(zhí)行的量子機器語言，另一類是保障量子芯片能有效設計、運行。谷歌、微軟、IBM等國際巨頭近年來均加大力度研發(fā)量子軟件，為量子計算機發(fā)展提供助力。（來源：新華網） 關鍵詞： 量子
|
