specification verification 中文意思是什麼

specification verification 解釋
規約驗證
  • specification : n. 1. 詳細說明，逐一登記，詳記。2. 〈pl. 〉規范，規格。3. 清單，明細單。4. 【法律】（申報新發明時的）設計說明書。5. 【法律】用來料加工製成新產品所取得的權利。
  • verification : n. 1. 證實，證明，確定；核驗，驗證，核對；檢驗，校驗。2. 【法律】訴狀[答辯書]結尾的舉證說明。
  1. Specification of verification for safe use of oxygen combustion bomb

    量熱儀氧彈安全性能檢驗規范
  2. Formal specification and verification of air - ticket reservation systems using pvs

    的飛機訂票系統的形式化描述與驗證
  3. Topics covered include : specification and verification, concurrent algorithms, synchronization, naming, networking, replication techniques ( including distributed cache management ), and principles and algorithms for achieving reliability

    其中包含以下的主題：規格與驗證、同步演演算法、同步化、命名、網路、復制技術（包括分散式快取管理） ，以及確保系統可靠度的設計原則與演演算法。
  4. Industrial valves - isolating valves for lng - specification for suitability and appropriate verification tests

    工業閥門.液化天然氣用隔離閥.適用性驗證試驗規范
  5. Industrial valves - isolating valves for lng - specification for suitability and appropriate verification tests ; german version en 12567 : 2000

    工業閥門.液化天然氣用隔離閥.適用性及適用驗證試驗
  6. The present paper explores the verification method for the technical specification of the general purposes oscilloscopes and the expaniding application for the measurements in the time domain

    摘要探討通用示波器技術指標的檢定方法及其在時域測量中的擴展應用。
  7. At first, the article describes the basic concept of testbench ; summaries general function verification approaches : white - box verification, black - box verification, and grey - box verification, and shows their different application situations ; examples general verification tools : linting tools, code review, simulator, waveform viewer and code coverage. after doing that, it discusses how to analysis the granularity for verification and how to specify the verification, and details the construct relations between verification specification, testcase and testbench

    本文首先闡述了測試平臺的基本概念；歸納了常用的功能測試方法：白箱測試、黑箱測試和灰箱測試，並說明了其不同的應用場合；列舉了常用的測試工具：代碼靜態分析工具、代碼檢查、模擬器、示波器和代碼覆蓋；接著討論了如何在測試計劃中分析測試粒度、確定待測特徵；闡明了待測特徵、測試實例和測試平臺之間的結構關系。
  8. 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

    需求規格說明是需求分析階段的產品，我們通常採用的是未使用任何限制非形式化的自然語言進行描述，這種自然語言書寫的需求說明，雖然易於理解和使用，但難以保證其正確性、完整性、無二義性、一致性，驗證過程只能採用不太規范、不太嚴格的人工走查的方法進行檢查，稍微復雜一些軟體的需求規格說明的檢查，實際上已經超出了人工檢查的能力。
  9. Notched bar tests - specification for verification of the test machine used for precision determination of charpy v - notch impact energies for metals

    劃痕棒材試驗.第7部分:金屬擺式v劃痕沖擊能量精密測定試驗機檢驗規范
  10. Lighting columns - part 3 - 1 : design and verification - specification for characteristic loads

    燈柱.第3 - 1部分:設計和檢驗.特性負荷規范
  11. Forth, depending on a limited syntax language, a research on the method and process of the semi - formal specification of the top level function is developed. this top level specification paves the way for the system verification and the covert channel analysis

    第四，藉助一種受限的句法語言，研究了對系統頂層功能進行半形式化規范的方法和過程，而頂層功能規范則為系統驗證、隱蔽通道分析等后繼工作奠定了基礎。
  12. However, this tempo - ral logic based technology was not conveniently applied to the verification ofknowledge logic specification

    然而，傳統的模型檢測是基於時態邏輯的，它並不支持知識邏輯規范的驗證。
  13. The new method can be divided into two parts : the construction of verification model and the construction of verification platform. not like the semi - custom verification model is built from the design specification, the full - custom verification model is built from full - custom design data

    對于驗證模型的建立，在半定製設計驗證方法中，一般是以系統描述為基礎建立驗證模型，而在我們的全定製設計驗證方法中，驗證模型主要以全定製設計數據為基礎建立的。
  14. ( 3 ) validation and verification of formal requirements specification

    （ 3 ）需求規約的確認與驗證。
  15. Specification for the verification of sound level meters - shortened procedure for type 2 sound level meters

    聲級計的驗證規范. 2型聲級計的縮短程序
  16. Based on the fourth version of x. 509 standard and rfc3281 document, the basic idea of pki and pmi as well as x. 509 attribute certificate are explained. in the second part, attribute certificate authorization mechanism of pmi is investigated using an example, including the modification of pmi role model, the asn. 1 syntax definition of role specification certificate and role assignment certificate, the flow design and analysis of attribute certificate authorization mechanism and the validation verification of certificate chain

    其中包括了對pmi角色模型的改進、角色規范證書和角色分配證書的asn . 1語法結構定義、證書的授權流程設計與分析以及屬性證書鏈的有效性驗證等；最後，本文根據證書機制授權流程設計了一個簡單的pmi特權處理模型，並對其中的模型組件、系統運作過程和設計中考慮到的若干技術細節分別予以了有益的探討。
  17. Lighting columns - design and verification - specification for characteristic loads

    燈柱.設計和驗證.特性負荷規范
  18. Lighting columns - part 3 - 1 : design and verification ; specification for characteristic loads ; german version en 40 - 3 - 1 : 2000

    燈柱.第3 - 1部分:設計和驗證.特性負載規范;德文版本
  19. The main idea of this paper is about the research of the technology of the requirement analysis modelling and model verification. the word " analysis model " refers to the semi - formaliztion of the requirement specification

    本文的主旨是關于需求分析建模和模型驗證技術的研究，文中的「分析模型」是需求規格說明的半形式化表示。
分享友人
分享到 Line

分享到臉書