-
NuSMV-2.5.1.tar
这是模型检测的一个最新版本,希望对大家有所帮助。(This is one of the latest version of model checking, we want to help.)
- 2010-11-11 15:32:08下载
- 积分:1
-
normal
Eigenvalues and eigenvectors of a normal matrix A.
- 2010-03-06 17:24:16下载
- 积分:1
-
tuxiangzengqiang
GUI系统进行图像的增强处理,包括彩色增强,频域滤波等(GUI image enhancement processing systems, including color enhancement, frequency domain filtering)
- 2014-01-26 10:15:44下载
- 积分:1
-
Q学习的Matlab代码
该程序由Matlab语言实现,利用Q学习的方法,成功快速地迭代出了最优控制策略和价值的相关参数,同时,由于是在线学习的过程,在迭代过程中加入了持续性扰动,有效地保证了价值函数和策略参数的迭代计算过程。利用相似的方法,可以采用离线学习和离策学习进行相应的Q学习。
- 2022-02-13 06:02:02下载
- 积分:1
-
ga_insar
说明: 遗传算法在雷达成象方面的应用,主要是insar干涉定标解决敏感度句镇病态性问题(Genetic algorithm in radar imaging applications, mainly InSAR calibration solution interfere with the town of morbid sensitivity to the issue of sentence)
- 2021-03-26 15:49:13下载
- 积分:1
-
blackbox
black box design in simulink
- 2017-11-07 10:18:51下载
- 积分:1
-
Desktop2
Kalman滤波在船舶GPS定位导航系统中的应用(Application of Kalman Filter in Ship GPS Positioning and Navigation System)
- 2018-07-19 09:31:28下载
- 积分:1
-
os-elm
主要是基于extreme learning machine的改进算法,结合了增量学习(It’s mainly based on the extreme learning machine improvement algorithm, unified the increase study )
- 2010-09-07 16:51:35下载
- 积分:1
-
SIMPandOC
在matlab平台上编写的基于SIMP和OC法的拓扑优化程序(topology optimization based on SIPM and OC)
- 2010-11-18 20:23:32下载
- 积分:1
-
WAVPENE
小波包分析结合能量算法实现特征信号的提取,其中还包含用于测试的轴承数据(Wavelet packet analysis combined with the energy of signal feature extraction algorithm, which also contains the data for bearing test)
- 2015-04-15 11:42:29下载
- 积分:1