設計應用 基于工業母機防火墻的數控網絡安全防護解決方案[通信與網絡][信息安全] 隨著針對數控機床的網絡攻擊日益嚴重，基于供給側打造數控機床安全供給能力，成為制造強國之路的重要關切之一。立足于行業痛點，解決數控機床安全緊迫問題，實現需求側安全保障。設計了一種同時將“NC代碼異常檢測”“NC代碼病毒檢測”“防碰撞檢測”等安全機制結合起來的工業防火墻系統——工業母機防火墻，圍繞安全通信網絡、安全區域邊界、安全計算環境、安全管理中心、專用防護設備等方面，給出了具體防護措施和建議。本文的研究設計及解決方案對于保障制造強國、建設數字中國等具有重要現實意義。 發表于：1/6/2023 3:35:21 PM C銀行新一代OA系統及網絡安全體系研究[通信與網絡][通信網絡] 基于新一代IT技術成果，C銀行建設了新一代辦公信息系統(OA2)，該OA系統具有基礎軟硬件全國產化、云端一體的系統架構、眾創開發持續集成的開發模式、多維智能的縱深防護體系等特點。對該辦公信息系統的設計開發、系統結構、安全防護等方面的經驗和成果進行總結研究，研究成果能夠為相關行業和領域的關鍵信息基礎設施及網絡安全建設提供有益的參考和借鑒。 發表于：1/6/2023 3:29:15 PM 一種應用于機器學習的惡意網頁特征提取方法[可編程邏輯][信息安全] 基于機器學習的惡意網頁檢測技術進行研究。目前流行的“特征碼”“白名單”等方式，僅能夠檢測已知的惡意網頁；機器學習方法，能夠檢測出未知的惡意網頁，但在處理網頁特征時要面臨數據量大、復雜和繁瑣的問題。提出一種哈希壓縮的方法，用于處理網頁的特征數據。該方法在保證檢測模型的漏報率和誤報率下可實現將150萬的特征映射在2萬的特征空間內，對提取出的特征數據運用K折交叉驗證法訓練多個傳統機器學習模型和集成學習模型。并通過評估模型的檢測效果，篩選出表現最好的分類檢測模型。 發表于：12/20/2022 4:57:00 PM 一類計算系統的MBSE建模方法[可編程邏輯][信創產業] 隨著社會各領域對于算力需求的快速增長，通過計算架構創新提升計算系統算力越來越收到重視。計算系統的研制是一項復雜的系統工程，計算架構的創新使得計算系統的復雜程度不斷增加，傳統的系統工程方法難以滿足系統研制需求。采用基于模型的系統工程(MBSE)方法對一類計算系統的建模方法進行了研究，提出了建模框架，建立了系統模型。運用此建模方法建立了某國產化計算系統模型，證明了建模方法的有效性，為下一步運用計算機仿真技術進行一類計算系統研制奠定了基礎。 發表于：12/20/2022 4:53:00 PM 基于PKS體系的計算機軟硬件聯合攻關模式初探[其他][信創產業] 為了推進信息技術自主創新，亟需通過系統工程的方法開展聯合攻關，以打造整體性能優良的自主計算機產品。針對計算機軟硬件聯合攻關可能會面臨的挑戰，提出一種基于PKS體系的計算機軟硬件聯合攻關模式。該模式通過在管理、服務和溝通三個方面進行創新，可以有效應對當前聯合攻關中存在的挑戰。該模式已經在實際項目中得到了應用并取得了初步成效，對今后開展計算機軟硬件聯合攻關具有一定的參考價值和指導意義。 發表于：12/20/2022 4:50:00 PM 外部干擾下SP型ICPT系統的H∞濾波器設計[模擬設計][其他] 對SP型ICPT系統在外部干擾下的H∞濾波問題展開了研究。首先對SP型ICPT系統的電路拓撲進行研究并且以此創設了基于此電路拓撲的廣義狀態空間方程；然后通過濾波誤差系統的漸近穩定判定條件求取H∞濾波器的增益；最后通過實驗仿真來驗證本文所提出理論的準確性和可行性。 發表于：12/20/2022 4:45:00 PM 基于無人機平臺的動目標航跡模擬算法[可編程邏輯][航空航天] 測控設備是保障我國航天任務順利進行的必要手段。多年來測控技術人員在任務間隙，一直利用測控設備隨機的軟件模擬實戰任務以進行日常訓練。這種模擬方式一方面無法實現全系統的閉環模擬，另一方面需要系統的更新系統仿真軟件才可以實現新場景、新業務的模擬。通過引入無人機平臺配合載荷模塊這一概念，從坐標轉換的角度出發，在理論上推導了利用“無人機+載荷”實現動目標模擬的算法流程。通過算法仿真，證實了利用該算法流程實現真實彈道模擬的可行性。 發表于：12/20/2022 4:41:00 PM 基于NuSMV的LD和ST語言形式化驗證研究與實現[其他][工業自動化] 依據工控系統的特點，在分析現有工控系統編程標準IEC61131-3規定的工業語言基礎上，研究基于工業語言的形式化驗證方法，通過對ST和LD語言進行分析得到有限狀態機組態模型，實現對控制目標進行準確描述；通過NuSMV驗證有限狀態機模型，獲得形式化驗證的結果，從而實現對IEC61131-3編程語言實現的PLC邏輯代碼進行分析，建立形式化驗證模型，發現用戶編寫的PLC邏輯代碼可能存在的邏輯缺陷，并提供對這些缺陷分析驗證的報告。 發表于：12/20/2022 4:37:00 PM FDI攻擊下孤島交流微電網滑模控制策略[測試測量][智能電網] 針對孤島交流微電網控制系統中不可避免的虛假數據注入攻擊問題，當存在外部干擾時，設計了主動容侵控制策略。首先針對孤島交流微電網逆變系統，構建系統狀態空間模型。將控制系統傳感器側可能受到的虛假數據注入攻擊信息當作一個輔助狀態向量，設計滑模攻擊觀測器對系統中的狀態變量和虛假數據注入攻擊信息同時進行估計。在獲得攻擊的估計信息后，利用積分滑模容侵控制器對虛假數據注入攻擊和外部有限能量干擾進行主動容侵控制，以確保微電網系統的穩定運行。最后，通過仿真驗證了所提方法的可行性和有效性。 發表于：12/20/2022 4:33:00 PM 5G+MEC在家電業機器視覺檢測系統中的應用[顯示光電][5G] 為了解決家電業依賴人工進行外觀質量檢測的長期痛點，將5G+MEC的機器視覺關鍵技術進行創新應用，構建了智能化產品表面質量檢測系統。檢測系統以云邊協同模式運營，支持圖片和視頻的邊緣端推理，云端算法終端下載部署，支持異構計算，實時性高。系統基于決策分析工具、人工智能、大數據分析等技術對采集的數據進行綜合管理及應用。同時，關聯企業MES、SCADA、WMS等系統，集成生產端數據、物料數據、市場追蹤反饋數據，實現產品全生命周期的數據互聯及質量追溯。 發表于：12/20/2022 4:30:00 PM ?…108109110111112113114115116117…?
