邏輯推導 的英文怎麼說

中文拼音 [luótuīdǎo]
邏輯推導 英文
logical derivation
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 推 : 動詞1 （向外用力使物體移動） push; shove 2 （磨或碾） turn a mill or grindstone; grind 3 （剪或削...
  • 導 : 動詞1. （引導） lead; guide 2. （傳導） transmit; conduct 3. （開導） instruct; teach; give guidance to
  • 邏輯 : logic
  1. There is a logical gap in our derivation of the osmotic pressure.

    我們在推導滲透壓時，有一個邏輯上的破綻。
  2. Entailment is the converse of the relation of logical consequence.

    導出是邏輯推論關系的逆敘。
  3. On the non monotonic logical nature of pragmatic inference in conversational implicature

    會話含義推導中的非單調邏輯屬性
  4. This paper, the main method is academic analysis combining with case analysis, and using rigorous ratiocination to insure the result is correct

    本文採用理論分析和案例分析相結合的方法，以嚴格的邏輯推一導保一證研究結果的正確性。
  5. The theorems should be deduced from axioms by purely logical arguments.

    定理應該通過純粹的邏輯的推導而從公理演繹得到。
  6. Following the guidance of the legislatorial tenets, applying nomological analysis and logical inference, this article probes the original legislatorial idea of sihuan system, comprehends hermeneutically the law articles of sihuan by switching approach angle, analyses several misunderstandings in judicatory practice in the light of some important cases which were exposed recently, and thereupon brings forward several suggestions on how to improve and perfect the sihuan system so as to exert the influence of sihuan system sufficiently in judicatory practice

    我們以死緩制度的立法宗旨為指導，運用法理分析與邏輯推理等方法力求探尋死緩制度的立法本意，轉換思維角度解讀死緩制度的法律條款，並結合近期披露的一些重大案例，剖析死緩在司法實踐中適用的幾個誤區，進而提出如何在立法上與司法中完善和改進死緩制度的幾點建議，以期死緩制度的優越性在司法實踐中能得到更為充分的發揮。
  7. The paper believes the " maximization of enterprise value " is the most reasonable objective. being in line with this objective function, we can establish a financial theory system in theory whose contextual logic is consistent and analysis is extract so as to promote healthy development of financing ; on the other hand, in practice, this objective function has the best ability for decision - making, whether investment decision - making or financing decision - making, we can select correct item if based on it. what ' s more, this objective function can provide good direction and regulation for enterprise value evaluation and financial objective realization, and it also can provide important guarantee for increment of enterprise value

    本文通過比較分析，認為企業價值最大化是當前比較合理，承載內容極其豐富、極其關鍵的財務目標函數，依循這一目標函數，在理論上，我們可以構建一個前後邏輯一致、分析精到的財務理論體系，推動理財學的健康發展；在實務上，這一目標函數的決策能力極強，無論是投資決策分析還是融資決策分析均可以作出正確的選擇，且在企業價值預測與財務目標實現之間提供良好發指導和監督，為企業價值增值提供了重要的保障。
  8. This land of technique has great defects, which arise from equilibrium interpretation of market by competitive equilibrium theory. the deductions from the disparity between real economic life and ccm have logic problems when they are used as guide of formulating economic policy

    這種方法存在很大的缺陷，它來自於作為其基礎的競爭性均衡理論對市場所作的均衡論解釋，而其根據現實經濟生活與完全競爭模型的差距所得出的推論，在用作制定政策的指導時存在邏輯上的問題。
  9. Nor - as well be documented in details - can china ' s export performance be easily explained by its " given " comparative advantage. assimilated by the practices of china ' s machinery and electronic export during the decades in the twentieth century, a detailed investigation and analysis indicated that structural alternation and institutions " transition have sustained china ' s industry - led economic growth, upon which a virtuous circle is based, and, in turn, based on the specific political economy

    本文依照技術?經濟範式邏輯，從考察機械電子產品在中國外貿出口結構中的實際表現出發，在分析機械電子產品對于中國工業化進程的結構意義基礎上，結合中國正在進行的經濟體制轉軌過程，推導出中國外貿?經濟增長紐帶的涵義及其基本特徵並從結構與制度兩個條件角度論述了中國外貿?經濟增長紐帶形成過程中的協同效應。
  10. In this thesis, we ’ ve first introduced some conceptions of model checkingand knowledge reasoning. then we ’ ve mainly introduced my tutor ’ s methodof model checking temporal logic of knowledge. lastly, we ’ ve applied thismethod to two specific areas with our tool mctk : one problem is to verifythe winning strategies in the zero - sum games, which is to automatically findout whether there exists a way ensuring the necessarily win of players ; theother problem is to verify the knowledge based security protocols, whosesecure properties rely on the knowledge reasoning of the anticipants in theprotocol

    本文首先介紹了模型檢測和知識推理的基本概念，然後著重介紹了我導師所提出的模型檢測時態知識邏輯的方法，最後使用本實驗室研製的相關工具mctk來對兩個特定領域的問題進行了自動驗證:一方面的問題是驗證對弈中的必勝策略，即驗證對弈中的行棋雙方是否存在著必然獲勝的走法;另一方面的問題是驗證基於知識的安全協議，而這類協議的安全特性依賴于協議參與者的知識推理。
  11. Through the analysis of yanshan university campus network ' s physical topological model, logical topological model and data transfer character, etc, i build corresponding math model, make systematic analysis 、 deduction and calculation, and give some principal parameters which affect performance of lan and relationship between them

    通過對燕山大學校園網的物理拓撲結構、邏輯拓撲結構、數據傳輸特性等的分析，建立起相應的數學模型，並對其進行了系統的分析、推導和計算。給出了影響局域網性能的主要參數及其對應關系。
  12. 2. for general nonlinear system, a control law design method which integrated the nonlinear dynamic inverse theory, adaptive fuzzy system and slide model control is developed

    2 、對一般非線性系統，推導了一種綜合運用非線性動態逆、自適應模糊邏輯系統和滑動模態控制進行控制律設計的方法。
  13. Xinyu group added some establishments and improved management in new projects by the discover and investigation. using contrast and case analysis, social investigate, statistic research methods, this paper draw some conclusions, those conclusions are that the academy logistics organization monopolized the academy logistics market, that education welfare restricted income of apartment investment, and so on. so academy logistics originations maybe develop some payable services by the characters of undergraduate improve the benefits of apartment project

    本文採用對比研究和案例研究、社會調查與數理統計相結合、邏輯推導與實證研究相配合的研究方法，從調查和案例研究得出：高校後勤社會化機構具有一定能的壟斷性，並沒有受到真正的競爭；公寓投資收益與教育福利是相互約束的，進而對投資主體的投資回報產生直接影響；大學生接受公寓住宿是消費非理性的，或者消費非自主的。
  14. With fully investingation and research, this paper analyzed some prlblems based on the background of pipeline bureau of chinese petroleum gas and pipeline branch company of chinese petroleum gas stcok company. the main content include : expounded the stock company based on key business and remainnder enterprise with the real example ; sumed up the question betweenn listed company and the remainder enterprise ; aanalysed historical reason and realistic reason why the question exists with the method at last. the theory method and model frame adopted in this paper are not only suitable for the petrochina, but also have guide reference for the following reforms of large - scale, super - huge state - owned enterprises such as coal. water conservancy, electric powers, railways, civil aviations, etc

    本文以中國石油天然氣管道局和中國石油天然氣股份公司管道分公司為背景，用實證分析的方法，在充分調研的基礎上闡明了基於核心業務的上市公司和存續企業的形成；歸納總結了上市公司和存續企業之間存在的問題；以系統分析方法為指導思想，運用邏輯推理的方法分析了問題存在的歷史原因和現實原因；面對具有中國特色的企業，既要保證改革的成功，提高企業的競爭能力，又要保證社會的穩定，在充分考慮國家、社會、投資主體、職工個人等多方利益的基礎上，提出用戰略聯盟的思想來指導二者之間的關聯交易；指出上市公司、存續企業和集團公司三方應從不同角度做出思想意識的轉變；最後用idefo方法對聯盟的運行進行結構功能設計。
  15. So my research emphases on oligarch monopolized market, and give logic deduction on scale economics, degree of concentration, efficiency, behavior and so on. the aim to do this is to find correlative results between all the factors

    重點對寡頭壟斷市場結構進行研究，並對它的規模經濟、市場集中、績效、行為等要素從理論上進行邏輯推導，找出各個要素之間的相關或者非相關的聯系。
  16. Based on the results which have been got by the former scholars, this paper emphasizes on the analysis of the internal environment which influences the performance of strategic alliances, concluding the theoretic hypotheses and the model which describe the key common internal environmental factors by academic summarize and logical illustration

    本文以前輩學者針對戰略聯盟的研究結論為基礎，重點對聯盟績效的內部環境要素進行分析，總結出對戰略聯盟績效具有關鍵影響的一般性內部環境因素，通過理論總結及邏輯推導得出理論假設並提出模型。
  17. In this paper, a new type algebra is introduced, it is the algebraic abstract of mpm system just as boolean algebra is the algebraic abstract of 2 - valued propositional calculus. the main purpose of this paper is to investigate the various properties of the new algebra. in addition, this paper constructs an axiom set based on the medium logic propositional calculus system mpm, and gives a proof of its completeness

    本文通過對mpm中介邏輯命題演算系統進行代數抽象，建立了一個新的代數系統，討論了該代數系統的性質，並利用該代數系統的代數性質構造了中介命題演算系統mpm上的一個公理完備集合，使用該公理集合可以方便的推導出mpm上的等值和互推公式，這對于處理不完全信息數據庫的查詢優化有著重要作用。
  18. This paper deduced the rationality of logical relation for the evaluation model based on c - d product function to quantitatively evaluate intensive and extensive degree of land - use, then defined the elasticity coefficient of labor and capital of henan province and its cities with the method of potential analysis, finally calculated the intensive coefficient and extensive coefficient of the construction land - use and evaluated their development models of the construction land - use based on these two important parameters

    摘要首先根據c - d生產函數理論推導定量評價建設用地的集約系數與粗放系數模型邏輯關系的合理性，然後採用勢分析方法確定河南省及其各市勞動和資金產出的彈性系數，最後計算其建設用地的集約系數與粗放系數，並根據建設用地利用集約系數和粗放系數這2個重要參數確定其建設用地利用發展模式。
  19. Combining special logic and brilliant characteristics of cluster enterprise supply chains circulation, the competition advantage of cluster enterprise can be established by promoting system construct of product structure, social embededness of enterprise relationship and timing transmit of product and operating information

    結合集群企業供應鏈運行的獨特邏輯和鮮明特徵，推動群內企業產品結構的系統構建、群內企業關系的社會根植、產品與經營信息的即時傳導，可以確立集群企業相對于游離企業的供應鏈競爭優勢。
  20. The author went on examine two special types of financial risk, which are the most urgent ones in china today, namely, commercial banking systematical risk and stock market systematical risk. after some intellectual efforts the author drew conclusions as followed : these two types of risk were process the same essence that they were both rooted in the macro structure and circumstances, though they showed quite different characteristics, and they were both the products of the diachronic ( over a fairly long period ) evolution of economic structure

    以此為基礎，文章對我國的經濟結構與金融結構的現狀和演進邏輯進行了理論歸納，並據以考量了我國目前的商業銀行系統風險與股票市場系統風險，指出這兩類風險異曲同工，都植根于既有的制度環境和制度結構，是中國經濟結構（在一個比較長的歷史跨度內）歷時演變導致的產物；文章接著探討了化解這兩類風險的途徑，即打破既有路徑依賴，推動制度分岔性變遷展開。
分享友人
分享到 Line

分享到臉書