在SystemVeri log更強調了利用隨機化激勵函數以提高驗證代碼的效率和驗證可靠性的重要性。本文以VMM庫為例，闡述了如何在SystemVeri 1og中使用隨機化函數來編寫高效率的測試代碼，重點介紹了可重驗證函數庫的使用方法，以幫助讀者理解如何使用SystemVeri1og高效率地完成復雜的設計驗證。
標簽： Verilog System 隨機 激勵
上傳時間： 2013-11-06
上傳用戶：偷心的海盜
針對機器視覺采摘機器存在的技術不成熟，成本過高等不足，提出采用人工操控的半自動采摘技術，并進行了探索研究。設計了一款模擬采摘機器人，機器人以履帶底盤為基座，三自由度機械臂，紅外遙控操作。硬件電路以ATmega32為系統控制核心，采摘機器人的動作采用BL35P12為核心紅外遙控控制。系統軟件基于AVR Studio4開發環境，實現對機械臂運動的全方位精確控制。采摘機器人采用模塊化設計，抓取速度快，成本低，易于實現，可擴展性強。
標簽： ATmega 32 遙控 機器人設計
上傳時間： 2013-10-21
上傳用戶：caiqinlin
文中對工作在脈沖多普勒體制下的雷達導引頭箔條回波進行了建模,并且分析了箔條回波的時域和頻域特性。基于箔條的整體運動特性,采用非遞歸濾波器法對箔條回波的幅度特性和功率譜特性進行了仿真實現,仿真結果與理論相符。箔條回波模型可用于PD雷達導引頭干擾技術研究領域和PD雷達導引頭抗干擾性能評估。
標簽： 雷達導引頭 建模 仿真
上傳用戶：萍水相逢
物聯網周刊（智慧化零售和遠程支付
標簽： 2010 物聯網 零 遠程
上傳時間： 2013-10-12
上傳用戶：ryb
針對嵌入式環境的特殊情況，提出了一種便于嵌入式程序使用的基于Json的多語言實現技術，該技術具有資源集中管理、易拓展、易修改、加載速度快，占用資源少等特點。通過與基于Xml的實現方案進行對比，證明該方案具有一定的優越性。同時通過該方案實現了基于WinCE的設備巡檢系統的多語言化，證實了該方案的可行性。另外還提出一種用于維護多語言資源庫的便利方式，以降低軟件多語言的開發成本，加快了開發的速度。
標簽： 設備故障 監測診斷 多語言 技術研究
上傳時間： 2013-11-20
上傳用戶：yuchunhai1990
可視化編程 經典諾基亞手機游戲。
標簽： 可視化編程 諾基亞 手機游戲 源代碼
上傳時間： 2013-11-23
上傳用戶：urgdil
C語言模塊化程序設計方法教程
標簽： C語言 模塊化 教程 程序
上傳時間： 2014-01-07
上傳用戶：199311
介紹頭文件與源文件的關系以及如何進行C語言模塊化編程
標簽： C語言 模塊化編程
上傳時間： 2013-11-17
上傳用戶：ABC677339
西門子s7-200仿真軟件漢化版
標簽： 200 西門子 仿真軟件 漢化版
上傳時間： 2013-10-28
上傳用戶：agent
漢化的不錯，推薦
標簽： Multisim 11 漢化 補丁
上傳時間： 2014-01-27
上傳用戶：csgcd001
蟲蟲下載站版權所有 京ICP備2021023401號-1
