1) (probabilistic) process algebra
(概率)进程代数
2) probabilistic process
概率进程
3) process algebra
进程代数
1.
Process Algebra and Application of It in Performance Evaluation;
进程代数及其在性能评价中的应用综述
2.
Formal network architecture model based on process algebra;
基于进程代数的网络体系结构形式化模型
3.
Modeling security software architecture based on process algebra;
基于进程代数的安全软件体系结构建模
4) probabilistic process algebra
概率进程演算
5) CCS Process Algebra
CCS进程代数
6) probability and vector algebra
概率和矢量代数
1.
In this paper,probability and vector algebra method of combining,through examples of analysis,this method can be used to reflect the quality of electrified railway power the actual situation.
利用概率和矢量代数相结合的方法,通过实例分析,阐明了这种方法能够较好地反映电气化铁路电能质量的实际情况,指出该方法评估过程简单易懂,能够较好地和所学理论进行有机结合,并在本阶段得到了广泛应用。
补充资料：进程代数
进程代数
process algebra
1 incheng daishu进程代数(p一al罗bra)关于通信并发系统的代数理论的统称。 20世纪70年代后期，英国学者RMnner和C.A.R，H以叮e分别提出了通信系统演算和通信顺序进程，开创了用代数方法研究通信并发系统的先河。此后这一研究方向兴盛不衰，出现了众多类似而又相互区别的演算系统，如ACP(提出者J.A.Ber郎tra和J.W.K10p)，ATp(提出者M.H即n樱y)，Meije(提出者G.E劝udol，R.desi~)，LOTC6等，统称为进程代数。这些代数理论都使用通信，而不是共享存储，作为进程之间相互作用的基本手段，表现出面向分布式系统的特征。 在语法上，进程代数用一组算子作为进程的构件。算子的语义通常用结构化操作语义方法定义，这样进程就可看成是带标号的变迁系统。进程代数的一个显著特征是把并发性归结为非确定性，将并发执行的进程的行为看成是各单个进程的行为的所有可能的交错合成，即所谓交错语义。 进程代数研究的核心问题是进程的等价性，即在什么意义下两个进程的行为相同?在进程代数领域使用的最为广泛的等价关系有互模拟、测试等价、失败等价(参见通信顺序进程)等。对这些语义等价关系均建立了相应的公理系统。关于公理系统的研究不仅加深了对语义理论的理解，而且使得有可能对语义等价关系进行形式推理。 为了将进程代数的理论成果应用于解决实际问题，20世纪80年代后期出现了许多计算机支持工具。用这些工具可对进程的行为进行推理或模拟。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条