algebraic semantics

基本解釋

Operational semantics and algebraic laws are very useful in practice.
形式化語義和代數(shù)法則在實踐應(yīng)用是很有用的。
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.
研究表明，時態(tài)對象模型在復(fù)雜結(jié)構(gòu)和時態(tài)語義建模方面比時態(tài)關(guān)系模型更具優(yōu)勢。
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.
通過裝配語義與幾何約束的映射，形成幾何約束的代數(shù)表達(dá)；