1) 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网扩展价格信息并将其应用于业务流程管理领域是可行的。
2) priced transition
价格变迁
1.
A Petri net extended with priced transition and its application;
一种扩展了价格变迁的Petri网及应用
3) flux of time
时间变迁
4) 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表达式和数据状态组成的序列对的概率格局变迁系统。
5) timed labeled transition system
时间标号迁移系统
6) passage of time
时间的变迁
补充资料：地空导弹武器系统反应时间
地空导弹武器系统反应时间
reaction time of ground-to-air missile weapon system
di一kong daodan wuqi xitong fonyingshiiian地空导弹武器系统反应时间(re actiontime of ground一to一air missile weaPon system)从地空导弹武器系统的搜索设备发现目标的瞬间起到正常发射出第一枚导弹止所需的最短时间。它反映地空导弹武器系统的应变能力和生存能力，是地空导弹武器系统战斗性能的重要指标之一。它的长短取决于武器系统各分系统的反应时间、发射准备时间以及战勤人员的素质和水平。一般包括:发现识别目标、判断空情和定一!;发射导弹的决心，给制导和发射系统指示目标、将弹上设备转换为战斗状态、使导弹指向所需空间、确定发射时机和发射导弹的时间。为了最大限度地缩短武器系统的反应时间，在地空导弹武器系统的系统设计工作中，力求使战斗过程自动化和优化战斗工作各阶段的顺序和交叉关系。如地空导弹武器系统无目标搜索和(或)识别设备，搜索和(或)识别目标则由战勤人员以目视方法来完成，这一段时间应计入地空导弹武器系统的反应时间。现代地空导弹武器系统的反应时间较短，一般只有几秒至几十秒。(王笃敬)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条