自动推理

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

资源总数
500

自动推理 热门资料

查看全部 500 份 →

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

2013-11-30 89 自动推理

涵盖自动控制核心概念与系统分析方法，适合快速掌握反馈控制、稳定性判断与控制器设计要点，可直接用于教学或工程实践参考。

2026-02-01 2 自动推理

镍镉充电电池作为一种碱性电池，对使用、管理和维护有特殊要求，如果管理不善、使用不当、维护不及时，很容易导致电池老化、失效甚至报废。针对部队、厂矿大量使用并集中存放的不同种类镍镉充电电池，运用单片微型计算机控制技术，设计了电池智能管理系统，对...

2023-05-14 9 自动推理