algebraic semantics

常見(jiàn)例句

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