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

uppaal-4.0.13-aca

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

代码说明:

  Uppal is a prototype verification tool to maodel and verify prototype

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

发表评论

0 个回复

  • GA
    说明:  Malab实用的编辑程序,能够帮助大家实现遗传算法的编程。(Malab useful editing program, can help you achieve the programming of genetic algorithm.)
    2014-08-08 09:30:16下载
    积分:1
  • 4-Simple-Fuzzy-PID-Controllers
    this code simulates a 4fuzzy PID cotroller for ball-baem system and 3 other systems.
    2013-07-26 16:09:53下载
    积分:1
  • read_txt_1
    过于滤波,采用卡尔曼滤波有关的方法。比较简单。打开文件,希望有用(kalman filter)
    2011-12-09 21:20:28下载
    积分:1
  • aboutmatlab
    一本很有用的书,数字信号处理及其Matlab实现(A very useful book, digital signal processing and Matlab implementation)
    2009-09-05 14:05:23下载
    积分:1
  • check_valve_motion
    排氣閥門的UDF,裏頭有寫著在如何的壓力底下排氣閥門會開啟,當壓力未達到時排氣閥門將會關閉(Exhaust valve UDF, inside there that says how the pressure beneath the exhaust valve opens when the pressure does not reach the exhaust valve will be closed)
    2014-11-26 15:25:42下载
    积分:1
  • VBLAST-simulation
    本文对V-BLAST系统进行仿真,仿真比较采用干扰消除和无干扰消除的系统误帧率与SNR的关系曲线,并进行比较。(V-BLAST system simulation, simulation was used to compare the interference cancellation and without interference cancellation system, the frame error rate and SNR curve, and compare them.)
    2012-07-05 10:37:14下载
    积分:1
  • yichuansuanfa
    说明:  遗传算法进行线性规划优化,可用于多个方面(Linear programming optimization of genetic algorithm can be used in many areas)
    2011-04-06 21:27:05下载
    积分:1
  • 鲸鱼算法
    说明:  通过模拟鲸鱼捕食的特点而开发的一种鲸鱼算法。(A whale algorithm developed by simulating the predation characteristics of whales.)
    2020-10-31 09:59:55下载
    积分:1
  • 1
    说明:  C与C++ 语言中表达式的求值,主要讲解了副作用及顺序点的概念(C and C++ language expression evaluation, the main points to explain the concept of side effects and the order of)
    2011-04-08 23:44:44下载
    积分:1
  • MATLAB
    本文介绍了数字信号处理中各种算法基本原理,包括Z 变换、DFT 变换及其快速 算法FFT 等信号变换算法和包括IIR 与FIR 数字滤波器的设计与实现,详细论述了利用 MATLAB 软件对信号变换和设计数字滤波器的原理﹑ 步骤和实现方法,并给出了基于 MATLAB 的模拟与仿真。文章最后给出了实验结果,并就其结果做了进一步的解释和说明。 关键词:Z 变换,离散傅立叶变换DFT,数字滤波器,系统结构仿真 (This article describes a variety of digital signal processing algorithms in the basic principles, including the Z transform, DFT transform and its fast algorithm FFT and other signal transform algorithm and including IIR and FIR digital filter design and implementation, discussed in detail by using MATLAB software, the signal transformation The principle and design of digital filters ﹑ steps and implementations, and gives MATLAB-based simulation and emulation. Article Finally, the experimental results and the results made on the further explanation and clarification. Key words: Z transform, discrete Fourier transform DFT, digital filter, system architecture simulation)
    2010-03-01 21:05:16下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载