搜索资源列表

  1. SAT4J_JAVA

    0下载:
  2. Java版的SAT求解器,基于miniSAT-Java version of the SAT solver, based on miniSAT
  3. 所属分类:其它

    • 发布日期:2008-10-13
    • 文件大小:2.53mb
    • 提供者:baixi
  1. lishanshuxue

    0下载:
  2. 1.这个计算器可用在离散数学的数理逻辑中,纯属工具,随意传播,由java语言实现,解压即可运行,需要按照java环境。可以去这里下载运行环境:http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入,也可用相应的按钮输入,变元只能是PQRST。由于等价连接词无法识别,所以用等号代替,这也是一个无奈的选择。 4
  3. 所属分类:JSP源码/Java

    • 发布日期:2008-10-13
    • 文件大小:6.79mb
    • 提供者:vintoak
  1. 4.5_rtc_test

    0下载:
  2. 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
  3. 所属分类:其它资源

    • 发布日期:2008-10-13
    • 文件大小:6.7kb
    • 提供者:zhang
  1. Calcul

    0下载:
  2. 程序实现最基本的万年历功能。 显示画面式样如下: 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 显示的日期右侧对齐。并且和星
  3. 所属分类:界面编程

    • 发布日期:2008-10-13
    • 文件大小:4.41kb
    • 提供者:xoaxiao
  1. sp-1.4

    0下载:
  2. 人工智能的一个重要方法,随机SAT问题,即一种复杂的组合优化方法,算法清晰,简单,易懂,但涉及较深的数学知识,(该源码基于linux平台的C程序)
  3. 所属分类:其它资源

    • 发布日期:2008-10-13
    • 文件大小:1.43mb
    • 提供者:lily yin
  1. DVB-S421

    0下载:
  2. 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
  3. 所属分类:流媒体/Mpeg4

    • 发布日期:2024-11-30
    • 文件大小:341kb
    • 提供者:刘洪林
  1. SAT4J_JAVA

    0下载:
  2. Java版的SAT求解器,基于miniSAT-Java version of the SAT solver, based on miniSAT
  3. 所属分类:其他小程序

    • 发布日期:2024-11-30
    • 文件大小:2.53mb
    • 提供者:baixi
  1. lishanshuxue

    0下载:
  2. 1.这个计算器可用在离散数学的数理逻辑中,纯属工具,随意传播,由java语言实现,解压即可运行,需要按照java环境。可以去这里下载运行环境:http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入,也可用相应的按钮输入,变元只能是PQRST。由于等价连接词无法识别,所以用等号代替,这也是一个无奈的选择。 4
  3. 所属分类:JSP源码/Java

    • 发布日期:2024-11-30
    • 文件大小:6.79mb
    • 提供者:vintoak
  1. Y847565

    0下载:
  2. 提高卫星通信信道传输效率的新途径本 文 结 合 V SAT卫星通信系统设计中涉及卫星通信传输技术极为重要的 信道编码与调制解调方式,探讨了各种新型的卫星信道编码与调制解调技术, 它们的原理及在卫星通信中的应用。在数字调制中,信号传输质量主要取决于 比特差错率BER (Bit Error Rate),因此要尽可能采用相同的每比特信号能量与 噪声功率谱密度比(Eb/N.)的条件下,BER低的调制方式,以节省卫星功率 另
  3. 所属分类:软件工程

    • 发布日期:2024-11-30
    • 文件大小:3.65mb
    • 提供者:亮仔
  1. 4.5_rtc_test

    0下载:
  2. 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
  3. 所属分类:嵌入式Linux

    • 发布日期:2024-11-30
    • 文件大小:6kb
    • 提供者:zhang
  1. sp-1.4

    0下载:
  2. 人工智能的一个重要方法,随机SAT问题,即一种复杂的组合优化方法,算法清晰,简单,易懂,但涉及较深的数学知识,(该源码基于linux平台的C程序)-Artificial Intelligence an important method, random SAT problems, namely, a complex combinatorial optimization method, the algorithm clear, simple
  3. 所属分类:人工智能/神经网络/遗传算法

    • 发布日期:2024-11-30
    • 文件大小:1.43mb
    • 提供者:lily yin
  1. 3SAT-NP-Completeness

    0下载:
  2. Proff of the NP-Completeness of the 3-SAT problem
  3. 所属分类:行业发展研究

    • 发布日期:2024-11-30
    • 文件大小:90kb
    • 提供者:besbatti
  1. dnl4451

    0下载:
  2. *.Sat file format for read/writen ACIS files
  3. 所属分类:文件操作

    • 发布日期:2024-11-30
    • 文件大小:774kb
    • 提供者:serj
  1. SAT-B55

    0下载:
  2. Sony SAT-B55 service manual
  3. 所属分类:单片机(51,AVR,MSP430等)

    • 发布日期:2024-11-30
    • 文件大小:5.52mb
    • 提供者:romulan
  1. sat

    0下载:
  2. Reference for creating ACIS SAT File format
  3. 所属分类:Windows编程

    • 发布日期:2024-11-30
    • 文件大小:76kb
    • 提供者:esu
  1. sat

    0下载:
  2. 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
  3. 所属分类:其他游戏

    • 发布日期:2024-11-30
    • 文件大小:72kb
    • 提供者:shy
  1. sat-file-structure-based-on-acis

    0下载:
  2. acis sat 文件格式说明,对于三维cad开发十分有用-acis sat file format descr iption is useful for the development of three-dimensional cad
  3. 所属分类:绘图程序

    • 发布日期:2024-11-30
    • 文件大小:76kb
    • 提供者:zhangscott
  1. 3-SAT

    0下载:
  2. programa java 3-sat. con geneticos
  3. 所属分类:JSP源码/Java

    • 发布日期:2024-11-30
    • 文件大小:3.16mb
    • 提供者:luna
  1. Mang-giam-sat-va-dieu-khien_MC68HC11_RS485

    0下载:
  2. Du an mang gim sat va dieu khien su dung MC68HC11_RS485. Phan mem ket noi viet bang ngon ngu VB6.
  3. 所属分类:软件工程

    • 发布日期:2024-11-30
    • 文件大小:1.25mb
    • 提供者:hao
  1. SAT-4 - Rev 6

    0下载:
  2. SCSI/ATA Translation SAT-4 - Rev 6
  3. 所属分类:其他小程序

    • 发布日期:2024-11-30
    • 文件大小:1.26mb
    • 提供者:rrreal
« 12 3 4 »

源码中国 www.ymcn.org