擬等價的 的英文怎麼說

中文拼音 [nǐděngjiàde]
擬等價的 英文
quasi equivalent
  • 擬 : 動詞1. （設計; 起草） draw up; draft 2. （打算; 想要） intend; plan 3. （模仿） imitate
  • 等 : Ⅰ量詞1 （等級） class; grade; rank 2 （種; 類） kind; sort; type Ⅱ形容詞（程度或數量上相同） equa...
  • 價 : 名詞1. （價格） price 2. （價值） value 3. [化學] （化合價） valence
  • 的 : 4次方是 The fourth power of 2 is direction
  • 等價 : of equal value; equal in value; equivalence
  1. The thesis offers the idea of applying the techniques of data - administration, computer transaction, computer graphic and the interaction between computer and people in the emulational research of the construction of three - dimensional geological modeling, which also succeeds in realizing the protracting of the administration of geological data, the layout of industrial section, complex section chart, complicated isoline chart and the three - dimensional geological modeling chart, and in providing valuable references for geological research and technological support for three - dimensional and complex geological research

    論文提出了運用數據庫管理技術、計算機處理技術和計算機圖視技術與人機交互技術建立三維地質建模與模擬研究的基本技術思路較成功地實現了地質數據管理、工區布置圖、復雜剖面圖、復雜等值線圖和三維地質模型圖的顯示與繪制，為地質科學研究提供了有價值的參考資料和三維復雜地學研究的技術支持環境。
  2. Using methods mixed with quantity analysis and quality analysis, such as professional estimation, analytical hierarchy process ( ahp ) and gray correlatively comprehensive appraisal. analyzed factors of the lu - mei group real property for example : politics, economy, financial affairs, infrastructure, technology, legal system, culture, and competition condition. provided the appraisal model and judgments result, which is the basis on the decision of the investor

    本文總結了近年來我國房地產開發投資環境分析的一些方法，運用專家評分法和層次分析法、灰色關聯分析法等定性和定量分析相結合的方法，對魯煤房地產開發公司擬開發的三個房地產地塊的政治、經濟、財務、市場、基礎設施、技術、法制、文化、競爭等條件進行了分析，給出了評價模型和論證結果，為解決類似的問題提供了評判模式，為投資者決策提供了科學的依據。
  3. ( 3 ) the paper firstly brings forward the concepts of concealed fragment, apparent fragment. it also advances two fragment generation methods : facet equivalence method and facet set enclosing method, and realizes three practical algorithms : the first one is to make a virtual entity particulate, the second is facet equivalence algorithm, the last is seed facet set enclosing algorithm. the paper analyzes and compares the last two methods and related algorithms, researches on applying the two methods to the break process of a virtual entity

    （ 3 ）在深入探討爆炸模型的構造和實時顯示的基礎上，提出了隱式破片、顯式破片的最新概念和兩種生成破片的方法：小面片等價法和面片集封閉法，並給出了三個實用的演算法：虛擬實體的微粒化演算法、小面片等價演算法和面片集封閉演算法，並對小面片等價法和面片集封閉法及其演算法進行了比較。
  4. Assembly model of the pro / engineer cad / cam does not support the interference check of assembly path and process. to resolve this problem, this paper put forward a method which directly takes advantage of the eigen functions of pro / engineer. that is : planning path and simulating dynamically under skeleton, setting interference conditions and simulation degree under relation of pro / program, realizing the interference check with the man - machine interchange

    本文從裝配的概念及發展現狀、裝配模型的建立、裝配的評價體系等系統地闡述了產品虛擬裝配的過程和重要性，並對虛擬裝配的操作平臺pro engineer作了一個簡單的介紹，針對pro engineercad cam軟體assembly模塊中不能體現裝配路徑及過程干涉的問題，提出了在組合件的skeleton下規劃裝配路徑和動態模擬、在pro program的relation下設定干涉條件和模擬程度、以及通過人機交互解決干涉的方法。
  5. The thesis comprehensively deliberates stochastic and fuzzy character of controlling the cost of engineering construction ; it takes quantitative analysis as the dominant factor, takes qualitative analysis as the secondary factor, establishes an comprehensive system of controlling the cost, and make various theories, the basic principles and the methods of engineering maths in the analysis and calculation of controlling the cost of engineering construction, such as effect theory, fuzzy maths, value engineering, grey system and system simulation. it also establishes the simple and effective practical model. on the basis of practical example, it puts forwards the train of thought and method to controls the cost of engineering construction in the different stage

    本論文綜合考慮了工程造價控制的隨機性和模糊性，以定量分析為主，定性分析為輔，構造了造價控制的綜合體系，將效用理論、模糊數學、價值工程、灰色系統、計算機模擬等多種理論及工程數學的基本原理和方法應用到工程項目造價控制的分析和計算中，建立了簡便而有效的實用模型，並結合工程實例，提出來了不同階段工程造價控制的思路和方法，針對不同的情況，綜合應用定性與定量的控制方法，消除了以往工程項目造價控制只停留于項目實施階段的缺陷，提高了量化研究的水平和準確性，為政府建設管理部門進行科學管理及各建設參與單位今後進一步改進自身的項目造價管理工作提供了寶貴的理論依據。
  6. Hydrology regime and river channel evolution become complex because of double influences of river flow and tide. there is little appropriate method so far. therefore, when the impact us assessed of water project on flood control, the following aspects should be focused on, river evolution and stability of project - sections, design tidal level, flood - tide combination scheme, pre - project and post - project impacts on river channel, water level and flow condition

    長江河口段為潮流河段，徑流潮流的雙重作用使得區域水文情勢、河道演變規律錯綜復雜，開展防洪影響評價研究時，河道演變及工程段穩定性分析，設計潮位的分析計算，洪潮組合方案擬定，工程前後對河道及水位流態影響的模擬等均是目前尚無十分成熟的方法，需要進一步研究的課題。
  7. Uniformity of bisimulation equivalences of chi processes

    進程互模擬等價的一致性
  8. Including actuality evaluation, environmental identification analysis, dynamic harmonious analysis, dynamic simulation analysis and policy decision putting into optimization scheme. the results showed as follows. 1, in the current agricultural production structure, output value of animal husbandry and crop planting occupy 93. 4 % of agricultural total output value, and forestry and fishery do not get fully reasonably develop ; the wild economic vegetables and fruits resources and water resources etc, are the superiority environment factors of agriculture development of this area, and the slope farmland and service system etc, are limited environment factors, and the science - technology and labor quality etc, are potential environment factors ; there exists some problems in the agricultural production system, for example, single productive constitution do n ' t correspond with varieties of resources, rich plant resources exploitation scarcity and economical crop development lag

    本文選擇四川盆周山區這一特定地貌區域作為研究對象，以滎經縣為代表研究了該區農業生產結構的優化調整，包括農業生產系統的現有結構評價、環境辨識分析、動態協調分析、動態模擬評價分析和實施優化方案的決策建議，結果表明： 1 、滎經現有結構為以畜牧業和種植業並重的豬糧為主的農業生產結構，二者產值占農業總產值的93 . 4 ，林業、漁業未得到充分合理發展；野生經濟菜果資源、水資源等為該區農業發展的優勢環境因子，坡耕地、服務體系等為限制環境因子，科技、勞動力素質等為潛力環境因子；同時該區農業生產系統存在著生產結構的單一性與資源多樣性的利用不協調、豐富的植物資源開發不足、經濟作物發展滯后等問題。
  9. First of all, i summarize the forecast model category and estimate each model in detail, then, i adopt different model to forecast demand, supply, bdi of bulk shipping market. as to demand forecast, i mainly focus on the imitating precision of primitive data, adopt grey forecast model, self - suited filter model separately, and then compose these models as a better one. as to supply forecast, i use econometrics model to describe the complicated relationship of demand, supply, bdi, gnp etc. as to bdi, i try to draw into market integrated factor, describe the relationship of bdi, supply, capacity, speed, rate of oil, navigating capital etc. then finally, i make afterwards evaluation of these models and then analyze future bulk shipping market in detail

    對于需求預測，著重考慮對原始數據的擬合精度，經過模型比較優選論證，分別採用了灰色一階模型，改進的灰色二階、自適應過濾預測的加權組合模型，得到了相當高的擬合精度；對于供給預測，運用計量經濟模型對供給、需求、運價、 gnp 、進出口貿易額等多變量之間復雜的相互關系進行動態模擬，定量的反映出各變量之間的因果關系；對于運價預測，嘗試引入市場綜合因數概念，化繁為簡，通過描述運價與運力供給、載重噸、油耗、航速、燃油價格、航行成本等等諸多因素的關系來進行預測。
  10. Bisimulation equivalence is considered as one of the fundamental notions of behavioural equivalence, and one of the important properties of bisimulation is its modal logic characterization

    互模擬是進程代數中刻畫行為等價的核心概念，而模態邏輯特徵是它的一個重要性質。
  11. However, because - bisimulation is not always an equivalence relation, such characterization in the usual style of hml does not always exist for - bisimulation associated with an arbitrary metric

    但由於不為超度量時-互模擬一般不為等價關系，所以無法得到一個具有hml經典形式的邏輯特徵。
  12. For describing the similarity of two processes, - bisimulation is introduced, its properties are associated with a metric and the modal logic characterization of - bisimulation when is an ultra - metric is given

    為了描述進程間的近似等價，最近文獻中提出了-互模擬的概念，並將其性質與度量聯系在一起，給出了為超度量時-互模擬的模態邏輯特徵。
  13. By the studying of coincident information in the gray judgment matrix, and by using some graph ' s essential theories, this issue brings forward the concepts of estimating coincidence, coincidence, equivalence gray judgment matrix, gray - weight vector, ect. it also gives out and proves several sufficiency and necessary conditions of the gray judgment matrix existing estimating coincidence or coincidence, and gives out a calculation of judging the gray judgment matrix having estimating coincidence or not, furthermore, we can get the equivalence coincidence gray judgment matrix in its field through this calculation

    本文通過對灰色判斷矩陣中的一致性信息的研究，利用圖的一些基本理論，提出了灰色判斷矩陣的擬一致性、一致性、等價灰色判斷矩陣、灰色相對權重等概念，給出並證明了灰色判斷矩陣具有擬一致性或一致性的幾個充分必要條件；同時，給出判斷灰色判斷矩陣是否具有擬一致性的一種演算法，而且通過這個演算法可以求出該灰色判斷矩陣的等價一致性灰色判斷矩陣。
  14. Meanwhile we introduce the concepts of - smooth pointwise quasi - uniform continuous goh and l - smooth pointwise uniformity on fuzzy lattices, discussed some properties, characteristics and equivalent depictions. in the fourth chapter, the first, with the concepts of a - locally finite family of fuzzy sets in [ 72 ], we defined a new kind of strong fuzzy paracompactness

    定義l - smooth點式擬一致結構的l - smooth基的概念，從而給出了f格上的l - smooth點式一致結構概念，獲得了若干l - smooth一致結構的等價刻畫。
  15. During the course of establishing this kind of system, we have adopted some advanced instruments and analyzing ways, and used var ( value at risk ) as the base of making models. we also have used regression and historical simulation to evaluate the risks existing during the course of commercial banks " operation, upgraded these ways to make them cooperate with china ' s economic practice, pointed out some indexes and concepts which have practical significance, expanded the academic fields, and connected the normal ways and practical ways together. in this thesis, we have paid more attention to the practical research

    在進行風險評估體系的構建過程中，本文充分借鑒了國外先進的研究工具和分析方法，以var （ valueatrisk ）方法作為相關模型構建的數理基礎，採用了回歸分析、歷史模擬等系列研究工具，對我國商業銀行經營過程中的風險情況進行了跟蹤模擬與綜合測評，並結合我國具體現實對所用方法進行了升級與改造，提出了一些具有較強使用價值的指標概念，並在此基礎上進行了進一步的理論延伸，做到了規范研究與實證研究相結合，著重突出了現實意義。
  16. Secondly, we give the mathematic fuzzy environment and satisfactory decision - making. then make a summary of the method how to resolve a satisfying optimization problem, finally, we research a kind of method based on fuzzy programming to solve a satisfied optimization problem with some constrains and this method has been verified by the simulation results

    在此基礎上對一類模糊不確定環境中存在生產約束時的滿意優化控制問題，在預測控制的框架下把具有模糊邊界約束的有限預測時域的優化問題轉化為等價的確定性規劃問題，並且進行了模擬，模擬結果表明了該演算法是有效的。
  17. This paper gives some equivalent conditions of quasi - concave function

    摘要本文給出了與擬凹函數定義等價的幾種條件，並加以證明。
  18. Abstract : a numerical model for wave propagation in water of varying topography and current is proposed, and time - dependent wave mild - slope equation with a dissipation term and corresponding equivalent governing equations are presented. two different expressions of parabolic approximations for the case of the absence of current are also given and analyzed. examples of numerical simulation for wave transformation in large estuarine water areas are provided

    文摘:提出了水深與流場緩變水域波浪傳播數學模型水流中依賴時間變量並考慮能耗的波浪「緩坡方程」及其等價的控制方程組，分析比較了無水流情況此理論模型與其相應的兩種拋物型近似的差別，提供了長江口波浪變形數值模擬計算工程實例.實例表明，該模型能適應河口三角洲大范圍水域波浪傳播數值計算
  19. 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

    一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質，使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是，這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長，以至於在很多情況下，窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時，還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系，文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示，此演算法在某些情況下比其他一些工具有更好的時間和空間效率
  20. In other words, it works in such a way that to find natural phenomena which are equivalent to the original mathematical problem in the physical world and then observe the evolution of the motion of matter in it so as to be inspired to obtain a formalistic algorithm for solving the mathematical problem

    所謂擬物就是主動地向自然界學習解決問題的方法，它是尋找到與原始數學問題等價的物理世界並觀察這個世界中物質運動的生動形象，然後從中得出啟發並逐步形式化為演算法以求解問題。
分享友人
分享到 Line

分享到臉書