1) labeled partition
标号分拆
1.
Moreover, we use the conception of labeled partitions to get some results of some indices of colored permutations.
此外我们还利用标号分拆的概念得到了关于染色排列的统计量的一些结果。
2) split-award auction
拆分招标
1.
Research on the number of suppliers in split-award auctions;
拆分招标的供应商数量研究
3) symbol analyzing
标号分析
4) 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并发执行能力来实施测试。
6) divisional location of signal
信号分界标
补充资料：标号
①某些产品用来表示性能（大多为物理性能）的数字。如水泥因抗压强度不同，而有200号、300号、400号、500号、600号等各种标号。②泛指标志和符号。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条