For each metadata type compatible with a composite state, every transition in the sub-state machine has a policy for restriction.
对于与复合状态兼容的每一种元数据类型,子状态机中的每一个转换都有一个限制策略。
2
Finally it is proved that P_-PBNDC is consistent with SBSPNI, and P_-PBNDC has composite property on the restriction and prefix operator but not on the parallel operator.
Formulas with restriction index based on the unified theory, and used for predicting the ultimate bearing capacity of the short composite column, are proposed.