-
形式化建模验证SMV模型检验器.rar
【实例简介】使用UML等建模工具建立模型，再将模型转换为形式的语句，编写SMV程序，输入SMV模型检验器进行验证。用于实现形式化方法模型检验
- 2021-12-08 00:35:00下载
- 积分：1
-
HFSS微带天线仿真论文+仿真实现
文件包里包括HFSS仿真图和实现还有和仿真相对应得论文，是为一个学生做的毕业设计，内容很全，很有参考价值。
- 2021-05-06下载
- 积分：1
-
Axure阿里云网站模板.rp
Axure阿里云网站模板
- 2020-03-30下载
- 积分：1
-
OFDM_16QAM_simulink
OFDM_16QAM_simulink, matlab 2014a亲测可运行。比较全面，覆盖RS编码，reileigh信道仿真。
- 2020-12-04下载
- 积分：1
-
CaseStudio 数据库设计 设计 sql 自动建表 免注册 破解版
是一个专业的资料库设计工具。他可以透过ER图表、资料流向图来设计各式各样的资料库系统（像是MS SQL, Oracle, Sybase等），另外程式提供了各式各样的管理单元帮助你设计。自动生成SQL 建表
- 2020-11-30下载
- 积分：1
-
Synthetic Aperture Radar Processing
Synthetic Aperture Radar Processing" simply and methodically presents principles and techniques of Synthetic Aperture Radar (SAR) image generation by analyzing its system transfer function. The text considers the full array of operation modes from strip to scan, emphasizes processing techniques, ena
- 2020-12-06下载
- 积分：1
-
GM灰色关联度分析软件
国产灰色关联度分析软件，可以计算各种灰色关联的计算，由南航刘思峰开发
- 2020-04-16下载
- 积分：1
-
msk调制解调实现
simulink仿真利用SIMILINK仿真模块实现MSK调制解调系统的动态仿真模拟，码速率3000bit / s左右，载波频率1MHz左右；2、对系统传输性能进行动态仿真模拟并加以分析；
- 2021-05-07下载
- 积分：1
-
双门限法语音信号端点检测matlab（可实现多段检测）
matlab程序双门限法语音信号端点检测（可实现多段检测）
- 2020-11-27下载
- 积分：1
-
Matlab实现的HHT中的波形匹配延拓
Matlab实现的HHT中的波形匹配延拓
- 2020-12-07下载
- 积分：1
