經濟部中夬樣準局員工消費合作社印裝 A7 B7 1 4。月,系’丨’彡 iL· 五、發明説明 ( 4 ) f ii 統 中 之 一 能 影 堪 處 理 之 输 出 且 在 一 特 定 之 時 間 點 上 核 准 新 的 内 部 狀 態 〇 因 為 在 電 腦-所 計 算 之 處 理 被 核 准 之 前 t 此 電 腦 / 電 腦 % 統 檢 査 在 气理 中 包 含 在 它 的 狀 態 值 是 否 不 同 於 霄 腦 内 以 前 被 核 准 之 對 應 的 狀 態 值 t 且 在 處 理 之 中 已 不 再 包 含 % 统 狀 態 之 巨 前 部 份 的 各 處 理 均 不 被 核 准 而 不 執 行 9 速 到 之 效 果 為 f 不 管 % 统 狀 態 值 暫 時 性 的 不 等 資 料 f 情 況 為 只 有 和 百 前 狀 態 组 件 有 交 易 之 所 有 電 腦 / 電 腦 % 统 能 對 過 程 和 其 它 電 腦 有 影 m 〇 流 通 的 記 號 一 方 面 可 作 為 更 新 各 電 腦 之 各 別 局 部 狀 態複 寫 值 另 一 方 面 可 執 行 矛 盾 檢 査 〇 本 發 明 有 利 之 發 展 敘 述 在 甲 諸 專 利 範 圍 之 附. 屬 項 中 0 因 此 9 如 申 請 專 利 範 圍 第 2 項 之 啓 示 9 改 變 倍 息 將 受 檢 査 9 此 不 只 針 對 成 功 而 已 有 結 論 之 各 處 理 的 狀 態 值 t 亦 針 對 未 <=£s* 兀 成 之 處 理 的 各 狀 態 值 揸 樣 的 優 點 為 » 待 殊 地 在 長 時 間 之 處 理 情 況 下 > 若 百 前 之 狀 態 值 已 不 包 含 在 處 理 之 中 * 則 此 處 理. 能 預 先 被 反 常 地 中 止 〇 預 防 已 有 結 論 之 處 理 被 核 准 和 導 致 未 有 結 Dffl 之 處 理 的 反 常 中 止 1 依 甲 誚 專 利 範 圃 第 3 項 之 示 以 檢 査 已 改 受 之 信 息 是 否 分 別 由 其 它 霣 腦 而 來 可 偵 測 出 此 兩 種 矛 盾 » 此 和 討 論 中 的 霣 腦 % 統 在 處 理 過程 中 先 前 所 存 取 之 相 同 資 料 有 關 〇 若 情 況 是 逭 樣 % 則 霣 腦 % 統 在 處 理 逭 些 過 程 時 t 將 考 盧 不 是 巨 前 之 狀 態 值 1 使 處 理 結 果 必 不 用 於 過 程 之 控 制 〇 為 確 保 在 各 別 霣 腦 % 統 間 -e 的路途中改變 - 佶 息 不 能 遣 失 而 (請先閱讀背面之注意事項再填寫本頁) 本紙張尺度逍用中國國家梯準(CNS ) A4说格(210X297公釐) 402701 at _B7 五、發明説明(1 ) 本發明係两於依據申請專利範圍第1項之特性條款的 方法及使用此方法之^備。< 已知其中由西門子公司公> 開之訂貨案號1992年第 A19100-V100-B4 12-V1以霣子倍號盒之方式為鐵路設備 之控制提供許多所諝匾域互鎖霣腦,逭些電皤被設立以 控制及監視永久連至它們之外部雄路設備之各元件。除 了瘇些S域互鋇霣腰外,亦有許多中央霄臞以處理中央 事務。毎一中央互鎖霣腦包含一成對-¾腦条统,箱經 常互相比較資料處理中之資料及在核鲟之例行a程中在 一預定之最大畤RIB商内核斜儲存在記億龌中之資料以 發現各別霣腦中之一存在可能的不良功能。若合適,亦 提供保啻匾互鎖《腦,在故障之情形下能操作失效S互 鎖電腦之功能。. 經濟部中失標準局負工消费合作社印製 (請先閱讀背面之注$項再填寫本頁) 操作之控制和監視由軟體執行,軟體為部份性地和使 用者獨立,能使電腦作為信號箱而操作,且一部份對鐵 路管理是特定的及加入各別雄路管理之通輯互鎖情況。 另外,在操作開始前的建立相位過程中,區域互鎮《腦 被告知將受它們控制的設備元件及它們在軌跡上的配置 。為處理信號箱功能,匾域互鎖霣腦叫出儲存在它們記 億體中的程式,以指出,例如,設定或倒翼保護捜尋, 且将它們和各列相ra之設備特定資料组合,例如,和特 定一群黠之資料組合或實際路徑元件之資料包含在《霣 保護搜專中。 此軟醱之準備和核對是極為費時和昂貴的,因為它經 -3- 本纸張尺度適用中國國家標率(GNS ) A4规格(210X297公釐) 402701 五、發明説枸(2 ) 常發生在《«操作期間的程式語言中,而不發生在描述 實際倍》盒操作而對€展大-員為一種智蒙形式之問題導 向語言中。因為需要此軟g以執行安全確認,設立此種 霣子倍號盒之成本和時間大為增加。 因此亦已建嫌以有限自動機實現複雜_程,例如像倍 轚盒之操作的控制,且因此達到一種更淸楚之設計建立 步驪。有限自動機的描述包含它可能的内部狀態(其中 具備有限的數目),轉換函數和符號函數(資訊和資料 處理字典,Oldenbourg Verlag, 1991 年第 3 販,第 66 頁和67頁)。由狀態和输入(操作者之输入或由外部設 備之信息),新狀態藉轉換函數之助而計算出,且送至 操作者及程序之各輪出藉输出函數而計算。一實際有限 自動機之設立稱之為自動機盤面^在歐洲專利申請茱號 92250346中,此並非先前公開者,有一特定之方法,藉 此方法可能以清楚的設計和智慧的方式産生一自動機盤 面以完整地描述狀態轉移和祺雜控制条統的行為结果。 此控制条統可為,例如,在開頭所介紹的匾域互鎖轚腦 〇 經濟部中央揉丰局tec工消费合作杜印製 (請先聞讀背面之注意事項再填寫本頁) 毎一匾域互鎖霄臞執行特殊之處理,因大部份獨立於 其它匾域互鎮轚腦。一種處理乃為操作者输入之處理或 由一過程之输入。在一處理中,一新狀態及輪出(若有 的話)以自動機現存狀態和输入為基礎而計算。 雖然毎一匾域互鎖電腦負貴一特定設備匾域之控制和 監視,因此费立於其它區域互鎖電腦之過程雄理,但仍 本紙張尺度逋用中國國家揉準(CNS ) A4规格(210X297公漦) A7 B7 402701 五、發明説明(3 ) (請先閱讀背面之注意事項再填窝本頁) 然需要此匾域互鎖霣腦和其它霣腦交換賨訊以處理某種 工作。逭是需要的,&如,^若一火車将由一設備E域變 換至其它設備匾域或若一 g域必須在另一匿域施加一必 要之侧霣保護。此處引起一間思:即使相鼸之霣臞互相 通知它們的内部狀態,在毎一時間黏上它們有不同的資 料,因為《臑中之一對它自已所設計的目前狀想較其它 «匾先知道,且只有其後才能通知它的同伴。因為各種 處理同時在各種電腦上執行,必須確認在所有霄腦的情 形下,只有不缠反先前被其它電腦睇可的處理才對新狀 應有貢獻且産生輸出。因此,不可引起一種情況,此情 況邸,處理以計算為基礎取搏一種狀態,而此狀應由於 其它«理之改變在同時間内並不存在。毎一匾域互鎖電 腦在它處理時有整傾条统狀態的複本。然而,由於不同 的處理狀態,此複本可能互相偏差。 經濟部中央標準局貝工消費合作社印製 本發明之目的為依據申諳專利範園第1項之特擞條款 設定一種方法及使用此方法的設備,以確保若其它 中之一以前已包含更多目前狀態值在一處理之中且此處 理為此電期ί所核准,則沒有任何電腦可能基於目前不存 在之狀態值而核准執行由它所進行之處理的各種結果。 此處所知悉的元件為物理元件,像各種點和信號,及功 能元件,像路徑搜專和核准檢査。 本發明利用申請専利範画第1項之特欺逹到此目的; 一種使用此方法之設備描述於申請專利範豳第7項中。 依本發明之指示,只有資料處理条统之電腦或電腦条 -5- 本紙張尺度逍用中國圃$橾率(CNS ) Μ规格(210X297公釐) 經濟部中夬樣準局員工消費合作社印裝 A7 B7 1 4。月,系’丨’彡 iL· 五、發明説明 ( 4 ) f ii 統 中 之 一 能 影 堪 處 理 之 输 出 且 在 一 特 定 之 時 間 點 上 核 准 新 的 内 部 狀 態 〇 因 為 在 電 腦-所 計 算 之 處 理 被 核 准 之 前 t 此 電 腦 / 電 腦 % 統 檢 査 在 气理 中 包 含 在 它 的 狀 態 值 是 否 不 同 於 霄 腦 内 以 前 被 核 准 之 對 應 的 狀 態 值 t 且 在 處 理 之 中 已 不 再 包 含 % 统 狀 態 之 巨 前 部 份 的 各 處 理 均 不 被 核 准 而 不 執 行 9 速 到 之 效 果 為 f 不 管 % 统 狀 態 值 暫 時 性 的 不 等 資 料 f 情 況 為 只 有 和 百 前 狀 態 组 件 有 交 易 之 所 有 電 腦 / 電 腦 % 统 能 對 過 程 和 其 它 電 腦 有 影 m 〇 流 通 的 記 號 一 方 面 可 作 為 更 新 各 電 腦 之 各 別 局 部 狀 態複 寫 值 另 一 方 面 可 執 行 矛 盾 檢 査 〇 本 發 明 有 利 之 發 展 敘 述 在 甲 諸 專 利 範 圍 之 附. 屬 項 中 0 因 此 9 如 申 請 專 利 範 圍 第 2 項 之 啓 示 9 改 變 倍 息 將 受 檢 査 9 此 不 只 針 對 成 功 而 已 有 結 論 之 各 處 理 的 狀 態 值 t 亦 針 對 未 <=£s* 兀 成 之 處 理 的 各 狀 態 值 揸 樣 的 優 點 為 » 待 殊 地 在 長 時 間 之 處 理 情 況 下 > 若 百 前 之 狀 態 值 已 不 包 含 在 處 理 之 中 * 則 此 處 理. 能 預 先 被 反 常 地 中 止 〇 預 防 已 有 結 論 之 處 理 被 核 准 和 導 致 未 有 結 Dffl 之 處 理 的 反 常 中 止 1 依 甲 誚 專 利 範 圃 第 3 項 之 示 以 檢 査 已 改 受 之 信 息 是 否 分 別 由 其 它 霣 腦 而 來 可 偵 測 出 此 兩 種 矛 盾 » 此 和 討 論 中 的 霣 腦 % 統 在 處 理 過程 中 先 前 所 存 取 之 相 同 資 料 有 關 〇 若 情 況 是 逭 樣 % 則 霣 腦 % 統 在 處 理 逭 些 過 程 時 t 將 考 盧 不 是 巨 前 之 狀 態 值 1 使 處 理 結 果 必 不 用 於 過 程 之 控 制 〇 為 確 保 在 各 別 霣 腦 % 統 間 -e 的路途中改變 - 佶 息 不 能 遣 失 而 (請先閱讀背面之注意事項再填寫本頁) 本紙張尺度逍用中國國家梯準(CNS ) A4说格(210X297公釐) 402701 a7 B7 五、發明説明(5 ) 不被偵濟到,申誚專利範園第4項提供只有在符號流通 方向之電腦条统確認li:改變^信息後,處理结果才被核准 而執行;若沒有此種確認傳^息,則此改變倍息能再一次 輸出及/或此符號繼鑛流通至另一霣腦条统。 大鼸而言,這些ft理為如此之短暫以致於在符轚流經 資料處理条统之霣臞条统一圏以前它捫會被作出结論。 當符號重新指定畤,長畤商之處理将反常地被中止或中 斷。為進行此種長時間之處理,申請專利範圃第5項為 反常中止之處理於毎次符號重新收到時,其重要性增加 ,且此重要性超過一預定值時,疽些處理之執行由暫時 保留之符號強制進行。結果,可確保甚至較長時間之處 理亦能在一合理之時間内下結綸。 依申請專利範園第6項之啓示,另一可執行長時.開處 理之可能性為間斷性地執行,這些處理且在毎一情形針 對和符號一起傳送之目前条统狀態檢査埴些受中斷之處 理。 經濟部中夬橾準局貝工消费合作社印装 (請先聞讀背面之注ί項再填寫本頁) 申誚專利範画第7項所指出之利用此方法之設備描述 電腦/霣腦条统黏到黏連接之賫料處理条統的建立,經 由此種逋接,各電腦至少在接收符號和一串列包含符號 之改變信息時,以廣播方式互相通知。此種配置考慮各 種處理和条统之狀態值而可創造在狀態值間偵査任何矛 盾的可能性,此其間条統已改變且已使其效果無效。 申請專利範豳第8項設有一霣腦条统,在符號流通的 方向上,此電腦糸統在一預定時間内不對其前端之電腦 -7- 本紙張尺度適用中國國家標準(CNS ) A4规格(210X297公釐) 經濟部中央標準局貝工消費合作杜印製 402701 at B7 五、發明説明(6) 条統所傳速的改變作確認,此«腦条统被沿符號流通方 向上的電腦/ ¾腦系统排除而不能使用匯流排.申請專 利範圍第9項則針對重新%始此失效之霣腦/電腦条統 或加入一備用之電腦。後者必須向匯流排条統中它的後 趄者報告且必須由該後进者以目前之狀態值建立。 為了能夠偵渕矛盾,依據申請專利範園第10項,當執 行處理時,每一情形均需決定狀態的那一部份進行計算 (讀出集合)和那一部份被改變(’變化集合)。每一次 接牧符號時,電腦檢査傳送至它的變化是杏和讀出集合 之一重叠。若情形如此,刖它已包含此時不再存在之狀 態值的處理版本且必須預防這些處理被免除,或在未包 含處理之情形下,反常地中止受影留之處理。 依據申請專利範圍第11項,每一霣腦/電腦条统之狀 態空間區分為讀出部份(讀出集合)和變化部份(變化 集合),對毎一處理而言此兩部份各自地是固定的。 依據申請專利範圍第12項,對各別處理之進行而言, 毎一電腦保持一串列未完成之處理且新處理進人此串列 以便執行。此串列使該霣腦更容易在正確時間處理它已 有的各別工作。 依據申請專利範圍第13項,被執行之處理收到之毎一 符號於匯流排条統中各別之後曲霣腦已認知變化佶息之 接收時立即被去除,之後此串列即被更新。 本發明将參考表示在圓中之示範實施例在以下作更詳 細之解釋。 -8 - 本紙張尺度適用中困國家梂準(CNS ) A4現格(210X297公釐) (請先聞讀背面之注意事項再填寫本頁) • ^ nn m flm ^ΙΒϋ— TJ —J^i :Λ.t Π 402701_b7_ 五、發明説明(7 ) 圔1顯示一資料處理条统,包含三痼具一流通符號之 電臛/霣腦条统, 、 謹2顯示當接收和送出符號時,本方法之序列。 經濟部中央揉率局負工消费合作社印製 (請先閱讀背面之注意事項再填寫本頁) _1顙示一資料處理条统,包含三镇霣腰/霣腰条统 RS1至RS 3以控制和監視任何種類之過程操作,例如藉具 有許多匾域互鎖電臞之霣子倍號盒以控制鐵路操作。此 情形之霣腰臞条统RS1至RS3形成,例如,屋域互鎮 罨腦以作用於外部設備之某種指定元件上。«腦中的控 制功能在毎一情況均裝投成一有限之自動機,此自動櫬 由内部狀憊,輪入之新内部狀態和輪出所形成。例如, 此輪入為一被授權之操作者的输入,或一孰行或引入特 殊操作控制作用之自動条统的輪入。输出則為输出到外 部設備之遇程元件及其它電腦糸統所進行之工作。毎一 電腦条統有所有狀態之資料。但逭些資料不必都是目前 狀態。電腦条統藉資料連接糸統DVS互相通知它們的内 部狀態,而藉DVS它們可互相通信。經由此賫料連接条 統串列流通之符號允許在其中之各別電腦糸統核准執行 已進行之各處理。此情形下每一電腦条统在沿符號通流 方向上,至少以特殊狀態值變化倍息之形式58知它 之霣腦条统在此期間由它所執行之處理的结果。只有在 逭些資料和符號接收之確認已傅输後,糸翁5在ft# 間才核准由它所設計之處理被執行。此情形 包含由電腦条統本身所形成之新狀態部份,月· 胃 號酒圈中其它先前霄腦条统所傅送之狀態部份,及在毎 -9- 本紙張尺度適用中國國家標準(CNS ) Α4規格(210X297公釐) 經濟部中央梂率局負工消费合作社印東 402701 五、發明説明(8 ) 一情形下在各別之電腦条统中可能被更新。若在符號接 收後,一霣腦糸统認為包含在其内雖有結論但未被核准 之處理的狀態值偏離由它%先行者所傳送的目前狀態值 ,則由此它可偵測由它所決定之處理结果乃基於無效而不 再是目前之狀態值,電腦將拒绝這些處理結果或反常地 中止這些處理,且以它現在已被通知的其它電腦条統之 目前狀態值為基礎開始重新執行這些處理。每一情形下 此符號僅在毎一電腦条統維持一確定之固定時間,然後 鉗缠經由其後之笛腦条统。若有任何理由使此情形不發 生,則此情形至少由沿符號流通方向上之霣腦条統所偵 測到,此笛腦糸统能揉取先前已確定佈置好的措施,例 如此措施可排除此先行者進一步作資料處理及/或以一 保留条统取代該先行者。為了此艮的,各別之電腦以廣 播之方式互相通知符號已接收,使每一電腦能自己監視 是否已在一有效時間内由環路中的先行者接收符號。若 電腦条统已排除其先行者作進一步之通倍,則它向該先 行者之前一個完整之電腦糸統要求狀態值之目前變化信 息;它亦告知其後之霣腦此變化倍息及符號之接收,使 處理結果在通知收到時能核准而執行。 毎一®腦条統包含一串列,此串列有它所進行但未核 准作為輪出之處理,新處理被此串列接收而作為一序列 之新輸入。此霣腦糸統一接收到下次傳來之符號且已核 准這些處理作為輸出後,毎一情形下已有結論之處理立 卽由此串列中去除。而且,毎一霣腦糸統有一輸入記億 -10- 本紙張XJt適用中困國家梯準( CNS ) A4规格(2丨OX297公釐) (請先閲讀背面之注意事項再填寫本頁) -nn .^ϋ (m 一^v^m 、νδ n .1 經濟部中央梂率局属工消費合作社印製 402701 Αν B7 五、發明説明(9 ) 醣以缍衝地儲存進給至此電腦糸统之输入。串列和記億 體在它們输入的序列ΐ作為-進行各別之工作和處理之用 ° > 在符號之單一流通期間,費時而沒有結果之處理可被 中斷式地執行,然後在許多後鈕之符號循琛中導致一結 果,或這些處理反常地中止且重新處理。因為被更新之 反常中止必須随後再進行,這些反常中止之處理在毎次 反常中止時提供了增大之重要性,.即,毎次符號依序流 通而逹到一可預定之門限值(每傾處理之門限值可不同) 以強制處理作完整之输出。這以保持此符號在一指定之 期間而逹成,否刖霈要執行處理结果且餚缠流通此符號 。至少沿符號流通方向上之電腦条統必須被告知此操作 ,使該条統不因符號之消失而使先前之電腦糸統功能不 良。 在符號指定期間電腦糸统中之資料處理的更詳細序列 .揭示於圃2中。 圖2圃示在符號接收後,於一電腦/霉腦糸統RS η内 之序列。在此時間上或短時間之前,此霣腦糸統RSn已 從符號環路中它的先行者接收目前之受化信息,道包含 此霣腦糸統和先前藉此符號定址之霣腦糸統的目前狀 態值。此18腦糸統RSn最初儲存這些目前狀態值在一 輸入記億《Esp中且藉一送至符號流通環路上先行霣腦 糸統上對應之涊可倍息Q η - 1以認可變化信息之接收。此 紹可倍息可包含此變化信息或一核對宇,核對宇由變化 -11- 本紙張尺度逋用中國國家样準(CNS ) A4規格(210X297公釐) 1 In n n n n n < ϋ I1·'...· 丁 (請先閱讀背面之注意Ϋ項再填寫本頁) 402701 A7 B7__ 五、發明説明() (請先聞讀背面之注f項再填窝本頁) 倍息形成且使符號琛路中之先行者可能建立目前之變化 倍息S否已正確到逹i論中-之電腦条统。在接收認可信 息Qn-Ι之後,先前«腦条$中等待输出而已核淮之處理 结果躭被輸出。 經濟部中央標率局負工消费合作社印製 «腦条统RSn比較此傅送之變化倍息以確定它們是否 有賣料包含在用於自前次符號定位(但未核准執行)而 已有结論之處理中或是否有資料包含在開始(矛盾情況) 之處理中。就此比較而言,此霉腦条统就對應之資料詢 厢它的記憧體Sp。記億臑Sp包含毎一處理T1至T3不可改 變之資料(讀出集合RS1至RS3),其在相醑之處理期間 均出入於記億體Sp中,及包含可改變之資料(變化集合 CS1至CS3)而可被處理所改變且代表新的改變狀態值; 每一被進行之處理T1至T3由一.相两之输人il至i3所啓動 。自上次符號指定後,為了建立在符號流通方向上先前 電腦条統所停送之變化信息是否和它所進行之處理T1至 •T3之狀態值矛盾,此電腦糸统檢査此變化信息是否包含 和已有结論或中斷處理中之一的讀出集合中的資料有關 之資料。若情形是埴樣,則電腦条統在處理執行期間已 考盧不是目前之相闢狀態值,逭些狀態值在先前符號之 流通期間已被先前電腦条統中之一所改變。因此,相騮 之處理必不可被核准而不執行;而且,它必須考慮目前 之狀態值而重新計算。此種被拒绝之處理為處理T2。 將此變化信息和各別處理所用之狀態值比較,藉此结 果和黷出及變化集合,霣腦条統由上次收到之缓衝儲存 -12- 本紙張尺度適用中國國家標準(CNS ) A4規格(210X297公釐) 402701 a? B7 五、發明説明(11) 之符號而對各«理作結論,此鍺存之資訊由一處理至另 一處理而改變β毎一 si理昏立在先前之處理所建立之狀 態圖,使目前電腦条統之狀> 態圖在電腦条统内總是作為 一値基礎,甚至在每一第二,第三等等之處理情況下亦 然。 經濟部中央標準局負工消费合作社印製 (請先閲讀背面之注意事項再填寫本頁) 就像在處理T2中之情況,若此霉腦条統偵测到在它被 通知的變化信息和它未有结論或仍在進行的處理所使用 的資料之間有内容僱差,則它不核准缓衝-儲存的處理 结果或中間结果且去除它們。否則,它準備输出到此過 程或至霄腦条统中進一步處理,且確保符號琛路中先前 霣腦条統中输入記億體Esp’内一直等到此時之變化倍息 由它自己的罨腦条统接管。在舆它自己的變化信息匹配 後,趄績沿符號流通的方向送至電腦条統。接收之變化 信息和它自己之變化信息的匹SH為建立各別傳送之狀態 值是否亦可能在此期間已被電腦条統本身執行之處理所 -改變。若情形如此,則由先前電腦条统而來之對應態 值反向,因為它們已不再是目前值。變化倍息的目前販 本然後输出到其後之電腦条統,若按次序收到,則此電 腦条統回應一對應之認可倍息Qnfl至問題中的電腦糸統 RSn 。以送出之變化倍息檢査此認可倍息後,此霉腦条 統RSn啓動已核准之處理的輸出結果至此過程和操作者。 已有結論之處理的進入效果因此和符號相關,且目前 之變化倍息和符號一起已繼鑛流通至其後之電腦条統且 在該霣腦中依次序被接收。若此傳送之變化信息未被認 -13- 本紙張尺度適用中國國家梯準(CNS > A4规格(210X297公釐) _ 402701 A7 B7五、發明説明(l2 ) 可,則《理此故障情況之例行手鑲將被執行。 認可倍息之不出現奇導Ss變化倍息重新送出,此乃要 預防電腦条统只因為偶然气生的傳输錯誤而由處理条统 中被排除。若合適,則變化倍息重新輪出之對應信息將 输出至其它《皤条统,以便通知電臞条统此符號之流通 已被延瀝。 本發明在一相對較大之霣臑網路条统中顯示其原理, 其中霣腦或電腦条统大部份均控制且監視掏立之過程, 但居然亦必須互相交換資料,一種具有資料之各別目前 狀態的程序控制函數是可能的。此處篥觀之假設為所有 啓始之處理亦為可執行且當發現包含在结果之狀態值實 際上不代表条统之目前狀態時,要預防核准已有结諭之 處理。因為毎一霣腦条统建立在先前電腦狀態之目前圏 樣上,各別電腦處理结果之輪出依所有被使用電腦之目 前資料,由它們被需要的程度以形成结果。在狀態值建 籲更新中,由於電腦条统串列式之操作,可逹到之效果 為,若基於實際上不為目前值之狀態值,則先前電腦糸 统中所決定的處理結果,没有一傾能夠執行。 (請先W讀背面之注$項再填寫本頁) 訂 經濟部中央揉率局員工消费合作社印製 -14- 本紙張尺度適用中國國家標準(CNS ) A4规格(210X297公釐)