狀態變更向量 的英文怎麼說

中文拼音 [zhuàngtàibiàngēngxiàngliáng]
狀態變更向量 英文
status change vector
  • 狀 : Ⅰ名詞1 （形狀） form; shape 2 （情況） state; condition; situation; circumstances 3 （陳述事件或...
  • 態 : 名詞1. （形狀; 狀態） form; condition; appearance 2. [物理學] （物質結構的狀態或階段） state 3. [語言學] （一種語法范疇） voice
  • 更 : 更副詞1. （更加） more; still more; even more 2. （再,又） further; still further; furthermore
  • 量 : 量動1. （度量） measure 2. （估量） estimate; size up
  • 狀態 : status; state; condition; state of affairs: （病的）危險狀態 critical condition; 戰爭狀態 state o...
  1. With the speed - raising of railway and the marketing of the management, the load that the electric locomotive burdens increased annually. in order to guarantee the security of the locomotive, the overhaul must be transited from preventive maintenance to state maintenance, which can accelerate the speed and the quality of the locomotive overhaul and reduce the overhaul cost. the most important achievement is that the overhaul can be performed automatically and digitally and can be effectively competent for the record management of the overhaul data

    隨著鐵路提速和運營生產的市場化，機車運行負荷逐年增加，為了有效保證機車的運行安全，機車檢修必須從定期維修向狀態維修轉變，以提高機車檢修的速度和質量，降低機車檢修成本，更重要實現檢修自動化、數字化，完成對機車檢修數據進行有效的記錄管理，建立機車關鍵設備的狀態參數數據庫，從而實現對機車狀態有效控制。
  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

    一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質，使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是，這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長，以至於在很多情況下，窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時，還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系，文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示，此演算法在某些情況下比其他一些工具有更好的時間和空間效率
  3. It is why that i conduct the research. there are mainly five methods in the paper. ( l ) the dialectic materialism method : emphasize on variety and contact ; ( 2 ) the method of analyzing experience and demonstration : sum up experience by collecting, classifying, settling, concluding, and analyzing the statistical data. then find out general rules about alteration of investment structure ; ( 3 ) comparison and analysis method : find out the key reasons for the formation and alteration of investment structure by spatio - temporal comparison ; ( 4 ) systemic analysis method : regard investment as a whole organism and study its internal relationship and alteration. ( 5 ) static and dynamic method

    本文的主要研究方法有五種：一是辨證唯物主義的方法，強調運動、變化和聯系；二是經驗實證分析方法，通過對大量統計資料的收集、分類、整理、歸納、分析，做出經驗總結，找出投資結構變動的一般規律;三是比較分析法，通過橫向（空間）和縱向（時間）比較，找到影響投資結構形成和變化的關鍵因素;四是系統分析方法，把投資結構作為一個由很多子系統構成的有機整體，研究其內部的聯系和變化;五是靜態分析和動態分析方法靜態分析是從某一時點考察投資結構變動的橫截面的狀態，這種方法通常用於產業關聯分析;動態分析則更強調考察投資結構的形成和演進的趨勢。
分享友人
分享到 Line

分享到臉書