基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。 ...
/dl/126259.html
标签： 自动 机器学习 推理机 程序
上传时间： 2013-11-30
上传用户：GavinNeko
使用51实现的高速电流下降沿记录，
/dl/126875.html
标签： 高速电流 记录
上传时间： 2014-01-26
上传用户：xlcky
一种接口控制板的逻辑电路设计CPLD程序。
/dl/127478.html
标签： CPLD 接口 控制板 逻辑
上传时间： 2014-11-16
上传用户：康郎
CVSD语音压缩的算法和程序流程.量阶δ能够自动地随输入信号平均斜率的大小而连续变化,译码输出信号实现了对输入信号的理想逼近,最后在可编程逻辑器件(FPGA)中实现了CVSD调制功能。
/dl/127521.html
标签： CVSD FPGA 输入信号 语音压缩
上传时间： 2015-03-12
上传用户：libenshu01
UPSD3200系列单片机CPLD逻辑功能C51开发包代码!
/dl/127695.html
标签： UPSD 3200 CPLD C51
上传用户：源弋弋
具有高可靠性的高速连续数据采集的设计与实施方法，一篇有关数据采集的论文
/dl/128032.html
标签： 可靠性 数据采集
上传时间： 2014-11-29
上传用户：zwei41
本设计主要由数字信号发生器和逻辑分析仪组成，其中数字信号发生器运用了89C51单片机系统，可以重复输出8路循环逻辑移位序列，逻辑分析仪用了89C55单片机系统，可以实现8路信号的采集和显示(时间域和空间域)，3级触发字可调，有多种触发功能，可显示时标线,使逻辑分析仪能从大量的数据流中获得有分析意义的数据。 ...
/dl/128664.html
标签： 数字信号发生器 逻辑分析仪
上传时间： 2013-12-29
上传用户：hphh
讲述高速数字电路的设计和布线原理，有很多具体的技巧和经验
/dl/129026.html
标签： 高速数字电路 布线
上传时间： 2015-03-15
上传用户：aeiouetla
本程序通过对研祥EVOC_PCL813高速A/D数据采集卡的驱动，采集40路模拟通道的数据，并以数据文件的形式存储在硬盘上，生成文本文件
/dl/131439.html
标签： EVOC_PCL 813 程序 数据采集卡
上传时间： 2014-01-03
上传用户：guanliya
JSP的强大优势在于把一种应用的商务逻辑和它的介绍分离开来。用 Smalltalk的面向对象的术语来说， JSP鼓励MVC(model-view-controller)的web应用。JSP的classes 或 beans 是模型, JSP 是这个视图, 而Servlet是控制器。这个例子是一个简单的留言板 ...
/dl/131628.html
标签： Smalltalk JSP 商 分离
上传时间： 2013-12-20
上传用户：003030
虫虫下载站 半导体技术网 电子研发网 源码地带 电源技术网 单片机技术网 医疗电子技术 嵌入式系统与单片机
