語義正確性 的英文怎麼說

中文拼音 [yǔyìzhēngquèxìng]
語義正確性 英文
semantic correctness
  • 語 : 語動詞[書面語] （告訴） 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
  • 性 : Ⅰ名詞1 （性格） nature; character; disposition 2 （性能; 性質） property; quality 3 （性別） sex ...
  • 語義 : semanteme; semantics
  • 正確性 : accuracy
  • 正確 : 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. 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

    摘要文章運用詞匯學、語義學和語用學知識分析了詞的內涵意義的靈活性、不確定性、情感性和開放性，闡明了在英語教學中詞的內涵意義通過語言語境、副語言語境和非語言語境來限定和理解的觀點，同時說明了文化特別是非正式文化在幫助學生理解詞的內涵意義中所起的重要作用以及有助於培養學生跨文化交際意識的基本途徑。
  3. 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

    文摘:文章運用詞匯學、語義學和語用學知識分析了詞的內涵意義的靈活性、不確定性、情感性和開放性，闡明了在英語教學中詞的內涵意義通過語言語境、副語言語境和非語言語境來限定和理解的觀點，同時說明了文化特別是非正式文化在幫助學生理解詞的內涵意義中所起的重要作用以及有助於培養學生跨文化交際意識的基本途徑
  4. 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法，蒙特卡羅方法，與地下水資源變值系統理論相結合，探討了地下水動態資料分析和地下水資源預測預報的新思路；綜合分析了現今各類地下水管理模型的特點及缺陷，將數學規劃、數理統計、隨機過程等與地下水變值系統理論相結合進行地表水地下水或多水源的聯合優化調度，使模型更準確、更實用；對保證地下水資源可持續開發的內部條件和外部條件進行了分析，內部河海人學博卜學位論文前言、摘要、目錄條件主要是正確的資源觀，科學的資源計算與評價方法，可靠的資源預測預報技術，可操作的資源管理措施，外部條件主要是高層發展思路、管理體制的變革、配套的政策法規、經濟杠桿的調節、人文素質的提高、節水意識的增強及具體節水措施、人口增長的控制、水體污染的防治、生態的恢復和重建等;從宇宙科學、地球系統科學及哲學的高度審視地下水資源的可持續開發;指出了地下水資源可持續開發的進一步研究方向。
  5. 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

    本文將從情感因素的定義、重要性及英語學習中主要的情感因素等方面入手，探討一下在英語教學中如何正確運用情感因素。
  6. 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邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
  7. Just as most of the natural language process technologies, the methods of ner have two classes, statistic - based and rule - based. considering of the limitation of using only one of the methods, we combined both of the methods to recognize named entity in this thesis. we combined the maching learning with ner to make the system get the ability of self - learning. we have done research on decision tree of maching learning mainly and designed a recognize model to recognize named entity. this model first used the probability and statistic way to extract the potential named entities, and then some context linguistic language information are employed in the model to recognize the named entities furtherly. as the wrong entites are denied, the recongnize effect has been improved

    鑒于單獨採用基於統計方法或基於規則方法的缺陷，在這篇論文中，採用了統計與規則相結合的方法來識別命名實體。為了使系統具有學習能力，我們把機器學習方法應用於中文命名實體的識別，這里我們著重研究了機器學習中的決策樹方法在中文命名實體識別中的應用;設計了一種基於決策樹的識別模式，該模式首先利用概率統計方法，在文本中盡量完備地識別出潛在的命名實體，然後利用潛在命名實體相關的上下文詞法、語法和語義特徵作為屬性構建決策樹，否定不正確的實體，進一步提高了命名實體識別的準確率。
  8. Therefore, the formal semantic study of uml is helpful for the improvement of the clarification, equivalence, consistency, and extendibility of the language, thus offers a powerful theoretical tool for the validity proof, transition of the model and the consistency check of the modeling tools supporting uml

    因此，對uml進行形式語義研究，對增進該語言的清晰性、等價性和一致性、可擴展性是十分有幫助的，為模型的正確性證明、轉換以及支持uml建模工具的一致性檢查提供了有力的理論工具。
  9. For distinguish unfairness administratively restrictive practices and administrative monopoly, discuss the main viewpoints of the academia, wield different analytical methods proved the concept could n ' t reflect panorama should be contain by the concept of the unfairness administratively restrictive practices

    在界定不正當行政性限制競爭行為概念的范疇和內涵基礎上，通過語義分析法、比較分析法論證「行政壟斷」這個概念是不準確的。
  10. 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

    本文主要研究帳項基礎審計中所遇到的數據語義正確性判別問題及制度基礎審計中所面臨的模糊綜合評價問題。
  11. 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

    根據過程執行的特點，定義了一種以活動為中心的反應式過程元模型，並為其提供了一種圖形表示，同時為此元模型指定了一種體現過程運行時行為的動態語義，該語義可表示為一個有限狀態自動機.最後舉例說明了如何應用它分析過程模型的語義正確性
  12. Although the software specification described using natural language is easy to write and understand, its validity, integrality, non - ambiguity, consistency are hard to guarantee. the process of verification can only be done by manpower which is not normative and not rigorous. and the complexity of a lot of software has made it impossible to check the specifications artificially

    需求規格說明是需求分析階段的產品，我們通常採用的是未使用任何限制非形式化的自然語言進行描述，這種自然語言書寫的需求說明，雖然易於理解和使用，但難以保證其正確性、完整性、無二義性、一致性，驗證過程只能採用不太規范、不太嚴格的人工走查的方法進行檢查，稍微復雜一些軟體的需求規格說明的檢查，實際上已經超出了人工檢查的能力。
  13. The formal semantics of rt - z, based on the denotation semantics of z and timed csp, is a prerequisite for preciseness and mathematical rigour

    Rt - z的語義基於z和timedcsp ，這是它具有正確性和數學嚴格性的基礎。
  14. First, by analysing the disadvangtages of the decomposition and recovery algorithm in the usual security model, a new algorithm of double structure tables, which is suitble for master - slaver structure tables, is presented in this paper. second, in resolving the semantic ambiguity and operational incompleteness easily emerged in master - slaver structure tables, an improved master - slaver structure table model and relative decomposition and recovery algorithm are provided. third, considering the merits and demerits of security model, a multilevel secure transaction model is defined on the basis of security model

    本文通過分析以往安全模型的分解和恢復演算法的缺點，提出了一個適合於主從結構表這種雙結構表安全模型的分解和恢復演算法;針對主從結構表安全模型容易產生語義模糊性和操作不完備性等問題，提出了一個改進的主從結構表安全模型，並提出了其分解和恢復可行方法;討論了安全模型的優缺點，定義了建立在安全模型基礎之上的多級安全事務模型，分析了多級事務面臨的眾多難題，提出了一個安全、正確的多級事務調度演算法;根據上述的諸多理論，開發了一個多級安全數據庫管理系統的原型系統。
  15. But at present, there seem to be much deficiencies on the correctness and reliability of workflow and it can not meet the practical needs very well. in this paper, we introduce some transactional properties to workflow and put forward a nested workflow model with transactional characteristics. this model includes nested tasks and dependencies between the tasks, and it is provided with some atm properties such as relaxed isolation and atomicity. further more, we discuss the execution mechanism, system recovery and error handling of workflow on the base of the transactional characteristics. by defining consistency unit and execution atomic unit, we loosen the failure atomicity, serializability of concurrent worflow and isolation between tasks, thus, workflow meets the needs of the application semantics more flexiblly with high correctness and reliability

    這個模型包含嵌套任務和任務間的依賴，並具有高級事務模型的一些屬性，比如鬆散的隔離性和原子性。我們又進一步在這個模型的基礎上利用這些事務性質提出了有關工作流的執行機制、系統恢復和錯誤處理等問題的解決方法。通過定義一致性單元和執行單元放鬆了事務的失敗原子性、並發工作流的可串列化要求以及任務間的隔離性，使工作流在具有高可靠性和正確性的前提下更靈活地滿足實際應用語義的要求。
  16. The character of the thesis was the following : ( 1 ) giving the modification of lambda calculus in order to describe the character of dynamic fuzzy ; ( 2 ) giving an operational semantics model of dfl programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it ; ( 3 ) giving the frame of dfl programming language

    本文的特色體現在: （ 1 ）提出了可以描述動態模糊性問題的演算的變形方法; （ 2 ）提出了可以解決動態模糊性問題的dfl程序設計語言的操作語義模型，並對該模型的正確性和可靠性進行了證明; （ 3 ）提出了dfl程序設計語言的基本框架結構。
  17. This paper has a further study on the key technology called validity maintenance mechanism in semantic feature modeling in order to maintain the intent of designers and satisfy them. the method combines geometry model and semantic feature modeling, setting up new feature representation 、 cell element naming and identification method. in the meantime, a history - independence interactive feature boundary re - evaluation algorithm is presented based on feature editing. moreover, the validity recovery mechanism after invalid feature operation can maintain the original feature model. the above ideas have been realized on hust - caid ( computer aided industry design system developed by harbin university of science and technology ) preliminarily

    為了能夠正確地維護設計者的設計意圖和滿足用戶的需求，本文在原有造型的基礎上對語義特徵造型中的關鍵技術即有效性維護機制進行深入的研究，將幾何模型，語義特徵模型結合起來統一進行研究，建立了語義特徵造型在產品模型設計過程中特徵表示方法的新理論、細胞元素命名方法和辨別機制，同時對系統原有特徵編輯過程進行了研究，提出了獨立於歷程樹的特徵邊界重構演算法以及模型操作無效時的有效性恢復方法。
  18. This thesis gives a model language and a moderately complete formal description which can be used to prove the properties of static and dynamic data dependencies, and defines the notions in the iterative relaxation method formally. the program theories about the iterative relaxation method and its improvement are investigated, whose results include : the generalization of the predicate slices proposed by neelam gupta et al to path - wise static slices, and the proofs of the soundness of the construction algorithm of path - wise static slices and the soundness of the improvement

    本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於證明與靜態、動態數據依賴關系有關的程序性質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片，證明路徑靜態切片構造演算法的正確性，證明改進后的方法與原方法所生成的線性約束系統相同。
  19. After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively, the correctness of uml statecharts can be verified using automaton - based model checking method

    在把根據eha操作語義得到的標記遷移系統和表示性質的線性時態邏輯公式分別轉換為b chi自動機后，用基於自動機理論的模型檢驗方法驗證umlstatecharts的正確性。
  20. Last, the temporal constraints are verified by alur ’ s model checking algorithm. this paper also verify the correctness of the data flow of the workflow. the data flow objects are added into the uml statecharts, and the semantic of data flow is

    驗證數據流正確性的過程中，在uml狀態圖中加入了數據流對象，定義了uml狀態圖的數據流語義，根據該語義給出了從uml狀態圖到全局狀態可達圖的轉化演算法，提出了驗證數據流正確性的演算法。
分享友人
分享到 Line

分享到臉書