演繹系統 的英文怎麼說

中文拼音 [yǎntǒng]
演繹系統 英文
deduction system
  • : 動詞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 ...
  • 演繹 : [邏輯學] 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. Guided by the basic principles of marxism theory and in virtue of the theories of bionomics, jurisprudence, legislation, environment law, city planning, environment education and so on, the paper firstly sums up the theories of legislation safeguard for the construction of ecocity and then sets forth the theory foundation of the legislation for construction of ecocity. secondly, in virtue of research methods of odd gene and system analyse, value analyse and demonstration analyse, the analysis of compare and nomology deduction, it makes a thorough anatomy on the problem of the legislation safeguard for our country ' s construction of ecocity practically at present. thirdly, based on discussing the construction of ecocity in foreign countries, their experience of legislation safeguard and revelation for our country, it probes deep into the construction of our country ' s law safeguard system for the construction of ecocity, and thinking and principles of legislation for promoting the legal system of our country ' s construction of ecocity are put forward guided mainly by the the theory of sustainable development. at the same time, the structure and skill of legislation for our country ' s law of promoting the construction of ecocity are particularly discussed

    本文以馬克思主義基本原理為指導,借鑒城市生態環境學、法理學、立法學、環境法學、城市學、環境教育學等相關學科的理論,運用單因子分析與分析相結合、規范分析與實證分析相結合、比較分析與法理分析相結合的研究方法,在對生態城市建設立法保障理論進行綜述的基礎上,首先從法理角度論述了生態城市建設立法的理論基礎,並結合實際,對當前我國生態城市建設的立法保障問題作了深入剖析。然後,在借鑒國外生態城市建設及其立法經驗的基礎上,對構建我國生態城市建設的法律保障體進行了深入地探討,提出以可持續發展思想為理論主導的促進我國生態城市建設法制的立法思路和原則,同時,對我國《生態城市建設促進法》的立法架構與技術進行了初步探討。
  4. Research projects, completed or ongoing, cover a wide range of topics, including manuscript study, avant - garde music in 20th - century europe, traditional music and performance practices in china and asia, cantonese opera, music and gender, film music, and commercial and popular music

    一直以來,音樂研究的范籌涵蓋廣泛,當中包括手稿研究、 20世紀歐洲前衛音樂、中國及亞洲傳音樂的法、粵劇、音樂與性別、電影音樂、商業音樂及流行音樂等。
  5. Theoretically, based on the systems dynamics, p. t. senge has fused various kinds of excellent theories, methods and tools, and has deduced the blue print of learning organization - senge model. he has also put forward systems thinking to solve the crisis of modern slice thinking. based on systems thinking, he has brought the other four disciplines ( personal mastery, improving mental models, building shared vision and team learning ) into it

    彼得?聖吉以動力學為理論基礎,融合了多項出色的理論、方法與工具,了學習型組織的藍圖? ?聖吉模型,提出了思考以破解當代片段思考的危機,並以思考為框架,將其它四項修煉(自我超越、改善心智模式、建立共同願景、團隊學習)貫注其中。
  6. This paper discusses the evolution, metallogenic law, and ore - prospecting direction about the jiangda tectonic belt, by studying tectonic evolution and tectonics - metallogeny coupling relationship, guiding by theories of terrane - plate tectonics and tectonics - metallogeny, basing on the thought that different tectonic regime has different geologic - metallogenesis, and the conversion of multiple tectonic regimes conduces certainly to the generalized homothetic composite action of multiple metallogenic subsystems, and forming the multiple - composite metallogenic system

    本文以地體?板塊構造理論和構造成礦學理論為指導,通過深入研究江達構造帶的構造化及構造?成礦耦合關,本著不同構造體制具有不同地質?成礦作用,多種構造體制導致多元(個)成礦體的廣義同位復合構成多元復合成礦的思想,對江達構造帶的構造化、成礦規律和找礦方向進行了的研究。
  7. We create product ci planning system for the customers with the wonderful interpretation of our individual creati - vities and earnest pursuit of self presentation

    場一整套服務,我們以個人創意的精彩和自我表現的熱切追求為客戶打造產品ci策劃
  8. 2. based on continuous model and discrete model of control system, simulation technology is studied, finally curves about water level and journey of ship are drawn and probability of using is calculated

    提出了採用法分別建立三峽五級船閘控制的連續模型和離散模型,並進行模擬研究,得到每個閘室的水位變化圖、船隻的行程圖以及船閘的利用率等指標。
  9. Section ii situations in which “ nominal shareholders ” exist. by the way of induction and deduction, i focus on pragmatic research and try to

    本節運用歸納與的方法,進行實證研究,試圖較為全面、地論述有限責任公司股東掛名的具體情形。
  10. The contents of this theory are divided into six parts, they are : ( 1 ) self - organized criticality, transient chaos, the edge of chaos and weak chaos ; ( 2 ) the coupling and interactions as well as the coherence and cooperation of multicomponents ; ( 3 ) the fractal dynamics of evolutionary processes ; ( 4 ) the spatio - temporal structures of processes ; ( 5 ) the dynamics of fractal growth ; ( 6 ) the theory of finite - size scaling

    將上述命題和整合成一種廣泛適用於地質的地球科學的復雜性理論,名之為: 「地質作用的自組織臨界過程動力學? ?地質在混沌邊緣分形生長」 ,並將其內容歸納成6部分: ( 1 )自組織臨界性、瞬態混沌、混沌邊緣和弱混沌, ( 2 )多組分的耦合與相互作用及其相干與協同, ( 3 )化過程的分形動力學, ( 4 )作用的時空結構, ( 5 )分形生長動力學, ( 6 )有限大小標度理論。
  11. An improved form of fuzzy deduction theorem in the system

    中的模糊定理的改進形式
  12. About this, the completeness of the formal deductive systems is one of the main branches

    在完全解決模糊推理的邏輯基礎問題中,形式演繹系統的完備性是非經典邏輯的主要研究方向之一。
  13. Therefore reasoning is not only the very important part of logic, but also the key aspect in the area of artificial intelligence

    從邏輯的角度來看,對知識的利用就是推理,就是邏輯。因此,推理不僅是邏輯的重要組成部分,也是人工智慧領域的核心課題之一。
  14. 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

    但通過吸納社會領域消解事實與價值絕對二分的合理主張,並根據人類生態實踐而擴展道德論證的可合理接受性標準,在分析生命共同體中事實與價值的復雜關的基礎上,創設一種非線性思維的綜合論述的證明方式,而不是沿用傳模型的證明方式,就既可以避免「自然主義謬誤」 ,又能夠對生態倫理學做出一種非邏輯形式的合理論證。
  15. This text make use of the system on the domestic and international risk of understanding which lead to audit practicing to study the present condition ' s foundation with are theories, deduces, and research methods, such as, attestations and analysis etc., factors of right audit risk down audit risk that theories of construction in the problem proceeds analysis research look for the theories fulcrum to lead to the audit theories and possibility towards risk lead to audit risk model that problem proceed analysis research. this paper brings up the fourth main factor project, and also is distinction of audit report risk with audit occupation risk, announcing to public audit risk actuality conversion, pointing study to operate the influence of the risk factor. to the model that risk of perfect audit risk of function, here the foundation study have the maneuverability to lead to the audit procedure and method problems with the period of the right fulfillment which have the leading meaning

    20世紀80年代中期,審計風險成為審計理論界和實務界研究的熱點和難點問題,為彌合審計期望差距,降低審計職業風險,在實踐中產生了一種以風險評價為中心的審計模式,即風險導向審計模式,該模式的出現對審計理論與實務影響都是深遠的,但目前還未形成一的認識,尚有許多問題需要研究和解決,本文在了解國內外風險導向審計實踐和理論研究現狀的基礎上,利用,實證,分析等研究方法,對審計風險因素下審計理論結構的問題進行分析研究,以尋求風險導向審計的理論支點,以及對風險導向審計風險模型問題進行分析研究,提出四要素方案,也就是區分審計報告風險和審計職業風險,揭示審計風險現實轉化的可能性,重點探討經營風險因素的影響,對完善審計風險模型的作用,在此基礎探討具有可操作性的風險導向審計程序與方法問題,以期對實踐具有指導意義。
  16. To make deductive database in data query get improvement in function and efficiency, we must build a perfect. science. strict system structure fragment for inferring mechnism running

    人們要想使數據庫在數據庫查詢達到功效上的大大提高,就必須構造一種完善、科學、嚴謹的結構框架。
  17. Abstract operator logic and its natural deduction system

    抽象運算元邏輯及其自然演繹系統
  18. An hnc approach to the resolution of syntactic structural ambiguity

    句法范疇的代數結構與演繹系統
  19. 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架構的非法外聯檢測模型;針對病毒檢測,提出了基於主機的防病毒檢測思想,在客戶端進行病毒防護。
  20. The time range of this research is from 1840 to 2003, the recent times is about 160 years. according to educational system, curriculum planning, physical education curriculum standard of primary and middle schools issued by chinese governments in recent times, the author makes systemic description and analysis on the course of developing evolvement of physical education curriculum over one hundred years in recent times through the method of document, investigation, historical studying, logical analysis and comparative study. based on it, the historical experience and lesson of physical education curriculum developing evolvement are discussed and summed up, and makes prospect on chinese characteristic physical education curriculum in the future

    本課題研究對象的時間跨度涉及到從1840年鴉片戰爭到2003年,中國近現代約160餘年的時間,本課題以近代以來歷屆中國政府頒布的有關普通中小學教育的學制、課程(教學)計劃、體育課程標準(體育教學大綱)為主要歷史發展線索(研究對象實體) ,在馬克思主義辯正唯物主義和歷史唯物主義理論的指導下,遵循歷史與邏輯的一、歸納與一、經驗與思辨的一等基本研究原則,運用文獻資料法、調查研究法、歷史研究法、邏輯分析法、比較研究法等,討一百多年來我國近現代體育課程的發展變過程,進行的描述和深入的分析,並在此基礎上,探討總結我國近現代體育課程發展變的歷史經驗和教訓,並對未來有中國特色的體育課程做出展望。
分享友人