本發明公開了一種基于過程中分治的布爾可滿足性問題并行求解方法，其步驟包括：1)對于待求解的電路，所述電路采用與非圖格式表示，包含電路的結構和待測試屬性；利用Master線程的CNF預處理器對所述電路的CNF文件進行簡化；2)利用Mast...

本發明提供一種時變圖的存儲查詢方法、系統、計算機設備和存儲介質，時變圖的存儲查詢方法包括以下步驟：構建時變圖的拓撲模型，對時變圖的每個節點和每條邊的數據結構進行構建；對數據進行壓縮；創建數據索引后存儲時變圖；對所存儲的時變圖進行支持時間...

本申請涉及一種淡漠綜合征的自動檢測方法、裝置、計算機設備和存儲介質，包括：獲取用戶按時間順序完成決策選擇任務中各個選擇任務的各個選項的收益值；構建淡漠評估模型，淡漠評估模型包含概率分布參數、獲益期望參數以及行為參數β；通過各個選擇任務的...

本發明公開一種面向操作系統的編譯構建文件管理方法及系統，屬于軟件工程技術領域。所述方法包括：根據聲明文件路徑，生成一項目工程的聲明文件組織關系結構，并獲取對應的引入文件；依據所述聲明文件組織關系結構，并結合對應的引入文件對每個聲明文件執...

本發明公開了一種基于網格行構建條帶結構的點在多邊形內判斷方法。所述方法包括：根據多邊形所在直角坐標系生成對齊坐標軸的包圍盒，然后將包圍盒劃分成若干等寬的網格行，再在此網格行內生成條帶，各個條帶記錄其所包含的多邊形的邊、以及該條帶上端邊界...

本發明公開一種基于任務指示的參考知識鏈接任務通用解決方法及裝置，屬于自然語言處理技術領域。所述方法包括：結合任務指示，分別生成聲明和參考知識的向量化表示；其中，所述任務指示包括該聲明的數據領域和鏈接任務的任務信息；基于聲明和參考知識的向...

本發明公開了一種基于prompt的自動編譯構建C++項目方法。本方法為：根據待編譯項目中各項目模塊的依賴關系生成依賴關系圖；根據依賴關系圖選擇當前沒有前置依賴的項目模塊；根據所選大語言模型構建初始prompt范式，根據初始prompt范...

本發明公開了一種針對物聯網多方協議的智能化漏洞挖掘方法，其步驟包括：1)通過移動端應用程序P與目標物聯網設備D、云端H交互；捕獲交互數據包得到數據包集S<subgt;S</subgt;；2)對數據包集S<subgt;S...

本發明提供一種基于語義等價程序執行的符號化快速錯誤檢測方法，屬于芯片形式化驗證領域，改進現有的符號化快速錯誤檢測，將原始指令和復制指令在待驗證處理器模型中執行結果的比較，改變為原始指令和語義等價程序在待驗證處理器模型中執行結果的比較。尋...

本公開涉及深度神經網絡模型的質量測評方法、裝置及設備，屬于人工智能領域。所述方法包括：構建包括多個質量評估指標的測試方案，并基于深度神經網絡模型的應用場景獲取測試數據集；基于測試方案和測試數據集對深度神經網絡模型進行測試，得到多個質量評...

本發明屬于衛星網絡系統數字建模領域，具體涉及一種基于數字孿生的衛星網絡數字樣機構建方法及裝置。該方法包括：根據衛星網絡通信的各層協議，通過數字孿生技術構建通信協議棧；構建基礎模型庫；構建網絡仿真模塊；利用仿真引擎并結合通信協議棧、基礎模...

本發明公開了一種基于轉換語義的互操作接口自動生成方法及裝置，屬于軟件技術領域。本發明根據應用領域互操作中的語義轉換需求，定義參數知識圖譜的數據模式；基于定義的參數知識圖譜的數據模式，構建參數知識圖譜的數據層；基于參數知識圖譜檢索參數實體...

本發明公開了一種多星對地周期性觀測及優先級更新方法。本方法為：1）選取多個用于觀測的衛星，得到一衛星集合；2）針對地球表面構造一網格空間，從該網格空間中選取一任務區域R，根據每一衛星的飛行軌道對任務區域R進行觀測條帶劃分，得到每一衛星對...

本發明屬于計算機技術領域，涉及一種基于失效演示遷移的對抗智能體測試方法及裝置。該方法包括：利用軌跡生成器和軌跡判別器對測試智能體進行遷移訓練；在訓練中的測試智能體與目標智能體的交互過程中，在失效演示中建立關鍵狀態集，將目標軌跡與關鍵狀態...

本發明公開一種基于多路Transformer網絡的交通流預測方法及系統，屬于人工智能技術領域。所述方法包括：構建多尺度的時間注意力網絡；構建知識增強的空間注意力網絡；基于時空耦合模塊和時空分解模塊構建一個包含Transformer網絡的...

本發明公開一種面向Python軟件包的第三方組件的檢測方法及系統，該方法包括：提取Python軟件包的基本信息，所述基本信息包括：來源信息、時間戳信息、配置文件File<subgt;config</subgt;和核心文件；結...

本發明涉及一種分隔符格式文件高性能分析的方法及裝置。該方法包括：通過迭代的方式采樣輸入文件中的控制字符，確定控制字符的符號狀態和邏輯位置；根據控制字符確定有限狀態推導器模型中應當選取的字符轉換層級，所述字符轉換層級包括記錄級和字段級；將...

本發明公開了一種改進的基于門限技術的綜合防護方法，其步驟包括：1)為抵抗d階側信道攻擊，對待防護密碼算法構造d階門限實現方案，稱為原始門限實現；2)對待防護密碼算法構造與步驟1)中完全相同的d階門限實現，稱為冗余門限實現；3)以相同的明...

本發明公開了一種基于TEE和TPM機密計算節點的證明服務方法，其步驟包括：節點注冊流程：機密計算節點將注冊信息發送給證明服務框架進行注冊；證明服務流程：當安全管理中心向機密計算節點下發證明命令時，機密計算節點向證明服務器發送證明請求并提...

本發明公開了一種針對序列決策模型的模糊測試加速方法及裝置。本方法為：1)在馬爾科夫決策的合法狀態空間中隨機采樣初始狀態，得到一個種子語料庫；2)對所選要變異的種子施加擾動，根據變異后的種子生成測試用例并將其輸入序列決策模型進行模糊測試；...