亚洲欧美第一页_禁久久精品乱码_粉嫩av一区二区三区免费野_久草精品视频

蟲蟲首頁| 資源下載| 資源專輯| 精品軟件
登錄| 注冊

龍芯一號

  • 一種面向瞬時故障的容錯技術的形式化方法

    軟件發生瞬時故障時,可能會導致處理器狀態改變,致使程序執行出現數據錯誤或者控制流錯誤。目前已有許多軟件、硬件以及混合的解決方案,主要的方法是重復計算和檢查副本的一致性。但是,生成正確的容錯代碼十分困難,而且幾乎沒有關于證明這些技術的正確性的研究。類型化匯編語言(TAL)是一種標準的程序安全性證明的方式。本文概述了一種面向瞬時故障的軟硬結合的容錯方法,以及對該方法的形式化方法,包括容錯類型化匯編語言、類型系統和容錯定理。形式化的目的是為了驗證,只有通過驗證的程序代碼才是類型安全的。本文只簡單介紹了程序的形式化方法。

    標簽: 瞬時 容錯技術

    上傳時間: 2014-01-15

    上傳用戶:dudu1210004

  • 一種帶振幅調節的晶體振蕩器

    設計了一種帶振幅控制的晶體振蕩器,用于32 768 Hz的實時時鐘。振幅調節環采用源接地振蕩器形式來得到高的頻率穩定性和低的功耗。使用MOS管電阻有效的減小了版圖面積。電路在0.35 μm、5 V CMOS工藝上實現,仿真和測試結果都能滿足設計要求。

    標簽: 振幅 調節 晶體振蕩器

    上傳時間: 2013-11-10

    上傳用戶:maricle

  • 一種基于gm_ID方法設計的可變增益放大器

    提出了一種基于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。

    標簽: gm_ID 可變增益放大器

    上傳時間: 2013-11-10

    上傳用戶:笨小孩

  • 一種具有自動糾錯功能的FIR濾波器研究

    提出了一種有效實現自動糾錯功能FIR數字濾波器技術,該技術采用2種不同架構的標準濾波器通過并行操作來完成。任一濾波器軟錯誤的發生就會引起兩個濾波器輸出不匹配,達到檢測錯誤的目的,增強了傳統濾波器對差錯檢測和差錯糾正的支持。最后對該濾波器地性能進行評估,該濾波器性能良好,糾錯率接近100%,可廣泛運用在各種信號處理中。

    標簽: FIR 自動糾錯 濾波器

    上傳時間: 2013-10-27

    上傳用戶:dysyase

  • 一種新的自適應數字水印算法

    為了提高數字水印抗擊各種圖像攻擊的性能和保持圖像的穩健性和不可見性,提出了一種基于離散小波變換(DWT),SVD(singular value decomposition)奇異值分解水印圖像和原始載體圖像的離散余弦變換(DCT)的自適應水印嵌入算法,主要是將水印圖像的兩次小波變換后的低頻分量潛入到原始圖像分塊經過SVD分解的S分量矩陣中,同時根據圖像的JPEG壓縮比的不同計算各個圖像塊的水印調節因子。實驗證明該算法在抗擊JPEG壓縮、中值濾波、加噪等均具有很好的魯棒性,嵌入后的圖像的PSNR達到38,具有良好的視覺掩蔽性

    標簽: 數字水印算法

    上傳時間: 2013-10-09

    上傳用戶:ca05991270

  • 計算二階有源濾波、一階有源濾波、阻容充放電

    計算二階有源濾波、一階有源濾波、阻容充放電。

    標簽: 有源濾波 計算 二階 充放電

    上傳時間: 2013-11-17

    上傳用戶:hgmmyl

  • 一種基于LBT的分布式圖像壓縮算法

    無線多媒體傳感器網絡(WMSNs)中傳感器節點采集的數據量非常大,在傳輸前需對大數據量的多媒體信息進行壓縮處理,但是單節點能源受限,存儲、處理能力相對較弱。針對無線多媒體傳感器網絡應用的高效、低耗能的需求這些問題,在圖像壓縮雙正交重疊變換(LBT)的基礎上,文中提出了一種基于此變換的分布式無線多媒體傳感器網絡圖像壓縮算法。即基于簇結構,把壓縮任務分配給其他節點,通過多個節點相互協作,共同完成圖像的壓縮編碼和傳輸。實驗結果表明,在傳感器節點散布不均且較為密集的情況下,該算法在高質量、低復雜度和低功耗等方面都有了很大的性能提高。

    標簽: LBT 分布式 圖像壓縮 算法

    上傳時間: 2014-12-23

    上傳用戶:langliuer

  • 一種改進的線性圖像插值算法

    針對傳統的雙線性插值法在對圖像進行插值后會不可避免的產生邊緣模糊的問題,提出了一種改進的線性插值法,該算法首先把待插值點分為三類,然后分別選取合適的已知點進行插值。通過對經典圖像lena和pepper進行插值的實驗結果表明,該算法的插值效果與雙立方法相當,但計算量遠遠小于雙立方,能有效的保持圖像邊緣信息,提高了圖像質量。

    標簽: 線性圖像 插值 算法

    上傳時間: 2014-01-17

    上傳用戶:杏簾在望

  • 一種新型高速電磁閥驅動電路

    一種新型高速電磁閥驅動電路

    標簽: 高速電磁閥 驅動電路

    上傳時間: 2013-10-30

    上傳用戶:zoudejile

  • 一種X波段頻率合成器的設計方案

      在非相參雷達測試系統中,頻率合成技術是其中的關鍵技術.針對雷達測試系統的要求,介紹了一種用DDS激勵PLL的X波段頻率合成器的設計方案。文中給出了主要的硬件選擇及具體電路設計,通過對該頻率合成器的相位噪聲和捕獲時間的分析,及對樣機性能的測試,結果表明該X波段頻率合成器帶寬為800 MHz、輸出相位噪聲優于-80 dBc/Hz@10 kHz、頻率分辨率達0.1 MHz, 可滿足雷達測試系統系統的要求。測試表明,該頻率合成器能產生低相噪、高分辨率、高穩定度的X波段信號,具有較好的工程應用價值。

    標簽: X波段 頻率合成器 設計方案

    上傳時間: 2013-10-21

    上傳用戶:pkkkkp

主站蜘蛛池模板: 凤冈县| 桦南县| 木兰县| 芜湖市| 习水县| 宜都市| 耿马| 瓮安县| 郧西县| 大同县| 晋江市| 红河县| 三明市| 炉霍县| 当涂县| 莒南县| 防城港市| 济阳县| 儋州市| 岳阳县| 姚安县| 克山县| 益阳市| 清新县| 娄烦县| 高安市| 郓城县| 宜良县| 林芝县| 左贡县| 吉林市| 平遥县| 佛坪县| 万安县| 开原市| 兴业县| 积石山| 房产| 阿荣旗| 梅河口市| 绩溪县|