機器證明 的英文怎麼說

中文拼音 [jīqìzhèngmíng]
機器證明 英文
mechanical theorem proving
  • 機 : machineengine
  • 器 : 名詞1. （器具） implement; utensil; ware 2. （器官） organ 3. （度量; 才能） capacity; talent 4. （姓氏） a surname
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 明 : Ⅰ形容詞1 （明亮） bright; brilliant; light 2 （明白;清楚） clear; distinct 3 （公開;顯露在外;不隱...
  • 機器 : 1. （用來轉換或利用機械能的機構） machine; machinery; engine 2. （引申為機構） apparatus; organ
  • 證明 : 1 （表明 、 斷定真實性） prove; testify; bear out 2 （證明書或信） certificate; identification; t...
  1. The structure of air - blast pipe was improved on. an orienting object was installed based on theoretical analysis, that increase the spraying span. it has been found that both spraying span and droplets uniformity improved, by installing the orienting object. according to the results of a great number of experiments, orderliness of droplets diameter along the spraying span was researched, and rational spraying span of air - assisted sprayer was suggested

    通過試驗檢驗噴霧機樣機的噴霧性能，並提出對各項參數的優化設計方案。通過正交試驗和對比試驗對霧滴取樣，證明導流器的安裝不僅增加了噴幅，而且還提高了霧滴均勻性系數。根據大量試驗的結果分析，找出了霧滴直徑在噴幅方向上所呈現的變化規律，並提出了合理的噴幅范圍。
  2. Analyzing and experimentally verifying the strain transducing characteristics of strain sensor. experiments tell that strain sensor capsulated by thin sheet metal can effectively transduce strain under certain mechanical robust with strain transducing efficiency of 97. 8 %, sensitivity of 83. 34 / kg, precision of 1. 64

    實驗結構證明，用薄金屬片封裝的應變傳感器在保證一定機械強度的基礎上實現了應變的有效傳遞，應變傳遞效率可達97 . 8 % ，應變靈敏度為83 . 34 / kg ，精度為1 . 64 。
  3. Existing complexity proofs on the circularity problem of ags are based on automata theory, such as writing pushdown acceptor and alternating turing machines

    目前對屬性文法循環性問題復雜度的證明，多基於自動機理論，如寫入推出接受器、交替塗林機等。
  4. The goddard space flight center honors the man whose work proved that machines could travel out of earth ' s atmosphere into space

    戈達德航天中心紀念的是那位用工作證明機器能夠到地球大氣層以外的太空中遨遊的人。
  5. The experiments indicate that the gripper can work reliably and safely, and can satisfy the needs of microassembly tasks

    實驗證明該微夾鉗工作可靠，能夠滿足微裝配機器人裝配任務的要求。
  6. Diabetic passengers are allowed to carry sufficient insulin and hypodermic needles necessary for in - flight use, subject to provision of medical evidence

    旅客如患有糖尿病，可以攜帶足夠的胰島素制劑及帶針頭的皮下注射器在飛機上使用，但須出示醫療證明。
  7. It proved, incontrovertibly, the disastrous effects of machinery and division of labour ; the concentration of capital and land in a few hands ; overproduction and crises ; it pointed out the inevitable ruin of the petty bourgeois and peasant, the misery of the proletariat, the anarchy in production, the crying inequalities in the distribution of wealth, the industrial war of extermination between nations, the dissolution of old moral bonds, of the old family relations, of the old nationalities

    它確鑿地證明了機器和分工的破壞作用、資本和地產的積聚、生產過剩、危機、小資產者和小農的必然沒落、無產階級的貧困、生產的無政府狀態、財富分配的極不平均、各民族之間的毀滅性的工業戰爭，以及舊風尚、舊家庭關系和舊民族性的解體。
  8. After technical innovation of no. 12 generator of qingshan power plant, the combustion adjustment test was performed and it was demonstrated that operation condition of the generators was improved by using of horizontal concentrated powdered coal burner technique

    摘要湖北青山電廠12號爐進行技術改造后進行了相應的燃燒調整試驗，試驗證明水平濃縮煤粉燃燒器技術的應用改善了機組的運行狀況。
  9. Singapore : world scientific, 1994. 4 li h, wu y. automated theorem proving in projective geometry with cayley and bracket algebras

    其中特徵列方法是定理機器證明與方程求解的基礎，也是數學機械化領域目前研究的核心內容。
  10. Field operation shows that, by using the hydrodynamic propulsor, not only the penetration rate is increased, the vibration of the bit and drill stem is reduced as well, thereby the service life of the bit is extended

    1995 - 1998年井下液力推進器在大港油田等地區不同區塊20餘口井上施工的實踐證明，使用這種推進器不但可以提高機械鉆速，而且減輕了鉆頭和鉆桿的振動，進而延長了鉆頭壽命。
  11. Damage caused to any machinery and boilers of a ship which is ashore and in a position of peril, in endeavouring to refloat, shall be allowed in general average when shown to have arisen from an actual intention to float the ship for the common safety at the risk of such damage ; but where a ship is afloat no loss or damage caused by working the propelling machinery and boilers shall in any circumstances be allowed as general average

    在船舶擱淺並有危險的情況下，如經證明確是為了共同安全，有意使機器、鍋爐冒受損壞的危險而設法起浮船舶，由此造成任何機器和鍋爐的損壞，應認入共同海損，但船舶在浮動狀態下因使用推進機器和鍋爐所造成的損失，在任何情況下都不得作為共同海損受到補償。
  12. Damage caused to any machinery and boilers of a ship which is ashore and in a position of peril, in endeavouring to refloat, shall be allowed in general average when shown to have arisen from an actual intention to float the ship for the common safety at the risk of such damage ; but where a ship is afloat no loss or damage caused by working the propelling machinery and boilers shall in any circumstances be made good as general average

    在船舶擱淺並有危險的情況下，如經證明確是為了共同安全，有意使機器、鍋爐冒受損壞的危險而設法起浮船舶，由此造成任何機器和鍋爐的損壞，應認入共同海損，但船舶在浮動狀態下因使用推進機器和鍋爐所造成的損失，在任何情況下都不得作為共同海損受到補償。
  13. A screw conveying mechanism suitable for dztc series machines was obtained through calculation, so as to prove the reliability and effectiveness of the calculating method

    通過計算得出了適合dztc系列機器的螺旋送料機構，從而證明了演算法的可靠性和有效性。
  14. The modified traveling wave monopole model is employed in simulating the electron beam in crt of computer vdu. meanwhile acceleration fields of the electron beam are studied in details and its expression given for the first time with measured results. a novel analyzing method is proposed to study the spectrum of electromagnetic information leakage based on the viewpoint of field point, which has been verified effective by experiments

    採用經修正的行波單極子模型模擬計算機陰極射線管顯示器電子束，並詳細研究了電子束的加速場，首次給出了其計算公式和實驗測試結果；還提出了一種新的從場點出發的信息電磁泄漏頻譜分析方法，實驗證明了其有效性； 3
  15. The results of experiments have show that electro - hydraulic proportional control system and its core controller of the auto crane ’ s performance are satisfied. it has the advantage of easily using and low cost, then it is worthy of further developing

    核心控制器樣機的試驗情況表明，本文所設計的汽車起重機電液比例控制系統具有簡潔實用、成本低廉的優點，證明了本文研發成果的有效性和實用價值，為產品的產業化開發打下了良好的基礎。
  16. The equations are also deduced with handwork in order to verify the validity of the procedure with artificial intelligence. crosscheck show even classic document by mack have also fatal error in equation and boundary condition

    為了確認lesliem . mack經典文獻（參考文獻[ 1 ] ）給出的公式有錯，又與人工推導的公式進行對比，以此證明機器推理的可靠。
  17. In this paper, it s applications were explained from seven different fields, the common zeros of two polynomials, the multiplicities of roots and the discrimination of a polynomial, searching the equations suitable for a algebraic number, implicating a rational curve over the plane, computing the zeros of a nonlinear algebraic equation and gathering the discrimination surface of the sas in automated theorem proving on inequalities

    本文從7個方面闡述了結式的應用，包括判斷2個多項式的公共零點，判定多項式是否有重根，計算多項式的判別式，尋找代數數滿足的方程，平面有理曲線的隱式化，非線性代數方程組求解和不等式機器證明中半代數系統邊界曲面的獲得等。
  18. 14 gallo g, mishra b. efficient algorithms and bounds for wu - ritt characteristic sets. effective methods in algebraic geometry, progress in mathematics, 1991, : 119 - 142. 15 gao x s, chou s c. a zero structure theorem for differential parametric systems

    本文簡要介紹了代數方程組的特徵列方法及其在幾何定理機器證明發現與含參數代數方程求解中的應用，進一步給出了基於特徵列方法代數閉域上的一階邏輯公式的判定演算法。
  19. 1 wu w t. on the decision problem and the mechanization of theorem - proving in elementary geometry. scientia sinica, 1978, : 159 - 172. re - published in em automated theorem proving : after 25 years, 1984, pp. 213 - 234

    本文第一作者于上世紀七十年代末開始從事數學機械化研究，致力於實現推理與方程求解的自動化，並創立了幾何定理機器證明的吳方法與方程求解的特徵列方法。
  20. The state feedback controller and the output feedback controller of markov networked control systems with long time delay are designed. the separation principle is proved to still hold in such networked control systems

    設計了長時延markov網路控制系統的隨機狀態反饋控制器和輸出反饋控制器，證明了分離原理在長時延markov網路控制系統中依然成立。
分享友人
分享到 Line

分享到臉書