一種面向瞬時故障的容錯技術的形式化方法
軟件發生瞬時故障時,可能會導致處理器狀態改變,致使程序執行出現數據錯誤或者控制流錯誤。目前已有許多軟件、硬件以及混合的解決方案,主要的方法是重復計算和檢查副本的一致性。但是,生成正確的容錯代碼十分困難,而且幾乎沒有關于證明這些技術的正確性的研究。類型化匯編語言(TAL)是一種標準的程序安全性證明的方...
軟件發生瞬時故障時,可能會導致處理器狀態改變,致使程序執行出現數據錯誤或者控制流錯誤。目前已有許多軟件、硬件以及混合的解決方案,主要的方法是重復計算和檢查副本的一致性。但是,生成正確的容錯代碼十分困難,而且幾乎沒有關于證明這些技術的正確性的研究。類型化匯編語言(TAL)是一種標準的程序安全性證明的方...
本文主要介紹對智能儀表中調節參數的一種新方法。米取了通用的徽調 電位器的硬件電路和經過數字化處理的軟件方法, 使參數的調節及修正既方便又能 長期保存。文中給出了有關的數學推導、硬件電路及軟件程序。...
為了能夠從同時存在常規PRI信號和復雜PRI信號并帶有脈沖信號干擾或丟失的環境中正確分選出雷達信號,本文提出了一種序列差值直方圖法(SDIF)與修正PRI變換法相結合的雷達信號分選方法,經過matlab仿真驗證,該方法有著很好的分選效果。 ...
運算放大器,開環電壓增益AVOL的定義與量測方法。...
提出了一種基于gm /ID方法設計的可變增益放大器。設計基于SMIC90nmCMOS工藝模型,可變增益放大器由一個固定增益級、兩個可變增益級和一個增益控制器構成。固定增益級對輸入信號預放大,以增加VGA最大增益。VGA的增益可變性由兩個受增益控制器控制的可變增益級實現。運用gm /ID的綜合設計方法...