基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。 ...
/dl/126259.html
标签： 自动 机器学习 推理机 程序
上传时间： 2013-11-30
上传用户：GavinNeko
状态机设计源代码
/dl/126321.html
标签： 状态 源代码
上传时间： 2015-03-09
上传用户：Late_Li
C++Builde上位机测试程序
/dl/126460.html
标签： Builde 上位机 测试程序
上传用户：zq70996813
语音自动应答系统的实现
/dl/126661.html
标签： 语音 自动应答
上传时间： 2015-03-10
上传用户：thuyenvinh
用VC++6.0实现PC机与单片机之间的数据交换
/dl/126826.html
标签： 6.0 VC PC机与单片机 数据交换
上传用户：Breathe0125
一个小巧而且实现很完整的JAVA虚拟机
/dl/126998.html
标签： JAVA 虚拟机
上传用户：无聊来刷下
flshget v1.65中文版注册机源代码
/dl/127371.html
标签： flshget 1.65 注册机 源代码
上传时间： 2014-01-01
上传用户：离殇
modbustcp客户端测试程序,用来模拟上位机软件,对产用modbustcp协议的设备进行测试
/dl/127452.html
标签： modbustcp 测试程序 模拟 上位机
上传时间： 2015-03-12
上传用户：luke5347
串口另类处理方法,非常详细的类说明串口应答机制
/dl/127592.html
标签： 串口 处理方法 应答机
上传用户：ruixue198909
本方案适用于研究生、本科、大专、职业技术学院的嵌入式系统（单片机/ARM7） 应用、信息通信、应用电子、机电一体化、微机应用、数控技术、自动化控制、计 算机原理与应用、仪表及控制、汽车工程等与“电子/微机/总线”有紧密联系的相关 专业。 ...
/dl/127597.html
标签： ARM 方案 嵌入式系统 单片机
上传时间： 2013-12-01
上传用户：nanxia
虫虫下载站 半导体技术网 电子研发网 源码地带 电源技术网 单片机技术网 医疗电子技术 嵌入式系统与单片机
