登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • FIRBSF_v3
    Design a linear phase minimum order FIR Band Stop filter to stop the frequency band 0.45π to 0.55π with atleast 60dB attenuation at the edges. Further -3dB frequencies are required to be at 0.3π and 0.7π. 1. Plot the frequency response of the psuedo magnitude function using (a)rectangular window, (b)Hann window and (c) Hamming window. 2. Plot the frequency response for Rectangular and Hamming window for a length of 1024 to demonstrate the fact that the increase in the length, doesn t reduce undershoot and overshoot in Rectangular window.
    2010-12-11 06:14:12下载
    积分:1
  • pre_bp
    bp神经网络通用预测程序,matlab2009编写,可直接输入数据。(bp neural network forecasting process common, matlab2009 preparation, can be directly input data.)
    2010-01-31 00:47:41下载
    积分:1
  • Houselder
    houselder算法的matlab程序,对于初学者有用(Houselder algorithm matlab procedures, useful for beginners)
    2012-04-16 20:47:08下载
    积分:1
  • MATLABshijingwangluoyishiliyingyong
    神经网络原理与实例精解,有用,希望有帮组(Examples of neural network theory and refined solution)
    2013-12-31 15:35:57下载
    积分:1
  • synchronousmachinmodel
    matlab code for synchronous machin
    2010-12-18 22:30:32下载
    积分:1
  • thermocouple
    关于热电偶的实验报告,加上补偿电路以提高响应速度。(Experimental report on the thermocouple, together with compensation circuit to improve the response speed.)
    2009-12-30 21:56:10下载
    积分:1
  • work
    麦克风阵列的一些程序 都是本人的心血之作 可能有错误的地方 但是可以作为参考(Microphone arrays are some of the procedures of my efforts to make possible the wrong place but can be used as reference)
    2020-07-01 17:00:01下载
    积分:1
  • MLP--RBF
    MLP for Approximation sinc(x,y)=(sin(x)x)*(sin(y)y)
    2014-02-11 00:31:57下载
    积分:1
  • wavelet
    说明:  有各种小波包分解的程序和子程序,能够有效快速地对振动信号进行分解。(There are various wavelet packet decomposition programs and subroutines, which can decompose vibration signals effectively and quickly.)
    2019-03-07 14:55:15下载
    积分:1
  • yadangsi
    利用四阶亚当斯隐式公式求解常微分方程初值,并计算它与精确解的误差(Using fourth-order implicit Adams formula for solving initial value ordinary differential equations, and calculate the error with the exact solution)
    2010-11-24 22:10:39下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载