网站首页

while-language

于 2014-02-17 发布文件大小:1KB

 0  91

下载积分: 1 下载次数: 2

我要下载

代码说明：

Haskell code defining syntax und semantics of the "while language" with welltyped predicates. Inspired by "Semantics With Applications" (Nielson).

下载说明：请别用迅雷下载，失败请重下，重下不扣分！

发表评论

0 个回复

RandPSO
随机权重的粒子群算法，优化过程中权重随机变化(RandWPSO)

2010-09-02 16:26:30下载

积分：1
CCR-model-and-CCGSS-model-in-DEA-
说明：利用matlab环境设计了DEA方法中CCR模型和CCGSS模型的计算程序(Environmental design using matlab CCR DEA model and the method of calculation procedure CCGSS model)

2011-04-18 14:22:49下载

积分：1
feng
和一般的学术论文上的仿真结果一样，是最新的matlab模块(And general academic papers on the simulation results, the new MATLAB module)

2012-04-27 20:51:34下载

积分：1
UnitRootTest
this function calculate unit root for vector Y by metods: ADF (Augmented Dickey-Fuller) and PP (Phillips-Perron) also this function determine max lag for Y aoutomaticaly[Hayashi(2000)]

2013-04-24 02:02:14下载

积分：1
suzuki_fading_channel_sim.zip
用matlab编写的suzuki模型的衰落信道仿真模型(using Matlab model prepared by the suzuki the fading channel simulation model)

2007-03-14 16:02:37下载

积分：1
Lithumion
lithumion acid battery used for simulation of inverter

2011-10-23 18:35:50下载

积分：1
wind_dfig
DFIG发电系统的一个模型，来自demo.(A model of DFIG windfarm,from demo.)

2014-07-16 14:22:34下载

积分：1
IONORT_0_7_2
说明：电离层射线追踪模型：计算射线在电离层中的传播路径(Ionospheric ray tracing model: calculating ray paths in the ionosphere)

2021-03-12 10:20:26下载

积分：1
VSI_Rload
VOLTAGE SOURCE INVERTER FEEDING R LOAD

2010-09-26 22:53:36下载

积分：1
Recursive_maximum_likelihood_parameter_estimation
递推极大似然估计法参数辨识的MATLAB源码(Recursive maximum likelihood estimation MATLAB source parameter identification)

2010-12-19 02:03:19下载

积分：1

696518资源总数
104269会员总数
42今日下载

while-language

0 个回复

热门标签

热门下载