語義驗證 的英文怎麼說

中文拼音 [yǔyìyànzhèng]
語義驗證 英文
semantic evidence
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 義 : Ⅰ名詞1 （正義） justice; righteousness 2 （情誼） human ties; relationship 3 （意義） meaning; si...
  • 驗 : 動詞1. （察看; 查考） examine; check; test 2. （產生預期的效果） prove effective; produce the expected result
  • 證 : Ⅰ動詞（證明） prove; verify; demonstrate Ⅱ名詞1 （證據） evidence; proof; testimony; witness 2 （...
  • 語義 : semanteme; semantics
  • 驗證 : test and verify; checking; proving; testing; confirmation; [數學] corroboration; inspection; veri...
  1. We characterized the security issues in asp - based networked manufacturing system, especially the issue of the user access control. then the typical methods of access control were introduced, which include discretionary access control ( dac ), mandatory access control ( mac ), role - based access control ( rbac ), task - based access control ( tbac ), coalition - based access control ( cbac ) and relationship - driven access control ( rdac ) and so on. based on that, we provided an integrated user access control model, which was composed of rbac, tbac, rdac and cbac

    本章描述了asp和網路化製造系統的安全性問題，尤其是用戶訪問控制的問題；接著介紹了幾種浙江大學博士學位論文典型的訪問控制方法，包括強制訪問控制、任意訪問控制、基於角色的訪問控制、基於任務的訪問控制，以及基於公司關系的訪問控制、基於企業聯盟的訪問控制等;在前面描述的典型訪問控制模型基礎上，給出了一個網路化製造系統的綜合訪問控制模型，包括網路化製造系統的用戶和資源層次關系圖、訪問控制參考模型和訪問控制過程模型，並定義了各個模型中的相關元素和關系，給出了各級約束驗證和授權的表達;最後我們給出了以xacml為基礎的網路化製造系統的訪問控制描述語言。
  2. In this paper, using a top - down design scheme, the risc mcu ip core is divided into two parts : data path and control path. all the modules in the two parts are described by verilog hdl, a kind of hardware description language. the simulation and synthesis of the whole work are finished successfully with eda tools

    本文對pic16c6x單片機系統結構、指令系統和系統時序進行了分析，並且在此基礎上對精簡指令集mcuip核進行頂層功能和結構的定義與劃分，建立了一個可行有效的riscmcuip核模型本文將mcuip核劃分為數據通道與控制通道兩部分，採用asic設計中的高層次設計方法，使用硬體描述語言veriloghdl對這兩部分的各功能模塊進行了設計描述；利用多種eda工具對整個系統進行了模擬驗證與綜合。
  3. The result of experimentation proves that this retrieval framework makes semantic of resources sufficiently emerged and the good feasibility of search strategy

    實驗結果證明了該框架下信息資源的語義信息得到充分的體現以及語義檢索策略的可行性。
  4. In the fourth chapter, the method of assembly feasibility analysis for shaft and hole feature was established. first, conformance analysis technique was build. as for lmc and mmc of rfs principle, sufficient and necessary condition was given

    首先建立圓柱要素的相符性分析技術，基於漂移帶的尺寸公差語義，結合當前國標，對于lmc條件以及採用獨立原則的mmc條件，給出相符性驗證的充要條件；對于採用獨立原則與最大實體原則的mmc條件，給出相符性驗證的充分條件。
  5. Blue wavy underlines show semantic errors based on dtd or schema validation

    藍色的波浪形下劃線根據dtd或架構驗證顯示語義錯誤。
  6. Semantic validation checking is performed during compilation

    語義驗證檢查在編譯期間執行。
  7. Application of semantic verification method based on component - level reduction in e - commerce processes

    基於組件級化簡的語義驗證方法在電子商務過程中的應用
  8. Finally, in the answer processing module, we design and develop an algorithm which named " syntax constrained semantics verification ". this approach of verification combines syntax and semantics features to verify the relevance between answer and question

    在答案驗證模塊，提出並實現了一種受限語法的語義驗證方法，它把語法信息和語義信息結合起來，使得答案的驗證更加可靠正確，在問題回答系統中得到了很好的應用。
  9. We came up with algorithm descriptions and reinforced our conclusion by means of real testing examples. some data mining techniques, which can be applied to semantic web mining, were also discussed in this thesis. we explored the suitability of inductive logic programming ( ilp ) method in semantic web mining in more detail, and showed how to make use of this method in the semantic context

    對于語義web挖掘中適合的數據挖掘技術進行了探討，提出了可採用歸納邏輯程序設計作為適合語義化web的數據挖掘技術，給出了如何應用這種技術的演算法描述，並通過具體實例驗證了這種方法對于語義化web環境下進行數據挖掘是可行性。
  10. The experimental system extract the low - level features of images such as hsv histogram, the texture got from coexistence matrix, color correlogram, and according to the characteristic of our image database, design the evaluation function such as the average rank ratio to evaluate and compare the performance of different integration of different features including semantic, and validate the active effect of feedback using experiment results

    該原型系統提取了hsv直方圖、共生矩陣紋理、顏色相關圖等底層特徵，同時根據圖像數據庫的特點，設計了平均位置比值等評價函數對語義特徵與底層特徵的各種結合的檢索性能進行了比較分析，並對反饋效果進行了實驗驗證。
  11. Keio university professor shigeru watanabe and other researchers confirmed that the birds could distinguish between the two languages in experiments using english and chinese translations of japanese novels

    慶應義塾大學教授渡邊茂和其他研究人員，利用日本小說的中、英語翻譯進行實驗，證實鳥兒可以區分出這兩種語言。
  12. In the point of view of cooperation and interoperability of application units, this paper discusses the functions, design and implementation of the connectors on software modeling. the atom connectors and composite connectors are provided as a level of supporting model in the toolkit. the design and implementation of the semantics, actions and methods of four types of atom connectors is discussed within the three phase of modeling, simulation and execution

    本文從應用業務的協同交互角度，研究在基於構件的應用建模中，作為構件開發工具支撐機制提供給應用的連接件的地位、作用及其設計與實現，提出了原子連接件與組合連接件的概念，並且對四種基本的原子連接件（過程調用、共享內存、管道和網路連接）在建模階段、模擬驗證階段和運行階段的語義、行為以及設計與實現途徑進行了研究與探討。
  13. 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

    要使時間和金錢上的投資物有所值，您必須驗證您的產品與譯文一起能正確工作，並且它們在實際的產品使用環境中是語義正確的。
  14. 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

    需求規格說明是需求分析階段的產品，我們通常採用的是未使用任何限制非形式化的自然語言進行描述，這種自然語言書寫的需求說明，雖然易於理解和使用，但難以保證其正確性、完整性、無二義性、一致性，驗證過程只能採用不太規范、不太嚴格的人工走查的方法進行檢查，稍微復雜一些軟體的需求規格說明的檢查，實際上已經超出了人工檢查的能力。
  15. The workflow model is built by uml statecharts in this paper, and the correctness of the control flow in workflow is verified, including the verification of soundness and the properties of semantic - related of the control flow

    把驗證uml狀態圖的完全性轉化為驗證全局可達遷移圖的完全性，給出了驗證控制結構完全性和語義相關性質的演算法。
  16. Vocabulary size has always been a big concern for the english learners. it is also one of the most important parameters to measure ones english level. english learners make every effort to build up their vocabulary. in this paper, one aspect of vocabulary, that is word association knowledge has been proved to facilitate vocabulary retention, to enlarge ones vocabulary size. therefore, both the width and depth of vocabulary should be integrated into vocabulary teaching

    詞匯量的大小一直是英語學習者所關心的，也是衡量英語學習者英語水平高低的重要指標之一，所以英語學習者也嘗試各種方法來擴大詞匯量.本文討論的是詞匯的一個方面，即詞匯聯想義知識在詞匯記憶、擴大詞匯量方面的作用.通過實驗證明詞匯聯想義知識與詞匯量的相關性較高，因此，詞匯教學過程中應該引導學生同時開發詞匯的深度及廣度
  17. This portion of the validator is still under development, but listing 5 shows how the host language is defined

    驗證程序的這一部分仍在開發之中，但清單5說明了如何定義宿主語言。
  18. Through such practice and academic approach, we draw the initial conclusion that * the preschooler language acquisition environment that integrates seeing, listening and doing is effective for enhancing the interests of preschoolers towards language acquisition, enabling them to become active constructors of language and sense, and cultivating and promoting the language acquisition ability of preschoolers, which lays a theoretical and practical foundation for verifying this conclusion through the comparative experiments

    在這樣的實踐和理論探討中，我們得出： 「 『視、聽、做』一體化的嬰幼兒語言習得環境，對提高嬰幼兒語言習得興趣，使嬰幼兒成為語言意義的主動建構者，培養和提高嬰幼兒語言習得能力具有明顯效果」的初步結論。為進一步從對比實驗的角度驗證這一結論奠定了相應的理論和實踐基礎。
  19. First, the basic raster graphics algorithms for drawing 2d primitives are introduced, including edge coherence and the scan - line algorithm of triangle, brush algorithm of thick line ( and its improved method ) and midpoint circle and ellipse algorithm ; and the current situation of the advanced algorithms is also involved. second, the mapping of high level programming language to hardware description language is described, some principles of the conversion of algorithm to state machine are proposed also ; then, the implementation of basic graphics in hardware is discussed in detail, the state machines are drawn in the paper, and the interfaces of hardware are defined, block diagrams too, and the advanced algorithm of conic is proved ; finally, some issues about test are described, the results of simulation and synthesis are given in the last, and some detailed data are displayed in the appendix

    首先介紹了現有的基本圖形生成演算法，包括三角形邊相關掃描演算法，寬直線的線刷子演算法及其改進和圓形、橢圓的生成演算法，同時介紹了加速演算法的研究現狀；然後，討論了高級語言描述到硬體描述語言的映射，提出了演算法到狀態機抽象的規律；接著具體討論了基本圖形的硬體實現，給出了各演算法的狀態機圖，介面定義和實現框架，並且從理論角度給出了二次曲線加速演算法的證明：最後採用軟體工具進行測試驗證，給出了模擬、綜合實現的結果，並在附錄中有詳細的實驗結果數據。
  20. To be concluded, the main work done are : propose solutions of databases sharing and integration based on xml ; describe and release database profile by xml ; propose the idea of semantic e - r description pattern of requirement ; propose the model of commen sql syntax verifing ; research the strategy of security in database sharing and integration

    歸納起來，本論文所做的工作主要有：提出基於xml的數據庫共享與集成方案；用xml統一描述和發布數據庫概貌信息；提出可視化語義e - r模式共享需求描述方式；提出了一種通用的sql語法驗證模型；分析了數據庫共享與集成方案中的安全策略。
分享友人
分享到 Line

分享到臉書