登录
首页 » Others » uppaal的课件

uppaal的课件

于 2020-12-06 发布
0 293
下载积分: 1 下载次数: 1

代码说明:

同济软功课件。

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • FPGA实现FFT (设计报告+源代码)
    甘地大学电子专业Ray Ranjan Varghese设计的FPGA实现FFT,采用的是单精度的浮点,采用IEEE745格式的浮点+ROM RAM的方式成功实现FFT,含有设计报告和设计源代码,并有测试文件,真的很不错。
    2020-12-06下载
    积分:1
  • Android应用源码基于安卓的移动医疗终端系统带论文
    本项目是一个基于Android的移动医疗终端系统,由Android手机端应用软件和硬件测量设备构成,主要面向居家养老的老年群体心脑血管疾病、糖尿病监测和健康护理方面。使用本系统可以足不出户,居家方便快速检测血压、血糖指标,自助进行心脏听诊。一方面这些测量所得的健康数据可以被推送到指定的远程医疗机构或社区卫生服务站,医生专家们依此对老年人建立长久的电子医疗档案,以便远程分析监控或就医治疗;另一方面,终端也可根据测量数据智能分析辅助诊断,如血压异常,心脏听诊音异常等,并将这些数据绘制成趋势图表统计近期健康状况;特别的终端还加入亲情关怀功能,将测量的健康数据以短信的形式定时发送到指定的家属手机上,便
    2020-06-21下载
    积分:1
  • 基于PDE的图像边缘保留去噪源代码
    本程序实现全变分(Total Variation, TV)的去噪算法,它使用了PDF纠正TV算法中的小问题。该算法可以很好地保留原图边缘信息的同时,去除噪声。
    2020-12-11下载
    积分:1
  • WASP 8.3风能资源分析软件
    WAsP软件是用于风机微观选址的风能资源分析软件。可利用wasp软件对气象数据进行了分析,得到风数据统计表、风向玫瑰图和风频分布图。该数据结果为以后风电场选址中风能资源评估工作提供了重要依据,具有一定的参考意义。
    2020-06-28下载
    积分:1
  • Simple算法算例
    Simple算法3个典型算例,详细讲解。二维、结构网格单相流SIMPLE 算法的C语言实现。
    2020-12-01下载
    积分:1
  • FFmpeg + SoundTouch实现音频的变调变速
    使用FFmpeg + SoundTouch 实现语音的变速变调。压缩包中有两个V岁2013的Project,SoundTouch编译结果为静态链接库;wav_sound需要使用SoundTouch的编译库,另外还需要根据自己的环境自行配置FFmpeg3.1的环境。
    2020-12-06下载
    积分:1
  • 自己动手制作CPU与单片机源码
    自己动手制作CPU与单片机源码随书资料理论与实战密切结合没有不能逾越的鸿沟。深刻简洁的计算机理论和方法能让你攀登最高峰。不亲自设计CPU的人很难以理解计算机的真谛。
    2021-05-07下载
    积分:1
  • 瑞利信道仿真(多普勒经典谱)
    用MATLAB的SIMULINK仿真,产生的瑞利信道,其多普勒谱为经典的U型谱
    2020-12-03下载
    积分:1
  • Android studio 百度地图开发:触摸选点、地理编码、定位和导航
    在地图中长按一个点,通过反地理编码获得该点的经度维度以及地名等信息,点击“去这里”按钮计算客户端点和该点的导航路径。
    2020-12-03下载
    积分:1
  • PMP培训精讲课件
    PMP培训精讲课件,近900页的讲义,涵盖全部PMP考试范围,5星级课件!项目整合管理;项目范围管理;项目进度管理;项目成本管理;项目质量管理;项目人力资源管理;项目沟通管理;项目风险管理;项目采购管理;项目干系人管理
    2020-12-09下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载