1) problem state bit
问题状态位
2) State problem
状态问题
3) problem state
问题状态
4) state explosion problem
状态爆炸问题
1.
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
模型检验和精化检验是两种重要的形式验证方法,其应用的主要困难在于如何缓解状态爆炸问题。
5) state of problem representation
问题表征状态
6) forbidden state problem
禁止状态问题
1.
A controller synthesis method was proposed for discrete event systems modeled by Petri net on finite forbidden state problem.
针对基于Petri网的离散事件系统禁止状态问题,提出了一种控制器综合方法。
补充资料：问题
①要求解答的题目：考卷上有六个问题｜我提一个问题，请大家思考。②需要研究解决的疑难和矛盾：交通问题｜不成问题｜没问题｜写什么是一个问题，怎么写又是一个问题。③关键；重点：问题在于廉政｜问题在于资金。④意外事故：出问题｜发生问题。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条