Coverity_White_Paper-SAT-Next_Generation_Static_Analysis.pdf for Program Analysis
標簽： Coverity_White_Paper-SAT-Next_Gen eration_Static_Analysis Analysis Program
上傳時間： 2013-12-23
上傳用戶：ouyangtongze
單片機通訊程序,從單片機SAT設備中獲得設備狀態.
標簽： SAT 單片機 設備 通訊程序
上傳時間： 2014-01-04
上傳用戶：dragonhaixm
Java版的SAT求解器，基于miniSAT
標簽： Java SAT
上傳時間： 2013-12-31
上傳用戶：baitouyu
這是算法中關于SAT問題的解決方法,希望對你有幫助,
標簽： SAT 算法
上傳用戶：dianxin61
提高衛星通信信道傳輸效率的新途徑本 文 結 合 V SAT衛星通信系統設計中涉及衛星通信傳輸技術極為重要的 信道編碼與調制解調方式，探討了各種新型的衛星信道編碼與調制解調技術， 它們的原理及在衛星通信中的應用。在數字調制中，信號傳輸質量主要取決于 比特差錯率BER (Bit Error Rate)，因此要盡可能采用相同的每比特信號能量與 噪聲功率譜密度比(Eb/N.)的條件下，BER低的調制方式，以節省衛星功率 另外頻帶利用率要盡可能的高，以節省寶貴的衛星頻帶。本文還對各種不同的 差錯編碼與調制技術進行了實驗和詳細的性能比較。
標簽： 衛星通信 SAT 信道傳輸 傳輸技術
上傳時間： 2015-09-16
上傳用戶：AbuGe
C 語言開發的日歷（課程設計很不錯的） Month:123/1 --- --- --- --- --- --- Sun Mon Tue Wed Thu Fri Sat 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
標簽： Month 123 Mon Fri
上傳時間： 2013-12-24
上傳用戶：a673761058
粒子群優化算法及其在SAT問題和多目標規劃問題上的應用,優秀的碩士論文，和大家一起分享
標簽： SAT 粒子群 優化算法 多目標
上傳時間： 2016-02-25
上傳用戶：songnanhua
這是一種很好的SAT解析器。通過它，我們可以判斷SAT問題是否有解，并且在有解的情況下能找到解
標簽： SAT 解析器
上傳時間： 2014-01-12
上傳用戶：tzl1975
這是一種非常有用的SAT解析器，速度快，結果準確。希望對大家有所幫助。
上傳時間： 2014-01-20
上傳用戶：shizhanincc
Proff of the NP-Completeness of the 3-SAT problem
標簽： NP-Completeness the problem Proff
上傳時間： 2017-04-13
上傳用戶：czl10052678
蟲蟲下載站版權所有 京ICP備2021023401號-1
