本申請公開了一種測試用例的生成方法、裝置、電子設備和存儲介質，該方法包括：獲取網絡變量信息表；從網絡變量信息表中提取用于生成網絡變量的測試用例的第一數據；基于目標工程測試規則對第一數據進行數據轉換，得到第二數據，目標工程測試規則與第一數...

本技術公開了一種用于核級DCS的“與”邏輯信號端子模塊，端子模塊與DO板卡的輸出通道連接，用于對所述DO板卡的輸出信號進行與運算，所述端子模塊包括：PCB電路板、雙層接線端子及兩組DB25母頭，所述兩組DB25母頭的一側分別與第一DO板...

本申請實施例提供了一種文檔生成方法及裝置。該方法通過編輯窗口提供的思維導圖節點排布，可以將測試項目進行層級化拆分，這種方式有助于測試人員更清晰的把控測試覆蓋范圍，減少用例被遺漏的風險，提高文檔的生成精度。基于文檔模版和目標思維導圖，生成...

本申請公開了一種內存管理模塊的形式化驗證方法及相關裝置，涉及操作系統安全技術領域，包括：基于需求文檔、設計文檔與源代碼，在交互式定理證明器中，依次構建需求層形式化模型、設計層形式化模型與實現層形式化模型，基于需求文檔，在交互式定理證明器...

本發明公開了一種工業以太網環形冗余通信系統和方法，其中，系統包括：包括主控制站和至少一個遠程站，主控制站包括控制器、第一交換芯片、第一擴展通信單元以及至少一個第一通信或I/O單元，所述控制器、所述第一擴展通信單元、所述至少一個第一通信或...

本發明提供了一種核電儀控機柜的仿真方法及相關設備，該方法為：導入核電儀控機柜的三維模型；對三維模型進行幾何前處理，以將三維模型轉換為仿真分析所需要的幾何模型；基于幾何模型生成網格模型，網格模型繼承核電儀控機柜的動力學特性和材料屬性；利用...

本申請公開了一種安全級端接表驗證的方法及自動驗證工具。該自動驗證工具將表格形式的IO清單與表格形式的安全級端接表進行比對，得到表比對結果。同時將安全級端接表與圖紙形式的安全級硬件設計圖進行比對，得到表圖比對結果。自動驗證工具無需人工在圖...

本申請公開了一種屏蔽模組、控制器以及計算機設備該屏蔽模組由三個主要部分組成：集成組件、絕緣層和屏蔽層。其中，絕緣層覆蓋在集成組件之上，而屏蔽層則覆蓋在絕緣層之上。具體來說，集成組件負責進行數據傳輸和/或數據處理。絕緣層的作用是對集成組件...

本申請公開了汽動給水泵的升速控制系統、控制方法及控制器。升速控制系統包括：PID控制器、啟動控制閥、負載控制閥和控制器；其中，PID控制器的運算周期設置為8s，調節死區設置為15轉；控制器，用于控制負載控制閥處于全開狀態，并根據PID控...

本技術提供一種SIP保護組試驗臺，SIP保護組試驗臺包括：上位機、控制器和PXI機箱；上位機與控制器之間通過網線連接；PXI機箱包括多個輸入輸出卡件；每一輸入輸出卡件的一端與控制器之間通過PXI總線連接，用于進行數據傳輸；每一輸入輸出卡...

本申請公開了一種畫面組態方法、系統、設備、產品及存儲介質，通過基于設計需求信息，生成顯示數據庫，基于所述顯示數據庫進行畫面布局規劃，形成畫面布局；根據所述畫面布局和所述顯示數據庫生成配置表，將所述顯示數據庫和所述配置表導入至組態環境中，...

本申請公開了一種KKS編碼信息的顯示控制方法及相關產品。當接收到用戶交互請求時，先獲取發出該請求的目標操作站的節點號，從而確定當前操作的目標節點。目標操作站所顯示的目標PFD圖紙是數字化的界面，其中預先創建并配置了用于展示設備對應KKS...

本申請實施例提供了一種強制變量的處理方法及裝置，涉及核電技術領域。該方法應用于第一設備，第一設備的內存數據區包括計算區、強制變量標識區及強制區，該方法包括：當接收到目標變量的變量運算指令時，從強制變量標識區中獲取目標變量的強制標志；若強...

本申請提供了一種增量編譯方法、系統、電子設備及介質，在本方法中，響應增量編譯指令后判斷基準編譯文件是否存在，并在確定其存在時，生成目標任務與基準文件的中間表示文件，通過比對二者數據區與類型定義等信息，僅對發生變化的部分進行更新，且保留未...

本發明公開了一種軟件測試任務調度方法和裝置，其中，方法包括：獲取測試任務集TS及多維度指標集SS，設置測試任務調度函數和約束條件；利用改進的水母搜索優化算法，對所述測試任務調度函數和所述約束條件進行尋優，獲得最優任務調度方案；可視化展示...

本申請公開了一種軟件的多硬件平臺自動化測試方法及相關產品。該方案中，獲取待測試腳本文件；所述待測試腳本文件包含控制指令信息和待測試硬件平臺信息；向所述IEC61131?3算法軟件發送所述控制指令信息，以使所述IEC61131?3算法軟件...

本申請公開了一種電纜編碼方法、系統、設備及存儲介質，通過根據對向系統對預備電纜數據進行劃分，得到第一次分組數據；將所述第一次分組數據中具有相同數據屬性的電纜數據歸為同一組，得到第二次分組數據；針對所述第二次分組數據中的每根目標電纜，基于...

本申請公開了一種運行時軟件系統、應用方法、設備和存儲介質，所述系統包括通信模塊、應用模塊和操作系統適配模塊；通信模塊用于接收和解析上位機指令，指令包括任務類指令；應用模塊用于接收和解析任務類指令，實現與任務類指令對應的邏輯程序的動態加載...

本申請公開了一種電機驅動器、控制方法及相關產品。電機驅動器包括控制器和三相逆變電路；其中，三相逆變電路中的每一相逆變電路包括上橋臂、下橋臂和中點鉗位電路；上橋臂的第一端用于連接第一電容的第一端，上橋臂的第二端連接下橋臂的第一端；其中，第...

本申請公開了一種控制器固件更新方法、裝置及相關產品，涉及計算機技術領域。在執行所述方法時，先基于控制器列表中目標控制器的唯一標識和固件文件信息列表中的固件文件信息，建立控制器列表與固件文件信息列表間的對應關系，得到對應關系列表，然后，響...