-
基于自动学习的逻辑推理机。程序…
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,并推导出一个空子句(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
-
BP神经网络的C语言实现,对理解神经网络很有帮助。
BP神经网络的C语言实现,对理解神经网络很有帮助。-BP neural network to achieve the C language, very helpful in understanding the neural network.
- 2022-12-23 08:20:02下载
- 积分:1
-
采用的是康力山等人确定的实验参数。 对于n个城市的旅行商问题,其参数如下: 初始温度:t0=280, 每一个温度下采用固定的迭代次数L=100n, 温度的衰
采用的是康力山等人确定的实验参数。 对于n个城市的旅行商问题,其参数如下: 初始温度:t0=280, 每一个温度下采用固定的迭代次数L=100n, 温度的衰减系数alpha=0.92 算法停止的准则是当相邻两个温度得到的解变化很小时算法停止。-used the Stanozolol Hill were determined by the experimental parameters. N cities for the traveling salesman problem, the parameters are as follows : initial temperature : t0 = 280, each a fixed temperature of the iteration number L = 100n, temperature attenuation coefficient alpha = 0.92 algorithm to stop the criteria when two adjacent the temperature change was very Solution Algorithm stop.
- 2022-05-06 01:17:31下载
- 积分:1
-
rbfmip是培养多包
RBFMIP is a package for training multi-instance RBF neural networks
- 2022-03-05 14:40:26下载
- 积分:1
-
基于ICA的信号分离程序,是一个很好的信号处理方面的程序
基于ICA的信号分离程序,是一个很好的信号处理方面的程序-based ICA signal separation procedure is a very good signal processing procedures
- 2023-04-01 21:00:04下载
- 积分:1
-
利用PSO优化SVM,利用分组式训练方法提高算法速度
利用PSO优化SVM,利用分组式训练方法提高算法速度-PSO to optimize the use of SVM, the use of packet-style training methods improve algorithm speed
- 2022-11-17 11:15:03下载
- 积分:1
-
有关神经网络的计算
有关神经网络的计算-the neural network computing
- 2022-02-28 12:53:29下载
- 积分:1
-
中科院的《高级人工智能》课件,希望对大家学习有帮助。
中科院的《高级人工智能》课件,希望对大家学习有帮助。-Chinese Academy of Sciences
- 2023-04-10 16:45:05下载
- 积分:1
-
遗传算法用于机器人路径规划的matlab代码
遗传算法用于机器人路径规划的matlab代码-Genetic algorithms for robot path planning matlab code
- 2022-09-02 15:45:02下载
- 积分:1
-
异步电动机的模糊控制的仿真,大家一起研究.
异步电动机的模糊控制的仿真,大家一起研究.-Fuzzy control induction motor simulation, we study together.
- 2022-06-19 01:13:12下载
- 积分:1