这是一种很好的SAT解析器。通过它,我们可以判断SAT问题是否有解,并且在有解的情况下能找到解
上传时间: 2014-01-12
上传用户:tzl1975
利用 SPCE061A 单片机、SPR 模组、液晶1602 制作音乐盒播放器,要求具有下述功能: 1. 可以实现多首音乐的播放; 2. 可以实现音乐播放的开始、停止、暂停、上一首、下一首功能; 3. 在播放音乐时可以在液晶1602 上显示均衡效果; 4. 具有友好的用户界面
上传时间: 2013-11-25
上传用户:缥缈
在具有模式的完整统计知识条件下,按照贝叶斯决策理论进行设计的一种最优分类器。分类器是对每一个输入模式赋予一个类别名称的软件或硬件装置,而贝叶斯分类器是各种分类器中分类错误概率最小或者在预先给定代价的情况下平均风险最小的分类器。
上传时间: 2016-12-17
上传用户:笨小孩
CppUnit Cookbook中文版 你希望知道你的代码是否正在工作。 你该怎么办? 有很多种方法。使用调试器直接调试或者在你的代码里乱丢一些流输出指令是两种简单的方法,但是它们都有自己的缺点。直接调试代码是个好主意,但是它不是自动进行的。你不得不在每次改动代码以后重新调试。输出流文本也不错,但是它使代码变得面目可憎,并且大多数情况下,它输出的信息比你想要的要多。
上传时间: 2014-12-21
上传用户:jqy_china
set(key6) left(key5) right(key4) up(key3) down(key2) OK(key1) 功能一:时钟 时钟计时; 按下set(一次)键即可调时间,此时时钟计时停止,按left,right左右移动点,移动到需调的的数码管, 按up,down进行数字的调节,按OK键保存退出。 功能二:整点报时和闹钟 当时钟走到整时时,报时滴滴响四次; 按set(二次)键进入调节闹钟,此时时钟继续走动,按left,right左右移动点,移动到需调的的数码管, 按up,down进行数字的调节,按OK键保存退出,当时钟走到定时的时间时,蜂鸣器响。 功能三:日历 由于数码管有限 ,就做了润年的日历,刚好今年也是,左边四个显示月份和日,左数第五个显分隔符“—”, 最后一个显示星期几,时钟满二十四小时,日历随之走动; 按下set(三次)键即可调日历,按left,right左右移动点,移动到需调的的数码管, 按up,down进行数字的调节,按OK键保存退出。
上传时间: 2013-12-01
上传用户:cccole0605
Java2与面向对象分析与范例。光盘的根目录的JavaEX文件夹下,以章为单位分类存放。在使用本书范例时,请将光盘中的JavaEX文件夹直接复制到C:\下,然后利用资源管理器,取消文件夹内各文件的只读属性。
上传时间: 2013-12-24
上传用户:wxhwjf
传统无差拍控制应用于UPS 逆变器,存在对系统参数变化的鲁棒性问题。本文提出了一种 新的控制方案—渐近收敛无差拍控制。该方案与传统无差拍控制的区别是,不是将正弦信号作 为参考电压,而是采用当前的输出电压和正弦信号的加权平均作为下一控制周期的目标量
上传时间: 2014-01-19
上传用户:851197153
DOS下串口通信程序库,程序结构较好,能编出用中断方式接收/发送的多串口通信程序。 笔者曾用于嵌入式DOS控制变频器。
上传时间: 2014-07-03
上传用户:ardager
基于JAVA的并行程序编辑器研究与设计 并行编程在高性能计算领域的应用越来越广泛。国家863计划项目“网格服务环境结点建设及其支撑技术研究”的子课题 “用户开发环境研究”,旨在开发出以客户端/服务器模式运行的,能在远程编辑、编译、运行、调试并行程序的集成开发环境。并行程序的源代码编辑应该在一个友好的编辑器下进行。当前的编辑器种类繁多,但专门针对并行程序且便于集成到远程集成开发环境中的编辑器很少。编辑器的好坏不仅影响着用户编写程序的效率,而且影响着用户对整个集成开发环境的认可程度。本文设计实现了一个能独立运行的并行程序编辑器。首先在需求分析的基础上,提出了并行程序编辑器的总体框架。然后对高亮显示这一核心问题进行了深入剖析,并对文件基本操作、基本编辑功能、关键字查找与替换、格式自动编排进行了较为详细的论述。最后,通过用户亲自体验验证了该编辑器的可靠性和实用性。该编辑器支持c/c++语言编写的MPI并行程序,容易扩展到支持Fortran语言、PVM并行程序等。基本满足一般用户需求,且易于集成到集成开发环境中。
上传时间: 2016-12-25
上传用户:x4587
文本编辑器是最常用的文档创建和编辑工具。随着计算机科学与技术的发展,用来处理文本的编辑器随处可见,并且形式多样。比如,Windows下的记事本,写字板,EditPlus,UltraEdit等都是十分优秀的文本编辑器和处理工具。在本章中,我们将向读者讲解如何利用C语言来发展开发一个简易的文本编辑器
上传时间: 2014-05-24
上传用户:源弋弋