-
NuSMV-2.5.1.tar
这是模型检测的一个最新版本,希望对大家有所帮助。(This is one of the latest version of model checking, we want to help.)
- 2010-11-11 15:32:08下载
- 积分:1
-
comparison_numerical_interpolation_real_values
Used function P(x) = 1+x− x2+0.2x3+0.1x4
and its known the values
P(x)=[ -6.2 -8.3 -5.0 -1.1 1 1.3 2.2 8.5 27.4],
in x= [-4 -3 -2 -1 0 1 2 3 4]
to interpolate in the xi = − 4 + 0.1i, i = 0, 1, 2, . . . 80.
Results are graphically compared!(Used function P(x) = 1+x− x2+0.2x3+0.1x4
and its known the values
P(x)=[-6.2-8.3-5.0-1.1 1 1.3 2.2 8.5 27.4],
in x= [-4-3-2-1 0 1 2 3 4]
to interpolate in the xi = − 4+ 0.1i, i = 0, 1, 2, . . . 80.
Results are graphically compared!)
- 2009-11-26 21:27:31下载
- 积分:1
-
TFTB_TBX
时频分析工具包,可用于非平稳信号处理,for matlab(This is the Time-Frequency Toolbox, a collection of about 100 M-files , developed for the analysis of non-stationary signals using time-frequency distributions. It consists in
groups of signal generation files, processing files and
post-processing files (including visualization tools).
The toolbox contains numerous algorithms for time-frequency signal analysis, with special emphasis on
quadratic energy distributions within Cohen s class and the affine class, including most recent developments
based on reassignment.
The Time-Frequency Toolbox has been developed by Francois Auger, Olivier Lemoine, Paulo Gonlv and Patrick Flandrin during the years 1995-1996. Later, modifications for Matlab 5 were made available.)
- 2010-07-31 11:17:31下载
- 积分:1
-
stop-and-wait-arq
Stop-and-wait ARQ is a method used in telecommunications to send information between two connected devices. It ensures that information is not lost due to dropped packets and that packets are received in the correct order. It is the simplest kind of automatic repeat-request (ARQ) method. A stop-and-wait ARQ sender sends one frame at a time it is a special case of the general sliding window protocol with both transmit and receive window sizes equal to 1. After sending each frame, the sender doesn t send any further frames until it receives an acknowledgement (ACK) signal. After receiving a good frame, the receiver sends an ACK. If the ACK does not reach the sender before a certain time, known as the timeout, the sender sends the same frame again.
- 2011-08-03 16:53:31下载
- 积分:1
-
MATLAB
matlab 英文书籍,影印版,非常使用的教你一步一步的学习如何用matlab编程的,适用于双语教学(matlab programming for engineers,useful,powerful and easy)
- 2009-05-11 11:10:04下载
- 积分:1
-
c
说明: 这是一个基于MATLAB的三相SPWM逆变电路(This is a MATLAB-based three-phase SPWM inverter circuit)
- 2009-05-27 12:09:01下载
- 积分:1
-
rls
经典rls自适应滤波算法实现,仿真结果正确(Classic rls adaptive filtering algorithm, simulation results of the correct)
- 2009-06-23 21:06:13下载
- 积分:1
-
part_VIII
Quantization effects and array algorithms
- 2011-05-27 20:55:10下载
- 积分:1
-
lorentz
三个程序,分别以四阶龙格库塔法和欧拉法解洛伦兹方程,并绘制相图,时间演化图,庞加莱截面图.(Three procedures, respectively, fourth-order Runge-Kutta method and Euler method for solving the Lorentz equation and draw the phase diagram, the time evolution of the map, Poincare section.)
- 2020-10-22 13:37:23下载
- 积分:1
-
240219071721427f8
matlab code image proccessing codesq2
- 2019-03-22 02:39:40下载
- 积分:1