軟件發(fā)生瞬時(shí)故障時(shí)，可能會(huì)導(dǎo)致處理器狀態(tài)改變，致使程序執(zhí)行出現(xiàn)數(shù)據(jù)錯(cuò)誤或者控制流錯(cuò)誤。目前已有許多軟件、硬件以及混合的解決方案，主要的方法是重復(fù)計(jì)算和檢查副本的一致性。但是，生成正確的容錯(cuò)代碼十分困難，而且?guī)缀鯖](méi)有關(guān)于證明這些技術(shù)的正確性的研究。類(lèi)型化匯編語(yǔ)言（TAL）是一種標(biāo)準(zhǔn)的程序安全性證明的方式。本文概述了一種面向瞬時(shí)故障的軟硬結(jié)合的容錯(cuò)方法，以及對(duì)該方法的形式化方法，包括容錯(cuò)類(lèi)型化匯編語(yǔ)言、類(lèi)型系統(tǒng)和容錯(cuò)定理。形式化的目的是為了驗(yàn)證，只有通過(guò)驗(yàn)證的程序代碼才是類(lèi)型安全的。本文只簡(jiǎn)單介紹了程序的形式化方法。
資源簡(jiǎn)介：軟件發(fā)生瞬時(shí)故障時(shí)，可能會(huì)導(dǎo)致處理器狀態(tài)改變，致使程序執(zhí)行出現(xiàn)數(shù)據(jù)錯(cuò)誤或者控制流錯(cuò)誤。目前已有許多軟件、硬件以及混合的解決方案，主要的方法是重復(fù)計(jì)算和檢查副本的一致性。但是，生成正確的容錯(cuò)代碼十分困難，而且?guī)缀鯖](méi)有關(guān)于證明這些技術(shù)的正確性的...
上傳時(shí)間： 2014-01-15
上傳用戶(hù)：dudu1210004
資源簡(jiǎn)介：無(wú)線(xiàn)射頻識(shí)別技術(shù)(RFID)是自動(dòng)識(shí)別技術(shù)的一種高級(jí)形式。隨著信息化技術(shù)的不斷發(fā)展，無(wú)線(xiàn)射頻識(shí)別技術(shù)(RFID)的應(yīng)用也越來(lái)越廣泛。本書(shū)主要介紹了無(wú)線(xiàn)射頻識(shí)別技術(shù)的基本工作原理和具體應(yīng)用，并列舉了大量的應(yīng)用實(shí)例，如動(dòng)物識(shí)別管理、配送中心管理、礦井管理、...
上傳時(shí)間： 2016-09-28
上傳用戶(hù)：蟲(chóng)蟲(chóng)蟲(chóng)蟲(chóng)蟲(chóng)蟲(chóng)
資源簡(jiǎn)介：基于Lockstep的容錯(cuò)技術(shù)的研究這是一份非常不錯(cuò)的資料，歡迎下載，希望對(duì)您有幫助！
上傳時(shí)間： 2021-12-25
上傳用戶(hù)：kingwide
資源簡(jiǎn)介：碩士論文題目:網(wǎng)絡(luò)環(huán)境下組態(tài)軟件的研究與開(kāi)發(fā) 主要內(nèi)容:該文通過(guò)對(duì)網(wǎng)絡(luò)技術(shù)和組態(tài)軟件的研究與分析,提出了一種網(wǎng)絡(luò)環(huán)境下組態(tài)軟件的結(jié)構(gòu)框架,并通過(guò)編程實(shí)現(xiàn)了基于Web的組態(tài)軟件的開(kāi)發(fā).通過(guò)對(duì)計(jì)算機(jī)網(wǎng)絡(luò)在工業(yè)信息監(jiān)視系統(tǒng)上的應(yīng)有物分析,我們將Internet技...
上傳時(shí)間： 2013-12-24
上傳用戶(hù)：lepoke
資源簡(jiǎn)介：996年底的時(shí)候悄悄誕生了一種叫做樣式表（stylesheets）的技術(shù)。全稱(chēng)應(yīng)該是串接樣式表（Cascading Stylesheets－簡(jiǎn)稱(chēng)CSS）這位HTML的表弟向世人保證： 將對(duì)布局、字體、顏色、背景和其它文圖效果實(shí)現(xiàn)更加精確的控制。
上傳時(shí)間： 2015-03-26
上傳用戶(hù)：skhlm
資源簡(jiǎn)介：.NET Remoting(下文簡(jiǎn)稱(chēng)Remoting)是一種可用于開(kāi)發(fā)分布式應(yīng)用程序的技術(shù)。其主要的結(jié)構(gòu)，分為：遠(yuǎn)程對(duì)象、提供遠(yuǎn)程對(duì)象的遠(yuǎn)程服務(wù)器，以及可以訪(fǎng)問(wèn)何使用遠(yuǎn)程對(duì)象的客戶(hù)端。這三個(gè)部分，可以分布于同一臺(tái)計(jì)算機(jī)的同一個(gè)進(jìn)程，或者是不同的進(jìn)程，也可以是處于...
上傳時(shí)間： 2013-12-16
上傳用戶(hù)：qiaoyue
資源簡(jiǎn)介：SQL語(yǔ)言簡(jiǎn)介 1、 SQL概述 SQL是一種面向數(shù)據(jù)庫(kù)的通用數(shù)據(jù)處理語(yǔ)言規(guī)范，能完成以下幾類(lèi)功能：提取查詢(xún)數(shù)據(jù)，插入修改刪除數(shù)據(jù)，生成修改和刪除數(shù)據(jù)庫(kù)對(duì)象，數(shù)據(jù)庫(kù)安全控制，數(shù)據(jù)庫(kù)完整性及數(shù)據(jù)保護(hù)控制。 數(shù)據(jù)庫(kù)對(duì)象包括表、視圖、索引、同義詞、簇、...
上傳時(shí)間： 2015-08-11
上傳用戶(hù)：yd19890720
資源簡(jiǎn)介：一種面向RS碼的卷積交織與解交織器,基于MATLAB平臺(tái)
上傳時(shí)間： 2013-12-18
上傳用戶(hù)：xhz1993
資源簡(jiǎn)介：為**國(guó)土局寫(xiě)的一個(gè)QS(南方Cass支持的一種文本格式)和SML(SuperMap支持的類(lèi)似XML格式)的轉(zhuǎn)換工具,支持鼠標(biāo)拖放.沒(méi)什么技術(shù)含量,希望能為測(cè)繪的朋友減輕一些工作量,開(kāi)發(fā)的朋友起到拋磚引玉的作用
上傳時(shí)間： 2014-12-05
上傳用戶(hù)：小眼睛LSL
資源簡(jiǎn)介：摘要 論述了CADPCAM軟件一種常用圖形交換文件(DXF 文件) 的結(jié)構(gòu)和基于DXF 文件平面數(shù)控加工的NC 代碼生成 軟件的接口技術(shù)、總體框架設(shè)計(jì)及NURBS 曲線(xiàn)分析和NC 代碼生成。 關(guān)鍵詞:圖形交換文件 NC 代碼 NURBS 曲線(xiàn) 中圖分類(lèi)號(hào):TG659 文獻(xiàn)標(biāo)識(shí)碼:B 文...
上傳時(shí)間： 2014-12-04
上傳用戶(hù)：ANRAN
資源簡(jiǎn)介：java是一種面向?qū)ο蟪绦虻恼Z(yǔ)言,我這里介紹了有關(guān)java課件的許多事例,它能幫助剛?cè)腴T(mén)的人
上傳時(shí)間： 2013-12-20
上傳用戶(hù)：qlpqlq
資源簡(jiǎn)介：一種面向?qū)崟r(shí)交互的變形手勢(shì)跟蹤方法
上傳時(shí)間： 2014-01-17
上傳用戶(hù)：我們的船長(zhǎng)
資源簡(jiǎn)介：一種基于分塊 D C T的混沌半脆弱圖像水印技術(shù)，半脆弱數(shù)字水印；混沌理論
上傳時(shí)間： 2014-01-17
上傳用戶(hù)：gundan
資源簡(jiǎn)介：Vxworks經(jīng)典論文 VxWorks壓縮技術(shù).pdf 介紹一種利用Tornado和VxWorks自帶的deflate和inflate，對(duì)VxWorks文件進(jìn)行壓縮和解壓縮的技術(shù)
上傳時(shí)間： 2013-12-12
上傳用戶(hù)：yxgi5
資源簡(jiǎn)介：yaffs是一種面向flash memory而設(shè)計(jì)的文件系統(tǒng)。本文介紹了yaffs文件系統(tǒng)結(jié)構(gòu)及其應(yīng)用
上傳時(shí)間： 2016-11-05
上傳用戶(hù)：ma1301115706
資源簡(jiǎn)介：ogtalk是一種面向?qū)ο蟮倪壿嬀幊陶Z(yǔ)言，可以使用最Prolog的實(shí)現(xiàn)作為一個(gè)后端編譯器。
上傳時(shí)間： 2013-12-31
上傳用戶(hù)：R50974
資源簡(jiǎn)介：resetful樣式的ws樣例,一種面向資源的webservices服務(wù)
上傳時(shí)間： 2014-06-21
上傳用戶(hù)：思琦琦
資源簡(jiǎn)介：C語(yǔ)言是一種面向過(guò)程的計(jì)算機(jī)程序設(shè)計(jì)語(yǔ)言。最初為unix而生。它既有高級(jí)語(yǔ)言的特點(diǎn)，又具有匯編語(yǔ)言的特點(diǎn)。它可以作為系統(tǒng)設(shè)計(jì)語(yǔ)言，編寫(xiě)工作系統(tǒng)應(yīng)用程序，也可以作為應(yīng)用程序設(shè)計(jì)語(yǔ)言，編寫(xiě)不依賴(lài)計(jì)算機(jī)硬件的應(yīng)用程序。因此，它的應(yīng)用范圍廣泛。
上傳時(shí)間： 2017-04-08
上傳用戶(hù)：AbuGe
資源簡(jiǎn)介：一種基于最小均方算法的OFDM信道估計(jì)技術(shù)
上傳時(shí)間： 2014-01-08
上傳用戶(hù)：gmh1314
資源簡(jiǎn)介：通用無(wú)線(xiàn)分組業(yè)務(wù)(GPRS) 是一種基于全球移動(dòng)通信系統(tǒng)(GSM) 的無(wú)線(xiàn)分組交換技術(shù), 提供 端到端的、廣域的無(wú)線(xiàn)IP 連接, 具有永遠(yuǎn)在線(xiàn)等特點(diǎn)。介紹了基于GPRS 網(wǎng)絡(luò)的數(shù)據(jù)終端單元 (DTU) 。該單元是由以ARM芯片S3C44B0X 和GPRS 模塊G20 為核心的硬件和軟件組成。...
上傳時(shí)間： 2014-01-17
上傳用戶(hù)：manking0408
資源簡(jiǎn)介：該文檔為一種基于K-連通M-支配集的容錯(cuò)改進(jìn)OLSR協(xié)議簡(jiǎn)介文檔，是一份很不錯(cuò)的參考資料，具有較高參考價(jià)值，感興趣的可以下載看看………………
上傳時(shí)間： 2021-11-17
上傳用戶(hù)：
資源簡(jiǎn)介：該文檔為一種面向LTE基站的SOC平臺(tái)軟件解決方案總結(jié)文檔，是一份很不錯(cuò)的參考資料，具有較高參考價(jià)值，感興趣的可以下載看看………………
上傳時(shí)間： 2022-02-08
上傳用戶(hù)：zhanglei193
資源簡(jiǎn)介：本文介紹了一種基于英飛凌SP30 傳感器的無(wú)源輪胎壓力監(jiān)測(cè)系統(tǒng)(Battery-lessTPMS)的設(shè)計(jì),并給出了相關(guān)的程序流圖、通信協(xié)議等。該系統(tǒng)可測(cè)定輪胎內(nèi)部的溫度和氣壓，確定故障輪胎并實(shí)
上傳時(shí)間： 2013-08-03
上傳用戶(hù)：icarus
資源簡(jiǎn)介：為了解決模擬電路故障診斷復(fù)雜多樣難于辨識(shí)的問(wèn)題, 有效提高分類(lèi)的準(zhǔn)確度, 提出了一種模擬電路故障診斷的新方法。
上傳時(shí)間： 2013-11-03
上傳用戶(hù)：guanhuihong
資源簡(jiǎn)介：介紹了一種高性能模數(shù)轉(zhuǎn)換器件AD7731的主要特點(diǎn)和工作原理，敘述了其在應(yīng)力測(cè)試中與單片機(jī)的接口電路和軟件設(shè)計(jì)。并且詳細(xì)討論了使用AD7731的幾項(xiàng)關(guān)鍵技術(shù)
上傳時(shí)間： 2013-12-16
上傳用戶(hù)：hxy200501
資源簡(jiǎn)介：一種旋轉(zhuǎn)機(jī)械振動(dòng)信號(hào)特征提取的新方法，利用小波技術(shù)
上傳時(shí)間： 2014-08-04
上傳用戶(hù)：wfl_yy
資源簡(jiǎn)介：本教程是講解基于JAVA 的J2ME 技術(shù)的。J2ME 平臺(tái)存在的基礎(chǔ)是設(shè)備使用不同操作系統(tǒng)的多樣性。即使只剩下Symbian、Windows 兩種平臺(tái)他們的對(duì)立也給了J2ME 技術(shù)足夠的生存的空間。本教程是為了學(xué)習(xí)J2ME MIDP 技術(shù)的開(kāi)發(fā)者準(zhǔn)備的。盡管本教程內(nèi)容涉及初學(xué)階段，...
上傳時(shí)間： 2013-12-16
上傳用戶(hù)：yph853211
資源簡(jiǎn)介：一種面向編譯器體系結(jié)構(gòu)框架，是電子書(shū)格式的
上傳時(shí)間： 2016-07-15
上傳用戶(hù)：yepeng139
資源簡(jiǎn)介：提出了裝配機(jī)器人系統(tǒng)中一種基于視覺(jué)引導(dǎo)和超聲測(cè)距的運(yùn)動(dòng)目標(biāo)跟蹤和抓取 方法。介紹了運(yùn)動(dòng)目標(biāo)的跟蹤原理，采用圖像雅可比矩陣進(jìn)行機(jī)器人運(yùn)動(dòng)控制，跟蹤運(yùn)動(dòng) 的目標(biāo)。利用視覺(jué)引導(dǎo)技術(shù)，獲取目標(biāo)在圖像平面中的位置與方位，進(jìn)行平面跟蹤，然后 引導(dǎo)超聲波...
上傳時(shí)間： 2014-01-02
上傳用戶(hù)：rocketrevenge
資源簡(jiǎn)介：壓縮VXWORKS文件。介紹一種利用Tornado$1 VxWorks自帶的defla~和inflate，對(duì)VxWorks文件進(jìn)行壓縮和解壓縮的技術(shù)。希望對(duì)大家有所幫助。
上傳時(shí)間： 2016-08-21
上傳用戶(hù)：exxxds
