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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • MMUSIC
    修正music算法对相干信号的DOA估计(Music algorithm modified DOA Estimation for Coherent Signal)
    2010-06-07 08:01:14下载
    积分:1
  • LCS
    LCS 问题 最大公共子序列LCS 问题 最大公共子序列LCS 问题 最大公共子序列(The biggest problem common subsequence LCS LCS LCS biggest problem common subsequence problem largest common subsequence)
    2015-01-04 21:47:33下载
    积分:1
  • ml
    说明:  ml detection mimo good
    2009-12-12 17:13:49下载
    积分:1
  • program
    在matlab, 利用粒子群算法(PSO)实现函数极值优化(In matlab, using particle swarm optimization (PSO) to achieve function extreme optimization)
    2014-11-12 05:51:51下载
    积分:1
  • Satellite-orbit-simulation
    卫星轨道仿真,源码,C++,定位等信息GEllipticalOrbit.cpp登文件(Satellite orbit simulation )
    2012-05-04 13:59:56下载
    积分:1
  • aerodynamics-of-wind-turbines
    Denmark Technical University的大牛Hansen,第二版风力机空气动力学。(Denmark Technical University' s Daniel Hansen, the second edition of wind turbine aerodynamics.)
    2013-07-19 09:00:35下载
    积分:1
  • enlarge
    对二维图片进行中心放大,能控制放大的倍数,采用最近邻法(enlarge pictures from the center of it,can control the index for enlargement)
    2014-01-07 11:26:28下载
    积分:1
  • Multi2Carrier-Measurements
    利用GNSS 进行高精度导航定位的前提是正确固定载波相位观测值的整周模糊度。由Galileo 系统的4 个载波观测值可以 形成诸多有良好特性的组合观测值,利用这些组合观测值,结合MCAR 方法,可以有效地确定整周模糊度。(The use of high-precision GNSS navigation and positioning the premise is correct carrier phase observations fixed integer ambiguity. May consist of four carriers observations Galileo system There are many good characteristics to form a combination of observations using a combination of these observations, combined with MCAR method can effectively determine the integer ambiguity.)
    2013-12-21 14:07:20下载
    积分:1
  • THP-pre-coding
    encoder and decoder programme for pre-coding MIMO system based on THP algorithm (encoder and decoder programme for pre-coding MIMO system based on THP algorithm)
    2007-07-27 09:57:27下载
    积分:1
  • MV-S88E6095_decrypted
    Marvell交换机解决方案,88E6095提供8个百兆光电复用口和3个千兆光电复用口。比较好的配置方案,给有帮助的朋友(8 FE+ 3 GE Stackable Ethernet Switch with QoS and 802.1Q)
    2013-11-26 10:44:49下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载