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
