基本解釋代數(shù)語義學(xué)英漢例句雙語例句Operational semantics and algebraic laws are very useful in practice.形式化語義和代數(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)對象模型在復(fù)雜結(jié)構(gòu)和時(shí)態(tài)語義建模方面比時(shí)態(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á)；algebraic semantics更多例句詞組短語短語algebraic parallel semantics 代數(shù)并發(fā)語義algebraic semantics更多詞組專業(yè)釋義計(jì)算機(jī)科學(xué)技術(shù)代數(shù)語義學(xué)代數(shù)語意學(xué)電子、通信與自動控制技術(shù)代數(shù)語義學(xué)