-
形式化建模验证SMV模型检验器.rar
【实例简介】使用UML等建模工具建立模型,再将模型转换为形式的语句,编写SMV程序,输入SMV模型检验器进行验证。用于实现形式化方法模型检验
- 2021-12-08 00:35:00下载
- 积分:1
-
基于DSP的PID高精度温度控制系统的设计
DSP的PID高精度温度控制DSP的PID高精度温度控制DSP的PID高精度温度控制DSP的PID高精度温度控制DSP的PID高精度温度控制DSP的PID高精度温度控制
- 2020-12-10下载
- 积分:1
-
计算欧式距离的matlab程序
这是一个计算欧式距离的matlab程序,本人使用过,很好用。
- 2020-12-06下载
- 积分:1
-
数字信号处理(时分复用)课程设计报告
齐鲁工业大学(原山东轻工业学院)通信工程专业,数字信号处理课程设计题目之一
- 2020-12-10下载
- 积分:1
-
最新敏感词库.zip
【实例简介】敏感词库,敏感词库,敏感词库,敏感词库,敏感词库敏感词库,敏感词库
- 2021-11-22 00:40:21下载
- 积分:1
-
基于VHDL三层电梯控制器的设计.pdf
【实例简介】·1.内容简介:
---------------------------------------------------------------
基于VHDL三层电梯控制器的设计.pdf pdf 设计论文
---------------------------------------------------------------
·2.资源使用方法说明
无
---------------------------------------------------------------
·3. wogeguaiguai的附言:
1.我的其他数学建模比赛和全国电子设计竞赛精华资源也欢迎您下载,大学生基本上都听过这个比赛吧,这个比赛比较有意思,而且获奖比例高。我的资料都是非常好的准备比赛要用的资料。我比赛结束之后,这些资料就不用啦,分享给大家!俺一年的搜索资源,同学们一朝即可获得!
2.下载本文件后,您可以获得所有信息,不必再零散下载,给您带来很大的方便。
3.1个资源分,绝对物超所值。评论后,您就可以获得2个资源分,欢迎您评论!
---------------------------------------------------------------
·4.如有问题,请在此留言,谢谢。
---------------------------------------------------------------
·65.上传时间 2010-2-26-afternoon
- 2021-12-02 00:38:03下载
- 积分:1
-
一个基于VB.net的实时曲线控件
一个基于VB.net的实时曲线控件,里面有源代码,可以直接用。
- 2020-12-02下载
- 积分:1
-
人工智能选股-华泰金工研报合集1-7
人工智能选股框架及经典算法简介华泰人工智能系列之一人工智能和机器学习并不神秘人工智能和机器学习方法并不神秘,其本质是以数理模型为核心工具,结合控制论、认知心理学等其它学科的研究成果,最终由计算机系统模拟人类的感知、推理、学习、决策等功能。理解常用的机器学习算法,有助于澄清对人工智能的种种误解和偏见,帮助我们更清晰地认识人工智能的长处和局限,从而更合理、有效地将人工智能运用于投资领域。
- 2020-12-11下载
- 积分:1
-
报刊管理系统
报刊管理系统 之前的课程设计主要分2大部分:报刊信息和订阅信息,功能有:(1)登陆功能:分管理员登陆和用户登录。(2)订阅功能:用户可以订阅报刊,通过订阅的数量和种类让系统自动计算所需要的金额,并且显示在界面上。(3)添加信息功能:可以包括录入用户信息和报刊信息的录入。(4)查询功能:用户可以查询并显示自己所订阅的信息;管理员可以查询相关的订阅情况,查询的结果显示在界面上。(5)删除功能:管理员可以对报刊信息和用户信息进行删除。(6)修改功能:管理员可以对报刊信息和用户信息进行修改。(7)统计功能:管理员可以对用户的订阅情况和部门的订阅情况进行统计。(8)注册功能:分用户注
- 2020-12-02下载
- 积分:1
-
信号处理滤波器设计-基于MATLAB和Mathematica
信号处理滤波器设计-基于MATLAB和Mathematica
- 2020-12-02下载
- 积分:1