適時搜索模態 的英文怎麼說

中文拼音 [shìshísōusuǒmótài]
適時搜索模態 英文
adaptive search mode
  • 適 : 形容詞1 （適合） fit; suitable; proper 2 （恰好） right; opportune 3 （舒服） comfortable; well Ⅱ...
  • 時 : shí］Ⅰ名1 （比較長的一段時間）time; times; days:當時at that time; in those days; 古時 ancient tim...
  • 搜 : 動詞1. （尋找） collect; gather2. （搜查） search; ransack
  • 索 : Ⅰ名詞1 （大繩子; 大鏈子） a large rope 2 （姓氏） a surname Ⅱ動詞1 （搜尋; 尋找） search 2 （要; ...
  • 模 : 模名詞1. （模子） mould; pattern; matrix 2. （姓氏） a surname
  • 態 : 名詞1. （形狀; 狀態） form; condition; appearance 2. [物理學] （物質結構的狀態或階段） state 3. [語言學] （一種語法范疇） voice
  • 適時 : at the right moment; in good time; timely
  • 搜索 : 1 （仔細尋找） search for; ferret about; hunt for; scout around 2 [電子學] hunting; scan; [控] in...
  1. After analyzing the existing ambiguity resolution methods the dissertation investigates the baseline rotation method based on the antenna - swap idea, and develops the fixed axis rotation maximum - minimum method ? farmm and the equivalent rotation maximum - minimum method ? ermm applicable for static basement and moving vehicle respectively. the former lowers the demands on rotation device while the latter improves the flexibility of antennae installation. meanwhile the dissertation also brings forward an ambiguity function search method which needs only one single epoch data with the outer aided information, and investigates the accuracy requirements for the assistant pointing information

    其次，通過與gps等多星系統定向關鍵技術的對比分析，指出雙星定向模糊度確定的難度;在分析現有模糊度求解方法的基礎之上，研究了基於交換天線思想的轉動基線模糊度確定方法，並提出了適合於靜基座的定軸轉動極大/極小值farmm法，以及適合於地面運動載體的等效轉動極大/極小值ermm法，前者降低了對轉動機構的要求，後者則提高了天線安裝的靈活性;同時，提出了一種藉助外部輔助信息的模糊度函數搜索法實現單歷元雙星定向，並分析了對外部輔助單軸姿態信息的精度要求。
  2. 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

    一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質，使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是，這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長，以至於在很多情況下，窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時，還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系，文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示，此演算法在某些情況下比其他一些工具有更好的時間和空間效率
分享友人
分享到 Line

分享到臉書