軟件發生瞬時故障時，可能會導致處理器狀態改變，致使程序執行出現數據錯誤或者控制流錯誤。目前已有許多軟件、硬件以及混合的解決方案，主要的方法是重復計算和檢查副本的一致性。但是，生成正確的容錯代碼十分困難，而且幾乎沒有關于證明這些技術的正確性的研究。類型化匯編語言（TAL）是一種標準的程序安全性證明的方式。本文概述了一種面向瞬時故障的軟硬結合的容錯方法，以及對該方法的形式化方法，包括容錯類型化匯編語言、類型系統和容錯定理。形式化的目的是為了驗證，只有通過驗證的程序代碼才是類型安全的。本文只簡單介紹了程序的形式化方法。
上傳時間： 2014-01-15
上傳用戶：dudu1210004
高通濾波為實現高頻信號能正常通過，而低于設定臨界值的低頻信號則被阻隔、減弱。但是阻隔、減弱的幅度則會依據不同的頻率以及不同的濾波程序而改變。文中闡述了對電壓轉移函數推導分析及電路性能的要求，并利用Multisim仿真軟件對其頻幅特性的分析進行。
上傳時間： 2013-11-08
上傳用戶：liufei
設計了一種帶振幅控制的晶體振蕩器，用于32 768 Hz的實時時鐘。振幅調節環采用源接地振蕩器形式來得到高的頻率穩定性和低的功耗。使用MOS管電阻有效的減小了版圖面積。電路在0.35 μm、5 V CMOS工藝上實現，仿真和測試結果都能滿足設計要求。
上傳時間： 2013-11-10
上傳用戶：maricle
雙頻式定子接地保護是目前在中小型發電機中得到廣泛應用的一種發電機保護，三次諧波的變化情況是這種保護動作的依據之一。文中著重就能夠從發電機機端和中性點側電壓中初步提取三次諧波的模擬濾波器的設計進行了討論，通過分析比較各類濾波器的阻帶衰減速度、通頻帶平坦度等特點以及生產實際裝置的成本等多方面因素設計出了一款能夠滿足保護裝置要求的模擬濾波器。從仿真及實驗結果中可以看出，此款模擬濾波器具有良好的應用效果。
上傳時間： 2013-10-13
上傳用戶：taox
提出了一種基于gm /ID方法設計的可變增益放大器。設計基于SMIC90nmCMOS工藝模型，可變增益放大器由一個固定增益級、兩個可變增益級和一個增益控制器構成。固定增益級對輸入信號預放大，以增加VGA最大增益。VGA的增益可變性由兩個受增益控制器控制的可變增益級實現。運用gm /ID的綜合設計方法，優化了任意工作范圍內，基于gm /ID和VGS關系的晶體管設計，實現了低電壓低功耗。為得到較寬的增益范圍，應用了一種新穎的偽冪指函數。利用Cadence中spectre工具仿真，結果表明，在1.2 V的工作電壓下，具有76 dB的增益，控制電壓范圍超過0.8 V，帶寬范圍從34 MHz到183.6 MHz，功耗為0.82 mW。
上傳時間： 2013-11-10
上傳用戶：笨小孩
采用鎖相環技術設計了一種穩定、低噪聲的C波段頻率源。建立了鎖相環的相位噪聲模型并分析影響相位噪聲的因素，進行了鎖相環低通濾波器的設計。利用軟件對環路的穩定性和相位噪聲進行仿真，相位裕度在45°以上，環路工作穩定，且具有較好的相位噪聲特性
上傳時間： 2014-12-23
上傳用戶：吾學吾舞
提出了一種有效實現自動糾錯功能FIR數字濾波器技術，該技術采用2種不同架構的標準濾波器通過并行操作來完成。任一濾波器軟錯誤的發生就會引起兩個濾波器輸出不匹配，達到檢測錯誤的目的，增強了傳統濾波器對差錯檢測和差錯糾正的支持。最后對該濾波器地性能進行評估，該濾波器性能良好，糾錯率接近100%，可廣泛運用在各種信號處理中。
上傳時間： 2013-10-27
上傳用戶：dysyase
微弱信號檢測裝置 四川理工學院 劉鵬飛、梁天德、曾學明 摘要： 本設計以TI的Launch Pad為核心板，采用鎖相放大技術設計并制作了一套微弱信號檢測裝置，用以檢測在強噪聲背景下已知頻率微弱正弦波信號的幅度值，并在液晶屏上數字顯示出所測信號相應的幅度值。實驗結果顯示其抗干擾能力強，測量精度高。 關鍵詞：強噪聲；微弱信號；鎖相放大；Launch Pad Abstract: This design is based on the Launch Pad of TI core board, using a lock-in amplifier technique designed and produced a weak signal detection device, to measure the known frequency sine wave signal amplitude values of the weak in the high noise background, and shows the measured signal amplitude of the corresponding value in the liquid crystal screen. Test results showed that it has high accuracy and strong anti-jamming capability. Keywords: weak signal detection; lock-in-amplifier; Launch Pad 1、引言 隨著現代科學技術的發展，在科研與生產過程中人們越來越需要從復雜高強度的噪聲中檢測出有用的微弱信號，因此對微弱信號的檢測成為當前科研的熱點。微弱信號并不意味著信號幅度小，而是指被噪聲淹沒的信號，“微弱”也僅是相對于噪聲而言的。只有在有效抑制噪聲的條件下有選擇的放大微弱信號的幅度，才能提取出有用信號。微弱信號檢測技術的應用相當廣泛，在生物醫學、光學、電學、材料科學等相關領域顯得愈發重要。 2、方案論證 針對微弱信號的檢測的方法有很多，比如濾波法、取樣積分器、鎖相放大器等。下面就針對這幾種方法做一簡要說明。 方案一：濾波法。 在大部分的檢測儀器中都要用到濾波方法對模擬信號進行一定的處理，例如隔離直流分量，改善信號波形，防止離散化時的波形混疊，克服噪聲的不利影響，提高信噪比等。常用的噪聲濾波器有：帶通、帶阻、高通、低通等。但是濾波方法檢測信號不能用于信號頻譜與噪聲頻譜重疊的情況，有其局限性。雖然可以對濾波器的通頻帶進行調節，但其噪聲抑制能力有限，同時其準確性與穩定性將大打折扣。
上傳時間： 2013-11-04
上傳用戶：lty6899826
本設計是采用AD603可控增益放大器芯片設計的一款高增益，高寬帶直流放大器，采用兩級級聯放大電路了，提高了放大增益，擴展了通頻帶寬，而且具有良好的抗噪聲系數，采用AT89S52芯片控制數模轉換(DAC0832芯片)進行程控放大控制，在0—20MHz頻帶內，放大倍數在0-40dB之間進行調節，增益起伏為1dB。系統具有鍵盤輸入預置，增益可調和液晶顯示，具有很強的實際應用能力。
上傳時間： 2013-11-03
上傳用戶：zzbbqq99n
Butterworth函數的高階低通濾波器的有源設計
標簽： Butterworth 函數 低通濾波器 有源
上傳時間： 2013-11-20
上傳用戶：旗魚旗魚
