約束符號 的英文怎麼說
中文拼音 [yāoshùfúháo]
約束符號
英文
bound symbol- 約 : 約動詞[口語] (用秤稱) weigh
- 束 : Ⅰ動詞1 (捆; 系) bind; tie 2 (控制; 約束)control; restrain Ⅱ量詞(用於捆在一起的東西) bundle;...
- 符 : Ⅰ名詞1 (符節) tally (with two halves made of wood bamboo jade metal issued by a ruler to gener...
- 號 : 號Ⅰ名1 (名稱) name 2 (別號; 字) assumed name; alternative name3 (商店) business house 4 (...
- 約束 : keep within bounds; restrain; bind; bound; boundage;tie; restraint; restriction; engagement; repr...
- 符號 : 1 (記號; 標記) character; sign; symbol; mark; code; notation; expression; denotation; sentinel ...
-
Previous algorithms either fitted general conies or were computationally expensive. by modifying the ellipticity constraint, we can ensure what we get is an ellipse, so that we can get the symbol to track moving objects
對此文中通過對橢圓擬合約束條件的修改確保擬合的二次曲線為橢圓,從而實現了符號化跟蹤運動物體的系統。In this dissertation, with the aid of many types of constructive transformations and symbolic computation, some topics in nonlinear waves and integrable system are studied, including exact solutions, painleve integrability, backlund transformation, darboux transformation, symmetry ( similarity reduction ), conditional symmetry, lax integrable hierarchy, liouville integrable n - hamilton structure, constraint flow, involutive system, lax representation, r - matrix, separation of variables and integrable couplings. chapter 2 and 3 are devoted to investigating exact solutions of nonlinear wave equations : firstly, the basic theories of c - d pair and c - d integrable system are presented
本文以構造性的變換及符號計算為工具,來研究非線性波和可積系統中的一些問題:精確解(如孤子解、周期解、有理解、 dromion解及compacton解等) 、 panileve可積性、 backlund變換、 darboux變換、對稱(相似約化) 、條件對稱、 lax可積族、 liouville可積的n - hamilton結構、約束流、對合系統、 lax表示、 r -矩陣、變量分離及可積的耦合系統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語言子集描述的程序進行分析。Workshop on tools and algorithms for the construction and analysis of systems, 1995, brics report series ns - 95 - 2. 4 rajeev alur, david l dill. a theory of timed automata
一個符號狀態是一個二元組l , d ,其中l是一個自動機的位置,而d是一個時間約束。Checking timed automata for linear duration properties. journal of computer science and technology, sept. 2000, 15 : 423 - 429. 9 li yong, dang van hung
由可達性演算法得到的符號狀態中,通常有著n n 1 2個約束n為時鐘個數。分享友人