-
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
-
Navigator
A step-bye-step user navigation on a spatial network using Dijkstra algorithm is presented in this document. User can define the start and destination points to navigate.
- 2010-03-12 21:12:21下载
- 积分:1
-
MMATrans
Calculates the MMA transformations of the GS ASCII grid file data.grd located in the currect directory and containing total anomalous magnetic field values
- 2013-04-24 01:24:52下载
- 积分:1
-
SE_detec
detection and localisation of objects
- 2011-01-14 05:53:10下载
- 积分:1
-
Proge.dl
Some features and classification function
- 2013-10-31 14:17:36下载
- 积分:1
-
RCS
雷达散射截面的simulink模块,考虑了sweling模型,验证过(Radar cross section of the Simulink module, considering the sweling model, validated)
- 2012-02-29 21:37:55下载
- 积分:1
-
MIPS32-ArchitectureForProgrammers
MIPS32™ Architecture For Programmers
- 2009-04-12 02:04:23下载
- 积分:1
-
uec
DSL时域均衡中所采用的UEC算法,用Matlab写的代码(DSL in the time-domain equalizer algorithm is used in UEC, using Matlab code written in)
- 2010-01-21 19:54:45下载
- 积分:1
-
matcom
在VC++6.0中利用MATCOM接口调用MATLAB中的.mat文件进行数据处理(In VC++6.0 using MATCOM interface calls the MATLAB. Mat file for data processing)
- 2013-11-07 21:31:45下载
- 积分:1
-
NOMA_shu
基于NOMA的功率分配,采用树形算法,根据不同用户的信噪比大小,一定的约束关系,分配功率(NOMA power allocation based on the use of tree algorithm, depending on the size of the user' s SNR, certain constraints, power distribution)
- 2021-03-29 11:39:12下载
- 积分:1