基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。
上传时间： 2013-11-30
上传用户：GavinNeko
计算机管理系统可以实现开机时自动运行，用户只有登陆以后才能进入计算机，可以自动记录用户登陆时间注销时间，及登陆总时间
上传时间： 2013-12-28
上传用户：3到15
该系统为空车计量系统.完成对空车的自动计量.附串口处理程序.
上传时间： 2013-12-31
上传用户：GavinNeko
办公室小车管理系统,能自动打印派车单,自动统计小车的出车里程\耗油等.
上传时间： 2013-12-26
上传用户：风之骄子
电子皮带秤计量管理系统.完成电子皮带秤的自动计量工作,和销售管理系统配合使用更佳.
上传时间： 2014-01-03
上传用户：康郎
pb+sql server写的听力诊断系统,可在医院使用,实现自动诊断(开发环境PowerBuilder 9.0)
标签： PowerBuilder server 9.0 sql
上传时间： 2014-01-15
上传用户：xc216
自动交通管理系统 用红、绿、黄三支共两组发光二极管表示交通信号灯，利用单片机模拟有时间显示的定时交通信号灯控制管理。信号灯的变化规律可如下： 1）放行线：绿灯亮放行25秒，黄灯亮警告5秒，然后红灯亮禁止。 2）禁止线：红灯亮禁止30秒，然后绿灯亮放行。 3）当某一方向的红灯亮时，若该方向有车通过，则用扬声器声报警。（撞红灯信号可用3-5V模拟量表示） 同时用2位数码管进行30秒钟递减时间显示。
上传时间： 2013-12-28
上传用户：天诚24
这是一个给予图像处理的相机的自动调焦系统，应用了CCD，DSP和电机控制技术。
上传时间： 2014-01-13
上传用户：阿四AIR
程序源代码发布管理系统(SPS)v1.0 特点: 1.可以将程序打包上传,系统会跟据选择的扩展名自动分析文件内容,省去了分次上传的麻烦 2.支持xml rss2.0,每次提交后会自动更新rss2.xml页面 3.友好的维护界面.
上传时间： 2013-12-14
上传用户：semi1981
基于图像处理的相机自动调焦系统，开发环境：VC。~..~
上传时间： 2015-03-22
上传用户：songnanhua
