登录
首页 » Others » while-language

while-language

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

代码说明:

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

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

发表评论

0 个回复

  • RD
    说明:  SAR的MATLAB程序,这里主要是介绍传统的RD算法, 对初学者还是可以的(SAR in the MATLAB program, here is to introduce the traditional RD algorithm, for beginners or the possible)
    2010-04-24 00:35:36下载
    积分:1
  • 2D桁架结构有限元分析
    matlab的桁架有限元分析程序,包含注释,十分详细(Finite element analysis program of truss based on MATLAB)
    2019-04-05 23:18:29下载
    积分:1
  • bpprogramming
    说明:  这个程序根据训练好的网络文件ANN.mat预测新的数据文件,得到均方误差,并画出预测数据和原数据的对比图。此程序运用到了很多Matlab编程中常用到的表达方式,还有一些神经网络编程的基本概念的表达,如归一化的表达。希望能对大家有所帮助(This program the trained network file ANN.mat predict new data file, get the mean square error, and forecast data and the original data to draw the comparison chart. This procedure applied to a lot of Matlab programming to the expression commonly used, there are some basic concepts of neural network programming expression, as normalized expression. Hope you can help)
    2010-04-16 20:56:48下载
    积分:1
  • TSP
    TSP问题是经典的寻优问题 也是人工智能里一个重要的问题 我编写的程序主要是用蚁群算法来解决这个问题。蚁群算法是人工智能里用来寻优的重要算法 由于蚁群算法的优点使得TSP问题能够实现。 (The TSP problem is a classical optimization problem is also an important problem in artificial intelligence programs written in my main is to use ant colony algorithm to solve the problem. Ant colony algorithm is used in artificial intelligence (ai) optimization algorithm is important due to the advantages of ant colony algorithm can achieve the TSP problem.)
    2013-03-19 19:16:30下载
    积分:1
  • FFR_optimization
    FFR优化:FFR蜂窝小区的仿真,多用户随机分布着各个小区中,能够统计中心小区和边缘小区的用户吞吐量(FFR optimization: FFR cell simulation, multi-user randomly distributed in each cell, capable of counting center cell and cell edge user throughput)
    2020-12-29 13:29:02下载
    积分:1
  • vbmatrix
    使用vb和matrix画图,调用matlab函数(Using vb and matrix drawing, call the matlab function)
    2010-06-26 09:19:36下载
    积分:1
  • MUSIC
    The Root MUSIC method for frequency estimation
    2009-10-20 00:06:35下载
    积分:1
  • gabor
    gabor变换——gabor变换能有效的一直字符的噪声,变形、断裂、模糊以及亮度不均匀图像干扰(gabor)
    2010-10-09 22:33:43下载
    积分:1
  • pso_2D1
    说明:  粒子群优化算法 相信有不少人知道粒子群优化吧。算法简单而且寻优的速度快。我用matlab写了PSO的实现程序,相信对对这方面感兴趣的兄弟有用。为了比较直观的演示PSO的算法,用了2维的。 (PSO algorithm believe a lot of people know it PSO. A simple algorithm optimization and faster. I used Matlab was the PSO procedures, I believe this area of interest to the brothers useful. In order to compare the visual presentation of the PSO algorithm, with a two-dimensional.)
    2006-03-03 12:30:49下载
    积分:1
  • stylechange
    大小盘风格轮动策略,本版本暂时选取沪深300作为大盘股指数,中小板指数作为小盘股指数(Size of the disk style rotation strategy, the release time being selected as the CSI 300 index of large-cap stocks, small board index as the small cap index)
    2013-08-05 10:04:09下载
    积分:1
  • 696516资源总数
  • 106914会员总数
  • 0今日下载