資料載入處理中...
圖書館首頁
|
網站地圖
|
首頁
|
本站說明
|
聯絡我們
|
相關資源
|
台聯大論文系統
|
操作說明
|
English
簡易查詢
進階查詢
論文瀏覽
熱門排行
我的研究室
上傳論文
建檔說明
常見問題
帳號:guest(18.188.66.250)
離開系統
字體大小:
詳目顯示
第 1 筆 / 共 1 筆
/1
頁
以作者查詢圖書館館藏
、
以作者查詢臺灣博碩士論文系統
、
以作者查詢全國書目
論文基本資料
電子全文
作者(中文):
林祐丞
作者(外文):
Lin, You-Cheng
論文名稱(中文):
基於數學角度下的量子電路等價性檢查與錯誤修正的研究
論文名稱(外文):
A Mathematical Exploration to Equivalence Checking and Correction of Quantum Circuits
指導教授(中文):
王俊堯
指導教授(外文):
Wang, Chun-Yao
口試委員(中文):
陳勇志
朱家杰
口試委員(外文):
Chen, Yung-Chih
Chu, Chia-Chieh
學位類別:
碩士
校院名稱:
國立清華大學
系所名稱:
資訊工程學系
學號:
111062620
出版年(民國):
113
畢業學年度:
112
語文別:
英文
論文頁數:
34
中文關鍵詞:
量子計算
、
等價性檢查
、
向量模擬
、
錯誤修正
外文關鍵詞:
quantum computing
、
equivalence checking
、
simulation
、
error correction
相關次數:
推薦:0
點閱:25
評分:
下載:0
收藏:0
(此全文20260726後開放外部瀏覽)
電子全文
摘要
推文
當script無法執行時可按︰
推文
推薦
當script無法執行時可按︰
推薦
評分
當script無法執行時可按︰
評分
引用網址
當script無法執行時可按︰
引用網址
轉寄
當script無法執行時可按︰
轉寄
top
相關論文
1.
以迴圈基礎進行動態邏輯合成之最佳化
2.
搜尋替代線路之改進的方法
3.
以機率方法來進行邏輯等效驗證之研究
4.
用於晶片匯流排之以語言為基礎的高階交易抽取技術
5.
高階等價對稱性輸入之識別
6.
可逆序列元件之合成
7.
使用機率進行組合電路之等效驗證
8.
無扇出布林函式之辨識
9.
以模擬為基礎之組合電路冗餘線路識別器
10.
使用統計學的方法分析電路的可測試性
11.
使用平行向量模擬來診斷大型組合電路之多重設計錯誤
12.
序向電路之可達性分析
13.
驗證意識之超大型積體電路邏輯最佳化技術之研究
14.
在可達狀態空間的相依正反器識別之研究
15.
在網線光譜基底上計算熱輻射並利用硬體加速的全域照明
簡易查詢
|
進階查詢
|
論文瀏覽
|
熱門排行
|
管理/審核者登入