數學機械化 的英文怎麼說

中文拼音 [shǔxuéjīxièhuà]
數學機械化 英文
mechanization of mathematics
  • 數 : 數副詞（屢次） frequently; repeatedly
  • 學 : Ⅰ動詞1 （學習） study; learn 2 （模仿） imitate; mimic Ⅱ名詞1 （學問） learning; knowledge 2 （學...
  • 機 : machineengine
  • 械 : 名詞1. （器械） tool; instrument 2. （武器） weapon 3. [書面語] （枷和鐐銬之類的刑具） fetters, shackles, etc
  • 數學 : mathematics
  • 機械化 : mechanize
  • 機械 : 1. （利用力學原理組成的各種裝置） machinery; machine; mechanism 2. （死板; 刻板） mechanical; inflexible; rigid
  1. And it is nothing other than the new philosophy of the nature whose characteristics are the quantification of substance and the mechanization of the movement that defends the existence and the property of this quantum second, the quantification of substance and the mechanization of the movement which are emphasized by the new philosophy of the nature offers a intuitionistic continuun which takes the extension of the space - time for the birth of calculous

    正是以物質的數量化和運動的機械化為特徵的新的自然哲學為這種量的存在及性質（特別是拓撲性質）和程序化的演算法提供辯護。其次，新的自然哲學所強調的物質的數量化和運動的機械化為微積分的產生提供了以時空廣延為模型的直觀連續統。
  2. The article takes mathematization as the characteristic of neoteric science by starting from the background of 17th century ' s philosophy of the nature and reviewing three aspects. these three aspects are the mathematization of the prospect of the nature which is based on the tradition of pythagoras, the mechanization of the prospect of the universe which is based on the tradition of christianism, and the deducting of the system physics which is based on the tradition of euclid

    本文從考察十七世紀數學的自然哲學背景出發，從基於畢達哥拉斯傳統的自然圖景的數量化和基於基督教傳統的宇宙圖景的機械化，以及基於歐幾里德傳統的物理學科體系的演繹化等三個方面更加具體地考察了近代科學的數學化特徵。
  3. Singapore : world scientific, 1994. 4 li h, wu y. automated theorem proving in projective geometry with cayley and bracket algebras

    其中特徵列方法是定理機器證明與方程求解的基礎，也是數學機械化領域目前研究的核心內容。
  4. The development of mechanized mathematics goes through tortuous way in the western countries, written calculation is the most compute means. the mechanized degree of writing calculation is lower, and not meet the actual demands. other means, example : table calculation, slide rule, graphic solution, are invented to make up the defect of writing calculation

    由於西方比較崇尚公理化數學，不易想到要從筆算在機械化方面存在的缺陷上尋求改進方向，以選擇和設計算具演算法；而是另外尋找別的計算方式、工具，如表算、計算尺和諾模圖等來解決應用計算問題，走了彎路。
  5. The core of the mathematics mechanization theory is algebraization and further mechaiza - tion

    數學機械化思想的核心是代數化進而機械化。
  6. Based on the analysis of the kinetic track of the scallion during planting, basic relationships ' among the characteristic parameters of the transplanter with two flexible metal disks, including the velocity of the transplanter, the rate of transplanting, the spacing between seedlings, the angle of releasing seedlings, the diameter and length of seedlings, have been set up in this paper, and then a mathematic model of optimum design for the transplanter with the final planting angle of seedlings ( y = 90 ) has been formulated and solved with good results. according to the optimum solutions, a new type of transplanter with two flexible metal disks has been developed and the field tests of the transplanter have been conducted

    為了實現大蔥機械化移栽，作者分析了國內各種移栽機的結構特點，確定了以撓性圓盤式栽植器為研究對象，在分析撓性圓盤式栽植器的運動軌跡和特徵參數的基礎上，完整地確立了撓性圓盤式移栽機的基本參數：栽植頻率、栽植株距、機組前進速度、輸送帶上秧槽的間距、撓性圓盤半徑、撓性圓盤的轉速、夾苗株數以及傳動比之間的相互關系，並建立了以蔥苗栽植傾角= 90為目標的優化設計數學模型，提出了撓性圓盤式大蔥移栽機的優化設計方法。
  7. The mechanized mathematics has a highly development in ming dynasty, the abacus ' s perfected standardize is one hand, the other hand is fundamental algorithm ' s standardize, a pithy formula, program

    二、數學機械化的思想方法到明代得到了高度發展和完善。其一是表現在實現演算法的硬體? ?算盤的完善和規范化；其二是實現演算法的軟體? ?基本演算法的規范化、歌訣化、程序化。
  8. Zhusuan is closer than writing calculation with computer in the distance, through the analyzing and researching in algorithm mechanism. the developed of mechanized mathematics, in ming dynasty, is the heights of chinese mathematics and the magnificent feats of the world in that times

    四、從演算法的基本機制要素（輸入、儲存、計算和輸出）上，對明代機械化數學（珠算）與西方同期的機械化數學（筆算） ，進行了具體分析和比較，說明從與數字電子計算機思想方法的距離上看，珠算要比筆算近得多。
  9. Although economic and population specialists and scholars both in abroad and at home have made extreme progress on research the question of rural labor since they studied it very long ago, as far as china is concerned, based on the following three aspects, firstly, the national condition of our country determined that the foreign theory such as lewis theory might instruct us but we ca n ' t use these theories without rectification ; secondly, in china, our research about this question prefer the qualitative analysis to the quantitative analysis ; thirdly, the research on the labor utilization and shift in this specific area, that is, in the mountainous rural area which covers 69 % of our mainland and occupies 56 % of population is absolutely scarce in present ? to make up for the three deficiencies, this paper selects the econometrics analysis, uses investigation data and by virtue of tsp software, establishes a model where shift labor is the dependent variable and the citilization ratio, industrial structure, the income gap between city and country, the rural infrastructure construction, the labor ' s aptitude and the population ' s natural growth ratio are the variableso through economic, statistical and econometrical test, the conclusion is attained : the income gap between city and country and the citilization ratio are the two most important fectors which affect the labor ' s utilization and shift in mountainous rural area -, the rural infrastructure construction and the labor ' s aptitude are the two relative important factors which affect the labor ' s utilization and shift in mountainous rural area while the rural industrial structure and the population ' s natural growth ratio are the two least important factors according to this, this paper puts forward several suggestions that the income gap between city and country, citilization ratio, rural education, rural industrial structure and agricultural mechanization should be carefully treated with on studying the question of labor utilization and shift in mountainous rural area. finally, this paper points to several suspending problems about this research in order to get the concern of specialist and scholars

    盡管國內外經濟和人口學方面的專家與學者很早就開始了對農村勞動力問題的研究並取得了極大的進展，但是，我國在研究農村勞動力問題時，基於三點：其一，我國國情決定了國外的理論例如劉易斯理論，雖然對研究我國的農村勞動力問題具有指導意義，但卻不能照搬這些理論；其二，從國內看，我國對該問題的研究重視定性分析而定量分析明顯不足；其三，缺乏對我國占國土面積69 、人口56的山區農村這一特殊區域內的勞動力開發利用及轉移的專門性研究。為了彌補這三個缺憾，論文採用經濟計量學的數量分析方法，利用實際調查資料，藉助tsp軟體，建立了以外出勞動力數量為被解釋變量，城市化率、農村產業結構、城鄉收入差距、農村社會基礎設施建設、農村勞動力素質以及人口自然增長率六個變量為解釋變量的模型，通過對該模型進行經濟學、統計學、經濟計量學三個方面的檢驗，得出如下結果：城鄉收入差距和城市化率是影響山區農村勞動力開發利用及轉移的最重要的兩個因素；農村社會基礎設施建設和農村勞動力素質是較為重要的兩個影響因素；而農村產業結構和人口自然增長率相對來說是較不顯著的影響因素。據此，本文提出了在研究山區農村勞動力開發利用及轉移問題時，應慎重對待城鄉收入差距、城市化水平、農村勞動力素質、農村產業結構、農業機械化五個問題。
  10. This argument can be exemplified by the fact that excellent thinking and methods and handy arabic numbers were not totally introduced into china during the introduction of the western mathematics, while the chinese - style writing numbers downward from the top was still adopted ; that good thinking and approaches in the chinese mathematics like thinking and approaches via mechanization were not further developed and enhanced during the excavation and arranging of the chinese traditional mathematics

    如在引進西洋數學時，沒有把西洋數學中優秀的思想方法和便於書寫的阿拉伯數碼全部引進來，而是採用中文數字的豎寫形式；在挖掘、整理中國傳統數學時，沒有把中國數學中好的思想方法，如機械化思想方法進一步發揚和推進。
  11. Use such theories as mechanical system dynamics, signal analysis and dealing with etc. and the computer emulation technology, optimize the systematic structure and design parameter from the dynamical designing angle, make the characteristic of the mechanical system optimized, realize the visualization of machine design process, working course and the optimization of the dynamic characteristic and working performance

    運用機械繫統動力學、信號分析與處理等理論以及計算機模擬技術，從動態設計角度優化系統的結構和設計參數，使機械繫統特性得到優化，實現機器設計過程和工作過程的可視化、動態特性和工作性能最佳化。
  12. Abstract : according to working characteristics of the mechanical construction system of cement concrete pavement, this paper presents the mathematical model of this system by applying the theory of stochastic service system to describe the motion law of the mechanical construction system

    文摘:根據高等級公路水泥砼路面機械化施工工藝，利用隨機服務系統理論，提出了水泥砼路面機械化施工系統的數學模型，動態地描述了水泥砼路面機械化施工系統機械運行的一般規律
  13. 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

    本文第一作者于上世紀七十年代末開始從事數學機械化研究，致力於實現推理與方程求解的自動化，並創立了幾何定理機器證明的吳方法與方程求解的特徵列方法。
  14. Traditional mathematics of china and mathematics mechanization

    中國傳統數學與數學機械化
  15. The mechanical thought of mathematics in ancient china and wu wen - jun ' s work about mathematics mechanization

    中國古算的程序化思想與吳文俊的數學機械化工作
  16. 11. 50am lecture by professor wu on " from ancient chinese traditional mathematics to modern china s mathematics mechanization " 12. 40pm presentation of souvenirs

    上午11時50分吳文俊教授主講「由中國的傳統數學智慧至現代中國數學機械化的演變」
  17. Chapter 1 is devoted to ac = bd theory and its applications which contain elastic dynamics, electric dynamics, the solving for variable coefficient equation and so on

    Ac = bd理論和reid標準型是數學機械化的重要組成部分，非線性演化方程的求解是ac = bd理論的重要應用。
  18. This article analyzes the differential and relation between ancient math form and thought method and modern mathematical subject, discusses the machanizational feature and leading achievements in the ancient traditional math of china, correct and untrue evaluation by scholars at home and abroad, stating the importance of correct reviews

    摘要分析了古代數學形式和思想方法與現代數學學科的區別、聯系，進而論述中國古代傳統數學機械化特色、領先成就，以及中外學者評價的正確與失真，說明具有正確觀點的重要性。
  19. The present paper intends to construct a systematic approach to search a type of particular exact solutions to nonlinear wave equations by utilizing the theory of mathematics mechanization proposed by famous mathematician wu wentsun. by the approach, two classes of important nonlinear coupled scalar field equations arising in the field of nonlinear physics are studied systematically and a batch of exact solutions containing steady and diverging solitary wave solutions and periodic ones are obtained, which are helpful in clarifying the movement of matter under the nonlinear interactiveties and play an important role in sicentifically explaining of the corresponding physical phenomenon

    本文將我國著名數學家吳文俊的數學機械化思想應用於非線性物理領域，給出了構造非線性波方程組一類特殊精確解的一種統一演算法，利用這種演算法系統地研究了出現于非線性物理領域中的兩類重要的非線性耦合標量場方程組，獲得了這些方程組一批精確解（包括穩定和發散形式的孤立波解以及周期解） 。
  20. Mss consists of mathematics & applied mathematics dept., information & computing science dept., probability & statistics dept. and college mathematics dept. with ten subject orientations : algebra, function theory, computing science, numerical solution of differential equation, functional differential equation and its application, applied probability and statistics, mathematics mechanization, cad, coding security and financial mathematics

    有代數、函數論、計算數學、微分方程數值解法、泛函微分方程及應用、應用概率統計、數學機械化、計算機圖形處理、密碼安全、金融數學十個學科方向。
分享友人
分享到 Line

分享到臉書