1) Finite-state machine decomposition
状态机拆分
2) On-hook (clear) status
挂机(拆线)状态
3) symbol state splitting method
符号状态拆分算法
1.
To test timed automata model,firstly symbol state splitting method is adopted to equivalently divide the state space of timed automata so as to get their minimal stable transition graph of symbol state,and then replaces the abstract time delay transitions with time delay variables.
为了实现对时间自动机模型的测试,采用符号状态拆分算法对时间自动机的状态空间进行等价划分,以得到最简稳定符号状态转移图,并将其中的抽象时间延迟转移替换为时间延迟变量;针对系统中每个时间自动机建立各自的符号状态转移图,再采用基于符号迁移系统的测试方法分别生成相应的转移动作序列;最后通过对这些序列进行组合产生系统的测试用例,为了执行测试用例,利用TTCN-3的多PTC并发执行能力来实施测试。
4) state machine decomposition
状态机分解
1.
Taking advantages of the ideology of state machine decomposition, the SDRAM controller is implemented by several subordinate FSMs.
该文从结构优化入手来优化方法,利用状态机分解的思想将大型SDRAM控制状态机用若干小的子状态机实现,达到简化逻辑的目的,不仅提高了速度还节省了资源,对该类大型SDRAM控制器的实现有一定参考意义。
5) Separation mechanism
拆分机理
1.
The separation mechanism of them has been studied, and the chromatography performance has been investigated.
合成了四种改性 β 环糊精手性固定相 ,对几类手性化合物和芳香异构体进行了拆分 ,并研究了其可能的拆分机理 ,同时对毛细管柱的色谱性能进行了考察。
6) partial-specified finite state machine
部分有限状态机
补充资料：渤海铝业有限公司铝箔分卷机分卷铝箔
渤海铝业有限公司铝箔分卷机分卷铝箔
渤海铝业有限公司铝箔分卷机分卷铝箔
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条