問題判定 的英文怎麼說

中文拼音 [wèntípàndìng]
問題判定 英文
problem determination
  • 問 : Ⅰ動詞1 （請人解答） ask; inquire 2 （詢問; 慰問） question; ask about [after]; inquire about [aft...
  • 題 : Ⅰ名詞1. （題目） subject; title; topic; problem 2. （姓氏） a surname Ⅱ動詞（寫上） inscribe; write
  • 判 : Ⅰ動詞1 （分開; 分辨） distinguish; discriminate 2 （評定） judge; decide 3 （判決） sentence; con...
  • 定 : Ⅰ形容詞1 （平靜; 穩定） calm; stable 2 （已經確定的; 不改變的） fixed; settled; established Ⅱ動詞...
  • 問題 : 1 （需回答的題目） question; problem 2 （需研究解決的矛盾等） problem; matter 3 （事故或意外） tr...
  • 判定 : judge; decide; vote; determine; predicate; decision; criterion; judging; deciding; determining
  1. Fundamenta informaticae, 2004, 62 : 1 - 23. 10 kleine b " uing h, lettmann h. propositional logic : deduction and algorithms, cambridge university press, 1999. 11 hilbert d, ackermann w. principles of mathematical logic

    2提出了一個演算法把ctl在有界語義下滿足性的檢測規約到一個qbf quantified boolean formulas問題的滿足性的判定上，同時證明了演算法的正確性。
  2. To explore the formation mechanism of innovative coalition stability and prevent abortion of innovative partners, the one - to - one dynamic matching model of innovative coalitions was presented based on the analysis of dynamic and external characteristics of firm - research institute innovation coalitions with the assumption that innovative coalitions were formed through admissive negotiation rules

    摘要為了探索創新聯盟穩定形成機理，解決創新伴關系的早夭問題，假設參與者通過認可的談判規則形成創新聯盟，在分析由企業和研究機構所形成聯盟的動態特徵和外部特徵的基礎上，提出創新聯盟的一對一動態匹配模型。
  3. On one hand, they diachronically represent the eight major steps taken by yungho chang ' s atelier fcjz along with its 10 years ' development, while the analysis proceeds step by step from historical review to investigation of the present and anticipation of the future ; on the other hand, eight steps synchronically summarize eight important components of yungho chang ' s pursuit, covering both autonomous architectural subjects and some closely related social cultural issues ; at the same time, between general historical cultural context and specific architectural discipline, eight steps are eight different view angels and optical lenses, through which the author gradually unfolds a careful reading and critical scrutiny on yungho chang ' s architectural works and ideas

    一方面， "八步"歷時性地代表著張永和非常建築工作室十年來成長所經歷的八個主要步驟文中的評析從歷史性的回顧逐步過渡到對現狀的考察和對未來的展望；另一方面， "八步"也共時性概括了張永和的建築追求中的八個重要組成部分，其中既涵蓋了建築學本體的課題，也涉及到一些密切相關的社會、文化問題；同時，在廣泛的歷史文化脈絡和特定的建築學本體之間， "八步"又成為八個不同的視角和視鏡，筆者藉此得以逐步展開對張永和的建築作品、觀念的細致讀解和批判性審視。
  4. Meanwhile, the author analyses in - depth auditorial modes and problems nowadays through macroscopical, microcosmic, system, main body, object, auditorial target, evaluation standard and auditorial criterion of the financial responsibility. however, author also reconstructs the aim frame of auditorial system during the leader ' s tenure of office in china through considering its relationship, main body, process and goal

    從宏觀、微觀、制度定位、主客體、審計目標、衡量標準、審計判據等方面深入分析了現有經濟責任審計模式及存在的問題，從關系設計、主體設計、過程設計、目標分層設計等方面考慮，重構了我國經濟責任審計制度目標框架。
  5. In a long time, the controversy between the inevitability of criminal law causality and chanciness of criminal law causality have monopolized the words right of china ' s criminal law theory of causation. but the dispute is not beneficial to the criminal causation problems. therefore, it is urgent to find a new starting point and establish a new judging - mode

    因果關系的必然性與偶然性之爭，在相當長的時間內壟斷了我國刑法因果關系理論的話語權，但卻無益於刑法因果關系問題的有效解決，並同刑事訴訟中因果關系的認定過程脫節，缺乏實際的指導作用，因此亟需尋找新的切入點並建立新的判斷標準。
  6. For the delay - independent stability, necessary and sufficient algebraic criteria have been obtained in terms of characteristic functions. the key of the criteria is to verify that a polynomial has no nonzero real roots

    對時滯無關穩定性，以特徵函數為工具，獲得了充要代數準則，其核心是判定多項式方程無實根，這一問題由廣義sturm理論解決。
  7. By utilizing self - diagnosis method and diagnosis method based on dt, it become more convenience for fault orientation. considering about fuzzy relation between fault cause and symptom, commix fuzzy diagnosis module was set up by means of fuzzy synthesize judge

    將診斷樹應用於電噴發動機故障診斷專家系統可以優化搜索過程，實現對故障起因的最佳搜索。採用模糊綜合評判的方法進行模糊推理，有效地解決了故障原因與徵兆之間不確定性問題。
  8. According to the principle of " the synthetic distribution of punishment ", the author poses the concept of " the circumstance of distribution of punishment ", and taking the error making method, compares the " robbery of housebreaking " with there circumstances : the criminate, the sentencing, and the distribution of punishment, it is conclude that the " robbery of housebreaking " should not be regarded as the circumstances of crime or the sentencing discretion, even though there are some barriers in the theory conclusions as a circumstance of distribution of punishment, so we can conclude that the " robbery of housebreaking " can not be considered as the legal circumstances, it must be the circumstance of distribution of punishment even if it is regarded as the legal circumstances. in the process of jurist and legislation, we must strictly grasp the approval standards of the " house ", recognize and deploy the legal sentence of " robbery of housebreaking " correctly,

    根據「統一配刑論」的原理，筆者提出了「配刑情節」的概念，並採取歸謬法，將「入戶搶劫」同時置於定罪、量刑、配刑三種語境下進行比較，得出「入戶搶劫」既不應該是犯罪情節，也不可能是量刑情節，作為配刑情節也存在理論障礙的結論，進一步推斷出「入戶搶劫」不應該作為法定情節，即使作為法定情節也應該是配刑情節的結論，而且在司法和立法中應從嚴把握「戶」的認定標準，正確認識和配置「入戶搶劫」的法定刑，防止罪刑失衡，還對具體案件和審判實踐中要解決的幾個問題提供了參考方案。
  9. 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查詢系統原型。
  10. Firstly, it introduced the import principium resolving thread and steps of analytic hierarchy process. secondly, it erected model of population modernization, which based on the steps of analytic hierarchy process. lastly, it got the maximal eigenvalue of dissymmetric matrix and corresponding eigenvector with sas, and normalized the eigenvector to get weight value

    本章分為兩部分，第一部介紹分析法的提出、原理以及解決問題的思路和步驟；第二部建立模型確定權重，根據層次分析法的原理和步驟，建立人口現代化指標體系的模型，運用sas求解所構造的非對稱判斷矩陣的最大特徵值，從而得出所對應的特徵向量，變形后得到權重。
  11. This paper give some methods of determination about divisibility of integer, and uses them to solve the numbers which can whether or not be divided exactly by natural numbers between one and ten

    摘要給出了自然數整除性的若干判別方法，進而解決了被10以內自然數整除的數的判定問題。
  12. And, to orient the function of the paper of judgement detailedly according to the maker, embracer, and process of the paper of judgemert, and according to this to analyze the problem of making of our paper of judgement

    接著，從民事判決書的製作者、接受者和民事判決書反映的審判過程本身出發對我國上訴審民事判決書的功能作詳細的定位，並以此為坐標分析目前我國上訴審民事判決書製作中存在的問題。
  13. In the year, the court of first instance handed down a decision in favour of the executrix. the case was on whether certain property disposed of by the deceased within 3 years prior to his death is still liable to estate duty

    在本年度，原訟法庭就案中死者于去世前三年內已處置的某些財產是否還須繳交遺產稅的問題作出了判決，裁定遺囑執行人勝訴。
  14. It is impossible to judge from his sonorous homilies just where harding stood on any specific issue.

    要從哈定聲音洪亮而內容可厭的說教里判斷他對任何具體問題的立場是不可能的。
  15. The meaningfulness and exploring inbeing of learning and its being an individual experience and etc. when " inquiry learning " is seen as an idea of learning, it should be superior to other orientations because that it has being in itself for a long time and is a new time spirit for us when pondering the basic education

    本文還具體談到「研究性學習」作為一種新的學習理念的事實判斷和價值判斷，如「研究性學習」早已存在的事實、時代呼喚學習革命、 「研究性學習」作為學習理念優于其他定位等。基於上述分析，本研究也重點探討了「研究性學習」理念的實踐問題。
  16. A suitable assessment method for second - hand machinery was established based on multi - indicatrix of unified assessment method in this paper. evidence theory was used to define index - system for second - hand machinery and succeeded in fusing different experts " opinions impersonally in order to lessen the risks in the paper. pair - set theory, a new method was introduced to confirm relative criterions by quantitative analyses

    集對分析是一門新興的聯系數學分析方法，文中引入該方法成功地解決了相對標準選擇缺乏定量方法的問題，使其克服了設備估價中參照物選擇依賴決策者個人意志的缺陷，按照聯系數學分析思想代替個人的主觀判斷，簡便適用，很適合在實踐中使用。
  17. While there are many different aspects to management, one that is relevant to application developers is problem determination

    環境的管理涉及很多方面，但與應用程序開發人員息息相關的是問題判定。
  18. However, providing the symptom database for problem determination is the responsibility of those who support the deployed application

    然而，提供用於問題判定的癥狀數據庫是那些所部署的應用程序的支持人員的職責。
  19. We say that the figure f fits in the target t, or, equivalently, the target t covers the figure f, when there is a rigid motion ( an isometry of the plane ) so that ( f ) t, i. e., if t has a subset congruent to f. it might happen that a specific figure f and target t are given, and one wants to know if the figure fits in the target

    如果t含有與f全等的子集，則稱f嵌人t或t覆蓋f對任意給定的f和t ，判定f是否嵌入t這類問題稱為嵌入問題給定一集族f和一目標集t ，尋找能覆蓋住f中任一元的t的最小相似圖形這類問題稱為覆蓋問題
  20. In order to realize network contents ncccss control, the main technical task is to capture user ' s requirement data packet and to filter the desired ip by using access specification

    在系統的設計與實現中需要解決的最重要的技術問題是用戶請求數據包的截獲和ip地址可訪問性判定問題。
分享友人
分享到 Line

分享到臉書