基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
上传时间： 2013-11-30
上传用户：GavinNeko
VB程序员考核自动阅卷系统的设计与实现
上传时间： 2015-03-10
上传用户：541657925
语音自动应答系统的实现
上传时间： 2015-03-10
上传用户：thuyenvinh
计算机管理系统可以实现开机时自动运行，用户只有登陆以后才能进入计算机，可以自动记录用户登陆时间注销时间，及登陆总时间
上传时间： 2013-12-28
上传用户：3到15
家电自动控制系统，定时开关，采用遥控器，按键操作，中文12864液晶示，
上传时间： 2014-01-23
上传用户：1159797854
现场总线是用于过程控制现场仪表与控制室之间的一个标准的、开放的、双向的多站数字通信系统。随着计算机技术、通讯技术、集成电路技术的发展，以全数字式现场总线（FIELDBUS）为代表的互联规范，正在迅猛发展和扩大。由于采用现场总线将使控制系统结构简单，系统安装费用减少并且易于维护；用户可以自由选择不同厂商、不同品牌的现场设备达到最佳的系统集成等一系列的优点，现场总线技术正越来越受到人们的重视。
上传时间： 2014-01-22
上传用户：llandlu
电子衡自动计量系统.能对电子汽车衡进行自动计量.完成车皮存储,重车自动除皮等功能.
上传时间： 2014-01-14
上传用户：hzy5825468
该系统为空车计量系统.完成对空车的自动计量.附串口处理程序.
上传时间： 2013-12-31
上传用户：GavinNeko
办公室小车管理系统,能自动打印派车单,自动统计小车的出车里程\耗油等.
上传时间： 2013-12-26
上传用户：风之骄子
电子皮带秤计量管理系统.完成电子皮带秤的自动计量工作,和销售管理系统配合使用更佳.
上传时间： 2014-01-03
上传用户：康郎
