相關詞條
-
模型檢測[自動驗證技術]
模型檢測(model checking)是一種很重要的自動驗證技術。它最早由Clarke和Emerson以及Quielle和Sifakis在1981年分...
-
系統可信性自動驗證國家地方聯合工程實驗室
從四川省發展和改革委員會轉發國家發改委的批文（發改高技[2016]2203號）獲悉，由西南交通大學數學學院牽頭、英國ULSTER大學、四川九洲集團、中車...
-
商業銀行資本計量高級方法驗證指引
《商業銀行資本計量高級方法驗證指引》是2009年中國銀監會頒發的條例通知，共七章。
檔案發布 檔案全文 -
ATD-X技術驗證機
ATD-X技術驗證機，意為先進技術驗證機項目X，全稱Advanced Technological Demonstrator-X Project，其設計目...
研發歷程 技術特點 性能數據 試飛試驗 服役時間 -
形式驗證
所謂形式驗證，是指從數學上完備地證明或驗證電路的實現方案是否確實實現了電路設計所描述的功能。形式驗證方法分為等價性驗證、模型檢驗和定理證明等。
原理 方法 優點 -
技術驗證器
技術驗證作為一種新的技術評價模式，已在已開發國家得到廣泛的推行。技術驗證基於客觀、科學、公正的原則，依據相關法規，由受委託的第三方機構，按照統一的驗證評價...
釋義 定義 孵化器 意義 國家政策 -
X-37驗證機
X-37驗證機 ,無人可重複使用航天飛行器由波音公司的“鬼怪工程隊”研製完成，它不僅可以進行軌道飛行也可做再入地球軌道飛行。X-37機長8.38米，機高...
簡介 發展沿革 技術參數 總體評價 X-37大事記 -
硬體驗證語言
硬體驗證語言（英語：hardware verification language, 縮寫為 HVL）是一種用硬體描述語言（HDL）編寫、用於電子電路設計...
簡介 硬體描述語言 SystemVerilog OpenVera SystemC -
飄零網路驗證系統
飄零網路驗證系統是為易語言、VC、VB、DELPHI、按鍵精靈等開發者設計的一套完整的網路驗證體系。可以為開發者開發的軟體增加收費授權的功能，讓您開發的...
系統特色 相關技術 主要結構 主要功能 -
X-2技術驗證機
X-2技術驗證機（綽號：心神，意為“上帝之心”）是日本防衛裝備廳委託三菱重工名航小牧南工廠研發的日本第四代戰機技術驗證機，是日本先進戰鬥機技術驗證項目，...
發展沿革 技術特點 性能數據 服役時間 總體評價
