In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.
本文中，我们采用概率事件结构作为语义模型，研究了概率进程代数的度量指称语义。
This process becomes slightly more complicated with data standardization, probabilistic matching, or customized search and match rules. However, in all cases, consider the following points.
此流程变得更复杂了，带有数据标准化、概率匹配或自定义搜索和匹配规则。
This paper fulfills temporal reasoning for the exhaustive and exclusive process by using the probabilistic temporal network, and shows the process by a real-world example.
利用概率时间网络，对完备相互排他过程进行时间推理，并以一个具体的实例，对此过程进行了说明。
A random process probabilistic model of the loading maximum value distribution is determined based on the data of actual measurment and investigated operation situation for gantry crane on wharf.
本文以现场量测的码头门机荷载及运行情况调查资料为依据，确定了该荷载最大值分布的随机过程模型，并对该荷载进行概率统计分析。
Probabilistic principal component analysis (PPCA) can realize the process monitoring (according) to the whiten values of process variables' prediction error and their scores.
概率主元分析(PPCA)能够根据过程变量的预测误差及其主元的白化值实现对过程的监控。
PID controller design method based on probabilistic robustness was presented for thermal process with varied parameters.
针对具有实参数不确定性的热工过程，基于概率鲁棒方法，提出一种PID控制器设计方法。
A PID controller design method based on probabilistic robustness was presented for thermal process with varied parameters.
针对具有实参数不确定性的热工过程，基于概率鲁棒方法，提出一种PID控制器设计方法。
We construct a probabilistic quantum cloning machine by a unitary-reduction process and show that all the linearly independent quantum states can be cloned by this machine in a probabilistic fashion.
通过幺正坍缩过程，构造了一种概率量子克隆机，并论证所有线形无关的量子态都可以被概率量子克隆机克隆。
We construct a probabilistic quantum cloning machine by a unitary-reduction process and show that all the linearly independent quantum states can be cloned by this machine in a probabilistic fashion.
通过幺正坍缩过程，构造了一种概率量子克隆机，并论证所有线形无关的量子态都可以被概率量子克隆机克隆。
应用推荐