Level 1 - Process Validation1. maximum arrival countDefine the number of token instances the process will generate (or trigger)在一开始定义多少token将被处理2.Gate...
分类:
其他好文 时间:
2015-03-19 21:37:03
阅读次数:
109
练习3-5原文Exercise 3.5. Monte Carlo integration is a method of estimating definite integrals by means of Monte Carlo simulation. Consider computing the area of a region of space described by a predicate...
分类:
其他好文 时间:
2015-03-11 19:43:30
阅读次数:
118
一开始没好好读题。。漏了一个很重要的地方:当每个变迁的每个输入库所都至少有一个token时,变迁是允许的。变迁发生的结果是每个输入库所减少一个token,每个输出库所增加一个token。 注意是每一个啊~~
我写了个结构体,结构体里有两个映射成员,分别表示这个变迁的输入库和输出库。键表示序号,值表示需要的token个数。
#include
using namespace std;
const...
分类:
Web程序 时间:
2015-03-06 15:53:48
阅读次数:
146
An iterative 'simulation' problem:#include #include #include #include #include using namespace std;int main() { int t, n, c, m; cin >> t; whi...
分类:
其他好文 时间:
2015-02-27 16:55:22
阅读次数:
162
$stop - Pauses the simulation, so you can resume it by using fg command in linux. In this case lincense will not be released and process also is not k...
分类:
其他好文 时间:
2015-02-13 16:05:12
阅读次数:
220
"Delta cycles are an HDL concept used to order events that occur in zero physical time."sigasi.comTaking the definition for Sigasi, what VHDL calls de...
分类:
其他好文 时间:
2015-02-12 10:34:24
阅读次数:
172
① secureip库:硬核(HARD IP)仿真(功能仿真和时序仿真)模型(hard IP simulation model),比如PowerPC、PCIE、SRIO、DDR等。Simulation models for the Hard-IP such as the PowerPC proces...
分类:
其他好文 时间:
2015-02-09 18:10:23
阅读次数:
440
程序说明 V0.0 2015/1/24LDPC译码算法代码概述
概述
本文介绍了包括LDPC_Simulation.m, ldpcdecoderbp1.m,ldpcdecoderminsum.m, ldpcdecoderbp2.m,ldpcdecoderminsum2.m在内的MATLAB代码的编写...
分类:
编程语言 时间:
2015-02-02 19:24:50
阅读次数:
341
随机模拟也可以叫做蒙特卡罗模拟(Monte Carlo Simulation)。这个方法的发展始于20世纪40年代,和原子弹制造的曼哈顿计划密切相关。随机模拟中有一个重要的问题就是给定一个概率分布p(x),我们如何在计算机中生成它的样本。
分类:
其他好文 时间:
2015-02-01 23:02:33
阅读次数:
440
今天实现了把模拟状态保存为文件的功能。当前的模拟对话框为:模拟过后只需点 Save Simulation Result,即可保存结果。结果包括初始位置initPos、内部点索引intPntIdx、表面点索引surfPntIdx、每一帧偏移量q、速度v、加速度a、参数值param下一步实现模型的静态解...
分类:
其他好文 时间:
2015-01-26 01:15:59
阅读次数:
154