約束描述符 的英文怎麼說
中文拼音 [yāoshùmiáoshùfú]
約束描述符
英文
constraint descriptor- 約 : 約動詞[口語] (用秤稱) weigh
- 束 : Ⅰ動詞1 (捆; 系) bind; tie 2 (控制; 約束)control; restrain Ⅱ量詞(用於捆在一起的東西) bundle;...
- 描 : 動詞1. (照底樣畫) copy; depict; trace 2. (在原來顏色淡或需改正之處重復塗抹) retouch; touch up
- 述 : Ⅰ動詞(陳說; 敘述) state; relate; narrate Ⅱ名詞(姓氏) a surname
- 符 : Ⅰ名詞1 (符節) tally (with two halves made of wood bamboo jade metal issued by a ruler to gener...
- 約束 : keep within bounds; restrain; bind; bound; boundage;tie; restraint; restriction; engagement; repr...
- 描述 : describe; represent
-
For this reason, the thesis presents an approach based on constraint satisfaction, symbolic execution and extended finite state machines. it can analyze programs written in a subset of the c programming language
針對上述情況,本文中提出了一種方法,它基於約束滿足問題求解方法和擴展有限狀態機上的符號執行演算法,能夠對c語言子集描述的程序進行分析。Secondly, based on attributed graph grammar theory, we present a meta - model named wscg grammar for wscg model. elements, elements " attributes and elements " relationships of wscg model are all defined in wscg grammar. directed by wscg grammar, a wscg model can be developed, which can satisfy the specification of wscg model and eliminate some structure errors
其次,基於屬性圖文法,本文給出了由wscg文法描述的web服務復合元模型,對wscg模型的設計過程進行約束,形成一種以屬性圖文法導向的wscg模型設計方式;不但保證了用戶可以生成符合規范的wscg模型,而且消除了wscg模型在結構上可能引發死鎖的部分原因。
分享友人