网站首页

while-language

于 2014-02-17 发布文件大小:1KB

 0  76

下载积分: 1 下载次数: 2

我要下载

代码说明：

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

下载说明：请别用迅雷下载，失败请重下，重下不扣分！

发表评论

0 个回复

63986089LDPC
数字电视传输系统中LDPC码编码器的研究与FPGA实现，详细介绍了编译码原理以及具体的实现过程(Digital TV transmission systems of LDPC encoder and FPGA implementation, detailing the encoding and decoding as well as specific realization of the principle )

2010-12-13 18:03:31下载

积分：1
GPS-parallel-code-acqure-algorithm
GPS并行码捕获算法MATLAB源代码，含有1024点FFT噪声的计算。(GPS parallel code acqure algorithm matlab source code, including 1024 points FFT noise calculation.)

2013-02-01 21:57:35下载

积分：1
c_matlab_program
说明：其中有两个matalb程序，实现2fsk通信系统仿真和基2fft运算，c程序实现最短路径和文件链表。(There are two matalb procedures to achieve 2fsk communication system simulation and calculation based 2fft, c program to implement the shortest path and file list.)

2010-04-09 17:39:51下载

积分：1
SAX2DTM2
Iterator that returns all immediate children of a given node.

2014-01-17 14:24:13下载

积分：1
beam-to-change-the-phase-shifter
天线方向图，通过设计移相器改变波束指向，相控阵(beam to change the phase shifter)

2020-07-13 15:58:52下载

积分：1
aaa
认知无线电中频谱感知的程序，宽带感知，EI期刊上的一篇论文(Spectrum sensing in cognitive radio program, broadband perception)

2014-05-23 16:34:17下载

积分：1
3Dsound_demo
通过头传输函数的合成3D音效，matlab程序，还是相关的数据(Transfer function through the synthesis of the first 3D sound, matlab program, or related data)

2010-11-03 23:04:56下载

积分：1
samp
Time vector for the downlink data s where the power vector is a finite state space model.

2013-07-21 02:20:13下载

积分：1
TrackingDifferentiator.m
跟踪微分器，用于自抗扰控制的过度安排作用，学习自抗扰可参考学习，谢谢(Track Differentiator)

2013-09-20 23:05:21下载

积分：1
bianpojiegousheji3
本文基于毕肖普法和蒙特卡洛法,利用MATLAB编程软件计算了边坡结构的失效概率Pf和对应可靠指标β.在计算上述Pf和对应β时,考虑了土体三个主要基本参数(重度γ、内摩擦角(Ψ)、粘聚力c)的随机特性.利用MATLAB程序的计算结果表明,随机变量对边坡可靠度的影响与基本随机参数对抗滑反力的贡献大小有关,即,贡献大的基本随机参数,它的随机波动对结构失效概率Pf的影响也较大,反之亦然.另外,基于MATLAB的算例计算结果还表明:边坡结构失效概率Pf对内摩擦角(Ψ)较敏感,而对重度y和粘聚力c次之.其次,当同时考虑三个随机变量的联合波动对Pf的影响时发现,当它们在小范围内随机波动时,其联合特性对Pf的影响较敏感,但当它们在大范围内随机波动时,Pf主要受敏感随机变量的影响,而三个随机变量联合作用对Pf的影响和敏感随机变量(Ψ)单独作用时相差不大.由此可见,在实际边坡工程可靠性分析中,土体内摩擦角起主要作用,不容忽视.(Based Bishop method and Monte Carlo method, using MATLAB programming software to calculate the failure probability Pf and the corresponding slope reliability index β structure in the calculation of the above Pf and the corresponding β, consider the three main basic soil parameters (severe γ internal friction angle (Ψ), cohesion c) of the random nature of calculation results using MATLAB program shows that the influence of random variables on the reliability of the basic random slope parameters against anti- slip contribution to the size of the force , that is , the contribution the basic parameters of large random , random fluctuations which affect the probability of structural failure Pf is also larger , and vice versa addition, the calculation based on MATLAB numerical results also show that : the structure of slope failure probability Pf internal friction angle (Ψ) more sensitive , while severe and cohesion c y followed . Secondly, when taking into account the impact of the joint fl)

2014-01-10 17:36:46下载

积分：1

696524资源总数
103986会员总数
80今日下载

while-language

0 个回复

热门标签

热门下载