-
基于自动学习的逻辑推理机。程序…
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,并推导出一个空子句(NIL),产生一个矛盾。-based on the automatic machine learning logical reasoning machine. The procedures used attributed inversion strategy to achieve the propositional logic of automatic reasoning. Put the problem to be solved as a proposition to prove, with the goal being negated formula and shape into a phrase and then added to the Proposition formula to concentrate, digestion system for joint inversion sets and derived an empty phrase (NIL), resulting in a contradiction.
- 2022-12-19 10:50:03下载
- 积分:1
-
这个是神经网络中的HopField网络模拟,是利用外向和的双极性HopField网络,有很好的借鉴价值。...
这个是神经网络中的HopField网络模拟,是利用外向和的双极性HopField网络,有很好的借鉴价值。-This is a neural network of Discharge network simulation is the use of the outward and bipolar Discharge network, a very good reference value.
- 2022-03-11 00:04:14下载
- 积分:1
-
用BP算法实现数字识别功能,可以显示状态变化图
用BP算法实现数字识别功能,可以显示状态变化图-BP algorithm digital identification function can demonstrate that changes in state plans
- 2022-03-25 03:32:05下载
- 积分:1
-
SMC1602A(16*2)模拟口线接线方式
连接线图:
SMC1602A(16*2)模拟口线接线方式
连接线图:
---------------------------------------------------
|LCM-----51 | LCM-----51 | LCM------51 |
--------------------------------------------------|
|DB0-----P0.0 | DB4-----P0.4 | RW-------P2.5 |
|DB1-----P0.1 | DB5-----P0.5 | RS-------P2.6 |
|DB2-----P0.2 | DB6-----P0.6 | E--------P2.7 |
|DB3-----P0.3 | DB7-----P0.7 | VLCD接1K电阻到GND|
---------------------------------------------------
Keyboard接线
PS/2--------51
1 DATA------P3.4
3 GND
4 VCC
5 CLK-------P3.3 接在51的外部中断,触发方式为低电平
本程序源码只供学习参考,不得应用于商业用途,如有需要请联系作者。-SMC1602A (16* 2) analog line port to connect wiring diagram:- | LCM-51 | LCM-51 | LCM 51 | | | DB0-P0.0 | DB4-P0.4 | RW-P2.5 | | DB1-P0.1 | DB5-P0.5 | RS-P2.6 | | DB2-P0.2 | DB6-P0.6 | E P2.7 | | DB3-P0.3 | DB7-P0.7 | VLCD access 1K resistor to GND |-Keyboard Connection PS/2 51 1 DATA P3.4 3 GND 4 VCC 5 CLK-P3.3 access in 51 of the external interrupt trigger mode for low-level source for learning the procedu
- 2023-08-22 01:40:03下载
- 积分:1
-
遗传算法,路径规划,机器人
遗传算法的机器人路径规划的源代码。用C++来实现的-Genetic algorithm path planning robot
- 2022-07-24 03:15:32下载
- 积分:1
-
java bayes的bin文件,enjoy it!
java bayes的bin文件,enjoy it!-java bayes the paper bin, enjoy it!
- 2022-09-13 11:30:04下载
- 积分:1
-
一个很好的工具,用于解析,写的很好,很值得用什么
很不错的xml解析工具,写的非常好,值得用一下-A very good tool for xml parsing, writing very well, it is worth to use what
- 2022-04-22 22:12:24下载
- 积分:1
-
计算前提论域中模糊子集的C语言程序.大家可以参考。
计算前提论域中模糊子集的C语言程序.大家可以参考。-On the premise of the calculation domain fuzzy subset C language program. Everyone can refer to.
- 2022-06-15 12:29:04下载
- 积分:1
-
遗传算法的一些经典程序收集
遗传算法的一些经典程序收集-genetic algorithem2
- 2023-03-06 17:35:04下载
- 积分:1
-
一套从入门到精通的Matlab学习教材,附有大量例子,包括神经网络源代码...
一套从入门到精通的Matlab学习教材,附有大量例子,包括神经网络源代码-a proficient from entry to the study and teaching of Matlab, with a large number of examples, including source code neural network
- 2022-01-31 17:21:16下载
- 积分:1