基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
标签： 自动 机器学习 推理机 程序
上传时间： 2013-11-30
上传用户：GavinNeko
云台控制程序
标签： 控制 程序
上传时间： 2015-03-09
上传用户：731140412
VB与三凌PLC通信. 好适就数据召唤使用.也是学习串通信编程好例子.
标签： PLC 通信 数据 编程
上传时间： 2015-03-11
上传用户：zaizaibang
一种接口控制板的逻辑电路设计CPLD程序。
标签： CPLD 接口 控制板 逻辑
上传时间： 2014-11-16
上传用户：康郎
CVSD语音压缩的算法和程序流程.量阶δ能够自动地随输入信号平均斜率的大小而连续变化,译码输出信号实现了对输入信号的理想逼近,最后在可编程逻辑器件(FPGA)中实现了CVSD调制功能。
标签： CVSD FPGA 输入信号 语音压缩
上传时间： 2015-03-12
上传用户：libenshu01
UPSD3200系列单片机CPLD逻辑功能C51开发包代码!
标签： UPSD 3200 CPLD C51
上传用户：源弋弋
凌阳单片机的语音程序1，供学习凌阳单片机的学习者参考
标签： 凌阳单片机 语音 程序
上传用户：a3318966
凌阳单片机的语音程序2，供学习凌阳单片机的学习者参考
上传时间： 2014-01-24
上传用户：924484786
凌阳单片机的语音程序3，供学习凌阳单片机的学习者参考
上传用户：gonuiln
凌阳单片机的语音程序4，供学习凌阳单片机的学习者参考
上传时间： 2014-01-01
上传用户：努力努力再努力
