邏輯正確 的英文怎麼說

中文拼音 [luózhēngquè]
邏輯正確 英文
logically true
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 正 : 正名詞（正月） the first month of the lunar year; the first moon
  • 確 : 形容詞1. （符合事實; 真實） true; reliable; authentic 2. （堅固; 堅定） firm
  • 邏輯 : logic
  • 正確 : exactness; correct; right; proper; rightness; rectitude; validity
  1. The principle sanctioned by fiat what was evidently empirically correct but not yet logically established.

    這個原理用命令來批準，經驗上顯然正確但未在邏輯上建立。
  2. Persistent research will uncover a logical justification.

    持續的研究將會揭示出邏輯上的正確性。
  3. This paper, the main method is academic analysis combining with case analysis, and using rigorous ratiocination to insure the result is correct

    本文採用理論分析和案例分析相結合的方法，以嚴格的邏輯推一導保一證研究結果的正確性。
  4. With the development of electronics and microcomputer, microprocessor - based protection has advanced. but much of than are just the republication of the electromechanical and electronic protection. many advantages of the computer, such as nunerical evaluation data storage and logical decision, is n ' t used

    異步電動機保護的研究由來已久，隨著電子和微機技術的發展，異步電動機微機保護也得到了大力的發展，但很多僅是機電式和電子式保護的翻版，沒有真正利用微機所具有強大的數值計算能力、數據存儲能力和邏輯判斷能力，使保護更加的精確、可靠和智能化。
  5. In civil lawsuit, the setting of the criteria of civil lawsuit should be of dialectical unification of subjectivity and objectivity 、 justness and efficiency 、 commonness and individuality. in the subjective sense, we should judge their credibility, adherent to, no suspicion of intime conviction principally and suspicion of intime conviction subsidiarily in psychology ; to proof beyond a reasonable doubt in logic 、 to highly probability and preponderance of probability. in the objective sense, we should employ subjective facts as ratifying criterion

    具體到民事訴訟中，證明標準設置應以主觀與客觀的辯證統一、公正與效率的辯證統一、共性與個性的辯證統一為原則，在主觀方面，堅持心理學上以內心確信無疑為主體、內心確信有疑為補充，邏輯學上依次以排除一切合理懷疑、高度蓋然性、優勢蓋然性為標準進行裁斷；在客觀方面，以「客觀真實」為衡量標準。
  6. Secondly, the paper describe the principle of atm network, and the function of ' sar " ( segmentation and reassembly ) and the format of packet aal5, and introduce the basic idea of ipoa, and the design project and implementing of the control chip. later, the paper introduce the logic function and operational principle of packet buffer control chip and prove the feasibity and correctness of the arithmetic. at last the paper introduce crc - 32 arithmetic based on look up and implement it with hardware

    接著詳細論述了核心路由器atm網路實現的原理，包括「 sar 」 （ segmentationandreassembly ）功能和aal5報文的格式， ipoa基本思想，以及控制晶元的設計方案和實現途徑等。然後又論述報文緩存區控制晶元的工作原理和邏輯功能等，並對演算法的可行性，正確性等進行論證。最後介紹了一種基於查表的crc - 32演算法的原理及其硬體實現。
  7. The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics

    主要內容包括:變形傳統的演算，以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三元組< dfsc ， dfo ， dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
  8. Then this paper analyzes the process of correctness controlling which organizes the three atomic phases in business affairs

    然後本文對將業務交換過程中的三個原子階段組織起來的正確性控制邏輯進行了流程分析。
  9. After discuss the structure and character of operating system qnx and inter - process communication between pc ' s running qnx or windows, the paper describes the structure, function and flow chart of mission planning software which is developed in qnx, and narrates the course of simulation co - debug experiment, dynamically showing the results of the mission planning in the case of " ocean physiognomy reconnaissance ", and proving the logical correctness and feasibility of task serial produced by mission planning

    在論述了多任務、實時操作系統qnx的結構特點以及基於qnx與windows運行的pc機之間網路進程通信的基礎上，本文描述了在qnx上開發的使命規劃軟體的結構功能和流程圖，並敘述了模擬聯調實驗的過程，動態地顯示了「海洋地貌勘測」這一案例使命規劃的結果，並證明了使命規劃所得的任務序列在實際運行中邏輯的正確性與可行性。
  10. The tester sets the inputs to all combinations of 1 ’ s and 0 ’ s and looks for the correct logic values on the outputs

    測試設備對輸入設置連續的1和0 ，檢測輸出端的正確邏輯值。
  11. On logic relationship, use fs is not correct

    在邏輯關系內，用fs不正確。
  12. That ensure the logic works correctly

    ） ，以確保邏輯正確地工作。
  13. Each logic module was verified by simulation

    通過模擬，驗證了各個模塊邏輯設計的正確性。
  14. Thirdly, the paper researchs the application of single electron transistor and the synthesis theory of cicuit based on quantum dot cellular automata by synthesis example of quantum cellular neural network based on build schr ? dinger equation of coupling quantum dot. at last, the paper researchs digital integrated circuit design based on quantum dot cellular automata and design a 8 - bit quantum dot cellular adder by qcadsign based on a method of majority logic reducetion for quantum cellular automata, it prove this designer of 8 - bit quantum dot cellular adder is correctly

    Dinger ）方程為基礎的量子點細胞自動機電路綜合理論，本文以量子細胞神經網路為綜合實例，建立耦合量子點的薛定鄂（ schr ? dinger ）方程組，通過化簡得到類似細胞神經網路的非線性電路方程。最後研究了基於量子點細胞自動機數字集成電路設計，通過建立邏輯方程，簡化邏輯方程，並設計基於精簡qca擇多邏輯門8位加法器，並用qcadesign進行了模擬，實驗證明設計正確性。
  15. 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

    本文通過比較分析，認為企業價值最大化是當前比較合理，承載內容極其豐富、極其關鍵的財務目標函數，依循這一目標函數，在理論上，我們可以構建一個前後邏輯一致、分析精到的財務理論體系，推動理財學的健康發展；在實務上，這一目標函數的決策能力極強，無論是投資決策分析還是融資決策分析均可以作出正確的選擇，且在企業價值預測與財務目標實現之間提供良好發指導和監督，為企業價值增值提供了重要的保障。
  16. The thesis analyze the relation between the human and the nature, productivity and relationship of the productivity, the relationship between of the human being and the society economy and the layer level of productivity and relationship of the productivity. and the thesis concludes the society is in the transition period of the material production and the spiritual production. and finally the thesis points out the characteristic of the society and the socialism in china, and point a finger on the principle, guideline and the general plan of the construction of the primary state of the socialism in china

    本文主要的思想邏輯是:從分析馬克思關於人和社會的本質、本性入手，然後確認人的全面發展和人的解放為主題，再進一步論述生產勞動是人和社會的本質、本性的必然表現，又是人的全面發展和人的解放的必然形式和途徑;在分析人們的生產勞動中分析人與自然和生產力與生產關系的橫向結構、人和社會經濟形式以及生產力與生產關系內部層次的不同歷史形態的縱向過程，然後歸結到人口、物質、精神三種生產的共時性結構和歷史性過程，明確人類社會正處於物質生產時代與精神生產時代的過渡時期;最後根據人類所處的時代的特徵和中國社會主義社會的特點，指出中國社會主義初級階段建設應有的指導原則、基本指針和發展戰略。
  17. At the same time, we have discovered some bug in cooperate between the two type protection, analyzed different result in different condition as config with different logic protection, show that the incorrect relay act result from these bug only appear when line is in incompletely phase operation and occur fault, furthermore the mass computer protection have comprehensive incompletely phase logic, so this condition can not seriously threaten the power system

    同時，也發現了兩種保護裝置在配合上存在一些缺陷，分析了這種邏輯上的不配合在不同情況下所造成的不同後果，並且指出由於這些缺陷所造成的保護裝置不正確動作的情況僅在線路非全相運行時又故障的情況下才可能出現，而且現有的成套微機保護的都具有較為完善的非全相邏輯，在保護裝置正常投運的情況下，還不致對系統安全構成重大隱患。
  18. The system uses the permanent magnet synchronous machine as the driver motor based on the idea of polygonal flux linkage locus and the permanent magnet brush - less motor is as the momentum balance motor by means of speed and current loop in order to track driver motor precisely and rapidly. the harmonious control of driver motor and balance motor is realized by making full use of the dsp hardware resource and complicated programmable logic device. the software design is composed of c and assembly language to realize motor control arithmetic of polygonal flux linkage locus

    衛星天線伺服控制系統以正弦波永磁同步電機作為驅動電機，採用多邊形磁鏈軌跡法（電壓空間矢量法）的控制策略；動量平衡電機採用永磁無刷直流電機，通過電流環、速度環達到快速、精確跟蹤驅動電機的目的，確保了衛星姿態恆定；設計方案中充分利用了dsp硬體資源和復雜邏輯陣列實現了驅動電機和平衡電機的協調控制，並通過c語言和匯編語言的混合編程實現了電機的多邊形磁鏈軌跡控制演算法。
  19. This article begins from the angle of management philosophy, and makes use of the basic opinions of marxism to carry out a vertical inspection to the developing history of management authority, then reveal the intrinsic developing logic of it. guided by the opinions above, i combine with the remarkable change of the contemporary social background, and put forward some useful suggestions to how to operate management authority in knowledge era correctly

    本文從管理哲學的角度出發，運用馬克思主義的基本觀點，對管理權威的演變歷史進行了縱向考察，並揭示出了其內在的發展邏輯。並以此為指導，結合時代背景的深刻變化，為知識社會中管理權威的正確運用提供了一些有益的建議。
  20. Try to unites history method and logic method, on one hand. proceed from social historical practice, i put forward the justice concept in people ' s associating practice ; on the other hand, proceed from logic of justice, with studying from abstract to concrete, ! want to make a more accurate definitions further just concept

    本文將歷史和邏輯的研究方法統一起來，一方面從社會歷史買踐出發，在人類的交往實踐中提出公正的概念;另一方面又從公正的邏輯內涵出發，從抽象到具體，運用辯證邏輯思維，使得對公正概念的界定更加準確
分享友人
分享到 Line

分享到臉書