設(shè)計(jì)工作通常需經(jīng)過(guò)概要設(shè)計(jì)和詳細(xì)設(shè)計(jì)兩個(gè)階段,終提供所有子系統(tǒng)的設(shè)計(jì)細(xì)節(jié)。用來(lái)獲得高可信性的各種避錯(cuò)技術(shù)和容錯(cuò)技術(shù)主要在子系統(tǒng)設(shè)計(jì)階段得到應(yīng)用。設(shè)計(jì)階段將完整系統(tǒng)劃分為若干相對(duì)的子系統(tǒng)分別進(jìn)行詳細(xì)設(shè)計(jì)。實(shí)現(xiàn)階段的任務(wù)是將各子系統(tǒng)的詳細(xì)設(shè)計(jì)具體化為子系統(tǒng)樣機(jī)。根據(jù)所劃分的子系統(tǒng)的不同,樣機(jī)也可能以不同形式提交出來(lái),如硬件樣機(jī)和軟件樣機(jī)或細(xì)化的硬件各組件的樣機(jī)和軟件各模塊的樣機(jī)。將設(shè)計(jì)轉(zhuǎn)化為樣機(jī)的過(guò)程是系統(tǒng)開(kāi)發(fā)中的關(guān)鍵步驟,也是很可能包含改進(jìn)錯(cuò)誤的階段。實(shí)現(xiàn)階段的評(píng)價(jià)工作主要集中于對(duì)各子系統(tǒng)實(shí)現(xiàn)的評(píng)價(jià),包含兩方面的含義。一方面是驗(yàn)證子系統(tǒng)的實(shí)現(xiàn)是否與設(shè)計(jì)一致,即是否正確體現(xiàn)了設(shè)計(jì)意圖;另一...
32位微型機(jī)已出現(xiàn),64位微型機(jī)也已經(jīng)問(wèn)世,單片上做1000萬(wàn)個(gè)元件已為時(shí)不遠(yuǎn)。比半導(dǎo)體集成電路快10~100倍的器件,如砷化鎵、高電子遷移率器件、約瑟夫遜結(jié)、光元件等的研究將會(huì)有重要成果。提高組裝密度和縮短互連線(xiàn)的微組裝技術(shù)是新一代計(jì)算機(jī)的關(guān)鍵技術(shù)之一。光纖通信將大量應(yīng)用。各種高速智能化外部設(shè)備不斷涌現(xiàn),光盤(pán)的問(wèn)世將使輔助海量存儲(chǔ)器面目一新。多處理機(jī)系統(tǒng)、多機(jī)系統(tǒng)、分布處理系統(tǒng)將是引人注目的系統(tǒng)結(jié)構(gòu)。軟件硬化(稱(chēng)固件)是發(fā)展趨勢(shì)。新型非諾伊曼機(jī)、推理計(jì)算機(jī)、知識(shí)庫(kù)計(jì)算機(jī)等已開(kāi)始實(shí)際使用。軟件開(kāi)發(fā)將擺脫落后低效狀態(tài)。軟件工程正在深入發(fā)展。軟件生產(chǎn)正向工程化、形式化、自動(dòng)化、模塊化、集成...
使一種機(jī)型系列選擇不同軟件、硬件配置,就能滿(mǎn)足各行業(yè)大小用戶(hù)的不同需要,進(jìn)一步強(qiáng)化了通用性。但特殊用途的機(jī)仍在發(fā)展,例如連續(xù)動(dòng)力學(xué)系統(tǒng)的全數(shù)字仿真機(jī),超微型的空間計(jì)算機(jī)等。巨型機(jī)、大型機(jī)、中型機(jī)、小型機(jī)、微型機(jī):計(jì)算機(jī)是以大、中型機(jī)為主線(xiàn)發(fā)展的。20世紀(jì)60年代末出現(xiàn)小型計(jì)算機(jī),70年代初出現(xiàn)微型計(jì)算機(jī),因其輕巧、價(jià)廉、功能較強(qiáng)、可靠性高,而得到廣泛應(yīng)用。70年代開(kāi)始出現(xiàn)每秒可運(yùn)算五千萬(wàn)次以上的巨型計(jì)算機(jī),專(zhuān)門(mén)用于解決科技、**、經(jīng)濟(jì)發(fā)展中的特大課題。巨、大、中、小、微型機(jī)作為計(jì)算機(jī)系統(tǒng)的梯隊(duì)組成部分,各有其用途,都在迅速發(fā)展。流水線(xiàn)處理機(jī)與并行處理機(jī):在元件、器件速度有限的條件下,從...
設(shè)計(jì)工作通常需經(jīng)過(guò)概要設(shè)計(jì)和詳細(xì)設(shè)計(jì)兩個(gè)階段,終提供所有子系統(tǒng)的設(shè)計(jì)細(xì)節(jié)。用來(lái)獲得高可信性的各種避錯(cuò)技術(shù)和容錯(cuò)技術(shù)主要在子系統(tǒng)設(shè)計(jì)階段得到應(yīng)用。設(shè)計(jì)階段將完整系統(tǒng)劃分為若干相對(duì)的子系統(tǒng)分別進(jìn)行詳細(xì)設(shè)計(jì)。實(shí)現(xiàn)階段的任務(wù)是將各子系統(tǒng)的詳細(xì)設(shè)計(jì)具體化為子系統(tǒng)樣機(jī)。根據(jù)所劃分的子系統(tǒng)的不同,樣機(jī)也可能以不同形式提交出來(lái),如硬件樣機(jī)和軟件樣機(jī)或細(xì)化的硬件各組件的樣機(jī)和軟件各模塊的樣機(jī)。將設(shè)計(jì)轉(zhuǎn)化為樣機(jī)的過(guò)程是系統(tǒng)開(kāi)發(fā)中的關(guān)鍵步驟,也是很可能包含改進(jìn)錯(cuò)誤的階段。實(shí)現(xiàn)階段的評(píng)價(jià)工作主要集中于對(duì)各子系統(tǒng)實(shí)現(xiàn)的評(píng)價(jià),包含兩方面的含義。一方面是驗(yàn)證子系統(tǒng)的實(shí)現(xiàn)是否與設(shè)計(jì)一致,即是否正確體現(xiàn)了設(shè)計(jì)意圖;另一...
使一種機(jī)型系列選擇不同軟件、硬件配置,就能滿(mǎn)足各行業(yè)大小用戶(hù)的不同需要,進(jìn)一步強(qiáng)化了通用性。但特殊用途的機(jī)仍在發(fā)展,例如連續(xù)動(dòng)力學(xué)系統(tǒng)的全數(shù)字仿真機(jī),超微型的空間計(jì)算機(jī)等。巨型機(jī)、大型機(jī)、中型機(jī)、小型機(jī)、微型機(jī):計(jì)算機(jī)是以大、中型機(jī)為主線(xiàn)發(fā)展的。20世紀(jì)60年代末出現(xiàn)小型計(jì)算機(jī),70年代初出現(xiàn)微型計(jì)算機(jī),因其輕巧、價(jià)廉、功能較強(qiáng)、可靠性高,而得到廣泛應(yīng)用。70年代開(kāi)始出現(xiàn)每秒可運(yùn)算五千萬(wàn)次以上的巨型計(jì)算機(jī),專(zhuān)門(mén)用于解決科技、**、經(jīng)濟(jì)發(fā)展中的特大課題。巨、大、中、小、微型機(jī)作為計(jì)算機(jī)系統(tǒng)的梯隊(duì)組成部分,各有其用途,都在迅速發(fā)展。流水線(xiàn)處理機(jī)與并行處理機(jī):在元件、器件速度有限的條件下,從...
使一種機(jī)型系列選擇不同軟件、硬件配置,就能滿(mǎn)足各行業(yè)大小用戶(hù)的不同需要,進(jìn)一步強(qiáng)化了通用性。但特殊用途的機(jī)仍在發(fā)展,例如連續(xù)動(dòng)力學(xué)系統(tǒng)的全數(shù)字仿真機(jī),超微型的空間計(jì)算機(jī)等。巨型機(jī)、大型機(jī)、中型機(jī)、小型機(jī)、微型機(jī):計(jì)算機(jī)是以大、中型機(jī)為主線(xiàn)發(fā)展的。20世紀(jì)60年代末出現(xiàn)小型計(jì)算機(jī),70年代初出現(xiàn)微型計(jì)算機(jī),因其輕巧、價(jià)廉、功能較強(qiáng)、可靠性高,而得到廣泛應(yīng)用。70年代開(kāi)始出現(xiàn)每秒可運(yùn)算五千萬(wàn)次以上的巨型計(jì)算機(jī),專(zhuān)門(mén)用于解決科技、**、經(jīng)濟(jì)發(fā)展中的特大課題。巨、大、中、小、微型機(jī)作為計(jì)算機(jī)系統(tǒng)的梯隊(duì)組成部分,各有其用途,都在迅速發(fā)展。流水線(xiàn)處理機(jī)與并行處理機(jī):在元件、器件速度有限的條件下,從...
32位微型機(jī)已出現(xiàn),64位微型機(jī)也已經(jīng)問(wèn)世,單片上做1000萬(wàn)個(gè)元件已為時(shí)不遠(yuǎn)。比半導(dǎo)體集成電路快10~100倍的器件,如砷化鎵、高電子遷移率器件、約瑟夫遜結(jié)、光元件等的研究將會(huì)有重要成果。提高組裝密度和縮短互連線(xiàn)的微組裝技術(shù)是新一代計(jì)算機(jī)的關(guān)鍵技術(shù)之一。光纖通信將大量應(yīng)用。各種高速智能化外部設(shè)備不斷涌現(xiàn),光盤(pán)的問(wèn)世將使輔助海量存儲(chǔ)器面目一新。多處理機(jī)系統(tǒng)、多機(jī)系統(tǒng)、分布處理系統(tǒng)將是引人注目的系統(tǒng)結(jié)構(gòu)。軟件硬化(稱(chēng)固件)是發(fā)展趨勢(shì)。新型非諾伊曼機(jī)、推理計(jì)算機(jī)、知識(shí)庫(kù)計(jì)算機(jī)等已開(kāi)始實(shí)際使用。軟件開(kāi)發(fā)將擺脫落后低效狀態(tài)。軟件工程正在深入發(fā)展。軟件生產(chǎn)正向工程化、形式化、自動(dòng)化、模塊化、集成...
需求說(shuō)明步驟的任務(wù)是對(duì)需求分析步驟得到的分析結(jié)果進(jìn)行綜合的嚴(yán)格描述。在需求階段需要完成的與高可信系統(tǒng)開(kāi)發(fā)宥關(guān)的任務(wù)包括:確定與可信性有關(guān)的開(kāi)發(fā)目標(biāo);確定系統(tǒng)開(kāi)發(fā)中需考慮的故障類(lèi)型;確定開(kāi)發(fā)工作的組織和計(jì)劃。設(shè)計(jì)階段主要包括方案確定、子系統(tǒng)劃分和子系統(tǒng)設(shè)計(jì)三個(gè)步驟。實(shí)現(xiàn)需求階段提出的目標(biāo)可能有多種不同的設(shè)計(jì)方案,且各種方案具有不同的特點(diǎn)和優(yōu)缺點(diǎn)。方案確定步驟需完成根據(jù)需求說(shuō)明中規(guī)定的系統(tǒng)功能、性能和可信性方面的要求在不同方案之間進(jìn)行折衷選擇。選擇的原則是在滿(mǎn)足系統(tǒng)需求的前提下盡量花費(fèi)小的代價(jià)。確定系統(tǒng)設(shè)計(jì)的終方案后,通常需要將整個(gè)系統(tǒng)劃分為若干子系統(tǒng)分別進(jìn)行設(shè)計(jì)。這不僅是因?yàn)楝F(xiàn)代計(jì)算機(jī)的...
現(xiàn)代大型機(jī)幾乎都是功能分布的多機(jī)系統(tǒng),除含有高速**處理器外,有管理輸入輸出的輸入輸出處理機(jī)(或前端用戶(hù)機(jī))、管理遠(yuǎn)程終端及網(wǎng)絡(luò)通信的通信控制處理機(jī)、全系統(tǒng)維護(hù)診斷的維護(hù)診斷機(jī)和從事數(shù)據(jù)庫(kù)管理的數(shù)據(jù)庫(kù)處理機(jī)等。這是分布系統(tǒng)的一種低級(jí)形態(tài)。多個(gè)地理上分布的計(jì)算機(jī)系統(tǒng),通過(guò)通信線(xiàn)路和網(wǎng)絡(luò)協(xié)議,相互聯(lián)絡(luò)起來(lái),構(gòu)成計(jì)算機(jī)網(wǎng)絡(luò)。它按地理上分布的遠(yuǎn)近,分為局部(本地)計(jì)算機(jī)網(wǎng)絡(luò)和遠(yuǎn)程計(jì)算機(jī)網(wǎng)絡(luò)。網(wǎng)絡(luò)上各計(jì)算機(jī)可相互共享信息資源和軟硬件資源。訂票系統(tǒng)、情報(bào)資料檢索系統(tǒng)都是計(jì)算機(jī)網(wǎng)應(yīng)用的實(shí)例。⑤諾依曼機(jī)與非諾依曼機(jī):存儲(chǔ)程序和指令驅(qū)動(dòng)的諾依曼機(jī)迄今仍占統(tǒng)治地位。它順序執(zhí)行指令,限制了所解問(wèn)題本身含有的...
設(shè)計(jì)工作通常需經(jīng)過(guò)概要設(shè)計(jì)和詳細(xì)設(shè)計(jì)兩個(gè)階段,終提供所有子系統(tǒng)的設(shè)計(jì)細(xì)節(jié)。用來(lái)獲得高可信性的各種避錯(cuò)技術(shù)和容錯(cuò)技術(shù)主要在子系統(tǒng)設(shè)計(jì)階段得到應(yīng)用。設(shè)計(jì)階段將完整系統(tǒng)劃分為若干相對(duì)的子系統(tǒng)分別進(jìn)行詳細(xì)設(shè)計(jì)。實(shí)現(xiàn)階段的任務(wù)是將各子系統(tǒng)的詳細(xì)設(shè)計(jì)具體化為子系統(tǒng)樣機(jī)。根據(jù)所劃分的子系統(tǒng)的不同,樣機(jī)也可能以不同形式提交出來(lái),如硬件樣機(jī)和軟件樣機(jī)或細(xì)化的硬件各組件的樣機(jī)和軟件各模塊的樣機(jī)。將設(shè)計(jì)轉(zhuǎn)化為樣機(jī)的過(guò)程是系統(tǒng)開(kāi)發(fā)中的關(guān)鍵步驟,也是很可能包含改進(jìn)錯(cuò)誤的階段。實(shí)現(xiàn)階段的評(píng)價(jià)工作主要集中于對(duì)各子系統(tǒng)實(shí)現(xiàn)的評(píng)價(jià),包含兩方面的含義。一方面是驗(yàn)證子系統(tǒng)的實(shí)現(xiàn)是否與設(shè)計(jì)一致,即是否正確體現(xiàn)了設(shè)計(jì)意圖;另一...
其速度快、與物理設(shè)備接口簡(jiǎn)單,但精度低、使用困難、穩(wěn)定性和可靠性差、價(jià)格昂貴。故模擬機(jī)已趨淘汰,在要求響應(yīng)速度快,但精度低的場(chǎng)合尚有應(yīng)用。把二者優(yōu)點(diǎn)巧妙結(jié)合而構(gòu)成的混合型計(jì)算機(jī),尚有一定的生命力。計(jì)算機(jī)系統(tǒng)的特點(diǎn)是能進(jìn)行精確、快速的計(jì)算和判斷,而且通用性好,使用容易,還能聯(lián)成網(wǎng)絡(luò)。計(jì)算:一切復(fù)雜的計(jì)算,幾乎都可用計(jì)算機(jī)通過(guò)算術(shù)運(yùn)算和邏輯運(yùn)算來(lái)實(shí)現(xiàn)。判斷:計(jì)算機(jī)有判別不同情況、選擇作不同處理的能力,故可用于管理、控制、對(duì)抗、決策、推理等領(lǐng)域。存儲(chǔ):計(jì)算機(jī)能存儲(chǔ)巨量信息。精確:只要字長(zhǎng)足夠,計(jì)算精度理論上不受限制??焖伲河?jì)算機(jī)一次操作所需時(shí)間已小到以納秒計(jì)。通用:計(jì)算機(jī)是可編程的,不同程序...
使一種機(jī)型系列選擇不同軟件、硬件配置,就能滿(mǎn)足各行業(yè)大小用戶(hù)的不同需要,進(jìn)一步強(qiáng)化了通用性。但特殊用途的機(jī)仍在發(fā)展,例如連續(xù)動(dòng)力學(xué)系統(tǒng)的全數(shù)字仿真機(jī),超微型的空間計(jì)算機(jī)等。巨型機(jī)、大型機(jī)、中型機(jī)、小型機(jī)、微型機(jī):計(jì)算機(jī)是以大、中型機(jī)為主線(xiàn)發(fā)展的。20世紀(jì)60年代末出現(xiàn)小型計(jì)算機(jī),70年代初出現(xiàn)微型計(jì)算機(jī),因其輕巧、價(jià)廉、功能較強(qiáng)、可靠性高,而得到廣泛應(yīng)用。70年代開(kāi)始出現(xiàn)每秒可運(yùn)算五千萬(wàn)次以上的巨型計(jì)算機(jī),專(zhuān)門(mén)用于解決科技、**、經(jīng)濟(jì)發(fā)展中的特大課題。巨、大、中、小、微型機(jī)作為計(jì)算機(jī)系統(tǒng)的梯隊(duì)組成部分,各有其用途,都在迅速發(fā)展。流水線(xiàn)處理機(jī)與并行處理機(jī):在元件、器件速度有限的條件下,從...
設(shè)計(jì)工作通常需經(jīng)過(guò)概要設(shè)計(jì)和詳細(xì)設(shè)計(jì)兩個(gè)階段,終提供所有子系統(tǒng)的設(shè)計(jì)細(xì)節(jié)。用來(lái)獲得高可信性的各種避錯(cuò)技術(shù)和容錯(cuò)技術(shù)主要在子系統(tǒng)設(shè)計(jì)階段得到應(yīng)用。設(shè)計(jì)階段將完整系統(tǒng)劃分為若干相對(duì)的子系統(tǒng)分別進(jìn)行詳細(xì)設(shè)計(jì)。實(shí)現(xiàn)階段的任務(wù)是將各子系統(tǒng)的詳細(xì)設(shè)計(jì)具體化為子系統(tǒng)樣機(jī)。根據(jù)所劃分的子系統(tǒng)的不同,樣機(jī)也可能以不同形式提交出來(lái),如硬件樣機(jī)和軟件樣機(jī)或細(xì)化的硬件各組件的樣機(jī)和軟件各模塊的樣機(jī)。將設(shè)計(jì)轉(zhuǎn)化為樣機(jī)的過(guò)程是系統(tǒng)開(kāi)發(fā)中的關(guān)鍵步驟,也是很可能包含改進(jìn)錯(cuò)誤的階段。實(shí)現(xiàn)階段的評(píng)價(jià)工作主要集中于對(duì)各子系統(tǒng)實(shí)現(xiàn)的評(píng)價(jià),包含兩方面的含義。一方面是驗(yàn)證子系統(tǒng)的實(shí)現(xiàn)是否與設(shè)計(jì)一致,即是否正確體現(xiàn)了設(shè)計(jì)意圖;另一...