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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • worldmap4
    temportort meeting jakepl
    2010-02-03 12:22:34下载
    积分:1
  • vcwithmatlab
    vc与matlab混合编程的具体实例。vc调用matlab的.m函数,经过编译之后转换为C++程序,实现进行混合编程。(vc mixed with Matlab programming specific examples. Vc call Matlab. M function, compiled after the conversion of C procedures, mixed programming.)
    2006-10-03 11:26:19下载
    积分:1
  • call1
    Persian calender hijri 1392 mfile
    2014-02-14 00:28:02下载
    积分:1
  • rc-car
    RC steering code, using arduino uno.
    2015-01-18 16:58:38下载
    积分:1
  • Announce
    wifi zg2100wifi zg2100wifi zg2100wifi zg2100wifi zg2100wifi zg2100wifi zg2100wifi zg2100wifi zg2100wifi zg2100wifi zg2100wifi zg2100wifi zg2100wifi zg2100wifi zg2100wifi zg2100wifi zg2100wifi zg2100wifi zg2100wifi zg2100wifi zg2100wifi zg2100wifi zg2100
    2011-11-13 19:38:46下载
    积分:1
  • MatlabCode
    Matlab中用的所有命令,管理命令和函数,管理变量和工作空间,控制命令窗口等(Matlab Code)
    2014-02-12 15:02:42下载
    积分:1
  • examples-2
    some examples to learn basic c++
    2014-08-12 09:03:17下载
    积分:1
  • PSO_byself.m
    说明:  粒子群算法求解约束多目标优化万能matlab代码。本代码是基于有约束条件的寻优问题,采用APSO可以加快寻优的速度,修改参数比较简单,目标函数和上下限根据自身的需要进行改动,,可以实现目标函数的寻优(Particle swarm algorithm for solving constrained multi-objective optimization universal matlab code. This code is based on the optimization problem with constraints. Using APSO can speed up the optimization process. It is relatively simple to modify the parameters. The objective function and the upper and lower limits are changed according to their own needs. The optimization of the objective function can be achieved.)
    2021-03-08 19:19:28下载
    积分:1
  • gmmclassifier
    说明:  这个源码提供了如何利用高斯混合模型去做影像辨识的模型分类(the source how to use a Gaussian mixture model to do imaging Identification Classification Model)
    2005-11-29 20:53:57下载
    积分:1
  • PROGRAMMATION-cPP-et-genie-logiciel
    book to learn Visual c++ and logiciel
    2014-02-19 12:13:40下载
    积分:1
  • 696516资源总数
  • 106405会员总数
  • 10今日下载