登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • ofdm_signal_wlan
    说明:  该程序是用matlab语言实现无线通信领域ofdm的描述,读者可以一试(that the procedure was used Matlab language OFDM wireless communications description, the reader can be a trial)
    2006-01-17 12:36:43下载
    积分:1
  • regiongrow
    该程序主要用于matlab对图像进行区域检测分割 其原理是区域生长法 需要自己设定阈值 选取生长点(The program is mainly used matlab image area detection principle is divided region growing needs its own set threshold growing point)
    2013-12-30 01:06:27下载
    积分:1
  • matlab
    matlab环境下目标函数为求最大值,且解非负整数解 %bounds 边界约束 %Myfun 为目标函数 %num 初始种群数 %N 最大迭代次数 %CP 交叉概率 %P 突变概率 %f 目标最优解 %x 最优解向量(matlab environment for the sake of the objective function value, and the solution of non-negative integer solutions% bounds border% Myfun bound for the objective function% num species the initial number of% N maximum number of iterations% CP crossover probability% P mutation probability% f-objective optimal solution% x the optimal solution vector)
    2009-02-14 15:52:06下载
    积分:1
  • twodimentrls
    The 2D RLS algorithms is used to enhanced image contrast by adaptive filtering techniques by less error and better speed recursively.
    2013-11-11 03:33:08下载
    积分:1
  • filtrosGausianos.m
    Procesamiento de imágenes filtro
    2013-05-16 15:16:19下载
    积分:1
  • kernelofdmacha
    信道估计中所使用的关键程序希望对大家有帮助(Channel estimation used in the critical processes for all of us want to help)
    2009-04-30 20:23:50下载
    积分:1
  • threedwt
    用matlab实现三级小波分解,希望对初学者有所帮助(Using matlab to achieve three wavelet decomposition, want to be helpful for beginners)
    2009-10-13 21:50:15下载
    积分:1
  • b
    说明:  基于MATLAB GUI 设计的数字信号处理系统,可以实现基本的信号生成,信号分析和信号滤波以及简单的语音信号处理等功能。其中信号生成模块可实现正弦波、方波、三角波、高斯白噪声、chrip信号的生成和叠加;信号分析模块支持基本的傅氏变换下的频域分析功能;信号滤波模块可以实现数字低通、高通、带通、带阻下的切比雪夫、巴特沃思、椭圆滤波器的设计和滤波处理;语音信号处理模块可以实现音频文件的读取、播放、叠加噪声、滤波等功能。(Based on MATLAB GUI design of digital signal processing system, you can achieve the basic signal generation, signal analysis and signal filtering, and simple voice signal processing and other functions. The signal generating module can realize the sine wave, triangle wave, Fang Bo, Gauss, chrip generation and superposition of white noise signal; signal analysis module supports the analysis function of frequency domain Fourier transform basic conditions; signal filtering module can realize digital low-pass, high pass, band pass, band stop, Butterworth, the Chebyshev elliptic filter design filtering and processing of speech signal processing; module can realize audio files to read, play, adding noise, filtering and other functions.)
    2017-07-27 14:21:43下载
    积分:1
  • Gabor
    Gabor Filter Construction
    2010-11-04 12:51:09下载
    积分:1
  • LP
    说明:  An Implementation of Karmarkar s Algorithm for Linear Programming
    2009-12-23 03:08:59下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载