自然演繹系統 的英文怎麼說

中文拼音 [zìrányǎnyìxìtǒng]
自然演繹系統 英文
natural deduction system
  • 自 : Ⅰ代詞（自己） 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
  • 系 : 系動詞（打結; 扣） tie; fasten; do up; button up
  • 統 : Ⅰ名詞1 （事物間連續的關系） interconnected system 2 （衣服等的筒狀部分） any tube shaped part of ...
  • 自然 : 自然at ease; natural; free from affectation
  • 演繹 : [邏輯學] deduction; inference; deduce
  • 系統 : 1. （按一定關系組成的同類事物） system 2. （有條理的;有系統的） systematic
  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. The natural deductive system of fuzzy logic

    模糊邏輯中的自然演繹系統
  3. 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

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

    抽象運算元邏輯及其自然演繹系統
  5. 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架構的非法外聯檢測模型;針對病毒檢測，提出了基於主機的防病毒檢測思想，在客戶端進行病毒防護。
分享友人
分享到 Line

分享到臉書