SECLABEL_BY_COMP：该函数通过指定一个安全策略，并在标签中为每个组件指定值，从而构建一个安全标签(内部编码表示)。
SECLABEL_BY_COMP: This function builds a security label (internal encoded representation) by specifying a security policy and values for each of the components in the label.
在一定条件下，我们证明随机对策有值函数，两个局中人相对于折扣报酬都有最优策略。
It is proved that under certain condition the stochastic game has a value and both players have optimal strategies for discounted rewards.
分别为三率值创建目标函数，并利用状态空间搜索策略解决多目标优化问题。
Goal functions are created for three modulus values separately, and multi-objective optimization problem is solved with the strategy of state-space search.
应用推荐