人妻出轨不卡中文字幕97,免费国产不卡一级αⅴ片

    當(dāng)前，數(shù)字計(jì)算系統(tǒng)已經(jīng)滲透到社會(huì)的各個(gè)領(lǐng)域，容錯(cuò)計(jì)算理念以及與容錯(cuò)計(jì)算相關(guān)的理論和應(yīng)用問(wèn)題也將迅速深入到人類賴以生存的各個(gè)領(lǐng)域和環(huán)境中去。同時(shí)，人們期待著所應(yīng)用的，或者將應(yīng)用的各種數(shù)字計(jì)算系統(tǒng)都是“誠(chéng)信”的愿望必將實(shí)現(xiàn)。因此，對(duì)容錯(cuò)計(jì)算系統(tǒng)的設(shè)計(jì)理論和實(shí)踐環(huán)節(jié)的深入研究和開(kāi)拓必將成為當(dāng)今數(shù)字系統(tǒng)研究和開(kāi)發(fā)的熱點(diǎn)。
    《容錯(cuò)計(jì)算系統(tǒng)》共10章，可以分成兩大部分：第一部分對(duì)容錯(cuò)計(jì)算以及可信系統(tǒng)各類屬性的定義和基本知識(shí)作詳細(xì)的介紹和分析（從第1章至第4章），其中包括對(duì)軟件和硬件系統(tǒng)的故障，錯(cuò)誤和失效的定義和性質(zhì)的形式化描述，并對(duì)軟件和硬件系統(tǒng)中的故障和錯(cuò)誤作了分析和比較；第二部分則是在對(duì)故障、錯(cuò)誤和失效等主要屬性作深入研究的基礎(chǔ)上，闡述了提高系統(tǒng)可信性和可靠性以及容錯(cuò)計(jì)算的基本理論、主要技術(shù)和實(shí)施方法，并且介紹了其他相關(guān)的知識(shí)（從第5章至第10章）。其中按照軟件和硬件系統(tǒng)的開(kāi)發(fā)生命周期各個(gè)階段應(yīng)采取的各種策略和措施進(jìn)行詳細(xì)的分析討論，包括闡明了避錯(cuò)技術(shù)和防錯(cuò)技術(shù)、軟件和硬件系統(tǒng)測(cè)試技術(shù)、可測(cè)性設(shè)計(jì)技術(shù)（包括冗余與編碼技術(shù)）、容錯(cuò)系統(tǒng)的設(shè)計(jì)以及故障安全技術(shù)等在數(shù)字系統(tǒng)中的實(shí)施策略和實(shí)際應(yīng)用。
    《容錯(cuò)計(jì)算系統(tǒng)》是專為計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)和信息工程專業(yè)高年級(jí)本科生和研究生以及從事容錯(cuò)計(jì)算理論和應(yīng)用的有關(guān)專業(yè)人士撰寫(xiě)的，是一本集數(shù)字計(jì)算軟件和硬件系統(tǒng)于一體的容錯(cuò)計(jì)算理論研究和應(yīng)用與實(shí)踐并重的教材，書(shū)中吸收并介紹了大量國(guó)內(nèi)外關(guān)于容錯(cuò)計(jì)算理論和技術(shù)方面的信息�！度蒎e(cuò)計(jì)算系統(tǒng)》與當(dāng)前其他教材相比較，從具體內(nèi)容上來(lái)看具有一定的先進(jìn)性和前瞻性，對(duì)學(xué)習(xí)和了解數(shù)字系統(tǒng)的可靠性和容錯(cuò)計(jì)算系統(tǒng)的設(shè)計(jì)具有重要的意義。

自從第一臺(tái)電子計(jì)算機(jī)問(wèn)世以來(lái)，計(jì)算機(jī)系統(tǒng)（包括軟件和硬件）就是在同數(shù)字系統(tǒng)的故障和錯(cuò)誤的斗爭(zhēng)中發(fā)展、成長(zhǎng)的�？梢哉f(shuō)，數(shù)字系統(tǒng)的成長(zhǎng)史也是一部同系統(tǒng)內(nèi)外故障的斗爭(zhēng)史。早期的計(jì)算機(jī)由于故障多而復(fù)雜，大量的計(jì)算錯(cuò)誤使得系統(tǒng)無(wú)法正常運(yùn)行。1944年貝爾（Bell）的繼電器計(jì)算機(jī)雖然使用了糾錯(cuò)編碼，但是每次運(yùn)算都必須運(yùn)行兩次，并將兩次運(yùn)行結(jié)果經(jīng)過(guò)比對(duì)和檢查后才能得出最后的結(jié)果：1951年世界上公認(rèn)的第一臺(tái)商業(yè)化電子計(jì)算機(jī)UNIVACI，使用了大量的奇偶校驗(yàn)技術(shù)和雙算邏部件（ALU）并進(jìn)行所謂的匹配一比較運(yùn)算（match.and-compare）來(lái)應(yīng)付各種可能的故障。當(dāng)前，隨著信息技術(shù)和微電子技術(shù)研究開(kāi)發(fā)的飛速發(fā)展，人們對(duì)數(shù)字系統(tǒng)以及相關(guān)微電子產(chǎn)品的依賴程度愈來(lái)愈大。這些技術(shù)和產(chǎn)品，不僅需要應(yīng)用于航空航天、原子核反應(yīng)堆、軍事科學(xué)、國(guó)防建設(shè)以及國(guó)民經(jīng)濟(jì)各種尖端科技領(lǐng)域，而且還直接涉及人們的生活，甚至是生命安全和人類生存等問(wèn)題。因此，當(dāng)前人們?cè)趹?yīng)用這些產(chǎn)品的同時(shí)必然會(huì)提出更高的要求，即除了傳統(tǒng)意義上的要求和標(biāo)準(zhǔn)以外，還提出了更重要的評(píng)價(jià)體系——系統(tǒng)所提供服務(wù)的“可信性”（Dependability）標(biāo)準(zhǔn)問(wèn)題。事實(shí)上，對(duì)任何一件產(chǎn)品（一個(gè)系統(tǒng)）來(lái)說(shuō)，能否為人類提供一種“可信”的服務(wù)是衡量其總體質(zhì)量最重要的標(biāo)準(zhǔn)之一。那么，什么叫可信的結(jié)果？簡(jiǎn)而言之，就是在經(jīng)過(guò)可行的確切論證以后，認(rèn)為系統(tǒng)所提供的服務(wù)是正確無(wú)誤，而且是可以信賴的結(jié)果。問(wèn)題在于什么叫可行的確切的論證，又由誰(shuí)來(lái)完成這樣的論證等。對(duì)于這一系列問(wèn)題，在過(guò)去，由于受到各種條件的限制，幾乎是無(wú)法實(shí)現(xiàn)的。因此，“可信計(jì)算”對(duì)數(shù)字計(jì)算系統(tǒng)領(lǐng)域中的一般科研人員和一般用戶來(lái)說(shuō)，只是高不可攀的“陽(yáng)春白雪”，世界上只有極少數(shù)發(fā)達(dá)國(guó)家在某些特殊要求下，才會(huì)開(kāi)發(fā)和應(yīng)用它們，比如在航天飛機(jī)飛行姿態(tài)控制系統(tǒng)、原子核反應(yīng)堆控制系統(tǒng)、導(dǎo)彈防御系統(tǒng)、鐵路運(yùn)輸信號(hào)控制系統(tǒng)以及一些重癥病人監(jiān)護(hù)系統(tǒng)等需要提供十分可靠，而且只有可信的服務(wù)才能完成其所承擔(dān)的任務(wù)的系統(tǒng)中。這些控制系統(tǒng)中的任何隱患、故障和錯(cuò)誤都將對(duì)系統(tǒng)和環(huán)境帶來(lái)嚴(yán)重后果，甚至給人類造成深重災(zāi)難。當(dāng)前，隨著數(shù)字計(jì)算系統(tǒng)日新月異的發(fā)展，原來(lái)的陽(yáng)春白雪已經(jīng)愈來(lái)愈普及，甚至滲透到了社會(huì)各個(gè)階層，走進(jìn)了尋常百姓的生活，使人類社會(huì)更多地享受由信息技術(shù)創(chuàng)造的成果。但是，人類在享受著高新技術(shù)提供的各種前所未有的服務(wù)和樂(lè)趣的同時(shí)，卻不可避免地會(huì)經(jīng)受由于這些系統(tǒng)的不可靠和不可信所帶來(lái)的種種險(xiǎn)惡后果和嚴(yán)峻挑戰(zhàn)。事實(shí)上，這樣的例子已經(jīng)不勝枚舉了，例如，當(dāng)你將銀行卡插入一臺(tái)ATM機(jī)后得不到任何服務(wù)，或者得到錯(cuò)誤的服務(wù)，甚至銀行卡被“吞掉”，或者你在網(wǎng)上預(yù)訂好的機(jī)票，在登機(jī)時(shí)竟然發(fā)現(xiàn)是無(wú)效機(jī)票……這些正是人們?cè)谄胀ǖ娜粘Ｉ钪须S時(shí)可能遇到的不可靠和不可信服務(wù)的例子。并且有些故障或錯(cuò)誤是不可逆轉(zhuǎn)的，往往使人們?cè)馐軜O為嚴(yán)重的損失。因此，當(dāng)今“可信計(jì)算”已經(jīng)不再神秘，人們應(yīng)該研究和開(kāi)發(fā)各種新理論、新技術(shù)，來(lái)規(guī)避所有可能產(chǎn)生的不可靠和不可信的結(jié)果�！叭蒎e(cuò)計(jì)算”的概念是直接提高數(shù)字系統(tǒng)的可靠性和可信性最重要的理念之一。事實(shí)上，“容錯(cuò)計(jì)算”的概念已經(jīng)逐漸步入人類社會(huì)，甚至已經(jīng)和人們的日常工作及生活有了緊密的聯(lián)系，因此，人們渴望著有一天可以從真正可靠和可信的數(shù)字系統(tǒng)中獲得更加便捷、優(yōu)秀的服務(wù)，而避免遇到種種不良的后果。

    對(duì)可信性的測(cè)度評(píng)估主要可以分為兩個(gè)方面，即可信性的數(shù)量測(cè)度和質(zhì)量測(cè)度。
    從數(shù)量測(cè)度觀點(diǎn)來(lái)評(píng)價(jià)一個(gè)數(shù)字系統(tǒng)的可信性，可以對(duì)系統(tǒng)可信性的多個(gè)屬性進(jìn)行全面的評(píng)估，這些評(píng)估的基礎(chǔ)就是系統(tǒng)在各個(gè)屬性上所提供服務(wù)的可“依賴程度”。由于這些屬性的不確定因素，這些依賴程度都是以概率的形式來(lái)衡量和農(nóng)示的。從宏觀上來(lái)看，一個(gè)系統(tǒng)在整個(gè)生命周期中可能在一個(gè)階段需要接受評(píng)估：第一階段為需求分析和規(guī)格說(shuō)明階段，第二階段為設(shè)計(jì)階段，第三階段則是系統(tǒng)的運(yùn)行階段。
    第一階段的評(píng)估是在系統(tǒng)建立之前，即在對(duì)其作規(guī)格說(shuō)明階段中進(jìn)行的。主要是根據(jù)它的規(guī)格說(shuō)明來(lái)分析和預(yù)測(cè)該系統(tǒng)在將來(lái)作為產(chǎn)品的可信性。即根據(jù)用戶對(duì)可信性的要求和設(shè)計(jì)者對(duì)系統(tǒng)成本和需求分析來(lái)預(yù)測(cè)系統(tǒng)的可信性，并且確保系統(tǒng)在運(yùn)行時(shí)的可信性應(yīng)該在可接受的范圍之內(nèi)。
    第二階段的評(píng)估是在設(shè)計(jì)階段進(jìn)行。在設(shè)計(jì)階段應(yīng)注意要運(yùn)用必要的技術(shù)、可靠的元器件或模塊以保證系統(tǒng)在運(yùn)行時(shí)達(dá)到應(yīng)有的可信性。如在硬件系統(tǒng)中應(yīng)該盡量避免使用不可靠的元器件，因?yàn)樗鼈儠?huì)帶來(lái)許多隱患，導(dǎo)致系統(tǒng)不穩(wěn)定。同樣在軟件系統(tǒng)中應(yīng)盡可能避免過(guò)多使用轉(zhuǎn)向語(yǔ)句等結(jié)構(gòu)，因?yàn)檫@些語(yǔ)句結(jié)構(gòu)的使用可能使程序運(yùn)行和程序調(diào)試變得十分復(fù)雜，難以控制，因而使程序容易發(fā)生錯(cuò)誤。
    第三階段的評(píng)估是在系統(tǒng)運(yùn)行階段進(jìn)行的。這個(gè)階段的評(píng)估主要是通過(guò)大量試驗(yàn)性的運(yùn)行來(lái)得到應(yīng)有的實(shí)驗(yàn)結(jié)果，以確定該系統(tǒng)的可信性是否在原有的設(shè)計(jì)范圍內(nèi)，是否達(dá)到了應(yīng)有的標(biāo)準(zhǔn)。如對(duì)同一個(gè)程序，應(yīng)使用不同的數(shù)據(jù)輸入，并需要運(yùn)行上百次乃至幾千次，直到得到一個(gè)明確的統(tǒng)計(jì)值為止。
    第一階段的評(píng)估和第二階段的部分評(píng)估工作稱為預(yù)測(cè)性評(píng)估，而第三階段和第二階段剩余部分的評(píng)估工作則稱為運(yùn)行性評(píng)估。不管哪一種評(píng)估都存在一定的難度，因?yàn)樗鼈兌紵o(wú)法提供一個(gè)確定的數(shù)值，通常只是一個(gè)概率統(tǒng)計(jì)值。因此，在一般情況下對(duì)可信性的數(shù)量評(píng)估只是一個(gè)概率值，很多情況必須視具體的系統(tǒng)而定。
    從質(zhì)量測(cè)度來(lái)評(píng)價(jià)一個(gè)數(shù)字系統(tǒng)的可信性，主要是根據(jù)在系統(tǒng)中檢測(cè)到的致命性故障和錯(cuò)誤的情況對(duì)系統(tǒng)可信性引起的后果的嚴(yán)重情況來(lái)測(cè)定。事實(shí)上，這種測(cè)度只是對(duì)系統(tǒng)可信性可能受到損害的嚴(yán)重程度做出的評(píng)估，而并不是對(duì)故障或錯(cuò)誤造成的嚴(yán)重后果的直接測(cè)量。這種的評(píng)估可以有兩種不同的方法：順推法和逆推法。
    順推法是從已經(jīng)檢測(cè)到的致命性故障和錯(cuò)誤推導(dǎo)出系統(tǒng)可能出現(xiàn)的失效及其后果的嚴(yán)重性，典型方法是故障樹(shù)法。逆推法則是從可能出現(xiàn)的失效及其嚴(yán)重后果推算出可能引起系統(tǒng)失效的致命性的故障和錯(cuò)誤，常用的逆推法是失效模式分析法。
    本章將分別對(duì)數(shù)字系統(tǒng)可信性的幾個(gè)重要屬性分別作系統(tǒng)的定量分析及討論，主要將討論數(shù)字系統(tǒng)可靠性測(cè)度的分析和評(píng)估，因?yàn)榭煽啃詼y(cè)度是衡量和保證系統(tǒng)能夠提供可信服務(wù)最重要的因素。對(duì)其他屬性，如可測(cè)性、可用性、安全性、保密性等測(cè)度的分析將僅作簡(jiǎn)單的介紹，以饗讀者。

你還可能感興趣

我要評(píng)論