命題變元 的英文怎麼說

中文拼音 [mìngbiànyuán]
命題變元 英文
propositional variable
  • : Ⅰ名詞1. (題目) subject; title; topic; problem 2. (姓氏) a surname Ⅱ動詞(寫上) inscribe; write
  • 命題 : 1 (出題目) assign a topic; set a question 2 [邏輯學] (表達判斷的句子) proposition; statement;...
  1. This paper supplied a new way through variable frequency variable speed ( vfvs ) to change its output flow rate and adding a constant - pressure - drop valve, which could solve the defects in hydraulic pressure servo control system, such as low efficiency in control system, short life, poor ability in resisting pollution, low efficiency in driving system and flow rate, pressure pulse. and this way was proved to be effective

    本論文針對傳統伺服控制系統效率不高、件壽短、抗污染能力差、驅動系統效率低、存在流量及壓力脈動等缺陷,利用先進的交流頻調速技術改液壓泵轉速的容積調速新方法,提出了在液壓系統中加一個定差減壓閥的新思路,較好地解決了液壓伺服系統存在的上述問
  2. Some propositions are true for any truth value of their variables. such propositions are called tautology.

    某些對于后的任何一種真值狀況,它均為真,這樣的稱為重言式。
  3. As a part of the civil 863 plans, two multiple - contact models for two kinds of braking system are built in the paper, in which contact fields are described as coons surfaces, initial velocity is programmed in fortran. the thermal - mechanical coupling braking processes are simulated for the first time by msc. marc, the general - used nonlinear fem software. time distributions of the velocity, the stress and the temperature of the components under various initial velocity and brake force are obtained, which offer theoretic gist to study the life of the wheel, the disc and so on

    作為國家行業863重大課《鐵路機車車輛虛擬樣機系統》的一部分,本文在研究接觸問和熱?機耦合問數值方法的基礎上,採用國際上通用的非線性有限分析軟體msc . marc建立了踏面制動和盤形制動主要部件的多體接觸計算模型,其中用解析方法描述,即用nurb曲線、高斯曲面來描述接觸區域,用fortran語言編寫定義初速度的用戶子程序,首次對兩種制動過程熱?機耦合進行了數值模擬,定量給出了主要制動部件在不同初速度、不同制動力下各個時刻的速度、應力和溫度的化規律,為研究車輪、閘瓦以及制動盤壽提供了理論依據。
分享友人