Coverity_White_Paper-SAT-Next_Gen

Coverity_White_Paper-SAT-Next_Generation_Static_Analysis.pdf for Program Analysis

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设备中获得设备状态.

标签： SAT 单片机设备通讯程序

上传时间： 2014-01-04

上传用户：dragonhaixm
Java版的SAT求解器

Java版的SAT求解器，基于miniSAT

标签： Java SAT

上传时间： 2013-12-31

上传用户：baitouyu
这是算法中关于SAT问题的解决方法,希望对你有帮助,

这是算法中关于SAT问题的解决方法,希望对你有帮助,

标签： SAT 算法

上传时间： 2014-01-04

上传用户：dianxin61
提高卫星通信信道传输效率的新途径本文结合 V SAT卫星通信系统设计中涉及卫星通信传输技术极为重要的信道编码与调制解调方式

提高卫星通信信道传输效率的新途径本文结合 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

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问题和多目标规划问题上的应用,优秀的硕士论文，和大家一起分享

标签： SAT 粒子群优化算法多目标

上传时间： 2016-02-25

上传用户：songnanhua
这是一种很好的SAT解析器。通过它

这是一种很好的SAT解析器。通过它，我们可以判断SAT问题是否有解，并且在有解的情况下能找到解

标签： SAT 解析器

上传时间： 2014-01-12

上传用户：tzl1975
这是一种非常有用的SAT解析器

这是一种非常有用的SAT解析器，速度快，结果准确。希望对大家有所帮助。

标签： SAT 解析器

上传时间： 2014-01-20

上传用户：shizhanincc
Proff of the NP-Completeness of the 3-SAT problem

Proff of the NP-Completeness of the 3-SAT problem

标签： NP-Completeness the problem Proff

上传时间： 2017-04-13

上传用户：czl10052678