大屏幕USB2.0硬盘MP3机(atmega128)
标签: atmega USB 2.0 128
上传时间: 2015-03-08
上传用户:caozhizhi
GPS接收机与PC机串行通信技术的开发与应用
标签: GPS 接收机 PC机 串行通信技术
上传时间: 2014-01-19
上传用户:zhangliming420
用于delphi开发受机短信处理
标签: delphi 短信
上传时间: 2013-12-19
上传用户:hullow
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,并推导出一个空子句(NIL),产生一个矛盾。
标签: 自动 机器学习 推理机 程序
上传时间: 2013-11-30
上传用户:GavinNeko
这是一个基于LZARI算法的数据压缩的类.Haruhiko Okumura 于1989年7月4日用C语言写实现了这个算法.但是上面用到了一些全局或静态的变量,在MFC下用起来很不方便.作者把它改写成了一个C++类,使它可以方便的压缩和解压缩。
标签: Haruhiko Okumura LZARI 1989
上传时间: 2013-12-18
上传用户:thinode
状态机设计源代码
标签: 状态 源代码
上传时间: 2015-03-09
上传用户:Late_Li
将字体文件转成microwindows可用的内建字体的.c档
标签: microwindows 字体
上传用户:CHENKAI
C++Builde上位机测试程序
标签: Builde 上位机 测试程序
上传用户:zq70996813
用VC++6.0实现PC机与单片机之间的数据交换
标签: 6.0 VC PC机与单片机 数据交换
上传时间: 2015-03-10
上传用户:Breathe0125
一个小巧而且实现很完整的JAVA虚拟机
标签: JAVA 虚拟机
上传用户:无聊来刷下