-
形式化建模验证SMV模型检验器.rar
【实例简介】使用UML等建模工具建立模型,再将模型转换为形式的语句,编写SMV程序,输入SMV模型检验器进行验证。用于实现形式化方法模型检验
- 2021-12-08 00:35:00下载
- 积分:1
-
短距离无线通信及组网技术
短距离通信的理论和实践知识,以及无线传感器网络的组网核心技术
- 2020-11-30下载
- 积分:1
-
单片机等网络通讯调试安卓工具
单片机等网络通讯调试安卓工具apk,支持tcp客户端服务端,udp客户端与服务端
- 2021-05-06下载
- 积分:1
-
斗地主(JAVA)
纯java写的局域网斗地主游戏包括服务器端 客户端 界面 规则 5毛钱特效等采用socket网络传输凑后玩
- 2020-12-02下载
- 积分:1
-
用Matlab绘制发动机万有特性曲线
用Matlab绘制发动机万有特性曲线程序代码
- 2020-12-03下载
- 积分:1
-
数据融合matlab
将多传感器信息源的数据和信息加以联合、相关及组合,获得更为精确的位置估计及位置估计。
- 2020-12-02下载
- 积分:1
-
二维小波变换DWT.rar
【实例简介】对图像进行二维离散小波变换, 变换级数大于等于3级,然后进行阈值化处理(阈值约为10左右),再统计系数中0的个数(百分比表示)并进行重构, 最后计算重构图像的峰值信噪比(PSNR). 中科大倪林老师的第一次作业。
- 2021-12-04 00:39:28下载
- 积分:1
-
镜像延拓的emd程序
该程序使用过的是一维线性插值法,并加端点延拓,端点延拓所用的方法是镜像延拓,内涵注释。
- 2020-12-10下载
- 积分:1
-
华为需求分析及设计模板(全套含ppt)
压缩包里有整套的华为开发资料,有很大参考价值,和IBM的也很相似,超赞 :1、华为需求设计需求分析写作培训.ppt(培训如何去写优秀的需求文档、设计文档)2、软件需求规格说明书模板、概要设计模板、详细设计模板、接口设计模板
- 2020-12-06下载
- 积分:1
-
霍尼韦尔二维码扫描枪USB串口模式驱动YJ4600, GS550, HF600, HH360, HF500, HH660驱动
【实例简介】霍尼韦尔二维码扫描枪驱动,这么重要的资源,网上找了半天找不到,到官网注册了账号,翻了半天终于找到
YJ USB Serial Driver r2.00.7z
YouJie USB Serial Driver r2.00
This Youjie USB Driver package - Non-Microsoft WHQL Certified, supports the following device:
YJ4600, GS550, HF600, HH360, HF500, HH660
WINDOWS OS SUPPORTED:
=====================================
1/ Windows XP 32 and 64 bit
2/ Windows Vista 32 and 64 bit
3/ Windows 7 32 and 64 bit
4/ Windows 10 32 and 64 bit
5/ Windows Embedded WEPOS
6/ Windows Embedded POSReady 2009
7/ Windows Embedded POSReady 7
8/ Windows Embedded 8 Industry
9/ Windows Embedded 8.1 Industry
10/ Windows 10 IoT Enterprise LTSB 2015
- 2021-11-11 00:33:00下载
- 积分:1