有窮狀態文法 的英文怎麼說

中文拼音 [yǒuqióngzhuàngtàiwénfǎ]
有窮狀態文法 英文
finite state grammar
  • 有 : 有副詞[書面語] （表示整數之外再加零數）: 30 有 5 thirty-five; 10 有 5年 fifteen years
  • 窮 : Ⅰ形容詞（貧窮） poor; poverty stricken Ⅱ名詞1 （窮盡） limit; end 2 （姓氏） a surname Ⅲ副詞1 （...
  • 狀 : Ⅰ名詞1 （形狀） form; shape 2 （情況） state; condition; situation; circumstances 3 （陳述事件或...
  • 態 : 名詞1. （形狀; 狀態） form; condition; appearance 2. [物理學] （物質結構的狀態或階段） state 3. [語言學] （一種語法范疇） voice
  • 文 : Ⅰ名詞1 （字） character; script; writing 2 （文字） language 3 （文章） literary composition; wri...
  • 法 : Ⅰ名詞1 （由國家制定或認可的行為規則的總稱） law 2 （方法; 方式） way; method; mode; means 3 （標...
  • 狀態 : status; state; condition; state of affairs: （病的）危險狀態 critical condition; 戰爭狀態 state o...
  • 文法 : grammar文法學 grammar
  1. A widely used method for checking real - time systems is, according to the real - time property to be checked, to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space. the algorithm needs only to explore the finite space to get a correct answer. in most cases, exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases. in this paper, an equivalence relation is introduced to check whether a concurrent system, which is composed of a finite set of real - time automata, satisfies a linear duration property. to avoid exhaustive exploration, this paper also introduces a compatibility relation between timed states ( configurations ). based on these two relations, an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property. the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature

    一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質，使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是，這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長，以至於在很多情況下，窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時，還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系，文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示，此演算法在某些情況下比其他一些工具有更好的時間和空間效率
  2. In this paper, the second chapter introduces the reducing idea of inertial manifolds and approximate inertial manifolds, and discuss th e similarity reduction of ks equation. the third chapter introduces the basical idea and theory of the exact linearization controlling, then use this methods to control chaos of an ordinary differential system chen equation and apply the exact linearization controlling method to control the chaotic behaviours, i. e. controlling the chaotic states to steady states

    本文第二章介紹了無窮維動力系統的慣性流形與近似慣性流形的約化思想，並討論了ks方程的直接約化方法。第三章介紹了精確線性化控制方法的基本思想和理論根據，並應用精確線性化控制方法對具有典型混沌動力學行為和性質的一個常微分系統chen方程進行混沌控制，將chen方程的混沌狀態控制為穩定狀態。
  3. This dissertation presents a model for composite event detection based on the framework for large - scale event notification services, discussing the ced based on the event model, time model and observation model, and then presents a ced model based on finite state automata extended with a time model, parameterization and concurrent model. based on the above studies, a dynamically extensible and configurable architecture of distributed event notification service is designed, which is presented based on configuration management and meta - service mechanisms with the ability to customize and extend the subscription, event description, interaction protocol and configuration languages

    論文在大規模事件通知服務的通用框架基礎上，分別從事件系統的事件模型、時間模型和觀察模型探討了復合事件的檢測技術，在傳統的有窮狀態自動機基礎上擴充了時間模型、參數化機制和並發模型，提出了一種基於自動機的有效復合事件檢測方法，並將該方法與各種主流方法進行了對比分析。
分享友人
分享到 Line

分享到臉書