-
Very good platform for robot soccer matches, a detailed application notes
非常好的机器人足球比赛平台,有详细的应用说明-Very good platform for robot soccer matches, a detailed application notes
- 2022-04-01 02:43:29下载
- 积分:1
-
普通的pid控制数字化,可以使用效果好
普通的pid控制数字化,可以使用效果好-ordinary pid control digital, you can use good results
- 2022-10-26 06:50:03下载
- 积分:1
-
该程序代码实现BP网络函数逼近,适合初学者学习
该程序代码实现BP网络函数逼近,适合初学者学习-The program code to achieve BP network function approximation, suitable for beginners to learn
- 2022-10-10 06:35:03下载
- 积分:1
-
好用的统计模式识别工具箱,用matlab编写的,有…
很好用的统计模式识别工具箱,用matlab编写,enjoy!-good use of statistical pattern recognition toolkit, prepared using Matlab, enjoy!
- 2022-03-05 07:48:25下载
- 积分:1
-
模式识别,以及重要的问题,很好的内容,不错过
模式识别以及重要问题,很好的内容,千万不要错过-Pattern recognition, as well as important issues, very good content, do not miss
- 2022-10-19 03:15:03下载
- 积分:1
-
PCA、LDA人脸检测,压缩包里实现了PCA、LDA、最小距离分类器,人脸检测!...
PCA、LDA人脸检测,压缩包里实现了PCA、LDA、最小距离分类器,人脸检测!-PCA, LDA face detection, compression bag to achieve the PCA, LDA, minimum distance classifier, face detection!
- 2022-02-06 18:28:51下载
- 积分:1
-
Particle Swarm Optimization (PSO) for the TSP
Particle Swarm Optimization (PSO) for the TSP
- 2022-01-28 05:24:15下载
- 积分:1
-
用隶属函数型神经网与模糊控制融合的解耦程序
用隶属函数型神经网与模糊控制融合的解耦程序-Membership functions with neural networks and fuzzy control integration of the decoupling procedure
- 2022-04-13 10:40:53下载
- 积分:1
-
ANN And Hopfield Neural Network
ANN And Hopfield Neural Network
- 2022-11-17 21:50:03下载
- 积分:1
-
Propositional logic in the inference rule can be used to prove that a propositio...
命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理,但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论,这些还有赖于人的经验技巧和才能。1960年王浩提出的算法,可以完全脱离人的经验和技巧,机械地构造每一步推导,证明一个命题逻辑定理的成立。
-Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization. Because the rules did not specify what steps in the derivation of what should be the introduction of the premise or intermediate conclusions, which also depends on the person s experience of the skills and talent. Wang Hao in 1960 proposed algorithm can be completely divorced from the person s experience and skills, a mechanical structure is derived for each step to prove that a propositional logic theorem establishment.
- 2022-03-07 22:04:02下载
- 积分:1