時序邏輯電路的分析和設計
標簽： 時序邏輯電路 分
上傳時間： 2013-11-08
上傳用戶：1159797854
軟件發(fā)生瞬時故障時，可能會導致處理器狀態(tài)改變，致使程序執(zhí)行出現(xiàn)數(shù)據(jù)錯誤或者控制流錯誤。目前已有許多軟件、硬件以及混合的解決方案，主要的方法是重復計算和檢查副本的一致性。但是，生成正確的容錯代碼十分困難，而且?guī)缀鯖]有關于證明這些技術的正確性的研究。類型化匯編語言（TAL）是一種標準的程序安全性證明的方式。本文概述了一種面向瞬時故障的軟硬結合的容錯方法，以及對該方法的形式化方法，包括容錯類型化匯編語言、類型系統(tǒng)和容錯定理。形式化的目的是為了驗證，只有通過驗證的程序代碼才是類型安全的。本文只簡單介紹了程序的形式化方法。
標簽： 瞬時 容錯技術
上傳時間： 2014-01-15
上傳用戶：dudu1210004
非線性電路的分析方法 2.1 概述 2.2 非線性電路分析法 2.3 模擬乘法器
標簽： 非線性電路 分析方法
上傳時間： 2014-01-07
上傳用戶：ks201314
變速恒頻風力發(fā)電系統(tǒng)控制方案的分析與比較
標簽： 變速恒頻 分 風力發(fā)電 系統(tǒng)控制
上傳時間： 2013-11-03
上傳用戶：zq70996813
對于IC來說，“地球環(huán)境友好”有兩個方面：一方面是產(chǎn)品中不含或者減少對環(huán)境有害的物質(zhì)；另一方面是針對全球氣候變暖問題，為社會提供能夠有效降低設備耗電量的IC，這將使發(fā)電廠產(chǎn)生的CO2得以削減。并且，開發(fā)并提供面向小型設備的IC可以進一步減小設備的體積并降低耗電量，為節(jié)能型社會貢獻力量。
標簽： 設備 富士通 地球 環(huán)境
上傳時間： 2013-12-15
上傳用戶：xitai
GPS衛(wèi)星定位及若干問題的分析
標簽： GPS 衛(wèi)星定位 分 若干問題
上傳時間： 2013-11-15
上傳用戶：黃華強
范式哈夫曼算法的分析與實現(xiàn)
標簽： 哈夫曼算法 分
上傳時間： 2014-01-21
上傳用戶：windypsm
555時基電路的分析和應用
標簽： 555 時基電路 分
上傳時間： 2013-10-14
上傳用戶：agent
上傳時間： 2013-11-22
上傳用戶：541657925
C51編寫對SST 之FLASH操作源代碼,用單片機實現(xiàn)對SST39VF040的操作
標簽： SST FLASH C51 040
上傳時間： 2015-01-04
上傳用戶：84425894
蟲蟲下載站版權所有 京ICP備2021023401號-1
<strike id="eceau"></strike>
