系統狀態索引 的英文怎麼說

中文拼音 [xìtǒngzhuàngtàisuǒyǐn]
系統狀態索引 英文
system status index
  • 系 : 系動詞（打結; 扣） tie; fasten; do up; button up
  • 統 : Ⅰ名詞1 （事物間連續的關系） interconnected system 2 （衣服等的筒狀部分） any tube shaped part of ...
  • 狀 : Ⅰ名詞1 （形狀） form; shape 2 （情況） state; condition; situation; circumstances 3 （陳述事件或...
  • 態 : 名詞1. （形狀; 狀態） form; condition; appearance 2. [物理學] （物質結構的狀態或階段） state 3. [語言學] （一種語法范疇） voice
  • 索 : Ⅰ名詞1 （大繩子; 大鏈子） a large rope 2 （姓氏） a surname Ⅱ動詞1 （搜尋; 尋找） search 2 （要; ...
  • 引 : Ⅰ動詞1 （牽引; 拉） draw; stretch 2 （引導） lead; guide 3 （離開） leave 4 （伸著） stretch 5 （...
  • 系統 : 1. （按一定關系組成的同類事物） system 2. （有條理的;有系統的） systematic
  • 狀態 : status; state; condition; state of affairs: （病的）危險狀態 critical condition; 戰爭狀態 state o...
  • 索引 : index; indexing; key; repertory; subscript; concordance
  1. Facing to the reduction of the water diversion from the yellow river for hetao irrigation district inner mongolia autonomy, and giving attentin to agriculture production and improvement of salinization, this paper researches optimization model of district water - saving irrigation water management. the paper also quests for the optimization model of crop irrigation system and the optimization irrigation strategy aiming at the short of water for agriculture. in order to save water and use water high efficiently, this paper researches the change regulation of irrigation system of spring - wheat that is the important crop in the irrigation districted establishes the multidimensional dynamic model of irrigation rules of spring - wheat. lt also makes the simulation model of salt leaching of fall irrigation rules during non - growing period, and sorts the elements influencing water - saving of irrigation system

    在內蒙古河套灌區的引黃水量減少又要兼顧灌區的農業生產和土壤鹽漬化向良性發展的形勢之下，本文針對灌區內區域灌溉水管理的現狀，對灌區內區域節水灌溉水管理優化模型進行了研究。研究針對農業水資源短缺的現狀，在節水灌溉條件下，對作物的灌溉制度進行優化模型探索，尋求最優灌溉策略。全文圍繞節水與高效用水，綜合應用了系統分析、灌溉排水及節水灌溉的原理和知識，研究了灌域內主要作物春小麥的灌溉制度的變化規律，建立了春小麥灌水制度的多維動態優化模型；建立了非生育期的秋澆制度的鹽分淋洗模擬模型；對節水灌溉水管理的影響因素的重要性進行了排序研究。
  2. Base on review of existed study and application in suppressing cable vibration in the world, technique of mitigating cable vibration with viscous damper and mr damper has been investigated in this dissertation, and the main contents and progresses in form of summary are as following : 1 the motion differential equations of the cable - damper system are formatted, which take into account these factors, such as the inclined angle, sag, stiffness etc. coupling motion between cable and deck is studied with analytical and numerical method. numerical results show that large amplitude vibration of cable with beat rhythm will occur when exciting frequency of deck equals two times modal frequency of cable

    本文在對國內外斜拉索振動控制研究與應用現狀進行綜合評述、分析的基礎上，針對上述問題進行了深入研究，具體的研究內容和取得的成果包括： 1 、建立了斜拉索-阻尼器系統運動方程，對拉索與橋面的耦合振動作了分析和研究，數值結果顯示當橋面激振頻率等於某階拉索模態頻率的兩倍時，很小的初始擾動將引起拉索的大幅振動，並呈現拍振的特徵，與實測的拍振信號一致。
  3. 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

    一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質，使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是，這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長，以至於在很多情況下，窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時，還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系，文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示，此演算法在某些情況下比其他一些工具有更好的時間和空間效率
  4. It also can cooperate with acars system to provide data for oil consume analyse and technique evaluate, etc. this article discuss the working principle and realization of airplane flight safety real time monitor system, the core technology of real time database ( tplus tree index ) in detail, etc. while decoding module is one of the key modules, this article also introduces a high efficiency and easy extending qar data decoding arithmetic, the design and apply to background database, and the relative data load method in this module

    本文對飛機飛行安全狀態實時監控系統的工作原理、實時數據庫的關鍵技術（ tplus樹索引）和飛機飛行實時監控系統的實現等，進行了詳細的探討。由於譯碼模塊是該系統的核心模塊之一，同時本文也介紹了一種高效的可擴展的qar數據譯碼平臺的設計和實現，以及后臺數據庫的設計和應用。同時本文也介紹了高效的數據導入的方法以及數據庫的性能優化。
  5. And it introduces the transportation disaster conception and category of the airline company based on the airline company safety manufacture system, and uses the conception to study the airline company safety state ; at the same time, it is under the guidance of the theory of enterprise forewarning management system and absorbs the latest achievements of safety science, human factor science and disaster science. this paper also initially constructs the transportation disaster forewarning management system of the airline company. by using this system, the new conception, mechanism and the model of airline company security management are explored ; the inducement producing and developing of the airline company transportation disaster are prevented and rectified ; the visible or invisible damages of the airline company transportation disaster are defended and reduced ; the safety of the airline company running system is assured

    本論文突破以往基於航空器運行狀態研究航空公司安全狀態的做法，基於航空公司安全生產系統提出了航空公司交通災害概念及范疇，並引入航空公司交通災害概念研究航空公司安全狀態；同時以企業預警管理理論為指導，吸收了安全科學、人素科學、災害科學的最新成果，初步構建了航空公司交通災害預警管理系統，旨在探索航空公司安全管理的新理念、新機制、新模式，防止和矯正航空公司交通災害誘因的萌生與發展，預防和減少航空公司交通災害造成的有形或無形危害，並保證航空公司運營系統處于有序的安全狀態。
  6. A similarity measure combining multiple features and layout is also presented. two attributed graph match methods based on local searching and genetic algorithm are proposed to meet the occasions of different applications. ( 3 ) a static image retrieval testing system is designed and implemented

    （ 3 ）設計並實現了靜態圖像檢索實驗原型系統，包括：提出了圖像內容的分層描述模型；設計實現了基於自組織神經網路聚類技術的樹狀多特徵索引結構；提出了一種新的相關反饋模型。
分享友人
分享到 Line

分享到臉書