登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • AFDfunction
    主动式反孤岛效应方法中的主动频率偏移法,通过matlab中的Embedded function编写的验证函数(Active anti-islanding methods active frequency offset method, through the Embedded function matlab written verification function)
    2013-08-03 20:37:04下载
    积分:1
  • SAR-pro
    MATLAB编写的SAR成像程序,数据采用的是仿真数据(matlab prepared SAR imaging program, using the simulation data.)
    2013-12-26 13:55:42下载
    积分:1
  • jbfmxexn
    Relief计算分类权重,阵列信号处理的高分辨率估计,FMCW调频连续波雷达的测距测角,多姿态,多角度,有不同光照,一些自适应信号处理的算法,pwm整流器的建模仿真。( Relief computing classification weight, High-resolution array signal processing estimates, FMCW frequency modulated continuous wave radar range and angular measurements, Much posture, multi-angle, have different light, Some adaptive signal processing algorithms, Modeling and simulation pwm rectifie.)
    2016-03-12 11:30:05下载
    积分:1
  • cjwqraia
    基于matlab GUI界面设计,可以动态调节运行环境的参数,详细画出了时域和频域的相关图,一种流形学习算法(很好用),结合PCA的尺度不变特征变换(SIFT)算法,用于建立主成分分析模型,实现了对10个数字音的识别程。( Based on matlab GUI interface design, Can dynamically adjust the parameters of the operating environment, Correlation diagram shown in detail the time domain and frequency domain, A fluid manifold learning algorithm (good use), Combined with PCA scale invariant feature transform (SIFT) algorithm, Principal component analysis model for establishing, Realization of 10 digital audio recognition progra.)
    2016-04-02 22:07:42下载
    积分:1
  • Monte Carlo
    对仿真弹道进行3个参数偏差的蒙特卡罗打靶分析,然后给出置信区间高度等等(THE REAL EXAMPLES)
    2016-04-26 11:40:43下载
    积分:1
  • 9927424LFM
    线性调频信号是一种雷达常用的电磁波信号,当雷达信号检测到目标时候,反射后得到雷达回波信号(LFM signal is a kind of radar used electromagnetic signals, when the radar signal detection to the target, the reflection of radar echo signal after)
    2009-01-10 18:20:01下载
    积分:1
  • MATLAB7.0
    主要介绍了matlab7.0的基础知识和使用技巧包括(数值运算,符号运算,图形处理)及强大的编程功能和各种实际应用(It mainly introduces the basic knowledge and skills including the use of (numerical computation, symbolic computation, graphics processing) and a powerful programming features and a variety of practical applications)
    2009-05-04 22:52:27下载
    积分:1
  • karlman-matlab
    说明:   karlman检测跟踪算法,matlab源代码( karlman code ,implement with matlab)
    2011-02-26 16:01:37下载
    积分:1
  • brain_net
    计算网络,脑网络或者其他网络,测度计算的源程序。实用性强(Computing network measure )
    2012-11-13 22:55:38下载
    积分:1
  • energy
    This code may be useful for sensing spectrum in cognitive radio
    2014-03-12 14:50:07下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载