自然演繹 的英文怎麼說

中文拼音 [rányǎn]
自然演繹 英文
natural deduction
  • : Ⅰ代詞(自己) self; oneself; one s own Ⅱ副詞(自然;當然) certainly; of course; naturally; willin...
  • : Ⅰ形容詞(對; 不錯) right; correct Ⅱ代詞(如此; 這樣; 那樣) so; like that Ⅲ連詞[書面語] (然而)...
  • : 動詞1 (演變; 演化) develop; evolve 2 (發揮) deduce; elaborate 3 (依照程式練習或計算) drill;...
  • : Ⅰ動詞[書面語] (抽出或理出事物的頭緒來) unravel; sort out Ⅱ名詞(姓氏) a surname
  • 自然 : 自然at ease; natural; free from affectation
  • 演繹 : [邏輯學] deduction; inference; deduce
  1. 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

    本文從考察十七世紀數學的哲學背景出發,從基於畢達哥拉斯傳統的圖景的數量化和基於基督教傳統的宇宙圖景的機械化,以及基於歐幾里德傳統的物理學科體系的化等三個方面更加具體地考察了近代科學的數學化特徵。
  2. Based on the analysis at natural ecological characteristic and construction target, the design of shanghai new jiangwan city, inspired by daedal nature, combines the project with arts and converts the bald bridge to landscape focus and sightseeing platform dreamily

    摘要上海新江灣城的重點橋梁橋型的設計從生態與建設目標出發,從大中選萃靈感,使工程與藝術相融合,將工程化的橋梁為夢幻般的景觀焦點與觀景平臺。
  3. The natural deductive system of fuzzy logic

    模糊邏輯中的自然演繹系統
  4. Overwhelmed by the originality, flow and weight of ngs oratory, the adjudicators were unhesitating in their praise. ng joined the toastmasters club in her first year at lingnan and this was the first time she had entered this contest

    吳同學無論在內容及表達上均恰到好處,流暢,再加上利用創新及幽默風趣的手法,她的表現令評判感到非常滿意。
  5. The weight, texture, shape and natural tone of the rock often give artists flashes of creativity, leading them to explore their topics from a unique perspective

    白雲石的重量質感形態及的色感,常會觸動藝術家的靈感,並以其獨特的手法創作
  6. But by absorbing the reasonable viewpoint of eliminating the fact / value dichotomy, going in line with the standard of rational acceptability extended by humans ' ecological practice and being based on the analysis of the complex relations of fact and value in life community, rather than by following the traditional deductive model of justification we can create a way of justification with nonlinear thinking and integrative arguments, and thus we can not only avoid " the naturalistic fallacy ", but also put forward a non - logical justification for ecological ethics

    但通過吸納社會領域消解事實與價值絕對二分的合理主張,並根據人類生態實踐而擴展道德論證的可合理接受性標準,在分析生命共同體中事實與價值的復雜關系的基礎上,創設一種非線性思維的綜合論述的證明方式,而不是沿用傳統的模型的證明方式,就既可以避免「主義謬誤」 ,又能夠對生態倫理學做出一種非邏輯形式的合理論證。
  7. Abstract operator logic and its natural deduction system

    抽象運算元邏輯及其自然演繹系統
  8. Basing on the thorough research and analysis of several essential technologies, we have implemented identity authentication, illegal link, network security aduit and anti - virus detection etc. we used digital certificate to accomplish identity authentication which was based on the study and analyzing of all kinds of authentication. in regard to network security audit, we mainly researched on the distributed model of network security audit and the audit strategy of the rule library. in view of the traditional rule library ’ s flaws, with the formalizing description of audit rule, we proposed a dynamic security audit strategy model which was based on the nature deduction system

    在研究並分析各種認證技術的基礎上,採用基於數字證書的認證方式,實現用戶上網資格審查;針對網路安全審計,重點研究了網路安全審計分散式模型以及基於規則庫的審計策略,並針對傳統審計規則庫的缺陷,通過對審計規則進行形式化描述,提出了一種基於自然演繹系統架構的動態安全審計策略模型dsasm ( dynamicsecurityauditstrategymodel ) ,並詳細論述了該模型的定義和推算法;通過深入研究非法外聯的關鍵技術和檢測模型,提出了基於路由表查找的c / s架構的非法外聯檢測模型;針對病毒檢測,提出了基於主機的防病毒檢測思想,在客戶端進行病毒防護。
  9. Despite his modesty " i am not a jazz musician, i interpret bach through jazz and other non - classical idioms ", experts unanimously acclaim the present trio as the better of the two

    他很謙虛地稱我不是爵士樂手,我只是用爵士樂和非古典音樂風格來巴赫的音樂,專家一致稱贊新組合比舊組合更佳。
  10. Tired of sound and fury of theurban area, it is especially interesting to drift along themysterious, deep and paradise - like canyon group, where you canavail yourself of physical and mental relaxation from the nature. how excited and delightful it is to feel the grandeur of nature andthe challenge of braving storms

    厭倦都市喧囂的你,漂流於神秘幽深、不染世塵的峽谷群,聆聽這山水共同的生態樂章,讓的古樸、純凈洗滌你疲憊的心靈,于「九九八拐疑無路」的急流中,感受大力量的張揚,體驗劈波斬浪,奮勇拼搏的人生真諦。
  11. It is the characters that are driven dragged by the incidents instead of them making the decisions and initating the plot. the result is that the characters become extremely vague, as they don t really have the motives to work things out

    所以金城武和梁詠琪雖得投入但論角色魅力反而不及主性較強的一對配角關穎和陳之財雖他們的確實誇張了點。
  12. It takes a truly adept musician with virtuoso skills and musicality to perform with the right touch, the right flair, and the easy does it air, and that s jacques loussier, the master in this art

    古典音樂奏難,即興也難;古典加即興,更是難上加難。只有高度音樂造詣的音樂人方能應付,而能做到舉重若輕、怡得、仿如不費吹灰之力者, jacques loussier必是個中翹楚。
  13. Is qualified, but it is rated in comparison to ekin cheng. cheng s role is typical and flat, there isn t any surprising element that makes you love his character. moreover, his performance doesn t show any improvement at all

    黎明今次的未及三更時出色,但由於角色性格太搶鏡,加上失色的拍檔鄭伊健的陪襯比較,輕易地成為影片焦點人物。
  14. It is very hard for the viewers to trace the timeline of the story accurately. the film begins in the middle of the story unexpectedly, then moves back to the past, suddenly it pushes forward again, and in another shot it brings us to the past without a clue. the episodic narrative structure prohibits us from comprehending the film easily, especially for audiences who are not familiar with the concept of editing, it is almost impossible for them to follow the story without any guidance

    其實此運動和以往的寫實主義關系頗為密切,都是以寫實掛帥,特點包括用digital video攝影機拍攝內容不是表達導思想,而是大眾呼聲實景拍攝和收音起用非專業員,不會有大明星參強調即興和沒有背景音樂用動物出等等,從以上特點看來,此片實在不是合格的dogma電影,例如電影不是表達大眾呼聲,員都是星級陣容劇本不是即興等,都令人知道此片不是dogma 。
  15. Blue area ? no. 2 business circle is a new original research building of the third generation with low density, and it is a model of internationalized office environment with ecology as its topic

    藍域?商界2號是全新第三代創意型低密度研發樓,是國際化生態主題辦公環境的典範,她將科技、、人文三者完美結合,全力中國光谷首席科技主題商務社區的嶄新內涵。
  16. You have all heard it repeated that men of science work by means of induction and deduction, that by the help of these operations, they, in a sort of sense, manage to extract from nature certain natural laws, and that out of these, by some special skill of their own, they build up their theories

    我們經常聽過,那些從事科學的科學家們,通過使用和推斷的方法,通過這些方法,在某種意義上,用某種他們己的特殊技巧,能夠從規律中,建立他們己的理論
  17. Among all the korean actresses, she is probably the one that is least glamorous, and it is this mundane appearance that makes her character believable. however, she seems to suffer from the problem of overacting in certain scenes

    不過她的略嫌過度誇張,在不少場次都出現overact的問題,反而不及愛的空間一片時的可愛。
分享友人