本文中,我们采用概率事件结构作为语义模型,研究了概率进程代数的度量指称语义。
In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.
事件结构是一种十分重要的真并发模型,非常适合于为进程代数提供一种具有可组合性的真并发语义。
Event structures are important true concurrent models and are well-suited to provide a true concurrent semantics for process algebra in a compositional way.
离散事件动态系统(DEDS)矩阵模型是一种逻辑运算与代数运算的混合系统。
Matrix model for discrete event dynamic simulation (DEDS) is a hybrid system with logical and algebraic components.
文中结合布尔代数,采用移除最小项的方法,提出了解决离散事件系统监控理论中最关键的问题——计算最大能控子谓词的一种新算法。
According to Boolean algebra, removing minterms is used for a new algorithm about the supremal controllable predicate, which is the most important problem in Supervisory control of DES.
采用布尔代数化简法求出系统的最小径集,给出了事故树中基本事件的结构重要度分析结果。
The minimal path sets (MPS) are achieved by Boolean algebraic simplification calculation. The authors put forward the analyzing result of the structural significance of the basic event.
采用布尔代数化简法求出系统的最小径集,给出了事故树中基本事件的结构重要度分析结果。
The minimal path sets (MPS) are achieved by Boolean algebraic simplification calculation. The authors put forward the analyzing result of the structural significance of the basic event.
应用推荐