隨機正規向量 的英文怎麼說

中文拼音 [suíjīzhēngguīxiàngliáng]
隨機正規向量 英文
random normal vector
  • 隨 : Ⅰ動詞1 （跟; 跟隨） follow 2 （順從） comply with; adapt to 3 （任憑; 由著） let （sb do as he li...
  • 機 : machineengine
  • 正 : 正名詞（正月） the first month of the lunar year; the first moon
  • 規 : Ⅰ名詞1 （畫圓形的工具） instrument for drawing circles 2 （規則; 成例） rule; regulation 3 [機械...
  • 量 : 量動1. （度量） measure 2. （估量） estimate; size up
  • 隨機 : random stochasticrandom
  • 正規 : regular; standard; normal正規部隊 regular troops; regulars; 正規教育 regular education; proper ed...
  1. Based on the close analysis of the influence factors of the vertical bearing capacity, circular aperture extension theory is employed to establish the computing formulas for the pile vertical stress and the foundation vertical bearing capacity, respectively. moreover, with analyzing the features of the calculation parameters such as materials of gunite mortar, jet pressure, diameter of the jet pipe, pile length, pile layout, a design theory for chemical churning pile composite foundation is proposed. then, the variation of the pipe deformation with loads, the deformation coordination of pile and soil are studied

    在此基礎上深入探討了旋噴樁的樁土受力特性及其復合地基的加固機理，從影響旋噴樁復合地基豎向承載力的因素入手，基於圓孔擴張理論給出了樁體豎向應力及旋噴樁復合地基的豎向承載力計算公式;通過對噴射漿液、噴射壓力選取、噴射直徑估算、樁長及樁位設計等各種計算參數的深入分析和研究，提出了一套相應的旋噴樁復合地基設計計算方法;通過計算分析，深入探討了旋噴樁復合地基變形隨荷載變化規律、樁和樁間土變形協調關系、樁土應力比及復合地基壓縮模量的確定，並提出相應的設計方法和修正參數;此外，結合工程應用，對旋噴樁復合地基的施工技術及其現場質量檢測方法進行了較全面的探討。
  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. And in addition, the paper explores the aspects of internal fluctuation, which is viewed as the random choices of the cognitive subject, how it is depend on the initial conditions and is enlarged by the method of positive feedback with step by step on the views of the nature, material outlook and thought modes. what ' s more, under the controls of the nonlinear interactions, the paper respectively explores the development principle in the culture of technology and science between the west and the east on the aspect of attractors and the order parameters, which result from the cooperation and competition. finally, the paper correctly formulates the different value preference in accord with the attractors and the order parameters, and focuses respectively on the traditions of the eastern pragmatic preference and the western contemplative preference and technological preference

    在此基礎上，從東西方科技文化的發生和起源入手，從耗散結構的觀點出發，考察了認知主體的隨機性選擇這種文化的內漲落因素，是怎樣依託于各自不同的初始條件?地理氣候條件，在自然觀、物質觀和思想模式方面一步步得到正反饋式的放大;進而，在文化系統內部種種非線性的相互作用下，從競爭和協同所必然產生的序參量和吸引子兩個方面，分別考察了東西方科技文化不同的發展規律，聚焦東方的實用化取向和西方的思辨化、技術化取向的影響機制，從它們在不同時期所發揮的不同作用正面回答了「李約瑟難題」 。
分享友人
分享到 Line

分享到臉書