推理程序

推理程序技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。

资源总数
500

推理程序 全部资料 500 份

给出了一种适用于工程常见的二阶控制对象的推理控制算法,并成功地应用于金属化薄膜电容器全自动卷绕机中作为快速张力伺服控制.采用8098单片机控制的该推理控制系统具有收剑、无稳态误差以及动态性能好的特点.

2024-07-05 8 推理程序

基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛...

2013-11-30 89 推理程序