1) Syntactic Cues
句法线索
1.
Mandarin Early Verb Acquisition: Category, Argument Structure, and Syntactic Cues
普通话儿童早期动词习得：范畴、论元结构与句法线索
2) explicit syntactic cue
明显的句法线索
3) clause searching method
子句搜索方法
1.
A clause searching method of deciding satisfiability of propositional clause set Φ was proposed.
提出了子句搜索方法判定命题子句集Φ的可满足性,该方法查找Φ中子句的一个公共不可扩展子句C,当且仅当找到C时Φ可满足,此时C中各文字的补构成一个模型。
5) line-exploring
线探索法
1.
This paper gives a way of line-exploring on basis of object-oriented routing and its mathematics description.
文中提出了朝向目标的线探索法，并给出了布线方法的数学描述和基本方法。
6) Clause searching method in first-order logic
一阶子句搜索方法
补充资料：分支定界搜索法
分子式：
CAS号：
性质：又称分支定界搜索法。过程系统综合的一类方法。该法是将原始问题分解，产生一组子问题。分支是将一组解分为几组子解，定界是建立这些子组解的目标函数的边界。如果某一子组的解在这些边界之外，就将这一子组舍弃。分支定界法原为运筹学中求解整数规划(或混合整数规划)问题的一种方法。用该法寻求整数最优解的效率很高。将该法原理用于过程系统综合可大大减少需要计算的方案数日。
CAS号：
性质：又称分支定界搜索法。过程系统综合的一类方法。该法是将原始问题分解，产生一组子问题。分支是将一组解分为几组子解，定界是建立这些子组解的目标函数的边界。如果某一子组的解在这些边界之外，就将这一子组舍弃。分支定界法原为运筹学中求解整数规划(或混合整数规划)问题的一种方法。用该法寻求整数最优解的效率很高。将该法原理用于过程系统综合可大大减少需要计算的方案数日。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条