登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • Ch10
    小波分析理论与matlab7实现的例程,第10章一维小波变换的MATLAB实现(Wavelet analysis theory and realize matlab7 the routines, Chapter 10, one-dimensional wavelet transform MATLAB realize)
    2007-08-31 09:19:29下载
    积分:1
  • pid
    matlab 在pid领域的新的应用。用matlab环境实现pid控制。(pid is a very important thing.this artile is pid zai matlab ling yu de ying yong.)
    2009-03-17 17:03:49下载
    积分:1
  • 7941930MSK
    说明:  用MATLAB编写与仿真了MSK信号,其中调制解调都有,很有用(Written and simulated using MATLAB MSK signal modulation and demodulation of which are very useful)
    2010-04-28 10:33:09下载
    积分:1
  • All-optical-microwave-filters
    我们提出了一种新的方法来实现全光 微波使用光纤布拉格光栅阵列滤波 相同的反射率。确定了过滤器攻丝系数 通过一个宽带光源的光谱分布和 光栅的中心波长。由于光纤布拉格 光栅有相同的反射率,其特征 高均匀度的光栅是可能的,从而简化了 光纤布拉格光栅的制作,降低了实现 错误。此外,该宽带光的光谱分布 源可以控制使用的光学过滤器,可用于 控制滤波器系数的滤波器的旁瓣抑制。一个 微波滤波器采用四个光纤布拉格光栅的实验 实施。 (We propose a novel approach to realizing all-optical microwave filtering using an array of fiber Bragg gratings with identical reflectivities. The filter tapping coefficients are determined by the spectrum profile of a broadband light source and the central wavelengths of the gratings. Since the fiber Bragg gratings have identical reflectivities, the characteristics of the gratings with high uniformity are possible, which simplifies the fiber Bragg grating fabrication and reduces the implementation error. In addition, the spectrum profile of the broadband light source can be controlled using an optical filter, which could be used to control the filter coefficients to suppress the filter sidelobes. A microwave filter using four fiber Bragg gratings is experimentally implemented.)
    2013-09-27 10:23:10下载
    积分:1
  • matlab
    跟踪目标的matlab程序,非常有用, 比较实用(Target tracking matlab procedures, very useful)
    2013-12-01 20:47:15下载
    积分:1
  • poisson.m
    This is a program for artifical object insertion using poisson image editing.It use poisson equation for solving the problem
    2010-10-30 00:13:31下载
    积分:1
  • workuse
    这是基于matlab的信号系统实验程序,可以完成信号系统课程的相关实验,提高信号系统课程的认识和理解。(This is based on the signaling system matlab experimental procedure, you can complete courses related experiments signaling system, improve the signal system course knowledge and understanding.)
    2013-07-09 21:15:03下载
    积分:1
  • NBCOFdEst
    窄带相关脉冲估计多普勒频移(包括解模糊算法)(Narrowband related pulse Doppler shift estimation (including solution fuzzy algorithm))
    2013-11-23 22:49:27下载
    积分:1
  • Collins
    collins衍射传播函数,可以计算光波的衍射过程(collins diffraction spread function can be calculated diffraction process of light)
    2015-01-12 19:01:13下载
    积分:1
  • Solutions-of-Elliptic-Equations
    主要针对数学物理问题上的椭圆方程,利用matlab来解相关的椭圆方程(The main problem for elliptic equations of mathematical physics on using matlab to solve the associated elliptic equations)
    2014-08-10 10:09:30下载
    积分:1
  • 696518资源总数
  • 105554会员总数
  • 2今日下载