algebraic semantics

基本解释

Operational semantics and algebraic laws are very useful in practice.
形式化語義和代數法則在實踐應用是很有用的。
The study has shown that the algebraic model of structure of temporal objects has more advantages over temporal relational models in complex structures and temporal semantics modeling.
研究表明，時態對象模型在複襍結搆和時態語義建模方麪比時態關系模型更具優勢。
By direct mapping from assembly semantics to geometrical constraints, the algebraic expression of geometrical constraints is established and the degrees of freedom of parts motion are solved.
通過裝配語義與幾何約束的映射，形成幾何約束的代數表達；