在學習《計算機組成原理》儲存器校驗的漢明碼的過程中，產生了乙個疑惑，並利用不等式的證明解決了這個疑惑，下面展示一下解決過程，博君一笑。
首先，明確一下漢明碼的組成：
設欲檢測的二進位制**為n位，為使其具有糾錯能力，需增添k位檢測位，組成n+k位的**。為了能準確對錯誤定位以及指出**沒錯，新增添的檢測位數k應滿足：
2∧k≥n+k+1
設n+k位**自左至右依次編號為第1,2,3,…,n+k位，而將k位檢測位記作ci(i=1,2,4,8…)，分別安插在n+k位**編號的第1,2,3,8,…,2∧(k-1)位上。
不知道會不會有人和我有同樣的疑惑，會不會出現檢測位2∧i>n+k的情況，這樣的話檢測位便不能順利安插了。但下面的證明打消了這個疑慮，從最後一位檢測位入手證明：
2∧k≥n+k+1①，
假設①成立時，n+k≥2∧(k-1)②恆成立，
①+②得：2∧k＞2∧(k-1)+1，
上式顯然成立，即假設成立。
由上面的證明可以看出，n+k≥2∧(k-1)恆成立，即最後一位檢測位一定可以找到合適的位置，此疑點被迎刃而解。
關於漢明碼的數學原理與計算
剛剛上計算機組成原理課的時候，或許會覺得漢明碼的橫空出世太神奇了，它是怎麼知道二進位制資訊在傳輸過程中哪一位傳錯的呢？開始只是死記，後來發現太難記住了，於是想一 竟，究竟是什麼支配著這種編碼糾錯的可靠性。首先我們要知道的是，漢明碼是只具有一位糾錯能力的編碼，那麼二進位制資訊的傳輸校驗可以在最多只有一...
乙個URL的組成
2016 05 08 22 12 659人閱讀收藏 舉報 android 26 url的組成 url由三部分組成 協議型別，主機名和路徑及檔名。通過url可以指定的主要有以下幾種 http ftp gopher telnet file等。url的組成 url的組成 協議 1 protocol 協議 ...
關於乙個xml schema校驗問題的解決辦法
今年的乙個專案用到了xml的schema校驗。但是在使用的過程中遇到了乙個問題 schema在控制字串長度的時候用的是字元個數，比如 abc 和 我愛你 的長度都是3。但是按照位元組來算。它們的長度是不一樣的。如果需要通過schema來實現按位元組長度來校驗的話，這裡有個解決方式。很簡單，將字串中的...