1) probabilistic configuration transition systems
概率格局变迁系统
1.
A model termed probabilistic configuration transition systems was proposed,whose states are composed of a pair of a PKAT expression and a data-state.
将概率格局变迁系统作为操作语义的模型,它的每个状态是一个格局,格局是由一个PKAT表达式和一个数据状态组成的序列对。
2.
A model termed probabilistic configuration transition systems was proposed,which are composed of a pair of a PKAT expression and a data-state.
提出了状态为PKAT表达式和数据状态组成的序列对的概率格局变迁系统。
3) priced timed transition system
价格时间变迁系统
1.
Firstly, this paper associates a price with a time transition, and gives the semantics for price time Petri net in terms of priced timed transition systems.
首先为时间变迁扩展价格参数,并使用价格时间变迁系统给出价格时间Petri网的语义;然后提出计价状态类的概念,并证明为状态类扩展累积成本的合理性和完备性;进而给出一种算法来证明有界价格时间Petri网的最小成本可达问题是可判定的;最后给出一个应用例子并得出结论:为时间Petri网扩展价格信息并将其应用于业务流程管理领域是可行的。
4) the evolution of the cultural structure
文化格局变迁
5) the changes of the world pattern
世界格局变迁
6) probabilistic system
概率系统
1.
Analysis for intransitive noninterference security properties in probabilistic systems;
概率系统的非传递无干扰安全属性分析
补充资料：格局
结构和格式：经济迅速发展，不断打破旧～，形成新～ㄧ这篇文章写得很乱，简直不成个～。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条