-
HybirdSat求解器smt
开源的的smt求解器,用于求解约束集的可满足性,能够支持位向量的求解,速度还算不错。
- 2022-02-20 09:49:11下载
- 积分:1
-
数学建模中常用的算法,如最短路径floyd算法、蒙特卡洛仿真计算圆周率...
数学建模中常用的算法,如最短路径floyd算法、蒙特卡洛仿真计算圆周率-mathematical modeling algorithm commonly used, such as the shortest path algorithm Floyd, the Monte Carlo simulation calculation of pi
- 2022-09-29 18:50:03下载
- 积分:1
-
雅可比算法用C++语言
研究生期间上《数值计算方法》课的作业,所有代码都是C语言实现并调试通过,现在上传为大家服务。这是Jacobi算法-Jacobi algorithm with C language
- 2023-03-24 08:40:03下载
- 积分:1
-
基于mpi的矩阵相乘的并行算法
使用MPI做并行计算时,根据程序的具体要求,可按任务进行分配或数据进行分配。根据矩阵乘积的特点,这里按数据进行分配,即每个计算机节点计算不同的数据,由于矩阵数据的特点,这里按行进行数据分块。矩阵乘法在于对矩阵进行分块,然后交由各进程执行,最后将计算结果传递给主进程。
假设是M*N,计算前,将矩阵N发送给所有从进程,然后将矩阵M分块,将M中数据按行分给各从进程,在从进程中计算M中部分行数据和N的乘积,最后将结果发送给主进程。这里为了方便,有多少进程,就将M分了多少块,除最后一块外的其他数据块大小都相等,最后一块是剩下的数据,大小大于等于其他数据块大小,因为矩阵行数不一定整除进程数。最后一块数据在主进程中计算,其他的在从进程中计算。
- 2023-03-04 12:35:03下载
- 积分:1
-
PCNN图像分割
本代码是用matlab编写的PCNN神经网络图像分割程序。 PCNN(PCNN-Pulse Coupled Neural Network), 也即脉冲耦合神经网络。与传统神经网络相比,有着根本的不同。PCNN有生物学的背景,它是依据猫、猴等动物的大脑皮层上的同步脉冲发放现象提出的。PCNN有着广泛的应用,可应用于图像分割,边缘检测、细化、识别等方面。 PCNN是Eckhorn于20世纪90年代开始提出的一种基于猫的视觉原理构建的简化神经网络模型,与BP神经网络和Kohonen神经网络相比,PCNN不需要学习或者训练,能从复杂背景下提取有效信息,具有同步脉冲发放和全局耦合等特性,其信号形式和处理机制更符合人类视觉神经系统的生理学基础。 请点击左侧文件开始预览 !预览只提供20%的代码片段,完整代码需下载后查看 加载中 侵权举报 打分 发表评论 暂无评论
- 2023-06-02 16:15:04下载
- 积分:1
-
在matlab环境中用蚁群算法寻优潜水器的三维路径,效果很好
在matlab环境中用蚁群算法寻优潜水器的三维路径,效果很好-In the matlab environment, using ant colony optimization algorithm for three-dimensional underwater vehicle path, good results
- 2022-12-10 21:20:03下载
- 积分:1
-
两足机器人的能量控制开发
使用UKF进行预测,控制方法为能量控制。
整个程序最终是以图形化的方式展现出来。
此程序为一个国外老师开发,不过标注很少。
- 2023-03-30 05:50:03下载
- 积分:1
-
基于分水岭算法的彩色图像分割算法
分水岭算法分割彩色图片,使用时只需要更改处理图片的路径即可,属于Matlab程序,压缩文件中含有原始图片
- 2023-09-02 22:10:03下载
- 积分:1
-
二叉树的C语言实现
二叉树是每个结点最多有两个子树的有序树。二叉树常被用于实现二叉查找树和二叉堆。该代码对二叉树进行了C语言实现,实现平台为VC6.0。
- 2023-05-27 07:50:04下载
- 积分:1
-
基于pso模糊神经网络
基于pso的模糊神经网络,传统模糊神经网络使用最小二乘法来递减误差,是不断地循环局部优化,找不到最优解,使用全局优化方法pso可以获得更好的效果。
- 2022-01-22 04:08:55下载
- 积分:1