此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。
资源简介:此算法能在多项式时间里判定任一给定的2CNF公式是否可满足。是算法中的一个重要问题。
上传时间: 2015-11-07
上传用户:cccole0605
资源简介:用动态规划法实现查找两字符串的公共子序列。是算法中的一个重要问题。
上传时间: 2015-11-07
上传用户:sxdtlqqjl
资源简介:数论相关的一个算法:如何在多项式时间判断素数
上传时间: 2014-07-04
上传用户:ANRAN
资源简介:在有些软件里当鼠标移到某单词上,其注释就会显示单词的中文解释.这样的软件是如何制作的呢?下面我就介绍以下获取鼠标所在单词的方法,至于中文结实要关系到数据库及字库问题在此我不做解释. 首先建立新工程,在FORM上添加一个TEXT文本框. 声明SendMessage函数.
上传时间: 2013-12-10
上传用户:AbuGe
资源简介:能在短时间21天内了解vc的大体框架和流程,迅速掌握编程的一些技巧,是vc初学者的一个选择。
上传时间: 2015-11-21
上传用户:erkuizhang
资源简介:此程序能在MATLAB上实现低通滤波器,功能很强大
上传时间: 2014-01-06
上传用户:gdgzhym
资源简介:基于uclinux采用udp通讯协议实现图象等网络规范文件的传输.采用c/s模式,服务器端实现并发而响应多个客户的请求.经过测试,代码能在linux主机之间,arm与arm之间以及pc与arm之间进行通讯(文件中的readme(此为linux下编写)对代码有个总体说明)
上传时间: 2013-12-28
上传用户:清风冷雨
资源简介:为实现通信的终极目标五个W:任何人(whoever)在任何时间(whenever)任何地点(wherever)与任何他人(whomever)进行任何类型(whatever)的信息交换,则至少通信网的最后一段必须是移动通信系统。由此可见移动通信在现在及未来通信中的重要地位。
上传时间: 2014-01-16
上传用户:维子哥哥
资源简介:哲学家进餐问题是荷兰学者Dijkstra 提出的经典问题之一,它是一个信号量机制问题的应用,在操作系统文化史上具有非常重要的地位。对该问题的剖析有助于学生深刻地理解计算机系统中的资源共享、进程同步、死锁等问题,并能熟练地应用信号量来解决生活中的控制流程...
上传时间: 2013-12-10
上传用户:zhangzhenyu
资源简介:哲学家进餐问题是荷兰学者Dijkstra 提出的经典问题之一,它是一个信号量机制问题的应用,在操作系统文化史上具有非常重要的地位。对该问题的剖析有助于学生深刻地理解计算机系统中的资源共享、进程同步、死锁等问题,并能熟练地应用信号量来解决生活中的控制流程...
上传时间: 2014-01-23
上传用户:teddysha
资源简介:本程序为ad的dsp21990控制芯片程序,其功能是通过传统的PI控制算法来实现对电源的控制,控制程序可以采用.asm也可以采用.C。程序的具体算法和介绍在软件压缩
上传时间: 2015-12-16
上传用户:youth25
资源简介:传教士和野人问题是人工智能中的经典问题。本程序采用递归算法求解。定义一个函数,该函数返回一个解路径,路径可以用规则序列表示,也可以用状态序列表示。比如,用规则序列表示,可以表示为:(1 1)(1 0)。。。 表示:过去1个传教士,一个野人,回来一个...
上传时间: 2013-12-23
上传用户:我们的船长
资源简介:功能: 在目录树中增加一个文件夹。 首先获得鼠标点击处结点的信息,将此结点作为将要插入结点的父亲结点,然后在此结点下插入 “新建文件夹”结点。在右键增加消息映射。
上传时间: 2015-12-01
上传用户:myworkpost
资源简介:卢开澄,《计算机密码学-计算机网络中的数据保密与安全》第三版中的DES程序。在网上搜索过,没有发现网上出现过此源码。经测试加密/解密比较快,加密/解密一次大概2ms左右。
上传时间: 2013-12-24
上传用户:lhw888
资源简介:DEELX 正则表达式引擎(v1.2) DEELX 是一个在 C++ 环境下的与 Perl 兼容的正则表达式引擎。是 RegExLab 开展的一个研究开发项目。 基本特点: 支持与 Perl 兼容的正则表达式语法。 支持 IGNORECASE, SINGLELINE, MULTILINE 等常见匹配模式。 兼容性...
上传时间: 2017-02-21
上传用户:zhenyushaw
资源简介:NCO 在信号处理方面有着广泛的应用。而函数发生器是NCO 中的关键部分,本文基 于FPGA 用状态机和流水线方法实现了CORDIC 算法,并取代了传统的ROM 查找表法。 最后通过Quartus II 软件给出仿真结果,验证了理论的正确性。
上传时间: 2017-04-04
上传用户:iswlkje
资源简介:曲线数据压缩是计算机图形学、计算机自动制图和地理信息系统( GIS) 等学科理论与方法研究的一个重要问题,其实质是一个信息压缩问题.RDP 算法是应用最为广泛的一种,由于容易编程实现且压缩结果较好, GIS 界许多著名商业软件公司(如Intergrap h ,ESRI ,LaserSca...
上传时间: 2017-05-06
上传用户:huannan88
资源简介:这里有加减乘和转置 用C语言编的 注意输入 算法用于稀疏矩阵 首先输入行,列,元素数目 再输入标志位 即每一列的第一个元素是矩阵中的第几个元素 再输入矩阵的元素 再选择符号
上传时间: 2015-02-12
上传用户:diets
资源简介:列主元消去法。计算方法中的一种课程算法
上传时间: 2015-02-21
上传用户:wl9454
资源简介:本程序中的搜索引擎为王小春的《PC游戏编程(人机博弈)》书中的搜索引擎,估值函数和开局库皆为自己设计.内含大量开局库资料和开局库格式转换程序.本版棋力比1.0版棋力增强不少。发布此程序代码之用意在于提高我国共享象棋软件的棋力,让我们大家一起来开发开源...
上传时间: 2015-03-15
上传用户:x4587
资源简介:这是操作系统中的写者优先算法的实现绝对正确
上传时间: 2014-07-05
上传用户:wpt
资源简介:这是一个用JAVA编写的小程序没有解压码是关于jz_chat的希望会对你有所帮助也能对我有所帮助我要下源代码就一个
上传时间: 2015-03-22
上传用户:ouyangtongze
资源简介:这是一个分别用Bezier曲线和B样条曲线进行曲线拟合的例子 程序用VB6.0中文版编写 例子中需要一个窗体和一个按钮(使用默认的名字) 在本例中,黑色的线条是对坐标系上各点的直接连线 黄色的线仅对点间连线进行近似拟合,并不通过每一个点,使用的是B...
上传时间: 2014-11-06
上传用户:manking0408
资源简介:开发平台为Symbian,挂在VC6.0上调试运行。为智能手机短信发送的一个例子。是我做的一个大作业。供大家参考把。
上传时间: 2015-04-07
上传用户:l254587896
资源简介:一个简单的词法分析程序。是编译原理的部分课程设计。因为时间有限。未能完成全部。如果有朋友改了代码或添加了功能使代码更加完善。请与我联系:ningmeng_studio@163.com谢谢. 做的不是很好,请多谅解。
上传时间: 2014-01-12
上传用户:zhuoying119
资源简介:用c++写一个售货员问题。这是高级算法中除了红黑树中最难的一个了。是研究生课程中的的程序实现
上传时间: 2014-09-11
上传用户:epson850
资源简介:C均值的一般算法。 是C编的,比较简单的程序。
上传时间: 2014-09-11
上传用户:dancnc
资源简介:Embedded Internet(ICES).ppt 内容是有关于嵌入式Internet(Embedded Internet Market)在市场上的应用。是篇不错的文章。
上传时间: 2014-01-07
上传用户:jennyzai
资源简介:针对某些嵌入式系统中处理数据量大和速度要求高的特点, 在剖析了uCOS - Ⅱ内核工作原理的基础上, 提出一种应用于uCOS - Ⅱ中的大容量内存文件系统的实现方案1 该方案通过在内存中建立文件系统, 将临时数据有效组织于内存中, 既提高访问速度又节省外存空间
上传时间: 2013-12-20
上传用户:咔乐坞
资源简介:著名的JAVA编程书籍 讲解了一系列JAVA编程中的注意事项 这些东西也许会花费程序员大量的时间来解决
上传时间: 2014-10-12
上传用户:13188549192