1) 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并发执行能力来实施测试。
2) Symbolic state
符号状态
3) symmetrically splitting operator method
对称分拆算符方法
4) symbolic algorithm
符号分析算法
1.
High accurate symbolic algorithm based on the principle of equivalent small parameter method;
基于等效小参量法原理的高准确度计算机符号分析算法
5) symbolic algorithm
符号算法
1.
Furthermore,the condition was applied to symbolic algorithm of global optimization of the class of radical functions.
将这一条件用于此类根式型函数全局优化的符号算法中,有效地改进了原有的通用算法,从而达到了提高原算法在此类根式型函数上运算效率的目的。
补充资料：拆分
分子式：
CAS号：
性质：用适当的方法将外消旋体里包含的两种对映体彼此分开，得到纯净的d体和l体的过程。方法如下。(1)晶体的机械分离法，根据两种对映体的晶形不同，在显微镜下慢慢用镊子挑选而达到分离。此法不能拆分液态化合物，而且比较麻烦，已被淘汰。(2)生化法，用微生物或酶来破坏外消旋体中的一种对映异构体而达到提纯的目的。缺点是操作过程要引入培养微生物或酶的原料纯化困难；拆分过程中至少要浪费一半的原料。(3)不对称反应析解法，让外消旋体与一种有旋光性拆分剂作用，生成非对映异构体，然后根据生成物物理性质的不同而加以分离。这是目前最常用的拆分法。(4)播种结晶法，根据对映体在溶液中具有不同的晶间力而进行拆分。(5)吸附法，根据对映异构体吸附能力不同而加以分离。
CAS号：
性质：用适当的方法将外消旋体里包含的两种对映体彼此分开，得到纯净的d体和l体的过程。方法如下。(1)晶体的机械分离法，根据两种对映体的晶形不同，在显微镜下慢慢用镊子挑选而达到分离。此法不能拆分液态化合物，而且比较麻烦，已被淘汰。(2)生化法，用微生物或酶来破坏外消旋体中的一种对映异构体而达到提纯的目的。缺点是操作过程要引入培养微生物或酶的原料纯化困难；拆分过程中至少要浪费一半的原料。(3)不对称反应析解法，让外消旋体与一种有旋光性拆分剂作用，生成非对映异构体，然后根据生成物物理性质的不同而加以分离。这是目前最常用的拆分法。(4)播种结晶法，根据对映体在溶液中具有不同的晶间力而进行拆分。(5)吸附法，根据对映异构体吸附能力不同而加以分离。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条