天天看小說

三百二十六節(jié) 查錯的數(shù)學理論

錢羽之的眼神最早開始恍惚,李加奈堅持到這里也開始走神了,只有馮珊還在聽。

“二分查找從一個有序表里找特定值,本質是一種分治策略,也就是把一個大問題分割為若干相似的子問題,然后要么直接求解,要么繼續(xù)分割。它為什么要求有序表?是為了確保每次運算能夠同時求解全部子問題。舉個例子,如果升序表的中位值小于被查找值,我可以同時確保兩個結論,一,被查找值不在有序表的前一半中,二,被查找值在有序表的后一半中——那么接下來我在有序表的后一半中重復上述操作就行了。”

“我們的問題是類似的,從概率上,首先我們可以合理地假設有且僅有1張卡是錯誤的。然后,我們每次統(tǒng)計已知的包含錯誤卡片的所有卡片中的一半,如果統(tǒng)計結果表明錯誤卡片不在這一半中,那么一定在另一半中,反之亦然。于是我就縮小了一半的錯誤卡片‘嫌疑范圍’。我反復進行折半操作縮小嫌疑范圍、縮小到一定程度時,問題也就不再是問題了。”

“我以前和你說過,我們現(xiàn)在做的穿孔卡計算機,其實際能力并不限于眼前看到的這些。剛才我的折半操作很機械吧――總是分出一半、輸入,然后檢查結果,把包含錯卡的那疊拿來重復操作。”

“那么如果有一天,我們設計一臺機器來代替我剛才的重復機械操作,與制表機聯(lián)合起來就能夠完成更多的事情,很多大問題將被分解為小問題,然后采用同一個操作流程解決。”

“把看似復雜的問題層層分解為與原問題相似的規(guī)模較小的問題,反復用類似的一系列機械性操作求解,讓計算機也能夠完成,這樣的思想叫做‘遞歸’。這是我們利用計算機很本質的一種思路,你們要好好思考。特別是,在思考這類問題時,不要把現(xiàn)有機械計算機的運行速度考慮進去,覺得還不如人力快。關鍵要想一想,在人不加以干涉的情形下,計算機僅依照規(guī)則運行能夠求解什么問題。也就是,什么樣的問題是計算機可以解決的,我們叫‘可計算問題’。至于速度,那不是問題――面包會有的。”

馮諾停了下來,讓馮珊仔細咀嚼這段話,對她來說,這樣的思維模式與數(shù)學類似,但又與以前學習的數(shù)學相當不同。而李加奈和錢羽之的數(shù)學也就是四則運算的水平,要他們理解實在是有點勉為其難。因為昨晚都沒睡好,這時已經十分迷糊了,這番話不啻于催眠曲――迷糊間錢羽之還在納悶這事和面包有什么關系。

“好了,你倆睡覺去吧。我看看這張卡片究竟是怎么回事。”馮諾把還在呆呆思考的馮珊撇在一邊,對錢羽之和李加奈說道,他一指里間,“可以在那張床上睡。”說完,他拿起了桌上打錯了孔的卡片。

李加奈從床上醒來,發(fā)現(xiàn)錢羽之還坐在椅子上,靠著墻邊睡得正香。她環(huán)顧了一下,馮珊在工作臺邊看書邊計算著什么,而馮元老不在房間里,估計又去哪兒開會了。

她打著呵欠下了床,捅了捅錢羽之,說了聲:“上床去睡吧。”沒想到他只是哼了一聲又不動了。李加奈便用力把他拖到了床上——說是兩人輪班,其實昨天晚上錢羽之熬夜值班的時間比她長得多。

大概是感覺到了床上殘留的體溫,錢羽之翻了一個身,似乎想蜷進李加奈剛剛睡出的凹陷里,繼續(xù)呼呼大睡起來。

李加奈走到了工作臺邊倒了一杯水喝。這時她看到馮珊放下書揉了揉眼睛,似乎是打算休息一會,就和她閑聊了起來。不一會,她們就說定下星期一起去參加李加奈和文理學院同學的聚會――據(jù)說還有幾位前輩也會參加。

攻關小組之后的幾天對復制機進行了反復改進與測試,應馮諾的要求,又在復制機的穿孔機構那一排增加了一套讀卡機構,這個改動不大,但卻可以使復制機兼有部分驗證機(Verifier)的功能。復制完成后,可以改接少量配線,使機器功能變?yōu)樽詣訖z查兩疊卡片的穿孔是否一致,并在發(fā)現(xiàn)穿孔不一致時停機亮燈報警。

二分查找再快,總也比不得直接過一遍機器更快。

此外,改進后的版本還可以固定一張母卡在讀卡機構中,穿孔及驗證一疊卡片。在實際應用中,這項功能可以把一批卡片的共通孔位預先打好,減小人工打孔的工作量。

不過,雖然復制機經過改進,也修復了打錯孔的問題,卻仍會偶爾出現(xiàn)漏打孔的現(xiàn)象。最后,攻關小組降低了卡片傳動和處理速度,發(fā)現(xiàn)問題消失了。

“看來是繼電器反應速度的問題了。”孫立把手中的筆扔到了桌面上,“降速運行吧。”

所有人都“唰”地看向馮諾,馮諾只好無言地點了點頭。但元老們現(xiàn)在都練得臉皮頗厚――大家水平半斤八兩,誰也別笑話誰。尷尬很快恢復了過來,他又提出了開發(fā)譯碼機的方案。

按計劃,制表機本應集成打印和匯總穿孔的功能,出于簡化單臺機器復雜性的目的,現(xiàn)階段制表機沒有包含這些部分。因此馮諾打算先搞個最基本的數(shù)字譯碼機,由于不考慮拉丁字母的打印,甚至已經不能稱之為“譯碼”,單純只是打印,其機械結構與復制機類似,無非是檢孔后激活繼電器驅動弧形字排把0-9的數(shù)字打印在卡片頂端。現(xiàn)在復制機算是開發(fā)完成了,譯碼機不過是水到渠成的事。

機械口的元老們覺得問題不大,答應盡快制造一臺樣機送過去。

會到這里就散了,馮諾回到了辦公室:他想著今天還得再備備課――隨著機械計算機的進展,他覺得得深入的講授一些與軟件工程有關的數(shù)學問題了――第一代的程序員幾乎都是數(shù)學家。

他在辦公室里處理了數(shù)據(jù)中心的日常公文,循例到機房走了一圈,做了日常的設備維護。又把“待修目錄”瀏覽了一遍,用紅鉛筆在幾個“火燒眉毛”級別的項目上打了鉤,這些只能等上完課之后犧牲睡眠時間來修理了――自從他弄了機械計算機的項目,原先的工作壓下來不少。現(xiàn)在徐老五已經幫他做了大多數(shù)的文書工作,本職再荒廢下去可就說不過去了。

好不容易把手頭的事情逐一處理完,他才起身到了工作間。

現(xiàn)在“工作間”里已經塞的滿登登的。從機械廠制造的各種“工程樣機”塞滿了這個車間,有的則根本不是“技術會議”上的產物,而是某些動手能力強的元老的腦洞的產物――要說完全是腦洞也不盡然,因為這些東西大致就是當年機械計算機發(fā)展過程中的不同技術思路。

工程樣機自然是不太考究的,因為時間緊,又多是僅僅驗證設計思路是否具有工程可行性,所以在設計和制造上沒做什么優(yōu)化,秉承機械廠產品一貫的傻大黑粗不說,許多設備的零件也是外露的,一來節(jié)約制造時間,二來便于隨時查障調試。

車間里滿是鐵嘴鋼牙的機器,地上也有不少散落的物料零件。所以馮諾一直關照自己的這三個幫工,進工作間一定要做好防護。他自己以身作則,頭戴藤編安全帽,身穿粗布工作服,腳穿勞保皮鞋。

穿過設備區(qū),車間的另一頭是研究區(qū),一張笨重的大號“圣船牌”12人會議桌矗立正中,桌面上堆滿了圖紙、文檔和草稿計算紙,周圍放著七八張折疊椅。墻角是碩大的黑板架,黑板上滿是粉筆書寫的公式和數(shù)字。靠墻是一排開放式的書架,層層疊疊的塞滿了各種技術資料和參考材料――不過幾個月的時間,就累積起了這么多的文書材料。這些材料按照企劃院的規(guī)定,都由馮珊和李加奈按類別整理裝訂起來――都是要存檔的,為將來的技術工作者提供參考。

可是要是沒有一套高效的檢索設備的話,這些技術資料恐怕只會沉寂在大圖書館的某個角落最后被人慢慢的遺忘。想到這里,馮諾愈發(fā)感到自己的重任在肩。

研究區(qū)的地上滿是散落的計算草稿,搞得如同老電影炮黨敗逃時候一樣。研究小組整天廢寢忘食,自然也顧不上打掃衛(wèi)生。總算他們的便當盒還是每個人都洗干凈帶走的,不然就這邋遢程度非招來老鼠不可。

馮諾一屁股在椅子上坐下,拿出一本關于離散數(shù)學的專業(yè)教材――這是臨高本地翻印的,經過真理辦公室的審核,所以無需保密措施,可以直接插在書架上。

剛想打開,忽然看到桌子底下的字紙簍塞滿了碎紙片――不是一般的碎紙片,而是撕的粉碎的碎紙片,這不是他們常用的計算紙張,而是信紙。上面似乎還密密麻麻的寫滿了字跡。

------------------------------------------------------------------------

下次更新第七卷兩廣攻略篇53節(jié)

二百二十六節(jié) 忙碌的劉市長第二百四十節(jié) 軍犬第一百九十一節(jié) 調查(十九)第二百五十九節(jié) 秋賦(二十四)二百二十一節(jié) 供詞第一百三十五節(jié) 佛山之行(一)第三十五節(jié) 到鴻基去第一百三十一節(jié) 排查第十節(jié) 蒸汽機和鍋爐第一百六十三節(jié) 新版病歷第二百三十九節(jié) 社戲(二)第二百八十七節(jié) 京師(四十四)二百一十二節(jié) 光宗耀祖第一百一十節(jié) 劉四中計第二百七十節(jié) 京師(二十七)第四百七十三節(jié) 三桌席面第二百一十三節(jié) 澗內第八十一節(jié) 抽絲剝繭(二)第二百九十一節(jié) 黑爾的大炮第六十三節(jié) 示范紡織廠第十五節(jié) 熱作種植園第一百五十七節(jié) 銷贓第一百五十八節(jié) 學宮往事第一百零七節(jié) 焚樓(二十二)第四十節(jié) 人事第一百二十八節(jié) 毛十三第四節(jié) 時第四百六十五節(jié) 爭奪第一百零七節(jié) 諸彩老第八十八節(jié) 六脈渠三百七十四節(jié) 聚會(四)第二百零三節(jié) 籌劃第五十八節(jié) 安掌柜第2856章 互相學習第三節(jié) D日第二十九節(jié) 索尼亞(八)第十一節(jié) 說服第五十二節(jié) 科技就是生產力2788.第2788章 京師(一百四十一)第二百三十四節(jié) 普法式打官司(四)第一百零九節(jié) 埋伏(三)第二十一節(jié) 對外政策之爭第二十七節(jié) 重賞第一百八十節(jié) 新得勞動力2778.第2778章 京師(一百三十一)二百四十五節(jié) 除舊布新(八)第一百六十七節(jié) 長盈倉的米第一百二十七節(jié)旅順和鎮(zhèn)江二百六十九節(jié) 瓜蔓抄四百一十八節(jié) 集體婚禮(一)第一百五十五節(jié) 反策反第二百五十九節(jié) 招待會第一百九十一節(jié) 師徒第二百六十六節(jié) 京師(二十三)第三百二十七節(jié) 炮擊第一百七十八節(jié) 合理負擔第四十二節(jié) 培訓第一百零四節(jié) 巡警招錄第二百六十二節(jié) 來自澳門的消息第二百一十七節(jié) 討價還價二百一十七節(jié) 抓捕(二)第四百七十四節(jié) 西江航線第二節(jié) 整頓家業(yè)(一)三百七十四節(jié) 第一次小組會議第十七節(jié) 新的貿易協(xié)定第三百六十七節(jié) 新規(guī)劃第三十八節(jié) 說服(下)第四十七節(jié) 契約奴第二百四十一節(jié) 孔令洋的野望第三百四十六節(jié) 常師德和獨孤求婚第七十節(jié) 降人們第一百八十七節(jié) 調查(十五)第一百零六節(jié) 楊舉人的野望第十六節(jié) 瓊州海峽的霸權第一百四十二節(jié) 孫淳第三百六十節(jié) 動搖和堅定第一百七十九節(jié) 調查(七)三百三十七節(jié) 間接稅、直接稅和包稅第一百六十四節(jié) 錢塘江上第一百五十一節(jié) 海盜們2773.第2773章 京師(一百二十六)第二百七十九節(jié) 老朋友李華梅(一)第四百二十節(jié) 對馬藩第二百五十二節(jié) 立春第一百三十七節(jié) 討價還價第一百五十六節(jié) 血源三百一十七節(jié) 房客第一百二十五節(jié) 上任第一百一十一節(jié) 埋伏(五)第四百一十八節(jié) 平將軍三百三十七節(jié) 間接稅、直接稅和包稅第四百二十七節(jié) 聯(lián)絡圖三百八十四節(jié) 黃平的三亞日記第一百一十七節(jié) 三七開第2805章 借宿三百七十一節(jié) 聚會(一)第一百五十二節(jié) 佛山之行(十八)第八十二節(jié) 擴大隊伍第一百四十九節(jié) 佛山之行(十五)第十節(jié) 意外的偷渡者
二百二十六節(jié) 忙碌的劉市長第二百四十節(jié) 軍犬第一百九十一節(jié) 調查(十九)第二百五十九節(jié) 秋賦(二十四)二百二十一節(jié) 供詞第一百三十五節(jié) 佛山之行(一)第三十五節(jié) 到鴻基去第一百三十一節(jié) 排查第十節(jié) 蒸汽機和鍋爐第一百六十三節(jié) 新版病歷第二百三十九節(jié) 社戲(二)第二百八十七節(jié) 京師(四十四)二百一十二節(jié) 光宗耀祖第一百一十節(jié) 劉四中計第二百七十節(jié) 京師(二十七)第四百七十三節(jié) 三桌席面第二百一十三節(jié) 澗內第八十一節(jié) 抽絲剝繭(二)第二百九十一節(jié) 黑爾的大炮第六十三節(jié) 示范紡織廠第十五節(jié) 熱作種植園第一百五十七節(jié) 銷贓第一百五十八節(jié) 學宮往事第一百零七節(jié) 焚樓(二十二)第四十節(jié) 人事第一百二十八節(jié) 毛十三第四節(jié) 時第四百六十五節(jié) 爭奪第一百零七節(jié) 諸彩老第八十八節(jié) 六脈渠三百七十四節(jié) 聚會(四)第二百零三節(jié) 籌劃第五十八節(jié) 安掌柜第2856章 互相學習第三節(jié) D日第二十九節(jié) 索尼亞(八)第十一節(jié) 說服第五十二節(jié) 科技就是生產力2788.第2788章 京師(一百四十一)第二百三十四節(jié) 普法式打官司(四)第一百零九節(jié) 埋伏(三)第二十一節(jié) 對外政策之爭第二十七節(jié) 重賞第一百八十節(jié) 新得勞動力2778.第2778章 京師(一百三十一)二百四十五節(jié) 除舊布新(八)第一百六十七節(jié) 長盈倉的米第一百二十七節(jié)旅順和鎮(zhèn)江二百六十九節(jié) 瓜蔓抄四百一十八節(jié) 集體婚禮(一)第一百五十五節(jié) 反策反第二百五十九節(jié) 招待會第一百九十一節(jié) 師徒第二百六十六節(jié) 京師(二十三)第三百二十七節(jié) 炮擊第一百七十八節(jié) 合理負擔第四十二節(jié) 培訓第一百零四節(jié) 巡警招錄第二百六十二節(jié) 來自澳門的消息第二百一十七節(jié) 討價還價二百一十七節(jié) 抓捕(二)第四百七十四節(jié) 西江航線第二節(jié) 整頓家業(yè)(一)三百七十四節(jié) 第一次小組會議第十七節(jié) 新的貿易協(xié)定第三百六十七節(jié) 新規(guī)劃第三十八節(jié) 說服(下)第四十七節(jié) 契約奴第二百四十一節(jié) 孔令洋的野望第三百四十六節(jié) 常師德和獨孤求婚第七十節(jié) 降人們第一百八十七節(jié) 調查(十五)第一百零六節(jié) 楊舉人的野望第十六節(jié) 瓊州海峽的霸權第一百四十二節(jié) 孫淳第三百六十節(jié) 動搖和堅定第一百七十九節(jié) 調查(七)三百三十七節(jié) 間接稅、直接稅和包稅第一百六十四節(jié) 錢塘江上第一百五十一節(jié) 海盜們2773.第2773章 京師(一百二十六)第二百七十九節(jié) 老朋友李華梅(一)第四百二十節(jié) 對馬藩第二百五十二節(jié) 立春第一百三十七節(jié) 討價還價第一百五十六節(jié) 血源三百一十七節(jié) 房客第一百二十五節(jié) 上任第一百一十一節(jié) 埋伏(五)第四百一十八節(jié) 平將軍三百三十七節(jié) 間接稅、直接稅和包稅第四百二十七節(jié) 聯(lián)絡圖三百八十四節(jié) 黃平的三亞日記第一百一十七節(jié) 三七開第2805章 借宿三百七十一節(jié) 聚會(一)第一百五十二節(jié) 佛山之行(十八)第八十二節(jié) 擴大隊伍第一百四十九節(jié) 佛山之行(十五)第十節(jié) 意外的偷渡者
主站蜘蛛池模板: 岳普湖县| 平顺县| 永兴县| 清远市| 河池市| 福州市| 白沙| 都江堰市| 扶绥县| 田林县| 上栗县| 科技| 陆川县| 阿城市| 始兴县| 托克逊县| 屏东县| 蚌埠市| 申扎县| 平定县| 抚松县| 衡山县| 松滋市| 宜黄县| 三明市| 五寨县| 肇东市| 永康市| 龙岩市| 阳西县| 中山市| 青田县| 扶风县| 绥阳县| 商河县| 莎车县| 渝中区| 鲁山县| 隆林| 绥江县| 华安县|