计算机科学技术

• 活性

  The model of PATS is built based on Timed Colored Petri Net(TCPN). The boundedness, conservation, liveness and fairness of the model are validated based on linear algebra.

  采用赋时有色Petri网对并行测试系统进行建模，并基于线性代数的方法验证模型结构的有界性、守恒性、活性和公平性。

电子、通信与自动控制技术

• 活性

  Finally, we consider the liveness based on networking unfolding.

  最后,本文基于网络展开法研究有界Petri网的活性。

• 现场直播的，实况播送的

机械工程

• 传动的；有动力的

体育

• (球)处于比赛中的，正在玩的

动力与电气工程

• 现场直播的，实况播送的

• 通电的，带电的；有电压的

印刷、复印技术

• (稿子等)排好版待印刷的