正好彩票軟件所發布國內首個量子程序設計平臺——isQ

文章來源:  |  發布時間:2019-12-20  |  【打印】 【關閉

  

  1220日上午,中國科學院軟件研究所舉行了量子程序設計平臺新聞發布會,正式發布了國內第一個較為完整的量子程序設計平臺isQ,“isQ”中的“is”代表軟件研究所Institute of Software,“Q”代表量子QuantumisQ平臺是基于軟件所量子軟件團隊多年來在量子程序設計模型、量子程序邏輯、量子程序分析算法等方面所取得的系統性理論成果基礎上成功實現的。該平臺包括量子程序設計、編譯、模擬、分析與驗證等系列工具,已上線的功能主要包括編譯器、模擬器、模型檢測工具、定理證明器四部分。其中,編譯器和模擬器部分由該團隊與清華大學計算機科學與技術系合作完成。新聞發布會由軟件所副所長鐘華主持。 

  近年來,隨著量子計算機硬件的迅速發展,量子軟件開發越來越引起人們的重視。正如相應的工具鏈在傳統軟件開發中的作用一樣,一套可用性高、功能廣泛而強大,集程序設計、測試、分析、驗證于一體的工具鏈對量子軟件開發十分重要。但由于量子軟件與經典軟件存在本質不同,相應的量子軟件工具更加復雜而難以研發。 

  計算機科學國家重點實驗室博士應圣鋼在發布會上介紹了量子軟件相關研究成果,并現場演示了isQ平臺的操作流程。他介紹到,isQ平臺包含的編譯器能首先將高級語言編寫的量子程序轉化為指令集語言,然后交由模擬器、模型檢測工具等后續工具進一步處理。模擬器可在經典計算機上模擬運行量子程序,查看運行結果,對現階段量子程序的設計、測試有重要作用。模型檢測工具可用于檢測量子系統的各種性質。定理證明器實現了團隊提出的量子Hoare邏輯,是目前世界上唯一能夠對量子程序是否正確進行驗證的平臺,可在經典計算機上克服計算時間與存儲空間限制,為較大規模量子程序的設計提供重要幫助。 

  量子軟件團隊將進一步完善isQ平臺的功能,包括定理證明器與編譯器的對接等。團隊期望與國內量子硬件團隊緊密合作,盡快將這一平臺配置在國內自主研制的量子計算機上。 

  所長趙琛在致辭中對中國科學院、科學技術部、國家自然科學基金委和各合作單位的大力支持表示衷心的感謝。同時感謝量子軟件團隊在理論研究及工程實現上的辛勤付出。他表示,軟件所將繼續在戰略布局、科研經費、團隊建設等方面加大對量子軟件方向的支持,并積極參加量子信息科學國家實驗室的建設。 

  中國科學院院士、軟件所學術委員會主任林惠民,黨委書記、副所長操云甫,學術副所長應明生,所長助理、科技處處長武斌,中國科學院計算技術研究所、清華大學、華為、百度、騰訊等單位的專家學者,新華社、光明網、科技日報、中國科學報等媒體記者也參加了本次會議。 

鐘華主持發布會

趙琛致辭

應圣鋼介紹量子軟件相關研究成果、演示isQ平臺

發布會現場

媒體報道:

新浪爱彩-正好彩票 新浪爱彩-正好彩票 UU快3-正好彩票 天天乐棋牌-正好彩票 网上电玩-正好彩票 内蒙古快三-正好彩票 抢庄牛牛-正好彩票 江苏福彩 万人牛牛-正好彩票 360彩票网-正好彩票 彩票网购-正好彩票 网易彩票-正好彩票 江苏福彩网 澳门游戏平台注册网站