搜索资源列表
SAT4J_JAVA
- Java版的SAT求解器,基于miniSAT-Java version of the SAT solver, based on miniSAT
lishanshuxue
- 1.这个计算器可用在离散数学的数理逻辑中,纯属工具,随意传播,由java语言实现,解压即可运行,需要按照java环境。可以去这里下载运行环境:http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入,也可用相应的按钮输入,变元只能是PQRST。由于等价连接词无法识别,所以用等号代替,这也是一个无奈的选择。 4
4.5_rtc_test
- Embest S3C44B0X Evaluation Board RTC Test Example RTC Check(Y/N)? y Set Default Time at 2004-12-31 FRI 23:59:59 Set Alarm Time at 2005-01-01 00:00:01 ... RTC Alarm Interrupt O.K. ... Current Time
Calcul
- 程序实现最基本的万年历功能。 显示画面式样如下: Mon. Tues. Wed. Thurs. Fri. Sat. Sun. 1 2 3 4 5 6 7 8 9 10 11 12 13 ………… Please input year and month 画面要求说明: 1 显示某年某月的一个月内的月历。 2 周末的日期和星期标记用红色显示。 3 显示的日期右侧对齐。并且和星
sp-1.4
- 人工智能的一个重要方法,随机SAT问题,即一种复杂的组合优化方法,算法清晰,简单,易懂,但涉及较深的数学知识,(该源码基于linux平台的C程序)
DVB-S421
- Digital Video Broadcasting (DVB) Framing structure, channel coding and modulation for 11/12 GHz satellite services-Digital Video Broadcasting (DVB) Framing structure, channel coding and modulation for 11/12 GHz sat
SAT4J_JAVA
- Java版的SAT求解器,基于miniSAT-Java version of the SAT solver, based on miniSAT
lishanshuxue
- 1.这个计算器可用在离散数学的数理逻辑中,纯属工具,随意传播,由java语言实现,解压即可运行,需要按照java环境。可以去这里下载运行环境:http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入,也可用相应的按钮输入,变元只能是PQRST。由于等价连接词无法识别,所以用等号代替,这也是一个无奈的选择。 4
Y847565
- 提高卫星通信信道传输效率的新途径本 文 结 合 V SAT卫星通信系统设计中涉及卫星通信传输技术极为重要的 信道编码与调制解调方式,探讨了各种新型的卫星信道编码与调制解调技术, 它们的原理及在卫星通信中的应用。在数字调制中,信号传输质量主要取决于 比特差错率BER (Bit Error Rate),因此要尽可能采用相同的每比特信号能量与 噪声功率谱密度比(Eb/N.)的条件下,BER低的调制方式,以节省卫星功率 另
4.5_rtc_test
- Embest S3C44B0X Evaluation Board RTC Test Example RTC Check(Y/N)? y Set Default Time at 2004-12-31 FRI 23:59:59 Set Alarm Time at 2005-01-01 00:00:01 ... RTC Alarm Interrupt O.K. ... Current Time
sp-1.4
- 人工智能的一个重要方法,随机SAT问题,即一种复杂的组合优化方法,算法清晰,简单,易懂,但涉及较深的数学知识,(该源码基于linux平台的C程序)-Artificial Intelligence an important method, random SAT problems, namely, a complex combinatorial optimization method, the algorithm clear, simple
3SAT-NP-Completeness
- Proff of the NP-Completeness of the 3-SAT problem
dnl4451
- *.Sat file format for read/writen ACIS files
SAT-B55
- Sony SAT-B55 service manual
sat
- Reference for creating ACIS SAT File format
sat
- SAT问题也称为合取范式的可满足问题,一个合取范式形如:A1∧A2∧…∧An,子句Ai(1≤i≤n)形如:a1∨a2∨…∨ak,其中,ai称为文字,为某一布尔变量或该布尔变量的非。SAT问题是指:是否存在一组对所有布尔变量的赋值(TRUE或FALSE),使得整个合取范式取值为真。-SAT problem is also known as conjunctive normal form satisfiability problem, a
sat-file-structure-based-on-acis
- acis sat 文件格式说明,对于三维cad开发十分有用-acis sat file format descr iption is useful for the development of three-dimensional cad
3-SAT
- programa java 3-sat. con geneticos
Mang-giam-sat-va-dieu-khien_MC68HC11_RS485
- Du an mang gim sat va dieu khien su dung MC68HC11_RS485. Phan mem ket noi viet bang ngon ngu VB6.
SAT-4 - Rev 6
- SCSI/ATA Translation SAT-4 - Rev 6