本發明是一種嵌入式軟件安全性自動化驗證系統及其驗證方法，該技術方案結合基于模型檢測的形式化驗證技術與基于模型的軟件測試技術，實現了對軟件安全性的雙重驗證。本發明實現的自動化驗證系統包括四部分，分別是軟件需求建模模塊、安全性驗證規則數據庫...

本實用新型涉及一種耐熱航空復合金屬板，包括金屬面板(1)、金屬芯板(3)、金屬背板(2)和酚醛樹脂發泡板(4)；所述金屬面板(1)、金屬芯板(3)、金屬背板(2)之間鋪設有酚醛樹脂發泡板(4)；所述金屬面板(1)的材質為碳鋼；所述金屬芯...

本實用新型提供了一種能移動配電桌，其包括配電桌主體以及設置在配電桌主體上的桌面，桌面上設置有配電盒，配電盒設置有接線口以及面板，面板上設置有第一配電裝置以及第二配電裝置，第一配電裝置包括三相供電線路、連接在三相供電線路中的漏電保護器以及...

本發明屬于自動化測試領域，是針對飛行器機載嵌入式軟件的自動化測試技術，涉及一種基于腳本的嵌入式軟件仿真及測試一體化平臺的構建方法。本發明的實現是基于實時處理機和主控機的架構。在主控機上，測試用例和仿真模型采用測試腳本進行描述，并進行異常...

本實用新型涉及一種可多自由度調節的腳踏板定位裝置。本裝置包括：裝置底座，座椅，支撐套筒，定位螺栓，桿芯，水平第一T型導軌，水平第二T型導軌，銷軸，轉向臂，腳踏板安裝底座。通過上述裝置，可以使設計人員快捷、客觀的獲取腳踏板多自由度方向定位...

本實用新型屬于搭接線檢測技術，具體涉及一種搭接線柔韌性試驗裝置。本實用新型搭接線柔韌性試驗裝置包括伺服驅動單元(1)、偏心調節單元(2)、加載單元(3)和試驗平臺(4)。伺服驅動單元(1)一端通過聯軸器與驅動偏心調節單元(2)的一端相連...

本實用新型涉及一種便于操縱人員離位的艙室座椅調節裝置。本裝置包括：相互連接的艙室座椅調節平臺和座椅。艙室座椅調節平臺包括裝置底座，第一“J”形T型導軌，第二“J”形T型導軌，第一連接桿，第二連接桿，第三連接桿，第四連接桿。第一“J”形T...

本發明涉及一種耐水航空膠合板，包括航空膠合板本體(1)，聚丙烯酸樹脂涂層(2)和酚醛樹脂涂層(3)。所述的航空膠合板本體(1)是樺木膠合板。所述聚丙烯酸樹脂涂層(2)包裹于航空膠合板本體(1)周身，酚醛樹脂涂層(3)包裹聚丙烯酸樹脂涂層...

本發明屬于座椅調節技術領域，特別涉及一種座椅臂托的多自由度調節裝置，其包括豎直導軌、豎直滑動桿、第一水平導軌、第一水平滑動桿、第二水平導軌、第二水平滑動桿和臂托安裝座；豎直滑動桿與豎直導軌滑動連接，該兩者之間設置有豎直滑動固定結構，第一...

本實用新型涉及一種彩晶防水復合板材，依次順序包括保護膜層(1)、彩晶防水復合層(2)和膠合板層(3)。所述保護膜層(1)的厚度為10～15μm；所述彩晶防水復合層(2)為聚偏二氯乙烯層/彩晶印刷層/聚氯乙烯層順序組成的復合膜層，所述彩晶...

本實用新型涉及一種含石墨烯的阻燃絕緣電纜，包括導體(1)，其特征在于：所述導體(1)外同心包覆有石墨烯層(2)和阻燃聚氯乙烯絕緣層(3)；所述導體(1)截面為圓形，直徑為10～15mm；所述石墨烯層(2)的外壁與內壁之間的厚度為0.2～...

一種滾動軸承故障在線檢測與狀態評估方法，包括以下步驟：提取12維無量綱參數，12維無量綱參數包括：6維時域統計參數、3維頻域統計參數和小波包絡譜中的3維無量綱參數；獲得標準化重構特征向量；以及判定滾動軸承是否出現故障和滾動軸承的狀態評估...

本實用新型屬于機電伺服作動技術領域，具體涉及一種結構緊湊、控制精度高、可變行程的可變行程機電作動器。本實用新型一種可變行程機電作動器包括機架單元、驅動單元、可變行程單元、輸出單元；驅動單元通過緊固件固定在機架單元上；驅動單元通過鍵與可變...

本發明屬于操作臺固定裝置領域，特別涉及一種弧形操作臺的多自由度調節裝置，其包括豎直導軌、豎直滑動桿、第一水平導軌、第一水平滑動桿、轉向臂、弧形水平導軌、第二水平滑動桿和弧形操作臺安裝座；豎直滑動桿與豎直導軌滑動連接，該兩者之間設置有豎直...

本實用新型屬于磁粉探傷的設備領域，特別涉及一種應用于盤類回轉零件磁粉探傷的磁化裝置，其包括工作臺；還包括旋轉機構，安裝于工作臺，用于保持盤類回轉零件并帶動盤類回轉零件繞其自身的軸線旋轉；垂直磁化電極對，包括分別設置于盤類回轉零件的軸向方...

本實用新型是一種光學檢漏測試系統可調式定位裝置，該裝置包括底座、防靜電海綿基體、長分隔管、短分隔管、固定皮筋、固定螺釘。通過上述裝置，可以有效解決電子元器件光學檢漏測試時，被檢器件管腳損傷，及在測試臺上的位置不能保證與軟件定位系統所識別...

本實用新型涉及一種含石墨烯的玻璃纖維增強型絕緣電纜，包括導體(1)，所述導體(1)外同心包覆有石墨烯層(2)、玻璃纖維層(3)和聚氯乙烯絕緣層(4)；所述導體(1)截面為圓形，直徑為10～15mm；所述石墨烯層(2)的外壁與內壁之間的厚...

本實用新型涉及一種適用于電子產品的多點共地故障注入接口適配器，屬于測試性技術領域，包括：接口組件，一端與故障注入平臺的接口連接，另一端與多點共地適配器連接；多點共地注入專用功能模塊，選擇故障注入平臺中的低精度可編程電阻S2、高精度可編程...

本發明屬于電子設備的檢測設備領域，特別涉及一種溫度?濕度?電磁綜合環境模擬設備，包括環境試驗室，環境試驗室內設置有電磁混響室，電磁混響室的壁設置有用于通風且能夠保持混響室原有屏蔽效能的通風結構。帶通風結構的電磁混響室內提供電磁干擾的測試...

本發明屬于電子元器件檢測技術領域，特別涉及一種對于安裝在線路板上的電子元器件的密封性檢測方法，其對整塊線路板進行檢測，在進行檢測之前，先確定加壓壓力和加壓時間。壓力室的加壓壓力應該選取所有被檢測電子元器件所能承受的典型加壓壓力的最小值，...