1) weak simulation prelude
弱模拟前序
2) strong simulation preorder
强模拟前序
1.
Simulation relation on interactive Markov chains(IMCs) of algebraic model for stochastic process was studied,and by using the fixed-point theory and weight function definition,the discrimination algorithms for strong bisimulation equivalence and strong simulation preorder on stochastic process algebraic IMCs were given and the temporal complexity of the given algorithms was analyzed,also.
对随机进程代数模型交互式马尔科夫链(IMCs)上的模拟关系进行研究,根据不动点定理和权函数的定义,给出交互式马尔可夫链模型上强互模拟等价和强模拟前序的判定算法,对算法的时间复杂度进行分析。
3) weak bisimulation
弱互模拟
1.
Besides,we introduce the concept of restrict product of transition systems, and take this as a means to study the mutual transition between weak bisimulation and weak invariants.
此外,本文还引入了迁移系统的限制乘积概念,并以此为工具研究了弱互模拟和弱不变量之间的相互转化。
2.
Secondly,this paper introduced the concept of restrict product of transition system, and took this as implement, studied the mutually transition between weak bisimulation and weak invariant.
本文在文献[1]，[2]的框架下，首先，对带不可观察迁移的LTS给出了弱不变量的定义，讨论了其性质及与其它概念(包括弱互模拟、弱同态、不变量等)之间的关系。
4) weak fuzzy order
弱模糊序
1.
In order to investigate the rationality of a fuzzy choice function,Banerjee proposed some rationality conditions,such as normality,condition A and B and weak fuzzy order.
为研究模糊选择函数的理性化问题,Banerjee提出了四个合理性条件:正规性,条件A,条件B及弱模糊序,讨论了四个条件之间的独立性问题。
5) Weak time simulation
弱时间模拟
6) Weak quasi-Hopf bimodule
弱拟Hopf双模
补充资料：化前序
【化前序】
（术语）唐善导之观经疏，取经之通序六成就中后之四成就科为化前序。(参见：观经化前序)
（术语）唐善导之观经疏，取经之通序六成就中后之四成就科为化前序。(参见：观经化前序)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条