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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • FeMarix
    有限单元,稀疏矩陈存储。 有限单元程序组件。 开发:东华理工大学 联系:张志勇(Finite element, sparse moments Chen storage. Finite element program components. Development: Tung Wah Group of Hong Kong Polytechnic University Contact: Zhang Zhiyong)
    2008-07-07 08:18:20下载
    积分:1
  • two-dimensional-silulation
    这是一个关于二维的FDTD的源代码,主要模仿电磁波传播的传播,对于做天线,雷达的朋友有帮助(This is one of the two dimensional FDTD source code, mainly to imitate the propagation of electromagnetic wave propagation, for antenna, radar has to help a friend)
    2012-04-23 22:37:55下载
    积分:1
  • ISAR
    生成rcs数据,通过此段代码进行isar成像(isar imaging)
    2020-11-17 12:59:41下载
    积分:1
  • very-simple-volume-rendering_puc
    Very Simple Volume Rendering
    2014-11-24 17:52:41下载
    积分:1
  • kt878
    仿真图是速度、距离、幅度三维图像,合成孔径雷达(SAR)目标成像仿真,可以广泛的应用于数据预测及数据分析。( FIG simulation speed, distance, amplitude three-dimensional image, Synthetic Aperture Radar (SAR) imaging simulation target, Can be widely used in data analysis and forecast data.)
    2017-05-07 23:04:37下载
    积分:1
  • K-shortest-Path-tracking
    参考《Multiple Object Tracker Using K-Shortest Paths》实现的代码,使用K最短路径实现多目标追踪功能。(Reference " Multiple Object Tracker Using K-Shortest Paths" to achieve code, use the shortest path K multi-target tracking capabilities.)
    2014-12-22 09:15:06下载
    积分:1
  • shengzijginti
    近年来,声子晶体深受欢迎 关键词:MATLAB 声子晶体 能带( In recent years, the popularity of phonon crystals Keywords: MATLAB phonon crystal band)
    2021-04-19 14:28:51下载
    积分:1
  • mohu
    此为模糊PID自适应控制程序,可以用于仿真或者实验,经过本人验证可直接运行(This is a fuzzy adaptive PID control procedures can be used to simulate or experiment can be run directly after I verify)
    2014-10-29 21:57:52下载
    积分:1
  • 3.3
    升余弦信号的功率谱及眼图 用matlab实现 (Raised cosine power spectrum and eye diagram)
    2011-06-09 14:46:56下载
    积分:1
  • HOGfortracking
    code for hog describtion in matlab
    2014-10-24 14:45:37下载
    积分:1
  • 696518资源总数
  • 104269会员总数
  • 42今日下载