1) modeling biology with stochastic Pi calculus (BioSPI)
随机Pi演算对生物建模
2) random modeling inversion
随机建模反演
3) pi-calculus
pi-演算
1.
Verifying Web services substitution using Pi-calculus;
基于Pi-演算的Web服务可替换性验证
2.
Workflow Patterns Description in Term of Pi-calculus;
基于Pi-演算的工作流模式描述
3.
Specification and verification of WS-CDL choreography based on Pi-calculus;
基于Pi-演算的WS-CDL编舞的描述和验证
4) Pi calculus
Pi演算
1.
Business process model of CRM system based on PI calculus
基于PI演算的CRM系统的业务流程建模
2.
This paper expands the Pi calculus in order to address a formalized description of the BPEL4WS program.
通过对pi演算进行扩充以形式化描述BPEL4WS程序,给出了扩充pi演算的语法和操作语义,并用pi演算的通讯并发结构表示BPEL4WS规范的link结构。
3.
The paper puts forward a pi calculus encoding for fault and compensation processing in the Web Services Composition Language BPEL4WS in order to verify the BPEL4WS language automatically.
本文研究了Web服务组合语言BPEL4WS的出错与补偿处理的pi演算编码,目的是实现Web服务组合语言BPEL4WS自动验证过程。
5) pi-calculus
pi演算
1.
PI-calculus Modeling of Multicast Protocol Verified with MWB;
多播协议PI演算建模与MWB检测
2.
Improved method of automated Web service composition using Pi-calculus;
一种改进的基于Pi演算的Web服务自动组装方法
3.
Research on Formal Verification of Web Services Flow Based on Pi-Calculus;
基于Pi演算的服务流验证方法研究
6) pi-like Calculus
类pi演算
1.
Formal Research of Electronic Payment Protocol Based on pi-like Calculus;
基于类pi演算的电子支付协议安全性形式化研究
补充资料：随机数和伪随机数
随机数和伪随机数
random and pseudo-randan numbers
随机数和伪随机数【喇间佣1 al川牌”山一喇闭..m.山娜;cJI了，a如曰e”nce，口oc月卿成.以叹“c月a】 数亡。(特别，二进制数:。)，其顺序出现，满足某种统计正则性(见概率论(probability Uleory)).人们是这样区别随机数(mndomn切mbe比)和伪随机数(PSeudo一mn由mn切mbe岛)的，前者由随机的装置来生成，而后者是用算术算法构造的.总是假设(出于较好或较差的理由)所得(或所构造)的序列具有频率性质，这些性质对于具有分布函数F(z)的某随机变量心独立实现的一个序列来说是“典型的”;因此人们称作根据规律F(习分布的(独立的)随机数.最经常使用的例子为:在区间【O，l]上均匀分布的随机数亡。，尸(亡。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条