-
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
-
这是美国的一个毕业设计，博士论文，是用神经…
这是一篇美国博士毕业设计的论文，是用神经网络实现mppt的方案-This is a graduation project of the United States, Dr. thesis, is to use neural network program to achieve MPPT
- 2022-05-28 13:01:04下载
- 积分：1
-
Utilising VC to make a program which is a arithmetic of affiliated enterprise of...
用VC做的一个挖掘系统的关联规则算法。COM组件的源代码，已应用到实际系统中。-Utilising VC to make a program which is a arithmetic of affiliated enterprise of dig system. COM components have been applied the system.
- 2022-02-03 06:58:48下载
- 积分：1
-
This is a study artificial intelligence ant algorithm research documents, to thi...
这是一个研究人工智能中蚂蚁算法的研究性文档,对想了解这方面内容的人相当有益,很难才找到的-This is a study artificial intelligence ant algorithm research documents, to think about it as a very useful one, it is difficult to find the
- 2022-05-27 16:59:10下载
- 积分：1
-
针对现有遗传算法在多维非线性优选方面的不足，本文提出了一种基于小生境进化算法（NEA）的非线性优选模型，探讨了NEA算法的参数选择原则。通过大量仿真和比较，表明...
针对现有遗传算法在多维非线性优选方面的不足，本文提出了一种基于小生境进化算法（NEA）的非线性优选模型，探讨了NEA算法的参数选择原则。通过大量仿真和比较，表明算法在复杂非线性优选中具有快速、高效、鲁棒性强的特点，并能在全局范围内有效搜索所有最优解。
-against existing genetic algorithms in three-dimensional nonlinear optimization for the shortage, the paper presents a niche evolutionary algorithm (NEA) nonlinear optimization model, the NEA on the parameters chosen algorithm principle. Through simulation and large, the algorithm shown in a complex nonlinear optimization is fast, efficient, robust features of the strong, and the global scope effective search all the optimal solution.
- 2023-04-07 12:45:04下载
- 积分：1
-
来自于www2.cs.uregina.ca的c4.5源码
来自于www2.cs.uregina.ca的c4.5源码-from the Bank www2.cs.uregina.ca FOSS
- 2022-03-21 07:45:28下载
- 积分：1
-
这是一篇步态识别和检测的文章：这是在视频流的基础上，区别于以往的静态图像...
这是一篇步态识别和检测的文章：这是在视频流的基础上，区别于以往的静态图像-This is a gait recognition and detection of the article : This is the video stream on the basis of distinguished from the previous static images
- 2022-03-07 05:55:37下载
- 积分：1
-
使用模拟退火算法解决TSP问题，该程序中的模拟退火没有采用复杂的运算，实现了一个比较简单但运行高效的算法...
使用模拟退火算法解决TSP问题，该程序中的模拟退火没有采用复杂的运算，实现了一个比较简单但运行高效的算法-using simulated annealing algorithm to solve TSP, the process of simulated annealing without the use of complex arithmetic, achieve a relatively simple but efficient operation of the algorithm
- 2022-02-03 15:27:19下载
- 积分：1
-
人工智能中经典算法
人工智能中经典算法-宽度搜索和启发是搜索（A*算法）在VC环境下的实现代码，对于学习人工智能有很多帮助- In the artificial intelligence the classical algorithm- width
search and the inspiration are the search (the A* algorithm) under the
VC environment realization code, has regarding the study artificial
intelligence very helps
- 2022-02-21 10:04:12下载
- 积分：1
-
采用贝叶斯正则化算法提高 BP 网络的推广能力。我们采用两种训练方法，即 L...
采用贝叶斯正则化算法提高 BP 网络的推广能力。我们采用两种训练方法，即 L-M 优化算法（trainlm）-?捎??
- 2022-03-19 18:00:02下载
- 积分：1
