狀態符號 的英文怎麼說
中文拼音 [zhuàngtàifúháo]
狀態符號
英文
state symbol- 狀 : Ⅰ名詞1 (形狀) form; shape 2 (情況) state; condition; situation; circumstances 3 (陳述事件或...
- 態 : 名詞1. (形狀; 狀態) form; condition; appearance 2. [物理學] (物質結構的狀態或階段) state 3. [語言學] (一種語法范疇) voice
- 符 : Ⅰ名詞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 (...
- 狀態 : status; state; condition; state of affairs: (病的)危險狀態 critical condition; 戰爭狀態 state o...
- 符號 : 1 (記號; 標記) character; sign; symbol; mark; code; notation; expression; denotation; sentinel ...
-
3 pnueli a. a temporal logic of concurrent programs. theoretical computer science, 1981, 13 : 45 - 60. 4 mcmillan k l. symbolic model checking
符號化的模型檢測技術利用二叉圖binary decision diagram表示狀態轉換關系,降低了系統模型所需的內存空間。Most of vlsi circuits are sequential circuits. sequential circuits can be simulated by symbolic finite state machine ( fsm )
Vlsi系統中大部分是時序電路,時序電路可以用符號化的有限狀態機( finite - state - machine ,簡稱fsm )來模擬。The status symbol should update to indicate that the application has been started
狀態符號( status symbol )的變化表示該應用程序已經啟動了。This dissertation detailedly investigate the symbolic logic and some typical techniques for low power fsm logic synthesis and optimization
論文詳細討論了低功耗有限狀態機綜合與優化中的符號邏輯和一些典型方法。In this article i wish to consider a particularly tight knit group of these animal symbols, the birds of alchemy - the black crow, white swan, peacock, pelican, and phoenix - which are descriptive of certain stages of the alchemical process
在這篇文章裏面,我希望去考慮這些這組動物符號的緊密結合,煉金術的鳥? ?黑鳥鴉,白天鵝,孔雀,鵜鶘和鳳凰? ?用來描繪煉金術過程的某種狀態。Draws a standard selection grab handle glyph on the specified graphics surface, within the specified bounds, and in the specified state and style
在指定的邊界內、指定的圖形表面上,按樣式繪制處于指定狀態的標準的選擇抓取柄標志符號。The paper describes symbolic structure of word of program language with regular grammar and regular expression, constructs converted - state chart to identify word symbol
用正規文法和正規表達式描述了程序語言的單詞符號的結構,用狀態轉換圖構造了識別單詞符號。Stateflow can use charts to describe event - driven systems conveniently and quickly by combining finite state machine ( fsm ), state charts and flow charts together
Stateflow將有限狀態機理論、狀態圖、流程圖符號等結合起來,能夠快速將事件驅動系統利用圖形的方式表達出來。The celebrity symbol has a system of signifier made up of highly differential signifier and charming signifier. the signified system is constructed by the kind signified and the personal signified. the system of the celebrity symbol also acts as an element of the whole advertising text and should be changed into an advertising symbol supporting the whole appeal
名人符號的符號系統還置身於更大的廣告系統,作為服從于廣告文本整體意義生成的一個意義單元,名人符號必須參與到整個文本的換檔加速過程中以完成從自身向廣告符號、從實際上的「自說自話」狀態到為廣告訴求服務的艱難過渡。Formats 03, marseille, france, september 6 - 7, 2003, lncs 2791, pp. 34 - 45. 11 kalus havelund, arne skou, kim g larsen, kristian lund. formal modelling and analysis of an audio video protocol : an industrial case study using uppaal
如果從某一個位置l出發,一個時間變量x在被重置之前,不會被任何轉換用形如x c或者xc的條件測試,那麼符號狀態l , d中的所有形如x - yAerodynamics - concepts, quantities and symbols. part 2 axis systems and aircraft motion state quantities
空氣動力學概念量和符號第2部分坐標軸系和飛行器運動狀態量Flight mechanics. concepts, quantities and symbols axis systems and motion state variables
飛行力學概念量和符號坐標軸系和運動狀態變量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語言子集描述的程序進行分析。Meanwhile, on the base of the related art origin of theory and play theory, i demonstrate the children art education, and consider the art activity which is of shape, inner recognition and operational pleasure is the best selection. the children art education derive from the natural situation, as a result of inner cognitive psychology adjustment and sign movement to the stimulus from the outer environment. satisfied with the physical need, the children go into play situation consciously or unconsciously, in means of tools, materials and symbols to express the objective reality, will and ideology
幼兒美術的發生是自然狀態中,幼兒在外界事物刺激下,通過認知心理的內部調適,支配肢體運動的結果;幼兒美術是在滿足生理需要,在知覺的基礎上、外界事物刺激下、輕松愉悅的氛圍中,幼兒有意無意地進入游戲狀態,藉助工具、材料、符號等自然手段,反映客觀現實、願望和自我意象。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是一個時間約束。Aiming at complexity of interface flow, using finite state machine to describe interface flow is brought forward, finite state machine of interface flow, symbolic expression and design of state machine are also given
針對界面流的復雜性,提出採用有限狀態機進行描述,並給出了界面流狀態機的符號表示和設計。Aluminium and aluminium alloys ; wrought products ; temper designations ; german version en 515 : 1993
鋁和鋁合金.鍛製品.回火狀態標識符號While in pratical applications, the esd method still has drawbacks in graphical modeling capability, connections with products " structures, size control of esd models, and etc. through in - depth study of the esd method, this paper systematically describes the framework and its basic modeling elements of esd, explains the principles of risk modeling, gives the mathematical model of the basic modeling elements of the esd framework to support the quantitative analysis of the esd model. based on the research above, this paper expands the esd framework, which includes : to overcome the drawback in graphic modeling capability of the esd method, the paper invents some new logical modeling symbols like " n / k " gate, sequence gate, expandable gate and constraint, those enrich the modeling capability of the esd method. to overcome the drawbacks in connections with products " structures and size control, the paper explains the multi - layered modeling principles based on the esd
在上述研究基礎上,對esd框架進行了擴展,包括:針對esd圖形建模能力的不足,提出了「 n中取k門」 、 「順序門」 、 「可擴展門」以及「限制」等新的邏輯建模圖形符號,豐富完善了esd的建模元素;針對esd模型與產品結構關聯及規模控制方面的局限,提出了基於esd的層次化建模原理,使得可基於esd進行層次模塊化建模;針對esd與其它安全風險分析技術的綜合運用問題,分別討論研究了與故障樹分析技術、馬爾科夫狀態轉移圖集成的esd ft和esd m方法,提高了esd建模的靈活性;針對動態系統風險評價模型的求解問題,討論提出了運用esd求解動態概率風險評價問題的解析解或近似解析解方法,並予以了示例說明。Through this process the aspects of every object are known, their characteristics ( or form ), their symbolic nature, and their specific use in time - conditions ( stage of development ) are known and realized
由此知悉每一現象的特性(或形態) ,他們的自然屬性(形象符號)並且真切獲見到他們在時間狀態中的功用(顯相階段) 。The mineral kingdom teaches movement and shape of the language of light symbols
礦物王國傳授光之語符號的流程和狀態。分享友人