本文利用时序状态转换系统作为中介,提出一种把过程描述语言的项转换成z规格的机械算法。
In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediary.
如果噪音的等级正好比转换系统状态的极限低,一个非常小的输入电压就足以改变系统的状态。
If the noise level is just below the threshold needed to flip the state of the system, even a tiny input voltage is enough to change the system's state.
状态空间模型是研究海洋波能转换系统相互作用的一种有效数学模型。
The state-space model is one of the effective mathematical models to study the interaction between ocean waves and the wave energy conversion system.
应用推荐