軟件發(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)單介紹了程序的形式化方法。
標(biāo)簽： 瞬時(shí) 容錯(cuò)技術(shù)
上傳時(shí)間： 2014-01-15
上傳用戶(hù)：dudu1210004
本文主要介紹對(duì)智能儀表中調(diào)節(jié)參數(shù)的一種新方法。米取了通用的徽調(diào) 電位器的硬件電路和經(jīng)過(guò)數(shù)字化處理的軟件方法, 使參數(shù)的調(diào)節(jié)及修正既方便又能 長(zhǎng)期保存。文中給出了有關(guān)的數(shù)學(xué)推導(dǎo)、硬件電路及軟件程序。
標(biāo)簽： 智能儀表 參數(shù) 數(shù)字化 調(diào)節(jié)
上傳時(shí)間： 2013-12-21
上傳用戶(hù)：Late_Li
為了能夠從同時(shí)存在常規(guī)PRI信號(hào)和復(fù)雜PRI信號(hào)并帶有脈沖信號(hào)干擾或丟失的環(huán)境中正確分選出雷達(dá)信號(hào)，本文提出了一種序列差值直方圖法（SDIF）與修正PRI變換法相結(jié)合的雷達(dá)信號(hào)分選方法，經(jīng)過(guò)matlab仿真驗(yàn)證，該方法有著很好的分選效果。
標(biāo)簽： 雷達(dá)信號(hào) 分選 方法研究
上傳時(shí)間： 2014-12-23
上傳用戶(hù)：ljd123456
運(yùn)算放大器，開(kāi)環(huán)電壓增益AVOL的定義與量測(cè)方法。
標(biāo)簽： AVOL 開(kāi)環(huán) 增益 定義
上傳時(shí)間： 2013-11-18
上傳用戶(hù)：rtsm07
提出了一種基于gm /ID方法設(shè)計(jì)的可變?cè)鲆娣糯笃鳌ＴO(shè)計(jì)基于SMIC90nmCMOS工藝模型，可變?cè)鲆娣糯笃饔梢粋€(gè)固定增益級(jí)、兩個(gè)可變?cè)鲆婕?jí)和一個(gè)增益控制器構(gòu)成。固定增益級(jí)對(duì)輸入信號(hào)預(yù)放大，以增加VGA最大增益。VGA的增益可變性由兩個(gè)受增益控制器控制的可變?cè)鲆婕?jí)實(shí)現(xiàn)。運(yùn)用gm /ID的綜合設(shè)計(jì)方法，優(yōu)化了任意工作范圍內(nèi)，基于gm /ID和VGS關(guān)系的晶體管設(shè)計(jì)，實(shí)現(xiàn)了低電壓低功耗。為得到較寬的增益范圍，應(yīng)用了一種新穎的偽冪指函數(shù)。利用Cadence中spectre工具仿真，結(jié)果表明，在1.2 V的工作電壓下，具有76 dB的增益，控制電壓范圍超過(guò)0.8 V，帶寬范圍從34 MHz到183.6 MHz，功耗為0.82 mW。
標(biāo)簽： gm_ID 上傳時(shí)間： 2013-11-10
上傳用戶(hù)：笨小孩
Multisim9安裝方法,教會(huì)你如何完美安裝不用愁
上傳時(shí)間： 2013-10-23
上傳用戶(hù)：invtnewer
? 計(jì)算方法： 1) A值（相位）的計(jì)算：根據(jù)設(shè)置的相位值D（單位為度，0度-360度可設(shè)置），由公式A=D/360，得出A值，按四舍五入的方法得出相位A的最終值； 2) B偏移量值的計(jì)算：按B=512*(1/2VPP-VDC+20)/5； 3) C峰峰值的計(jì)算：按C=VPP/20V*4095；
標(biāo)簽： 模擬信號(hào) 發(fā)生 頻率計(jì)
上傳時(shí)間： 2013-11-18
上傳用戶(hù)：xdqm
關(guān)于MOSFET應(yīng)用時(shí)的熱設(shè)計(jì)方法。
標(biāo)簽： MOSFET 散熱 設(shè)計(jì)方法
上傳時(shí)間： 2013-10-31
上傳用戶(hù)：shen954166632
SIFT算法具有旋轉(zhuǎn)、平移、尺度縮放和亮度的變化保持不變性的優(yōu)點(diǎn)，也有算法復(fù)雜、計(jì)算時(shí)間長(zhǎng)的缺點(diǎn)。本文提出了以街區(qū)距離代替歐式距離的新方法，來(lái)提高SIFT特征匹配效率，縮短匹配時(shí)間，提高SIFT算法的實(shí)時(shí)性。實(shí)驗(yàn)結(jié)果表明，該方法在保持圖像匹配率和算法魯棒性的同時(shí)，可以減少運(yùn)算時(shí)間。
上傳時(shí)間： 2013-10-28
上傳用戶(hù)：zhangzhenyu
為了提高圖像去噪效果，提出了基于Contourlet域HMT模型的Cycle Spinning去噪方法。首先將待去噪圖像進(jìn)行循環(huán)平移，使用Contourlet域HMT模型對(duì)平移后的圖像進(jìn)行降噪處理，然后將降噪后的圖像進(jìn)行循環(huán)反平移，最后將不同循環(huán)平移量下的降噪圖像進(jìn)行平均處理，以減少去噪后圖像的失真。實(shí)驗(yàn)結(jié)果表明，該方法不僅可以提高降噪后圖像峰值信噪比，而且可以提高降噪后圖像的視覺(jué)效果。
標(biāo)簽： Contourlet Spinning Cycle HMT
上傳時(shí)間： 2014-12-23
上傳用戶(hù)：ddddddos
蟲(chóng)蟲(chóng)下載站版權(quán)所有 京ICP備2021023401號(hào)-1
