-
exmat
exmat - The Expression Template Matrix Library,是矩阵运算模板库-exmat- The Matrix Expression Template Library, yes matrix calculation Template Library
- 2022-06-27 17:02:18下载
- 积分:1
-
RBF实现神经网络预测程序,压缩包,不用解压缩密码!
RBF实现神经网络预测程序,压缩包,不用解压缩密码!-Realize RBF neural network prediction program, compressed packet, do not extract the password!
- 2023-09-02 20:10:03下载
- 积分:1
-
支持向量机工具箱使用方法演示,讲述如何使用svm的工具箱。...
支持向量机工具箱使用方法演示,讲述如何使用svm的工具箱。-Support Vector Machines to use the toolbox demonstration on how to use the toolbox svm.
- 2022-03-29 11:07:41下载
- 积分:1
-
rolling process control simulation programs, including adaptive genetic algorith...
连轧过程控制仿真程序,其中包括用自适应遗传算法进行优化的代码-rolling process control simulation programs, including adaptive genetic algorithm optimized code
- 2022-04-21 15:45:48下载
- 积分:1
-
这是一个用VB编写的TS算法,可以为初学者尝试
这是一个用vb写的TS算法,可以提供初学者尝试
- 2023-03-26 09:30:03下载
- 积分:1
-
k均值聚类算法源码,比较经典,无解压密码
k均值聚类算法源码,比较经典,无解压密码-kmeans clustering algorithm source code,comparatively classical,no password for unzip
- 2022-07-19 21:40:26下载
- 积分: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
-
输入一个任意大小的迷宫, 用栈求出一条走出迷宫的路径, 并显示在屏幕上。...
输入一个任意大小的迷宫, 用栈求出一条走出迷宫的路径, 并显示在屏幕上。-importation of a maze of arbitrary size, with a stack get out of the maze of trails and on the screen.
- 2022-03-15 16:24:37下载
- 积分:1
-
基于bp神经网络的货运量预测matlab实现
基于bp神经网络的货运量预测matlab实现-bp- based neural network is forecast to achieve Matlab
- 2022-03-02 09:29:39下载
- 积分:1
-
遗传算法程序
一个遗传算法程序-A genetic algorithm program
- 2022-02-01 00:45:22下载
- 积分:1