於MM*模式下的(t, k)-條件式偵錯度

以作者查詢圖書館館藏

、以作者查詢臺灣博碩士

、以作者查詢全國書目

、勘誤回報

、線上人數：83

、訪客IP：3.15.138.98

姓名

黃詩蘋(Shih-ping Huang) 查詢紙本館藏

畢業系所

資訊工程學系

論文名稱

於MM*模式下的(t, k)-條件式偵錯度
(Conditional (t, k)-diagnosis under the MM* model)

相關論文

★ 基於OP-TEE的可信應用程式軟體生態系統	★ 在低軌道衛星無線通訊中的CSI預測方法
★ 為多流量低軌道衛星系統提出的動態換手策略	★ 基於Trustzone的智慧型設備語音隱私保護系統
★ 一種減輕LEO衛星網路干擾的方案	★ TruzGPS:基於TrustZone的位置隱私權保護系統
★ 衛星地面整合網路之隨機接入前導訊號設計與偵測	★ SatPolicy: 基於Trustzone的衛星政策執行系統
★ TruzMalloc: 基於TrustZone 的隱私資料保護系統	★ 衛星地面網路中基於物理層安全的CSI保護方法
★ 低軌道衛星地面整合網路之安全非正交多重存取傳輸	★ 低軌道衛星地面網路中的DRX機制設計
★ 衛星地面整合網路之基於集合系統的前導訊號設計	★ 基於省電的低軌衛星網路路由演算法
★ 衛星上可重組化計算之安全FPGA動態部分可重組架構	★ 衛星網路之基於空間多樣性的前導訊號設計

檔案

[Endnote RIS 格式]

[Bibtex 格式]

[相關文章]

[文章引用]

[完整記錄]

[館藏目錄]

[檢視]

[下載]

本電子論文使用權限為同意立即開放。
已達開放權限電子全文僅授權使用者為學術研究之目的，進行個人非營利性質之檢索、閱讀、列印。
請遵守中華民國著作權法之相關規定，切勿任意重製、散佈、改作、轉貼、播送，以免觸法。

摘要(中)

系統偵錯(system-level diagnosis)是根據系統中各個處理器相互測試的結果，
推導出系統中錯誤處理器的程序。(t, k)偵錯是循序偵錯的概念化，當系統最多存
在t 個錯誤處理器時，在每一次進行偵錯時，至少須辨識出k 個錯誤處理器並且
以正常的處理器更換之。本篇論文假設每個處理器至少與一個正常處理器相鄰，
證明圖形在MM*模式下的(t, k)-條件式偵錯能力。

摘要(英)

System-level diagnosis is used to identify faulty processors. Each processor in the
system can test its neighboring processors and declare them fault-free or faulty. And
(t, k)-diagnosis is an conceptualization of sequential diagnosis. In (t, k)-diagnosis, at
least k faulty processors (or all faulty processors if fewer than k faulty processors
remain) are identified and repaired in each iteration provided there are at most t faulty
processors. In this paper, it assumes that each processor neighbor to at least one
fault-free processor. We prove the conditional (t, k)-diagnosability of the r-regular
graph under the MM* model.

關鍵字(中)

★ 條件式錯誤
★ (t, k)偵錯
★ MM*模式
★ 偵錯度
★ 系統偵錯

關鍵字(英)

★ Conditional diagnosability
★ (t, k)-diagnosis
★ MM* model
★ Diagnosability
★ System-level diagnosis

論文目次

Contents iv
List of Figures v
List of Tables vi
1 Introduction 1
2 Preliminaries 4
3 Conditional (t, k)-diagnosis with fathomed component 9
4 Conditional (t, k)-diagnosis without fathomed component 12
5 Main result and applications 23
6 Discussion and conclusion 25

參考文獻

[1] T. Araki and Y. Shibata, "(t, k)-diagnosable system: a generalization of the PMC models," IEEE Transactions on Computers, vol. 52, no. 7, pp. 971-975, 2003.
[2] G. Y. Chang, G. H. Chen, and G. J. Chang, "(t, k)-diagnosis for matching composition
networks," IEEE Transactions on Computers, vol. 55, no. 1, pp. 88-92, 2006.
[3] G. Y. Chang, G. H. Chen, and G. J. Chang, "(t, k)-diagnosis for matching composition networks under the MM* model," IEEE Transactions on Computers, vol. 56,no. 1, pp. 73-79, 2007.
[4] G. Y. Chang and G. H. Chen, "(t, k)-diagnosability of multiprocessor systems with applications to grids and tori," SIAM Journal on Computing, vol. 37, no. 4, pp. 1280-1298, 2007.
[5] G. Y. Chang "Conditional (t, k)-Diagnosis under the PMC Model" IEEE Transactions on parallel and distributed systems, vol. 22, no. 11, 2011.
[6] K. Day, "The conditional node connectivity of the k-ary n-cube," Journal of Interconnection Networks, vol. 5, no.1, pp. 13-26, 2004.
[7] A. H. Esfahanian, "Generalized measures of fault tolerance with application to N-cube networks," IEEE Transactions on Computers, vol. 38, no. 11, pp. 1586-1591,
1989.
[8] J. Fan, "Diagnosability of the Möbius cubes," IEEE Transactions on Parallel and
Distributed Systems, vol. 9, no. 9, pp. 923-927, 1998.
[9] S. Khanna and W. K. Fuchs, "A graph partitioning approach to sequential diagnosis,"IEEE Transactions on Computers, vol. 46, no. 1, pp. 39-47, 1997.
[10] S. P. Kuo, H. J. Kuo, and Y. C. Tseng, "The beacon movement detection problem in wireless sensor networks for localization applications," IEEE Trans. on Mobile Computing, vol. 8 no.10, pp. 1326-1338, 2009.
[11] P. L. Lai, J. M. Tan, C. P. Chang, and L. H. Hsu, "Conditional diagnosability measures for large multiprocessor systems," IEEE Transactions on Computers, vol. 54, no. 2,pp. 165-175, 2005.
[12] Q. Li and Y. Zhang, "Restricted connectivity and restricted fault diameter of some interconnection networks," DIMACS Series in Discrete Mathematics and Theoretical
Computer Science, vol. 21, pp. 267-273, 1995.
[13] F. P. Preparata, G. Metze, and R. T. Chien, "On the connection assignment problem
of diagnosable systems," IEEE Transactions on Electronic Computers, vol. EC-16,pp. 848-854, 1967.
[14] S. Y. Hsieh and Y. S. Chen, ``Strongly diagnosable systems under the comparison diagnosis model,’’ IEEE Transactions on Computers, vol. 57, no. 12, pp. 1720-1725,
2008.
[15] D. Wang, "Diagnosability of enhanced hypercubes," IEEE Transactions on Computers,vol. 43, no. 9, pp. 1054-1061, 1994.
[16] Q. Zhu, S. Y. Liu, and M. Xu, "On conditional diagnosability of the folded hypercubes,"Information Sciences, vol. 45, pp.174-184, 2008.

指導教授

張貴雲(Guey-Yun Cheng)

審核日期

2013-8-12

推文