-
形式化建模验证SMV模型检验器.rar
【实例简介】使用UML等建模工具建立模型,再将模型转换为形式的语句,编写SMV程序,输入SMV模型检验器进行验证。用于实现形式化方法模型检验
- 2021-12-08 00:35:00下载
- 积分:1
-
STM32L151C8T6例程
STM32L151C8T6例程
- 2020-11-28下载
- 积分:1
-
嵌入式上位机利用matlab GUI界面进行数据显示
嵌入式上位机操作,在matlab GUI界面下对硬件进行读写IO操作操作,利用plot对数据进行波形显示
- 2020-11-28下载
- 积分:1
-
基于小波算法的分形压缩程序
该方法实现了基于小波算法的分形图像压缩方法,用MATLAB实现
- 2020-12-07下载
- 积分:1
-
qualnet网络仿真软件的学习和实例
qualnet是一款网络仿真软件,本文档描述了其安装和使用方法,并列举了实例。
- 2020-12-05下载
- 积分:1
-
MODTRAN介绍及使用PPT
介绍了MODTRAN及常用大气辐射模型,并且讲解了tape5和PC版MODTRAN的使用方法及参数设置。
- 2020-12-04下载
- 积分:1
-
压缩感知OMP重构算法matlab实现.zip
【实例简介】压缩感知OMP重构算法matlab实现,OMP重构算法,本程序用于重构原始图像
- 2021-12-04 01:07:15下载
- 积分:1
-
基于MATLAB的图像分割算法研究
清华大学本科生毕业设计题目: 基于MATLAB的图像分割算法研究作者姓名 XXX 学号 指导教师 XX教授 学科专业 计算机科学与技术 所在学院 计算机学院 提交日期 引言数字图像处理技术是一个跨学科的领域。随着计算机科学技术的不断发展,图像处理和分析逐渐形成了自己的科学体系,新的处理方法层出不穷,尽管其发展历史不长,但却引起各方面人士的广泛关注。首先,视觉是人类最重要的感知手段,图像又是视觉的基础,因此,数字图像成为心理学、生理学、计算机科学等诸多领域内的学者们研究视觉感知的有效工具。其次,图像处理在军事、遥感、气象等大型应用中有不断增长的需求。基于图论的图像分割技术是近
- 2020-12-03下载
- 积分:1
-
微机原理课程设计——电子时钟
该课程设计的内容为电子时钟的设计与实现,利用定时器从0开始进行计时,将计时的结果显示在数码管上。每隔1秒,秒钟计时一次,到60秒,分钟加1,到60分小时加1。8254芯片的计时从0秒到9秒,到9秒后又从0秒重新开始计时,同时将0秒~9秒的数字变动信息通过8255送数码管显示。 设计要求1、总体内容:设计一电子时钟,能在数码管上显示时间并计时。2、接口设计:根据题目和所用的接口电路芯片设计出完整的接口电路,并在实验系统上完成电路的连接和调试通过.3、程序设计:要求画出程序框图,设计出全部程序并给出程序设计说明和程序注释。
- 2020-12-10下载
- 积分:1
-
旅游网php源码带数据库
自己做的 带数据库的 旅游网页面 很漂亮 带数据库 CSS+HTML +PHP CHAX 含模糊搜索 修改密码
- 2020-11-30下载
- 积分:1