1971年Cook发表的库克定理,证明了第一的NPC问题:3SAT

相 关 资 源

• 1971年Cook发表的库克定理,证明了第一的NPC问题:3SAT免费下载

  资源简介：1971年Cook发表的库克定理,证明了第一的NPC问题:3SAT

  标签： 1971 Cook 3SAT NPC

  上传时间： 2016-07-09

  上传用户：dave520l

• 顶点覆盖问题的NP完全证明和顶点覆盖优化问题的近似算法免费下载

  资源简介：顶点覆盖问题的NP完全证明和顶点覆盖优化问题的近似算法

  标签： 算法

  上传时间： 2015-09-08

  上传用户：lhc9102

• 改进的快速SPIHT 算法.针对原算法的不足引入了“最小阈值”和“最小输出位”,同时改变了原算法的扫描顺序,降低了算法的复杂程度,并使其更有利于并行优化处理。实验证明,改进后的算法减少了编解码过程中的免费下载

  资源简介：改进的快速SPIHT 算法.针对原算法的不足引入了“最小阈值”和“最小输出位”,同时改变了原算法的扫描顺序,降低了算法的复杂程度,并使其更有利于并行优化处理。实验证明,改进后的算法减少了编解码过程中的存储容量和时间消耗,而重建图像的峰值信噪比和人眼视觉...

  标签： 算法 SPIHT 改变 并行优化

  上传时间： 2014-01-07

  上传用户：lunshaomo

• SEG Y 数据交换格式SEG Y rev 0 自1975 年推 出以来在地球物理界得到了广泛的应用$并引发了 一系列的革新# 随着三维数据采集技术以及高速 度％ 大容量记录媒体的应用$SEG免费下载

  资源简介：SEG Y 数据交换格式SEG Y rev 0 自1975 年推 出以来在地球物理界得到了广泛的应用$并引发了 一系列的革新# 随着三维数据采集技术以及高速 度％ 大容量记录媒体的应用$SEG Y rev 0 已经不能 满足现阶段数据采集％ 处理及存储的需求$ 因此$ SEG 技术标准委...

  标签： SEG 1975 rev 数据交换格式

  上传时间： 2014-02-05

  上传用户：zsjzc

• 本文介绍了在数字下变频(DDC) 中的抽取滤波器系统设计方法和具体实现方案。采用CIC 滤波器、HB 滤波器、FIR 滤波器三级级联的方式来降低采样率。通过实际验证,证明了设计的可行性免费下载

  资源简介：本文介绍了在数字下变频(DDC) 中的抽取滤波器系统设计方法和具体实现方案。采用CIC 滤波器、HB 滤波器、FIR 滤波器三级级联的方式来降低采样率。通过实际验证,证明了设计的可行性

  标签： 滤波器 DDC CIC FIR

  上传时间： 2013-12-25

  上传用户：小宝爱考拉

• 对ofdm系统的基本原理做了详尽的介绍其中包括多所大学老师发表的论文免费下载

  资源简介：对ofdm系统的基本原理做了详尽的介绍其中包括多所大学老师发表的论文

  标签： ofdm 大学 论文

  上传时间： 2013-12-10

  上传用户：独孤求源

• 阐述了建立物质本构关系时应满足的基本公理, 较详细地推导了各种类型粘 弹性物质的本构关系, 论述了变率理论与泛函理论之间的关系, 推导了对于粘弹性问题 求解具有实用意义的对应定理, 并以简单的例子免费下载

  资源简介：阐述了建立物质本构关系时应满足的基本公理, 较详细地推导了各种类型粘 弹性物质的本构关系, 论述了变率理论与泛函理论之间的关系, 推导了对于粘弹性问题 求解具有实用意义的对应定理, 并以简单的例子来说明对应定理的应用。

  标签： 弹性 定理

  上传时间： 2017-02-04

  上传用户：manking0408

• AVR单片机实现的MP3机(包括了所有的制做资料和代码)免费下载

  资源简介：·AVR单片机实现的MP3机(包括了所有的制做资料和代码) 文件列表:   PCB.rar   主机ICCAVR源码.zip   主机线路图.pdf   红外线接收器线路图.pdf   通过USB的BOOTLOADER的ICCAVR格式源码.zip   遥控器ICCAVR源码.zip   遥控器线路图.pdf

  标签： AVR MP3 单片机 代码

  上传时间： 2013-06-20

  上传用户：18274401755

• 它对bekerly标准socket的库函数进行了简单的包装免费下载

  资源简介：它对bekerly标准socket的库函数进行了简单的包装，使标准函数的调用更加直观。

  标签： bekerly socket 标准 库函数

  上传时间： 2013-12-23

  上传用户：hongmo

• 它对符合ansi国际标准的库函数进行了简单的包装免费下载

  资源简介：它对符合ansi国际标准的库函数进行了简单的包装，使标准函数的调用更加直观。

  标签： ansi 国际标准 包装 库函数

  上传时间： 2015-01-14

  上传用户：busterman

• c++写的一个关于数据结构的程序,其中包含了硬币的分法等算法,相信会给喜欢数据结构的朋友带来帮助!免费下载

  资源简介：c++写的一个关于数据结构的程序,其中包含了硬币的分法等算法,相信会给喜欢数据结构的朋友带来帮助!

  标签： 数据结构 分 带来 程序

  上传时间： 2015-03-27

  上传用户：王小奇

• NET-DL 套件由日立SH7750处理 器、32M SDRAM 以及8M 的FLASH为用户的软件研发提供了足够的空间。板上提供非常 丰富的外设接口：一个10M/100M 自适应快速以太网接口、两个免费下载

  资源简介：NET-DL 套件由日立SH7750处理 器、32M SDRAM 以及8M 的FLASH为用户的软件研发提供了足够的空间。板上提供非常 丰富的外设接口：一个10M/100M 自适应快速以太网接口、两个RS-232 串口、一个JTAG调 试口以及若干个基于PIO的指示灯。系统具有体积小、耗电低、处...

  标签： NET-DL FLASH SDRAM 7750

  上传时间： 2014-01-12

  上传用户：黄华强

• 这是数据库管理课程的PPT教材.ORACLE9i的版本.他介绍了数据库的创建,修改,查询等等功能.本教材是国外大学的课堂讲义.免费下载

  资源简介：这是数据库管理课程的PPT教材.ORACLE9i的版本.他介绍了数据库的创建,修改,查询等等功能.本教材是国外大学的课堂讲义.

  标签： ORACLE 教材 数据库管理

  上传时间： 2015-03-31

  上传用户：1109003457

• mysql的中文帮助文档,官方的 很有用的帮助,其中包括了大量的使用信息 和mysql的api接口 都有函数的功能介绍 加紧下载吧! 很难得哦!免费下载

  资源简介：mysql的中文帮助文档,官方的 很有用的帮助,其中包括了大量的使用信息 和mysql的api接口 都有函数的功能介绍 加紧下载吧! 很难得哦!

  标签： mysql api 文档 接口

  上传时间： 2015-04-02

  上传用户：wang0123456789

• 对usb 的工作原理进行了细致的分析,还分析了usb整个信息的交流过程.免费下载

  资源简介：对usb 的工作原理进行了细致的分析,还分析了usb整个信息的交流过程.

  标签： usb 分 工作原理 交流

  上传时间： 2013-11-29

  上传用户：gaome

• 哈哈！终于找到了最新版本的UCGUI！ 增加了不少的功能免费下载

  资源简介：哈哈！终于找到了最新版本的UCGUI！ 增加了不少的功能，只是缺少MEMDEV！ 那位大侠找到了共献一下：Ｐ UCGUI3.90版源码有如下几点新的变化. 1.这个版本的UCGUI提供了模拟器的源码(早知我不用那么辛苦反编译出模拟器源码了,不过大家可以比较一下看). ...

  标签： UCGUI 版本

  上传时间： 2014-01-14

  上传用户：chenxichenyue

• JSP核心技术和电子商务应用实例源代码分析,对JSP的核心技术做了言简意赅的介绍免费下载

  资源简介：JSP核心技术和电子商务应用实例源代码分析,对JSP的核心技术做了言简意赅的介绍，并且该书中有对JSP扩展的电子商务示例，有很高的参考性

  标签： JSP 核心技术 应用实例 电子商务

  上传时间： 2014-01-08

  上传用户：xc216

• 一个和操作系统登陆有关的程序源代码,显示了logon的相关功能免费下载

  资源简介：一个和操作系统登陆有关的程序源代码,显示了logon的相关功能

  标签： logon 操作系统 程序 源代码

  上传时间： 2014-01-15

  上传用户：hzy5825468

• AVR单片机实现的MP3机,包括了所有的制做资料和代码.免费下载

  资源简介：AVR单片机实现的MP3机,包括了所有的制做资料和代码.

  标签： AVR MP3 单片机 代码

  上传时间： 2015-05-04

  上传用户：R50974

• 摩托罗拉Motolola公司网络处理器C3的示范代码.实现了ATM的AAL2层交换功能.想了解网络处理器的可以免费下载

  资源简介：摩托罗拉Motolola公司网络处理器C3的示范代码.实现了ATM的AAL2层交换功能.想了解网络处理器的可以

  标签： Motolola AAL2 ATM 网络处理器

  上传时间： 2015-05-06

  上传用户：二驱蚊器

• 用SST89系列单片机存储超过64K的数据的一个例子,可节省外部的24C512,24C16,24C02等EEPROM,既省出了I/O的口,又增加了数据的保密性.免费下载

  资源简介：用SST89系列单片机存储超过64K的数据的一个例子,可节省外部的24C512,24C16,24C02等EEPROM,既省出了I/O的口,又增加了数据的保密性.

  标签： 24 EEPROM SST 64K

  上传时间： 2015-05-15

  上传用户：moerwang

• 使用半适应的huffman算法实现了文件的压缩和解压免费下载

  资源简介：使用半适应的huffman算法实现了文件的压缩和解压

  标签： huffman 算法 解压

  上传时间： 2015-05-16

  上传用户：moerwang

• 摘　要:基于材料的各向同性理论,根据应力—应变增量关系,建立了一个混凝土的三维本构关系模型。采用 了目前较为成熟的Ottosen的破坏准则,利用了Sargin的单轴应力—应变关系,并在三维增量非线免费下载

  资源简介：摘　要:基于材料的各向同性理论,根据应力—应变增量关系,建立了一个混凝土的三维本构关系模型。采用 了目前较为成熟的Ottosen的破坏准则,利用了Sargin的单轴应力—应变关系,并在三维增量非线性关系中引入等 效单轴切线模量。所用的模型中的参数是根据前人...

  标签： Ottosen Sargin 应力 增量

  上传时间： 2014-12-09

  上传用户：顶得柱

• 本系统详细的描述了智能防盗系统的基本原理 组成 对电话网络的接入方法进行了详细的描述免费下载

  资源简介：本系统详细的描述了智能防盗系统的基本原理 组成 对电话网络的接入方法进行了详细的描述

  标签： 智能防盗系统 电话网络

  上传时间： 2015-05-30

  上传用户：sunjet

• Timer类 Java为程序代码的定时执行提供了方便的类。例如免费下载

  资源简介：Timer类 Java为程序代码的定时执行提供了方便的类。例如，如果编写一个时钟应用程序，希望他能够每秒钟更新一次显示，或者想在一些预定的时间播放一个报警声音

  标签： Timer Java 程序 代码

  上传时间： 2015-06-04

  上传用户：tuilp1a

• pso粒子群算法的matlab程序.实现了第一个函数的优化.其他函数类似.比较简单明了免费下载

  资源简介：pso粒子群算法的matlab程序.实现了第一个函数的优化.其他函数类似.比较简单明了

  标签： matlab pso 函数 粒子群算法

  上传时间： 2013-12-21

  上传用户：1079836864

• java编写的httpserver示例 采用了mina的网络程序框架免费下载

  资源简介：java编写的httpserver示例 采用了mina的网络程序框架

  标签： httpserver java mina 编写

  上传时间： 2014-01-13

  上传用户：talenthn

• vc写的源程序,是关于游戏类的程序。调用了系统的很多API免费下载

  资源简介：vc写的源程序,是关于游戏类的程序。调用了系统的很多API

  标签： API 源程序 程序

  上传时间： 2015-07-12

  上传用户：gengxiaochao

• 此资料是美国名校嵌入式系统课程的精品讲义,该讲义从嵌入式系统的各个方面进行了详细的阐述,对在校学生有很大的帮助.免费下载

  资源简介：此资料是美国名校嵌入式系统课程的精品讲义,该讲义从嵌入式系统的各个方面进行了详细的阐述,对在校学生有很大的帮助.

  标签： 嵌入式系统 讲义 美国 方面

  上传时间： 2013-12-19

  上传用户：123456wh

• 学习嵌入式浏览器的很好的参考资料。对embeded linux下的konqueror浏览器作了深入的分析。免费下载

  资源简介：学习嵌入式浏览器的很好的参考资料。对embeded linux下的konqueror浏览器作了深入的分析。

  标签： konqueror embeded linux 浏览器

  上传时间： 2014-10-31

  上传用户：alan-ee