登录
首页 » Others » while-language

while-language

于 2014-02-17 发布 文件大小:1KB
0 179
下载积分: 1 下载次数: 2

代码说明:

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

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

发表评论

0 个回复

  • dusheng
    T-S模糊神经网络的matalb程序,可以用做端点检测-TS fuzzy neural network matalb procedure can be used for endpoint detection(TS fuzzy neural network matalb procedure can be used as endpoint detection-TS fuzzy neural network matalb procedure can be used for endpoint detection)
    2010-06-28 12:55:09下载
    积分:1
  • Clutch
    基于Matlab-simulink的建立的汽车离合器分离结合的控制模型(Control model of automotive clutch based on Matlab-simulink)
    2014-01-14 15:11:13下载
    积分:1
  • EEMD-EnergyOperator
    说明:  使用EEMD对故障信号进行分解,提取不同imf的能量熵,有数据可直接运行。(EEMD is used to decompose the fault signals, extract the energy entropy of different IMF, and the data can be operated directly.)
    2021-03-02 19:09:33下载
    积分:1
  • gauss
    高斯白噪声信号通过低通滤波器后的波形分析 (Gaussian white noise signal through the low-pass filter waveform analysis)
    2013-08-28 22:57:22下载
    积分:1
  • xihaofenxi
    MATLAB信号分析,内涵各种信号分析的源代码(MATLAB signal analysis, meaning the source code for a variety of signal analysis)
    2010-01-05 10:56:09下载
    积分:1
  • L1_magic
    程序包包括了求解稀疏信号重构的凸优化方法。具体实现了基于 primal-dual 的线性规划方法(LPs)和基于 log-barrier 的二阶锥规划方法(SOCPs)。(Sparse signal recovery via convex programming is given in the pakage. The Lps are using generic primal-dual method, and the SOCPs are solved with a generic log-barrier algorithm. )
    2012-04-17 22:23:44下载
    积分:1
  • MATLAB
    电力电子系统仿真,包含了电力电子技术这本书里的十个实验(power matlab )
    2012-05-31 09:38:31下载
    积分:1
  • 2019年华为杯数学建模F题第一问代码
    说明:  2019年第16届华为杯数学建模F题第一问的代码(Code of the first question of mathematical modeling F of the 16th Huawei cup in 2019)
    2019-11-30 15:46:34下载
    积分:1
  • graph_montecarlo
    蒙特卡洛法空间点的离散应用,包含相应作图程序(Monte Carlo method of discrete points in space that contains the corresponding drawing program)
    2015-03-11 16:26:40下载
    积分:1
  • svmMATLAB
    支持向量机matlab仿真代码,对于智能控制算法的很有帮助(svm matlab code)
    2010-09-18 16:14:10下载
    积分:1
  • 696518资源总数
  • 106148会员总数
  • 10今日下载