一種面向瞬時故障的容錯技術的形式化方法
軟件發生瞬時故障時，可能會導致處理器狀態改變，致使程序執行出現數據錯誤或者控制流錯誤。目前已有許多軟件、硬件以及混合的解決方案，主要的方法是重復計算和檢查副本的一致性。但是，生成正確的容錯代碼十分困難，而且幾乎沒有關于證明這些技術的正確性的研究。類型化匯編語言（TAL）是一種標準的程序安全性證明的方...
北航神箭一隊技術資料
?? 資源總數：39892
?? 源代碼：67653
?? 北航神箭一隊熱門資料
查看全部39892個資源 ?一種帶振幅調節的晶體振蕩器
設計了一種帶振幅控制的晶體振蕩器，用于32 768 Hz的實時時鐘。振幅調節環采用源接地振蕩器形式來得到高的頻率穩定性和低的功耗。使用MOS管電阻有效的減小了版圖面積。電路在0.35 μm、5 V CMOS工藝上實現，仿真和測試結果都能滿足設計要求。 ...
一種基于gm_ID方法設計的可變增益放大器
提出了一種基于gm /ID方法設計的可變增益放大器。設計基于SMIC90nmCMOS工藝模型，可變增益放大器由一個固定增益級、兩個可變增益級和一個增益控制器構成。固定增益級對輸入信號預放大，以增加VGA最大增益。VGA的增益可變性由兩個受增益控制器控制的可變增益級實現。運用gm /ID的綜合設計方法...
一種具有自動糾錯功能的FIR濾波器研究
提出了一種有效實現自動糾錯功能FIR數字濾波器技術，該技術采用2種不同架構的標準濾波器通過并行操作來完成。任一濾波器軟錯誤的發生就會引起兩個濾波器輸出不匹配，達到檢測錯誤的目的，增強了傳統濾波器對差錯檢測和差錯糾正的支持。最后對該濾波器地性能進行評估，該濾波器性能良好，糾錯率接近100%，可廣泛運用...
一種新的自適應數字水印算法
為了提高數字水印抗擊各種圖像攻擊的性能和保持圖像的穩健性和不可見性，提出了一種基于離散小波變換（DWT），SVD（singular value decomposition）奇異值分解水印圖像和原始載體圖像的離散余弦變換（DCT）的自適應水印嵌入算法，主要是將水印圖像的兩次小波變換后的低頻分量潛入到原...
?? 北航神箭一隊源代碼
查看更多 ??? 北航神箭一隊資料分類