登录
首页 » C++ Builder » uppaal-4.0.13-aca

uppaal-4.0.13-aca

于 2013-11-18 发布 文件大小:5532KB
0 230
下载积分: 1 下载次数: 6

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • Upathplanningn
    规则障碍物环境下的机器人路径规规划matlab源码! (Robot path planning rules obstacle environment planning matlab source code!)
    2012-08-09 00:41:28下载
    积分:1
  • Employee-Payroll-System
    Emplyment Payroll system Coded in C++ working
    2014-09-06 19:59:17下载
    积分:1
  • testmatlabcom
    matlab COM组件和MFC的混合编程(matlab COM component and MFC programming mix)
    2013-07-10 18:40:36下载
    积分:1
  • FFT
    此代码是用MATLAB进行对数据做FFT变换(This code is done using MATLAB FFT transform data)
    2014-05-05 20:47:23下载
    积分:1
  • DAM_Friction_Model_Simulink
    日本九州大学的机械工程学院的 Xiong Xiaogang 于 2012 年提出一种更易于实现、同时有能够描述所有摩擦力现象的摩擦力模型,其基于一个微分方程和两个代数方程。本程序是其Simulink实现,非常好用。模型原理请参考:(In 2012, Xiong Xiaogang of the school of mechanical engineering, Kyushu University, Japan proposed a much easier way. The friction model, which can describe all friction phenomena, is based on a differential equation and two algebraic equation. This program is its Simulink implementation, very good use. Model principles, please refer to:Xiong X, Kikuuwe R, Yamamoto M. A differential-algebraic multistate friction model[M]. Simulation, Modeling, and Programming for Autonomous Robots. Springer Berlin Heidelberg,2012)
    2018-05-19 12:57:07下载
    积分:1
  • l1_ls_matlab
    matlab实现的1范数优化代码,实现绝对值偏差最小的算法。(matlab norm to achieve a optimized code to achieve the smallest absolute deviation algorithm.)
    2009-05-29 19:34:22下载
    积分:1
  • RTv7.1-1.4-(VC2005)
    rt block for matlab with source
    2011-11-16 20:10:25下载
    积分:1
  • trainFilter
    C++中使用fftw库,根据correlation filters的相关知识编写实现,可以是实现图片的相关滤波的功能,在一副图片中找到对应patch在图片中的位置,从而进行detection和tracking的相关改进(C++ fftw library use, according to the knowledge of the preparation to achieve correlation filters, which can be filtered so as to achieve a picture related to the correlation detection and tracking of improvements)
    2014-12-22 09:19:37下载
    积分:1
  • Picture-Player
    图片播放软件,含翻页,自动播放,播放速度控制,旋转(任意角度),放大,缩小等(Photo playback software, including flip, auto play, playback speed control, rotation (any angle), zoom, etc.)
    2013-07-29 10:43:16下载
    积分:1
  • Pchap55i
    基于遗传算法的pid整定的maatlab的源代码 可直接使用。 (Based on genetic algorithm pid the tuning maatlab the source code can be used directly.)
    2012-09-30 19:21:45下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载