finite set of condition 中文意思是什麼
finite set of condition
解釋
條件有限集-
Roll over protective structure ( rops ) is a device which installs on out of construction vehicle. the main functions are : when the vehicle rolling over. rops can prevent the vehicle from rolling over further, and reduce the possibility of rolling vehicle injures operator ; when the vehicle traveling on freezing soil. concrete and rock, it has large resist continuous impact ability ; when the vehicle overturning rops can support the whole vehicle. arrangement of falling object protective structure ( fops ) can block objects ( such as trees, rocks ) so that supply protection for operator. this problem is that research rolling over and falling objects protective structure of bulldozer by learning research condition of rops / fops and relative lay down international standard. on the base of theory analysis. detrudes counting formula of rops / fops deformation through founding mechanics analysis model of rops / fops at the stage of elasticity and plastoelastic. and finds a set of feasible nonlinear finite element analysis counting. lt calculates rops / fops plastoelastic deforma variable of 320hp bulldozer, bulldozer has been carried out by optimizing design method
其主要功能是：當車輛滾翻時， rops能刺入未凍土壤而阻止車輛的進一步滾翻，降低滾翻的車輛對系著安全帶司機軋傷的可能性；保證rops在碰撞和沖擊變形不大的地面（如凍土、混疑土上、巖石）時，能具有相當大的抗連續沖擊能力；當車輛已經處于顛覆狀態時，已經變形的rops應能支撐住整車。落物保護裝置（簡稱fops ） ，其構件的布置方式要能遮蔽墜落的物體（如，樹木、巖石等） ，以便對司機提供適當的保護。本課題主要通過了解國內外有關對rops fops的研究情況和有關國際標準的制定，對大型推土機傾翻和落物保護裝置進行研究，在理論分析的基礎上，通過建立rops fops的力學分析模型，推導彈性、彈塑性階段rops fops變形的計算公式，建立一套可行的rops fops的非線性有限元分析計算方法。 -
The numerical simulation equations of the border curves in term of and as well as the matching rules and the frequency dependence of microwave electromagnetic parameters of a broad - band homogeneous absorbing coating with a finite value of reflection loss are available. these results pointed out the direction to develop rams ". according to the radar - absorbing model, the optimized design of rams with thin - layer, light - weight, broadband and strong - absorbing is available by the simple genetic algorithms, which can effectively conduct the research work of rams to the detail. small but completely, the electromagnetic parameter ' s databases of rams that based on actual microwave absorbers have been set up, the object function has been constructed which conform to the involved goals, the adaptive coding measure is taken which extends the coding length dynamically adapting to the condition of the number of actual absorbers or the precision of thickness and absorber - volume - percentage, the decoding technique is initiated which satisfies light - weight and strong - absorbing as well as thin - layer and broadband by adopting of tracing variable restricting conditions dynamically to control total thickness. when decoding, the variable restricting conditions of thickness are dynamically traced, so gain the radar absorbing coatings of light - weight multiple - layer single - ingredient. similary, of thickness and absorber - volume - percentage, of light - weight multiple - layer multiple - ingredient. also, the rams ' demand to radar - absorb performance as frequency is met making use of the penalty function
作為遺傳演算法的具體實施：根據本實驗室近來研製的吸波材料，建立了吸波材料的相關數據庫；構造了能真實體現「薄、輕、寬、強」優化目標的目標函數；根據材料的實際數量以及塗層厚度精度要求、吸收劑體積分數精度要求，建立了能動態擴展相應碼長的自適應編碼方法；首創了通過動態跟蹤變量的約束條件來控制塗層總厚度的解碼技術，以此實現了在不弱化寬頻、高強的吸波性能目標的同時，兼顧到薄層、輕質的使用性能要求；在解碼時通過動態跟蹤厚度變量的約束條件，實現了多層單組分吸波塗層對重量輕的要求；通過動態跟蹤厚度變量的約束條件和吸收劑體積分數的約束條件，實現了多層多組分吸波塗層對重量輕的要求；使用權重系數變化法，實現了吸波塗層的分頻段吸波性能要求。 -
The effect of car body elastic vibration on the ride comfort is analyzed. the ride comfort and acceleration responses of the car system with rigid car body model or elastic car body model are studied and compared. finally by using ansys / ls - dyna software, the finite element impact models of car body with a rigid wall have been set up, then the displacement, velocity, acceleration and energy variation of the car body are analyzed and compared for before and after lightening cases under the condition of impact speed 5. 8m / s and 11. 8m / s
本文利用ansys軟體建立了25k硬臥客車車體輕量化前後的有限元模型，計算了車體的強度、剛度和模態，並對輕量化前後的車體作了對比分析；然後，用nucars動力學分析軟體建立了25k硬臥客車系統的數學模型，分析了彈性振動對平穩性的影響，並對剛性車體和輕量化前後的彈性車體對平穩性和加速度響應的影響作了對比分析；最後用ansys / ls - dyna軟體建立了25k硬臥客車車體輕量化前後的動態顯式有限元模型，分別在5 . 8m / s和11 . 8m / s的速度下碰撞剛性墻，得到了車體的相對位移、速度、加速度和能量的變化過程，並作了對比分析。 -
In the end, when the domain is finite, b is a meet - irreducible element or 6 has an irredundant finite meet - decomposition, a sufficient and necessary condition that the solution set is nonempty is given and the number of distinct minimal solutions is formulated
最後，當論域為有限集， b為交既約元或有不可約有限交分解時，給出了方程inf _ （ i j ） （ a _ j ， x _ j ） = b解集非空的充要條件以及極大元的個數公式。 -
This paper set up a geological model of sliding mass by geological condition analysis and selection cross section of character representation of guishan sliding mass. the stability of sliding mass is calculated and evaluation under bench stoping and deck excavation in terms of six excavation schemes with limit equilibrium method. there dimensional finite element method is applied to study the stability of sliding mass to the deck excavation schemes by means of computer simulation and calculation
通過對滑坡體工程地質條件的分析，選取滑坡體的代表性剖面建立了滑坡體的地質模型，選取極限平衡方法就滑坡體在臺階式開挖和整體開挖兩種不同開挖方式共6種具體開挖方案條件下，對滑坡體的穩定性進行了定量計算評價，提出臺階式開挖和整體開挖兩種不同開挖方式的的各開挖方案的比較結果，然後就確定的具體開挖方案開展三維有限元數值計算，並進行評價，以達到相互校核、相互驗證的目的，最後，確定出工程應用的開挖施工方案。 -
When / is infinite and 6 is a compact element and with an irredundant finite join - decomposition, it is showed that a sufficient and necessary condition that the solution set is nonempty. it is also proved that there exists a minimal solution if the solution set of the equation sup t ( ai, xi ) = b is nonempty
當論域為無限集， b為緊元且有不可約有限並分解時，給出了解集非空的充要條件，證明了如果方程sup _ （ i i ） （ a _ i ， x _ i ） = b有解，則一定存在極小解。 -
In the case of infinite domains, it is proven that there exists a maximal solution x " of a @ x = b such that x * x for every solution x of a @ x = b if the solution set of a @ x = b is unempty and b has an irredundant completely meet - irreducible decomposition. it is also identified that there exists a maximal solution x * of a @ x = b such that x * x for every solution x of a @ x = b if the solution set of a @ x = bis unempty and every component of b is dual - compact and has an irredundant finite - decomposition. in the end, a necssary and sufficient condition that there exists a maximal solution x * of a @ x = bsuch that x * x for every solution x of a @ x = b is given when the solution set of a @ x = b is unempty
當論域為無限集時，證明了如果方程a @ x = b有解且b有不可約完全交既分解，則對方程a @ x = b的每一個解至少存在一個大於等於它的極大解；進一步證明了如果方程a @ x = b有解且b的每一個分量為對偶緊元並有不可約有限交分解，則對方程a @ x = b的每一個解存在一個大於等於它的極大解；最後給出了對方程a @ x = b的每一個解存在一個大於等於它的極大解的一個充要條件及[ 0 ， 1 ]格上方程a @ x = b的解集中存在極大解的一個充要條件。
分享友人