说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 不可达性
1)  non-reachability property
不可达性
1.
However,whether or not there exists some modular-n S-invariant,which can be used to decide the non-reachability property of a marking?And if such modular-n S-invariant exists,how to find it?There is no answer to both of the .
Hohn F E提出用S-不变量判定Petri网不可达性的一个方法。
2)  Unattainable solution
不可达解
3)  unattainable points
不可达点
4)  inaccessible value
不可达值
5)  inaccessible number
不可达数
6)  unreachable states
不可达状态
1.
It not only used pre-image computation to avoid false negative, but also incorporated reachable states and unreachable states in the verification process.
除了利用原像计算避免误判之外,该算法还将可达状态和不可达状态引入到验证过程中。
补充资料:不可说不可说
【不可说不可说】
  谓从不可说、不可说为一不可说转,不可说转、不可说转为一不可说不可说也。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条