基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,...
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,...
本方案适用于研究生、本科、大专、职业技术学院的嵌入式系统(单片机/ARM7) 应用、信息通信、应用电子、机电一体化、微机应用、数控技术、自动化控制、计 算机原理与应用、仪表及控制、汽车工程等与“电子/...
本软件为材料实验机的AD转换软件内容,用KEIL软件开发...
本程序为某企业的税控机固件程序.基于东芝TMP93CS41 16位单片机编写,符合国家标准.该程序已经经过多次长期调试....
一个滚齿机 程序生成软件。里面无密码。 本程序是本人在改一般滚齿机为数控机而写的一个程序生成软件。...
平缝机的单片机伺服控制系统源代码。本程序为用单片机控制永磁同步电机的低成本方案...
本软件实现了汇编语言级虚拟机的模拟,可以当作一个简易的汇编工具使用,同时又演示了CPU的工作过程,对于学习计算机组成原理和汇编语言是有一定帮助的...
本串行通信程序利用汇编语言通过BIOS中断调用和DOS功能调用实现PC机双机串行通信。其中,上位机和下位机串行口均为辅串口COM2(口地址为2FXH),对外用9针连接器与令一台PC机连接;BIOS通过...
本程序是在VC++6.0 中用 ActiveX控件 实现PC机与单片机之间的串口通信 。...
通过本实验学习PC机串口与AVR单片机串口之间相互通讯的基本硬件接口电路和软件编程方法,并且达到使用PC机来控制LED的简单应用。...