判定邏輯 的英文怎麼說

中文拼音 [pàndìngluó]
判定邏輯 英文
decision logic
  • 判 : Ⅰ動詞1 （分開; 分辨） distinguish; discriminate 2 （評定） judge; decide 3 （判決） sentence; con...
  • 定 : Ⅰ形容詞1 （平靜; 穩定） calm; stable 2 （已經確定的; 不改變的） fixed; settled; established Ⅱ動詞...
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 判定 : judge; decide; vote; determine; predicate; decision; criterion; judging; deciding; determining
  • 邏輯 : logic
  1. We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features

    基於這些準則，對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充；給出了計算數據圖中正規表達式的演算法；對半結構數據查詢語言的一階邏輯描述、結構遞歸和數據圖的雙態模擬（ bisimulation ）等問題進行了研究，提出了一種判定數據圖的bisimulation演算法；在xml數據查詢語言研究的基礎上，設計並實現了一種具有數據庫查詢特性的web查詢系統原型。
  2. Epistemic logic : on the decidability of epistemic logic

    關于認識邏輯的可判定性
  3. With the change and improvement of science knowledge, the irrationalism on the theories of knowledge has been turned from fideism which have blind faith in external authority to the intuitionism trusting internal instinct, but their common point is to negate that science knowledge is the product of human ' s logic reasoning, and not to believe that human rational can judge truth from falsehood

    摘要科學知識的發展變化與進步，使知識論中非理性主義由中世紀迷信外在權威的信仰主義，轉向現代信任內在本能的直覺主義，但其共同點是否定科學知識是人類運用邏輯理性思維的產物，不相信人類理性能夠判斷真理與謬誤。
  4. Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part, we introduced quantifiers and predicate into lmp ( x ), put up lattice - valued modal first - order logic system lmf ( x ), and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. moreover, in order to judge the satisfiability of formula, defined skolem standard type and h - interpretation. based on these work, made a primary discussion of a - resolution principle based on lmf ( x )

    第三部分：關于格值模態一階邏輯系統及其歸結原理的研究第n頁西南交通大學博士研究生學位論文這一部分主要是在格值模態命題邏輯系統lmp隊）中引進量詞和謂詞，建立格值模態一階邏輯系統lmf （廣並給出其語又解釋和語法結構，證明了系統的可靠性和協調性；另外，為了判斷公式的可滿足性，定義了格值模態一階公式的skolem標準型和體解釋；在此基礎上，對基於系統lmf （ ）的a一歸結原理進行了初步探討
  5. Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable

    給出了命題邏輯中任一命題公式的真值表的生成演算法與命題公式類型的判定演算法，實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出，以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。
  6. Through the approach of investigative questionnaire and ability examination, considering both teachers " teaching practice in senior high school and students " need in analyzing and resolving problem, taking the method of fixing the quality and quantity, we make a demonstration research. at last, we draw a conclusion that the 19 manifestations of chemistry ability can be reduced to three levels : the basal level, called repeating thinking, includes distinguishing and judging the chemical fact and relations of quantity in chemical reaction, comparing and summarizing the chemistry fundamental knowledge ; innovative thinking level includes illogical thinking and logical thinking. illogical thinking mainly contains intuition, association and space imagination of micro - particle

    通過調查問卷、能力測試等途徑，結合教師在中學化學的教學實踐和學生在分析、解決問題的實際需要，採用定性與定量結合的方法，進行實證研究，得出結論：化學學科能力的19種表現形式歸納為3個層次：最基礎的再造性思維能力層次包括對化學事實和化學反應中量的關系的識別和判斷、對化學基礎知識的比較概括；以培養創新能力為核心的創造性思維層次包括化學直覺思維、聯想、對微觀粒子的空間想象為主的非邏輯思維和靈活運用已學的化學知識通過分析、綜合地解決問題為主的邏輯思維；化學實驗能力層次是化學學科能力的最高層次，它以思維能力為基礎，集中體現了化學教學的基本特徵，實驗能力層次包括：選用實驗方法和設計實驗方案，對實驗的評價，研究和處理實驗事實、資料、數據，發現規律，表達實驗及其結果，最終解決問題的能力和發散思維。
  7. But even in the tortured logic of trade talks, the decision to abandon the potsdam negotiations was ill - conceived

    但是即便在那些貿易談判的痛苦邏輯中，拋棄波茨坦談判的決定也是欠考慮的。
  8. Conditional sensitization of paths is presented from the sensitization theorem of sequential circuits and a novel exact clocking method based on single - period sensitization is proposed. compared with tranditional methods, it is not too optimistic or pessimistic, fit for the exact timing of high - speed circuit design

    在時序邏輯電路精確定時方面，從時序電路的敏化定理出發，使用本文給出的條件可敏化概念，通過對通路敏化性質的判斷建立了一種新的單周期敏化的時序電路最小時鐘周期精確確定方法。
  9. To understand and deal with deflation becomes a new task. deflation has been paid close attentain to by academic circles and govern ment departments around the globe. on the basis of investigating the related literature of deflation at home and abroad, the auther of this paper puts emphasis on studying china ' s deflation, including its cause of formation, mechanism of the formation and effectiveness of monetary policy during deflation by qualitative and quantitative analyses, positive and normative analyses, theoretical analysis and case confirmation ; then points out the orientation of china ' s monetary policy by raising the efficiency of monetary policy in the future and avoiding deflation

    本文在分析研究國內外在通貨緊縮判斷標準、形成機理、治理對策等方面研究方法及研究現狀的基礎上，採用實證分析與規范分析相結合，定性分析與定量分析相結合，理論概括與實踐歸納相結合的方法，從多方位、多角度對產生中國目前通貨緊縮的原因進行分析，從理論上梳理出中國目前通貨緊縮形成的邏輯過程，並對通貨緊縮時期貨幣政策的效果及未來貨幣政策的取向進行了深入分析和有效探索。
  10. And there are no uniform standards about the medical level and as the consideration of medical level, we should examine the factors of technicality, emergency and regionality and adopt right judgment measures : judgment through general knowledge, judgment under medical rules, judgment by scientific experiments and judgment according to medical expert testimony, etc. from the negative side, there is to be the research on the negative reasons to medical malpractice and whatever satisfied the negative reasons would not be the medical malpractice - permissible danger, act of rescue, self - sup porting act, exercise of rights, promise by the patients and comparative faults, etc. furthermore, this dissertation emphasized the discussion on the problem of the conflict of rights and proposed to exercise the policy of right - priority to solve the problem of the conflict of rights

    在相當因果關系判斷中，對條件的審究實踐上有較大難度，本文主張採用邏輯學上新理論?一部分原因理論並結合事故參與度理論、蓋然性；理論進行判斷與認定。本文除對醫療過失責任的三個構成要件進行了論述，還在第五部分對責任構成后的具體賠償進行了論述。按照現行法律，本文對積極損害中喪葬費用、醫療費用、護理費用、律師費用、住宿費用、交通費用，消極損害中死亡補償費、被撫養人生活費、誤工費、殘疾者生活補助費及殘疾用具費以及精神上的損害具體賠償的標準進行了歸納。
  11. The application of logic in oral evidence identification

    邏輯方法在言詞證據判定中的運用
  12. ( 3 ) it is well known that the determinant problem in classic proposition logic is a np complete problem, and the first order logic is a half determinant one. so both the analysis of computing complexity and the realization of it are the most important fields

    （ 3 ）眾所周知，經典命題邏輯中的判定問題是np完全問題，而一階邏輯是半可判定問題，關于非經典邏輯特別是非單調邏輯的計算復雜性分析和演算法實現是一個重要的研究領域。
  13. In order to test the grade criterions of flood disaster loss, logistic curve ( log ) model and genetic algorithm ( ga ) are used by the author who properly disposes the judge of disaster loss grade

    為檢驗洪澇災情等級標準的合理性，筆者利用邏輯斯諦曲線和遺傳演算法對其加以驗證，並且在模型的級別判定上，做了適當的處理。
  14. Another important problem in multiple - valued logic completeness theory is decision for sheffer functions, which reduced to determining the minimal covering of precomplete classes in multiple - valued logic

    多值邏輯完備性理論中的另一重要問題是sheffer函數的判定問題，此問題可歸結為定出所有極大封閉集（準完備集）的最小覆蓋。
  15. 14 gallo g, mishra b. efficient algorithms and bounds for wu - ritt characteristic sets. effective methods in algebraic geometry, progress in mathematics, 1991, : 119 - 142. 15 gao x s, chou s c. a zero structure theorem for differential parametric systems

    本文簡要介紹了代數方程組的特徵列方法及其在幾何定理機器證明發現與含參數代數方程求解中的應用，進一步給出了基於特徵列方法代數閉域上的一階邏輯公式的判定演算法。
  16. There are tow kinds of abuse of the dominant position : exploitative abuse and exclusionary abuse. firstly, the principle of exploitative abuse is discussed. secondly, analyses some typical behaviors of exploitative abuse, such as excessive pricing, forced transaction or tying, refusal to supply, charge or sanction abuse

    其次，分析了我國公用企業剝削型濫用的幾種典型表現:超高定價、強迫交易或者搭售、拒絕交易、濫收費用和濫用處罰權的問題，文章對這些濫用表現大體遵照行為概念定義? ?構成要件（判定標準） ? ?濫用實例的邏輯結構展開論述。
  17. They still have the relation of certain logic level of structure : deepness is the foundation of the other quality ; flexibility and criticalness is a development on the foundation of the deepness ; flexibility is with the criticalness mutually combinative, then express the originality ; had those quality, then express the agility

    它們還具有一定的邏輯層次關系：深刻性是其它思維品質的基礎；靈活性和批判性是在深刻性基礎上發展出來的；靈活性和批判性相互結合，表現出獨創性；具有了這幾種思維品質，就表現出了敏捷性。
  18. But under this paradigm framework, scholars mainly emphases on the theoretical and practical analysis on how appraisal hosts featured with bounded ration affect appraisal result in some links and aspects, not only lack of completed description on uncertainty, but also lack of value standard and the systematic research on the logic relationship of various elements concerning in the activity

    但在這一研究範式框架下，學者們主要突出對以有限理性為特徵的資產評估主體在評估過程中影響資產評估結果準確性的環節和方面進行理論探索與實證分析，缺乏對資產評估不確定性與評估過程的完整描述，也缺乏對評估價值標準判斷及對資產評估業務中各相關要素間邏輯關系的系統研究。
  19. Chapter one the general theories of truth of fact. firstly, the author makes a semantic distinction between “ fact ” and “ truth ”, and points out that “ fact ” and “ truth ” are not only concepts in the ontological sense but also concepts in the epistemological sense. in the epistemological sense, “ fact ” means judgment proposition and “ truth of fact ” shows that “ fact ” is concept of judgment proposition of truth and “ truth ” is attribute of judgment of “ fact ”

    在堅持以辯證唯物主義認識論為指導的前提下，運用語義分析和邏輯分析方法對案件事實真實性進行了語義上的界定和邏輯命題意義上的分析，指出案件事實是以真實性為基礎和核心的人的認識和判斷的產物。
  20. Although the problems and difficulties of observational methods probably cannot be completely eliminated, they can be minimized through ( 1 ) clear conceptualization of the problems to be studied, ( 2 ) operationalization of key variables, ( 3 ) a logical protocol for observing, recording and interpreting data, and ( 4 ) careful training of observers

    雖然觀察法的問題及難處可能無法完全除去，但仍可以藉由清楚的研究問題與清楚的訂出主要變數的操作性定義、具有邏輯性的觀察流程、記錄與資料判讀，以及謹慎的觀察者訓練來將這些問題與困難減到最小。
分享友人
分享到 Line

分享到臉書