|
搜索
搜 索
高等教育領域數字化綜合服務平臺
基于HybridUML向微分代數程序轉換的CPS建模與驗證方法
本發明提出了一種基于HybridUML向微分代數程序轉換的CPS建模與驗證方法，實現了由HybridUML模型向DAP的轉換，并依據微分代數動態邏輯(Differential-AlgebraicDynamicLogic，DAL)推理規則對CPS實例進行驗證。該方法使用HybridUML對CPS進行建模，將其轉換成DAL的操作模型DAP，并且基于DAL對CPS屬性進行驗證。
東南大學
2021-04-10
一種數控機床加工程序的修正方法
本發明公開了一種數控機床的加工程序修正方法，屬于數控技 術領域，包括如下步驟：S1 采集機床運行狀態數據，建立機床運行狀 態數據與加工程序的映射關系；S2 確定閾值，對不連續特征對應的加 工程序段進行標記，所述不連續特征即為機床運行狀態數據中大于閾 值的數據；S3 計算不連續特征對應的加工程序段的修正值；S4 將步驟 S2 中所述標記以及步驟 S3 中所述修正值反饋給數控系統界面，以用 于修正加工程序。本發明方法可對數控加工過程中造成工件質量缺陷 的程序進行快速定位并進行修正。
華中科技大學
2021-04-11
一種數控機床加工程序的修正方法
本發明公開了一種數控機床的加工程序修正方法，屬于數控技術領域，包括如下步驟：S1 采集機床運行狀態數據，建立機床運行狀態數據與加工程序的映射關系；S2 確定閾值，對不連續特征對應的加工程序段進行標記，所述不連續特征即為機床運行狀態數據中大于閾值的數據；S3 計算不連續特征對應的加工程序段的修正值；S4 將步驟S2 中所述標記以及步驟 S3 中所述修正值反饋給數控系統界面，以用于修正加工程序。本發明方法可對數控加工過程中造成工件質量缺陷的程序進行快速定位并進行修正。
華中科技大學
2021-04-14
基于動態二進制翻譯的驅動程序跨平臺復用技術
出于對國家安全、國民經濟發展等多方面因素考慮，具有自主知識產 權的處理器芯片和操作系統有著至關重要的戰略意義。近年來國內自 主研發的芯片和操作系統不斷涌現，但由自主研發的處理器芯片和操 作系統所構成的自主計算平臺真正的實用和普及還面臨來自同現有 大量外部設備協同工作的挑戰。然而當前硬件廠商提供的官方驅動程序往往只支持最主流的平臺且只提供二進制可執行程序。對于新近研 發的計算平臺，完全重新自主開發所有的設備驅動程序并不現實。驅 動程序的實現依賴于操作系統所提供的驅動編程模型，兩者緊密耦合
復旦大學
2021-01-12
一種嵌入式多核環境下應用程序的調試方法
一種嵌入式多核環境下應用程序的調試方法，屬于應用程序調 試方法，解決現有調試方法存在的不能獨立于操作系統、不適于兩個 以上核調試，且功能不夠全面的問題。本發明包括建立遠程連接步驟、 發送調試命令步驟、分析調試命令步驟、線程核綁定步驟、插入斷點 步驟、查詢斷點步驟、刪除斷點步驟、單步執行步驟、持續執行步驟、 執行至結束步驟、查看變量步驟、查看線程運行核步驟、獲取核運行 線程步驟和統計線程運行時間步驟。本發明能夠獨立于操
華中科技大學
2021-04-14
一種檢測 Android 權限提升攻擊的應用程序重寫方法和系統
本發明公開了一種用于檢測 Android 權限提升攻擊的應用程序 重寫方法，包括：將用戶上傳的 Android 應用程序進行反編譯，以生 成中間文件和應用程序配置文件，對生成的中間文件插入調用鏈構建 代碼，以使應用程序在運行時自動地構建調用鏈，對生成的中間文件 插入調用鏈獲取代碼，以使應用程序在運行時自動地獲取調用程序發 送的調用鏈，對生成的中間文件插入檢測代碼，以使應用程序訪問系 統敏感資源時自動地判斷是否存在權限
華中科技大學
2021-04-14
一種網盤應用程序編程接口的測量方法和系統
本發明公開了一種對網盤的應用程序編程接口進行測量分析的 系統，旨在測量網盤的應用程序編程接口的性能，并分析其底層的系 統架構，供第三方應用進行針對性的優化設計以保證應用性能，并幫 助網盤提供商分析性能瓶頸。系統包括三層。系統頂層根據用戶給定 的測量參數對網盤應用程序編程接口進行測量，并將測量數據輸出到 文件。系統中層包含多個模塊，每個模塊對應一個網盤，實現該網盤 的應用程序編程接口的應用層協議。系統預定義了網盤模塊向
華中科技大學
2021-04-14
一種基于 GPU/CPU 混合架構的流程序多粒度劃分與調度方法
本發明公開了一種基于 GPU/CPU 混合架構的流程序多粒度劃分與調度方法，包括：根據數據流程序各個任務的計算特點以及任務之間的數據通信量，將任務分配到合適的計算平臺上；利用 GPU 端任務的并行性將其均衡分裂到各個 GPU，以避免 GPU 間高額的通信開銷；通過選擇 CPU 核，將 CPU 端各任務均衡分配給各 CPU 核，以保證負載均衡并提高 CPU 核的利用率；采用多種數據存儲結構和多種訪問類型的方法，以提高內存的訪問效率；通過生成目標模板類和壓縮目標結點的個數，降低目標代碼的冗余量。本發明在
華中科技大學
2021-04-14
一種 Android 應用程序第三方代碼的安全增強方法
本發明公開了一種 Android 應用程序第三方代碼的安全增強方 法，包括：在應用程序進程內利用系統異常堆棧數據獲取涉及用戶隱 私數據的調用鏈，系統根據調用鏈信息獲取發起調用的主體信息，利 用進程間通信機制將調用發起者的主體信息發送到系統訪問控制評估 引擎，評估引擎根據主體信息與第三方代碼包列表判斷調用來源，根 據調用來源執行相應的用戶策略，根據用戶選擇與應用程序權限實施 該次調用的權限評估，將評估結果進行緩存，根據
華中科技大學
2021-04-14
技術需求、電子、電器線路的圖紙設計、操作程序自動化的設計 研究
1.電子、電器線路的圖紙設計、技術指導
2.操作程序自動化的設計 研究
山東施衛普環保科技有限公司
2021-06-15