This paper introduces a method which uses geometry reasoning & degrees of freedom calculating based on constraint driven to solve the problem of checking over constraint & under constraint.
采用基于约束驱动的几何推理和自由度计算方法，设计了约束检查策略与算法，解决了过约束与欠约束检查问题。
The geometric constraint is processed by the driven-tree analysis.
提出了利用驱动树分析几何约束的方法；
The constraint-based theories Head-driven Phrase Structure grammar (HPSG) and Lexical Functional Grammar (LFG) integrate syntax and semantics in the account of anaphoric study.
以制约规则为基础建立的中心语驱动短语结构语法和词汇功能语法将句法和语义相结合来研究复指现象。
The constraint-based theories Head-driven Phrase Structure grammar (HPSG) and Lexical Functional Grammar (LFG) integrate syntax and semantics in the account of anaphoric study.
以制约规则为基础建立的中心语驱动短语结构语法和词汇功能语法将句法和语义相结合来研究复指现象。
应用推荐