01_靜態時序分析基本原理和時序分析模型
上傳時間： 2013-11-17
上傳用戶：evil
Verilog_HDL的基本語法詳解（夏宇聞版）:Verilog HDL是一種用于數字邏輯電路設計的語言。用Verilog HDL描述的電路設計就是該電路的Verilog HDL模型。Verilog HDL既是一種行為描述的語言也是一種結構描述的語言。這也就是說，既可以用電路的功能描述也可以用元器件和它們之間的連接來建立所設計電路的Verilog HDL模型。Verilog模型可以是實際電路的不同級別的抽象。這些抽象的級別和它們對應的模型類型共有以下五種： 系統級（system）：用高級語言結構實現設計模塊的外部性能的模型。 算法級（algorithm）：用高級語言結構實現設計算法的模型。 RTL級（Register Transfer Level）：描述數據在寄存器之間流動和如何處理這些數據的模型。 門級（gate-level）：描述邏輯門以及邏輯門之間的連接的模型。 開關級（switch-level）：描述器件中三極管和儲存節點以及它們之間連接的模型。 一個復雜電路系統的完整Verilog HDL模型是由若干個Verilog HDL模塊構成的，每一個模塊又可以由若干個子模塊構成。其中有些模塊需要綜合成具體電路，而有些模塊只是與用戶所設計的模塊交互的現存電路或激勵信號源。利用Verilog HDL語言結構所提供的這種功能就可以構造一個模塊間的清晰層次結構來描述極其復雜的大型設計，并對所作設計的邏輯電路進行嚴格的驗證。 Verilog HDL行為描述語言作為一種結構化和過程性的語言，其語法結構非常適合于算法級和RTL級的模型設計。這種行為描述語言具有以下功能： · 可描述順序執行或并行執行的程序結構。 · 用延遲表達式或事件表達式來明確地控制過程的啟動時間。 · 通過命名的事件來觸發其它過程里的激活行為或停止行為。 · 提供了條件、if-else、case、循環程序結構。 · 提供了可帶參數且非零延續時間的任務（task）程序結構。 · 提供了可定義新的操作符的函數結構（function）。 · 提供了用于建立表達式的算術運算符、邏輯運算符、位運算符。 · Verilog HDL語言作為一種結構化的語言也非常適合于門級和開關級的模型設計。因其結構化的特點又使它具有以下功能： - 提供了完整的一套組合型原語（primitive）; - 提供了雙向通路和電阻器件的原語; - 可建立MOS器件的電荷分享和電荷衰減動態模型。 Verilog HDL的構造性語句可以精確地建立信號的模型。這是因為在Verilog HDL中，提供了延遲和輸出強度的原語來建立精確程度很高的信號模型。信號值可以有不同的的強度，可以通過設定寬范圍的模糊值來降低不確定條件的影響。 Verilog HDL作為一種高級的硬件描述編程語言，有著類似C語言的風格。其中有許多語句如：if語句、case語句等和C語言中的對應語句十分相似。如果讀者已經掌握C語言編程的基礎，那么學習Verilog HDL并不困難，我們只要對Verilog HDL某些語句的特殊方面著重理解，并加強上機練習就能很好地掌握它，利用它的強大功能來設計復雜的數字邏輯電路。下面我們將對Verilog HDL中的基本語法逐一加以介紹。
標簽： Verilog_HDL
上傳時間： 2013-11-23
上傳用戶：青春給了作業95
為了滿足超聲波探傷檢測的實時性需求，通過研究超聲波探傷的工作原理，提出了基于FPGA芯片的實時信號處理系統實現方案及硬件結構設計，并根據FPGA邏輯結構模型實現了軟件系統的模塊化設計。根據實驗測試及統計數據得出，基于FPGA芯片的信號處理系統提高了探傷檢測的準確性與穩定性，滿足了探傷過程中B超顯示的實時性要求。
上傳時間： 2013-10-11
上傳用戶：909000580
針對特定的載荷物理樣機地面測試驗證及任務全過程演示的硬件在回路仿真背景，基于RT-LAB仿真平臺，搭建了半實物仿真測試系統，其中航天器平臺的仿真模型使用Simulink/Stateflow搭建，采用層次化、模塊化設計，包含自主運行管理、GNC、電源、熱控、推進、地面站等分系統，使用Stateflow實現載荷工作的流程控制，本文詳細描述了各分系統的功能、實現，對關鍵分系統的功能做了驗證。表明RT-LAB與Simulink/Stateflow結合可方便快捷地構建各種仿真環境，滿足任務要求，而其模塊化的特點使模型便于后續的維護、重用與擴展。
上傳時間： 2013-11-19
上傳用戶：ly1994
鋼鐵工業是國家工業的基礎之一，鐵礦是鋼鐵工業的主要原料基地。礦產地礦車的運輸組織效率與鋼產量有著十分緊密的聯系。因此高效率的礦車運輸調度組織是提高露天礦產量，增加其經濟效益的重要途徑。本文結合礦區生產的實際問題，通過利用優化理論中的多目標優化思想提出了一種礦車運輸調度組織的優化模型。與傳統的基于貪心準則的優化方法相比，本方法具有精度高、求解效率高和易于在實際中應用的優點，有很高的實踐應用價值。
上傳時間： 2013-10-09
上傳用戶：18752787361
在車載自組網中，路由協議很大程度上決定了整個網絡的性能。如何有效的利用車流信息提高傳輸質量是改善路由性能的一個關鍵問題。本文基于速度-密度線性模型，提出了一種實時車流密度的路由協議RVDR（Real-time Vehicle Density Routing）。該協議通過與鄰居節點交換的速度信息，對相關道路車流密度進行預測，并給出基于車流密度信息的路徑選擇方法。仿真結果表明，與現有協議相比，RVDR協議在實時性和高效性等性能方面得到改進。
上傳時間： 2014-07-10
上傳用戶：ZJX5201314
對CC1100無線模塊的高效使用和安全穩定性問題進行了深入研究，提出了構建基于ARM的CC1100無線服務器的解決方案。建立了服務器架構模型，采用了將CC1100模塊作為嵌入式Linux內核級模塊的高級策略，開發了CC1100模塊的底層內核驅動程序模塊，完整實現了服務器的業務邏輯功能，并提供了B/S模式和C/S模式兩種友好的上層用戶接口。實際應用結果表明，該方案有效地解決了CC1100模塊通信過程中的實時性和穩定性等問題，性能優越，用戶操作方便。
上傳時間： 2013-11-17
上傳用戶：emhx1990
隨著GPS、GALILEO、GLONASS以及我國北斗導航定位系統的不斷發展，基于多星座下的GNSS接收機自主完好性監測算法也已被國內外學者廣泛研究。本文首先介紹了接收機自主完好性監測（RAIM）算法的原理，然后分別對單星座、多星座組合下的RAIM算法進行了研究和仿真，圖形化和數據化的仿真結果充分證明了多星座組合下的完好性監測性能優于單星座下完好性監測性能。
上傳時間： 2013-11-11
上傳用戶：止絮那夏
為了解決復雜Web服務中用戶認證與權限管理的問題，對單點登錄技術的進行了研究。在此基礎上，根據單點登錄技術的特點結合基于角色的控制訪問提出了基于角色訪問控制的單點登錄與授權模型的實現方法。該方法能夠提供認證與權限管理的功能，實現簡單，具有較高實用價值。
上傳時間： 2013-10-13
上傳用戶：weixiao99
為了適應變電站自動化功能的需求，采用IEC6185O標準，使用抽象通信服務接口ACSI和特殊通信服務映射SCSM技術建立了ACSI的服務模型。所建立的ACSI服務模型基本覆蓋變電站自動化系統的功能需要，。能提供對模型中的數據進行讀寫、取代、報告、記錄等服務，實現了應用和通信的分離。
上傳時間： 2013-11-25
上傳用戶：牛津鞋
