語義正確 的英文怎麼說

中文拼音 [zhēngquè]
語義正確 英文
correct messages
  • : 語動詞[書面語] (告訴) tell; inform
  • : Ⅰ名詞1 (正義) justice; righteousness 2 (情誼) human ties; relationship 3 (意義) meaning; si...
  • : 正名詞(正月) the first month of the lunar year; the first moon
  • : 形容詞1. (符合事實; 真實) true; reliable; authentic 2. (堅固; 堅定) firm
  • 語義 : semanteme; semantics
  • 正確 : exactness; correct; right; proper; rightness; rectitude; validity
  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. There are many problems happened when international phonetic alphabet symbols are used in word - processing like nonstandard application, nonstandard encoding which cause a limitation on sharing and communication of datain teaching and research, for instance ; international phonetic alphabet and symbols contained in ones document cannot be accurately displayed when they are removed to another computer. there appears many nonstandard usage, unnecessary characters, symbols, rules, as well as some wrongly written letters which often delay publication of the papers

    不僅應用上不規范,也不符合相關編碼標準,因而言文字應用教學和研究相關數據的共享與交流等受到極大的限制。例如:某人采寫的文檔離開了作者的計算機就不能顯示或不能顯示國際音標字母和符號。還有以先定后使用的形式出現了很多不規范的用例,甚至還「誕生」了一些不必要的字元和規則。
  3. This paper aims at applying lexicology, semantics and pragmatics to the analysis of the flexibility and indefinity and emotionality and open - ended property which lexical connotation shares to clarify the view that the connotation of a word, in english teaching, can be restricted, determined and comprehended according to textual context, paralinguistic context or non - linguistic context, in the meantime, to relate the important role a culture, especially, the common culture constituting part of the culture plays an important role helping students comprehend lexical connotation and the basic approach to the cultural acquisition, which promotes the cultivation of their cross - culture awareness

    摘要文章運用詞匯學、學和用學知識分析了詞的內涵意的靈活性、不定性、情感性和開放性,闡明了在英教學中詞的內涵意通過境、副境和非境來限定和理解的觀點,同時說明了文化特別是非式文化在幫助學生理解詞的內涵意中所起的重要作用以及有助於培養學生跨文化交際意識的基本途徑。
  4. Abstract : this paper aims at applying lexicology, semantics and pragmatics to the analysis of the flexibility and indefinity and emotionality and open - ended property which lexical connotation shares to clarify the view that the connotation of a word, in english teaching, can be restricted, determined and comprehended according to textual context, paralinguistic context or non - linguistic context, in the meantime, to relate the important role a culture, especially, the common culture constituting part of the culture plays an important role helping students comprehend lexical connotation and the basic approach to the cultural acquisition, which promotes the cultivation of their cross - culture awareness

    文摘:文章運用詞匯學、學和用學知識分析了詞的內涵意的靈活性、不定性、情感性和開放性,闡明了在英教學中詞的內涵意通過境、副境和非境來限定和理解的觀點,同時說明了文化特別是非式文化在幫助學生理解詞的內涵意中所起的重要作用以及有助於培養學生跨文化交際意識的基本途徑
  5. Only the possessor of a good linguistic memory, or better still, a thick notebook, can fully realize the truth of this statement.

    只有對言記憶力強的人或者最好有一本厚厚的記錄本的人,方能體會到這番話的
  6. Based on consider hereinbefore, this dissertation discusses several aspects on the problem of the sustainable and optimum exploitation of groundwater resources as follows : ( 1 ) reviewed entirely the origin and evolvement of the concept " sustainable development ", stated and commented the study status in queue on " sustainable development " around national and international range, thorough discussed the science connotation about the concept " sustainable development " ; ( 2 ) looked back and commented across - the aboard some furthest basic concept and proposition related to groundwater resources, put forward self opinions on a few existent mistake points of view and chaos understandings ; ( 3 ) expatiated entirely on the content and meaning of the theory of changeable groundwater resources system, contrast with the traditional methods of groundwater resources calculation and evaluation, combined example to show the application of this theory ; ( 4 ) thorough analyzed the difficult and complexity to forecast the groundwater resources, fully stated the traditional methods of groundwater resources forecasting, pointed out the characteristic and applying condition of these forecasting method, introduced the main ideas and methods of wavelet analysis developed recently, and the matlab software be known as the fifths era computer language, and its accessory wavelet analysis toolbox, applied these methods and tools to analyze the groundwater dynamic curve, adopted the b - j method and morte - carlo method, combined with the theory of changeable groundwater resources system, discussed the new view on the forecast of groundwater resources ; ( 5 ) synthetically analyzed the characteristics and limitations of the present all kind of groundwater manage model, combined mathematical programming mathematical statistics random process and the theory of variation system of groundwater resources on the unite optimum attempter of surface water and groundwater, emphasized how to make the model more nicety, more simple, more practicality ; ( 6 ) analyzed the inside condition and outside condition to assure the sustainable and optimum exploi tation of groundwater resources, the inside conditions are the follows : correct resources idea, scientific methods of resources calculation and evaluation, credible forecast methods of resources, exercisable measures of resources management, the outside conditions are the follows : the development idea of high layer, the transform of manage system, the matched policy and rule of law, the adjusted of economy lever, the improve of cultural diathesis, the boosting up of water - saving consciousness and detail measures, the control of population rising, the prevention and cure of water pollute, the renew and rebuild of ecology ; ( 7 ) scan the sustainable and optimum exploitation of groundwater resources from the high level of metagalaxy, earth system science, and philosophy ; lint out the more directions on groundwater resources

    基於以上考慮,論文主要從以下幾方面對地下水資源可持續開發問題進行了比較深入的探討:全面回顧了「可持續發展」概念的由來與演變,對國內外「可持續發展」的研究現狀進行了述評,並對「可持續發展」概念的科學內涵進行了深入探討;對涉及地下水資源的一些最基本的概念和命題進行了全面的回顧和評述,對目前仍然存在的一些錯誤觀點和混亂認識提出了自己的見解;全面闡述了地下水資源變值系統理論的內容和意,並與傳統的地下水資源計算評價方法進行了對比分析,結合實例具體說明了方法的應用;深入分析了地下水資源預測預報工作的極端重要性和復雜性,對傳統的地下水資源動態預測方法進行了全面的評述,指出了各類預測預報方法的特點及適用條件,對最近二十多年剛發展起來的小波分析技術的主要思想和方法及其應用范圍,以及號稱第五代計算機言的matlab軟體和附帶的小波分析工具箱進行了介紹,並應用於地下水動態過程線的分析,採用時間序列中的b ? j法,蒙特卡羅方法,與地下水資源變值系統理論相結合,探討了地下水動態資料分析和地下水資源預測預報的新思路;綜合分析了現今各類地下水管理模型的特點及缺陷,將數學規劃、數理統計、隨機過程等與地下水變值系統理論相結合進行地表水地下水或多水源的聯合優化調度,使模型更準、更實用;對保證地下水資源可持續開發的內部條件和外部條件進行了分析,內部河海人學博卜學位論文前言、摘要、目錄條件主要是的資源觀,科學的資源計算與評價方法,可靠的資源預測預報技術,可操作的資源管理措施,外部條件主要是高層發展思路、管理體制的變革、配套的政策法規、經濟杠桿的調節、人文素質的提高、節水意識的增強及具體節水措施、人口增長的控制、水體污染的防治、生態的恢復和重建等;從宇宙科學、地球系統科學及哲學的高度審視地下水資源的可持續開發;指出了地下水資源可持續開發的進一步研究方向。
  7. This paper will discuss the definition and the importance of affection and some main affective factors, and illustrate some implications of how to implement practical affective activities

    本文將從情感因素的定、重要性及英學習中主要的情感因素等方面入手,探討一下在英教學中如何運用情感因素。
  8. By using the par method and transforming system, we implement the abstract data in apla correctly. 3

    利用par方法,以自擴展的方式地實現apla言定的抽象數據類型; 3
  9. 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邏輯和基本指稱對本文所定的操作模型的性和可靠性進行了證明。由此可見,本文從全新的角度定了一種可以處理動態模糊問題的程序設計言。
  10. Aiming at this problem, the main research issues and achievements in this paper are as follows : bi - directional data transformation between rdb and xml with semantic constraints preserved for most of existing researches on static data transformation between xml and rdb, dtd is taken as the schema description language for xml, and the semantic constraints are often lost during the transformation process. to overcome these disadvantages, the author adopts xml - schema, a standard schema description language proposed by w3c to replace dtd, as the description method owing to its more powerful functions than dtd, and of course with the syntax much more complicated. after analyzing the constraints characteristics in both xml - schema and relational schema, a semantic constraints - preserved algorithm is proposed which can realize the bi - directional schema mapping between rdb and xml through a formalized description of xml based on regular tree and a general expression for relational schema based on direct graph approach

    保留約束的xml與rdb雙向靜態數據轉換技術現有研究大多採用dtd ( documenttypedefinition ,文檔類型定)作為xml的模式描述言,並且在模式映射過程中丟失約束信息,本文分析了xml - schema ( xml - schema採用與dtd完全不同的法,數據描述能力更強同時也更為復雜,已被w3c定為替代dtd作為xml模式描述言的標準)及關系模式的約束特徵,通過基於則樹的xml形式化描述方法以及基於有向圖的一般關系模式表示方法的研究,建立保留約束的xml - schema與關系模式的雙向模式映射演算法,實現了xml與rdb的雙向數據轉換,較好地解決了xml與rdb在靜態數據轉換層面的數據集成問題,可有效滿足企業大量rdb數據面向xml的發布以及與日俱增的xml數據存入rdb的應用需求。
  11. To solve the problem, a kind of multi - ontology analysis framework consisted of orthogonal matrix made up of multi - dimensional ontology model and temporal model is re - searched ; and then multi - dimension knowledge warehouse based on xml topic maps is constructed, which is developed to implement the accurate and efficient storing and retrieving for knowledge of semantic level

    針對這個問題,研究了通過多維本體模型和時域模型的交矩陣構建的多本體分析框架,並以此為基礎,構建了基於xml主題地圖技術的多維知識倉庫,實現了高效準級知識的存儲和檢索。
  12. The " benevolence " in the analects, to the exclusion of incorrect resources and misunderstandings, falls lexically into four categories, but which in nature all mean " loving others ", as testifies that the fundamental connotation of the doctrine of confucian benevolence consists in " loving others " only

    排除不的材料與誤解, 《論》中的「仁」雖從詞上可分為四類,但其實質皆是「愛人」關愛他人,孔子仁學的真內涵,只有「愛人」一項,而沒有其他。
  13. How ironic that even at a dinner organized for a hearing center, the organizers had succumbed to political correctness and provided an interpreter but had failed to think about the needs of the very group of people who are the recipients of the center ' s services

    甚至在聽力中心組織的晚會上,組織者也屈從于政治上的而提供手翻譯機,卻疏於考慮大部分接受該中心服務的人群的需求,多麼具有諷刺意
  14. Allow one of the commonly proposed alternatives to double - checked locking to work correctly, although the technique is still discouraged

    的新允許通常所提出的其中一個雙重檢查鎖定的可選方法地工作,盡管我們不鼓勵這種技術。
  15. If there is ambiguity in our daily communication, it will lead to misunderstanding

    在日常交際中,一句話如果存在歧,就會影響到人們對話理解。
  16. To make all that investment in time and money worthwhile, you must verify that your product works correctly with the translations and that they are semantically correct in the context of actual product usage

    要使時間和金錢上的投資物有所值,您必須驗證您的產品與譯文一起能工作,並且它們在實際的產品使用環境中是語義正確的。
  17. This article focuses on the research of the c orre ctne s s - di stingui shing o f data semotme problem thh is falen across in the transaction - based auditing and the fuzzy synthetic evaluation problem that is faced in the system - based auditing

    本文主要研究帳項基礎審計中所遇到的數據語義正確性判別問題及制度基礎審計中所面臨的模糊綜合評價問題。
  18. According to the characteristics of workflow process execution, a kind of reactive activity - centered process meta - model is defined and a kind of graphical notation is provided for it, at the same time, for this meta - model, a kind of dynamic semantics is specified, which represents the runtime behavior of the process and can be expressed as a finite state automata. finally, an example is given to illustrate how to apply it to analyze the semantic correctness of process models

    根據過程執行的特點,定了一種以活動為中心的反應式過程元模型,並為其提供了一種圖形表示,同時為此元模型指定了一種體現過程運行時行為的動態,該可表示為一個有限狀態自動機.最後舉例說明了如何應用它分析過程模型的語義正確
  19. In fact, sometimes refactorings yield syntactically correct code that is not semantically correct for the problem you are trying to solve

    事實上,有時重構會為您要解決的問題產生但是的代碼。
  20. It is not trivial to include an xml document inside another xml document the syntactically correct solution relies on cdata sections and character escaping

    在一個xml文檔中包括另一個xml文檔不是很簡單的事(的解決方法依賴于cdata節和字元轉) 。
分享友人