-
形式化建模验证SMV模型检验器.rar
【实例简介】使用UML等建模工具建立模型，再将模型转换为形式的语句，编写SMV程序，输入SMV模型检验器进行验证。用于实现形式化方法模型检验
- 2021-12-08 00:35:00下载
- 积分：1
-
steger 核心算法，可以直接运行
经过改进的steger算法，给大家公开学习，这里我用matlab写了一些代码，给大家分享一下。
- 2020-12-03下载
- 积分：1
-
MIMO无线信道建模与仿真
在本文的前半部分(第二章)，进一步总结了现有的MIMO无线衰落信道模型和建模方法。并在此基础上，根据发射端和接收端天线的阵列结构、发射信号的离开角与角度扩展、接收信号的到达角与角度扩展、角度功率谱、多普勒功率谱和信道的功率时延分布等参数，综合了一个统计MIMO无线信道模型。讨论了对相关性建模的等效形式和对视距路径传播的建模方法。还详细描述了基于三种常见的角度功率谱计算信道相关系数的问题。最后，基于该统计MIMO信道模型，提出了一种分布式MIMO系统的信道模型，该信道模型综合考虑了小尺度衰落、大尺度路径损耗和阴影效应，同时也考虑了天线元之间的空间相关性，能够比较全面的反映分布式M
- 2021-05-07下载
- 积分：1
-
基于sift和SVM算法实现的手势识别 MATLAB GUI程序
基于sift和SVM算法实现的手势识别程序，用MATLAB GUI编写的，附有手势库，可拷贝至任何磁盘运行不必担心路径问题，但可能要求版本高一点的MATLAB软件 Hand gesture Recognition based SIFT and SVM_matlab
- 2019-04-08下载
- 积分：1
-
网络规划设计师历年真题2009-2018年含答案及解析.zip
本资料是软考高级网络规划设计师历年真题及答案解析，包含了2009-2018年历年真题，希望可以帮助大家顺利通过软考！
- 2021-05-06下载
- 积分：1
-
matlab读入三维点云数据斯坦福兔子
其中点云数据是斯坦福兔子，做三维点云重构后的人可以好好看看，只是简单读入程序，作为初学者比较好些，进一步的研究还在后边，有机会的话会继续上传，比如说delauny三角网格划分，还想进一步研究snake曲线
- 2020-12-06下载
- 积分：1
-
Octave官方文档+中文使用说明（2018）吴恩达机器学习指定工具
Octave 是一款用于数值计算和绘图的开源软件。和 Matlab 一样，Octave 尤其精于矩阵运算：求解联立方程组、计算矩阵特征值和特征向量等等。在许多的工程实际问题中，数据都可以用矩阵或向量表示出来而问题转化为对这类矩阵的求解。另外，Octave 能够通过多种形式将数据可视化，并且 Octave 本身也是一门编程语言而易于扩展。因此我们可以称 Octave 是一款非常强大的可编程可视化计算程序。Octave 让解决很大范围内的数值问题变得简单，给使用者更多的时间来进行实验和考虑问题。
- 2020-12-10下载
- 积分：1
-
函数ODE45使用方法
MATLAB中函数ODE45的使用及详解。帮助深入认识ODE45
- 2020-12-05下载
- 积分：1
-
火焰目标检测数据集含标签.zip
【实例简介】适合目标检测，yolov3,ssd等目标检测算法，数据集包含xml坐标信息的标签。pytorch版本下的yolov3训练实现火焰检测(https://codingchaozhang.blog.csdn.net/article/details/107167792#comments_14120984)
- 2021-11-26 00:38:54下载
- 积分：1
-
(asp.net)网页打印的全套解决方案
此实例代码包括了基于网页版的全套打印方式，尤其是调用ocx组件打印。对做相关打印的项目是很有用的了。
- 2020-11-27下载
- 积分：1
