|
搜索
搜 索
高等教育領域數字化綜合服務平臺
嵌入式實時系統建模驗證工具
為了提高安全關鍵實時嵌入式軟件系統的質量，降低開發成本與周期，并使得軟件系統具有可重用、可移植和互操作等特性，基于目前國際標準體系結構描述語言AADL（ Architecture Analysis and Design Language）和同步語言Signal，研發了輔助配套軟件工具集，可進行系統的可靠性、可調度性、安全性分析，以及自動代碼生成，從全生命周期的角度保證系統的可信性質。 本項目主要特點如下。 1．可以插件的形式集成在AADL開發平臺OSATE上，支持高可靠性實時系統的軟件設計建模； 2．可以提供集成開發環境，將AADL模型轉換為TASM模型和UPPAL模型，然后采用相關的模型分析和檢測工具進行驗證分析，包括可靠性、可調度性、時間屬性等分析； 3．可以支持基本的AADL到C，Signal到OpenMP的自動代碼生成技術。 目前該成果已指導多個關鍵實時系統的建模和驗證應用，獲得國家專利1項。
北京航空航天大學
2021-04-13
并行程序性能監測工具包
針對集群和多核服務器平臺，該軟件工具集可以對系統資源和并行程序性能進行在線監測和性能分析展示，幫助用戶監測系統資源和發現并行程序瓶頸，輔助進行程序優化。性能數據的采集主要是通過對被監測進程的插樁和包裝庫的結合實現，可對MPI程序、OpenMP程序和CUDA程序進行性能監測。 本項目主要特點如下。 1.合理的數據采集方式，可以對混合結構高性能計算系統進行性能監測，較少的監測擾動； 2.基于MRnet的樹形數據匯聚和類庫，保證了大量性能監測數據的快速高效匯集，并提供同步，匯總等功能接口； 3.多種數據分析統計方法，高效的分析和多視角可視化圖形展示，輔助用戶分析瓶頸進行優化。該成果在國家863計劃支持下，已在多個計算中心應用，獲得國家專利3項。
北京航空航天大學
2021-04-13
高級外科基本技能訓練工具箱
XM-LV3高級外科基本技能訓練工具箱
?
一、功能特點：
■ XM-LV3縫合練習工具箱采用高分子材料制成，膚質仿真度高。
■ 提供皮膚縫合模塊以及常用的縫合器械。
■ 皮膚模塊分層清晰，具有真實的皮膚組織張力。
■ 可自行在任何部位進行切開縫合練習。
■ 可反復進行練習。
■ 尺寸：30×17×7cm。
?
二、標準配置：
■ 高級外科基本技能訓練工具箱：1套
■ 說明書：1冊
■ 保修卡合格證：1張
上海欣曼科教設備有限公司
2021-08-23
浪潮服務器插件工具(Plugin Suite)-浪潮
浪潮服務器插件工具(Plugin Suite),實現Zabbix等第三方平臺對浪潮服務器的資產監控、組件監控、固件升級和固件配置等功能，滿足用戶對設備統一納管需求。
浪潮集團有限公司
2021-06-16
產品生命周期評價技術及軟件工具
項目為產品生命周期評價、綠色設計與制造提供關鍵支撐技術，為企業 規避國際貿易壁壘提供評價數據、報告；提供產品綠色方案設計評價方法和工 具，實現產品綠色設計。
山東大學
2021-04-13
數字視頻內容篡改取證分析工具平臺
數字視頻內容真實性和完整性鑒別問題，已經成為公安司法取證、互聯網視頻內容鑒偽等領域的迫切需求和技術難點。本項目成果--數字視頻內容篡改取證分析工具平臺，是信息內容分析技術國家工程實驗室信息認知實驗室研究團隊，在國家863項目和多項國家自然科學基金的支持下，獨立開發的具有完全自主知識產權的成果，擁有4項發明專利，并取得軟件著作權登記。 基于視頻篡改取證分析工具平臺，能夠在不需要任何先驗知識的情況下，實現對數字視頻幀刪除、幀插入等各類幀間篡改，以及復制-粘貼等幀內篡改等，而導致原始視頻信息完整性被改變情況的被動取證分析。 該平臺共提供了4種視頻取證與篡改分析的算法，包括光流場特征篡改檢測，速度場特征篡改檢測，復制-粘貼篡改檢測以及基于馬爾科夫特征的雙壓縮檢測。在國際上首次提出了通過采用光流變化率以及空間金字塔結構，對視頻解壓縮后的圖像序列中光流特征的一致性檢測，從而發現由于幀刪除或幀插入造成的光流特征統計直方圖突變的間斷點檢測。該方法在國際第三方測試庫上的檢測準確率可達到95%以上，在上海市人民檢察院提供監控視頻實際樣例測試庫上可達到80%以上。 目前該平臺已在上海市人民檢察院視聽科進行試用及合作推廣。本項目成果可以廣泛應用在國家司法機關、檢察院和公安體系以及商業數字證據鑒定中心，用于鑒定監控視頻或者網絡視頻的真實性、原始性和唯一性。圖2 視頻篡改取證分析工具平臺配置界面
上海交通大學
2021-04-13
英國派特（PTE）涂裝檢測工具包
產品詳細介紹英國派特（PTE）涂裝檢測工具包
型號：K3001
產地：英國
品牌：派特
PTE涂裝檢測儀器工具包是一套可以滿足工業油漆工和產品檢驗員日常標準要求的綜合性套裝設備。
★涂裝檢測工具包K3001包括下列設備：
Eban4000 –涂層測厚儀配C4001探頭
F1009 - 8片裝校準箔
Z1003 -–鋼零板
T2003 -表面接觸數字溫度計
H2005 –露點儀
W2001 -濕膜計（不銹鋼，厚度25u-1500u，45齒）
R1002 – 拓紙
R1004 –粗糙度儀
R1003 –壓棒
P2004 – 鹽分檢測儀全套
東莞德光電子儀器公司
2021-08-23
山東易斯特工程工具有限公司
山東易斯特工程工具有限公司位于聊城市高新區，系高新區重點骨干企業，聊城市高新技術企業，公司成立于2006年，注冊資金5000萬元，企業總資產2億元，占地5萬平方米，建筑面積35000平方米，擁有機械加工、焊接等國際先進設備30余臺套。
主導產品為盾構刀具、盾尾刷等一系列盾構配套產品，和高端反井鉆機的研發設計與加工制造。公司秉承“誠信為本、創新為魂”的企業宗旨，根據用戶需要，設計、研發生產適用于不同地質狀況的盾構刀具產品，多次參與國內外重大隧道工程項目刀具的技術攻關，在國內地鐵、隧道盾構施工領域具有很好的美譽度和影響力，不僅廣泛應用在全國數百個軌道交通、地鐵隧道建設施工項目，而且還遠銷日本、澳大利亞、美國及“一帶一路”等多個國家和地區。
山東易斯特工程工具有限公司堅持“專業技術、專業制造、專業服務”的企業方針，致力于打造國內外專業一流、研發一流、服務一流的盾構刀具企業。先后被認定“高新技術企業”，科學先導型企業等榮譽稱號，通過了中國質量認證中心頒發的ISO9001質量管理體系認證。
目前公司已與中國中鐵、中國鐵建、中國建筑、中國水利水電、中國交通這五大建設施工龍頭企業及各省市大型盾構施工企業進行長期緊密合作，在深圳、廣州、南寧、成都、廈門都設有高水平的滾刀維修車間。
山東易斯特工程工具有限公司
2021-08-30
工業數字孿生場景構建工具（Mint-DTB）
上海明材數字科技有限公司
2022-06-28
可穿戴式移動互聯飛機維修輔助工具
聯網登錄后臺服務器，查詢和瀏覽網頁及數字維修資料；通過FTP客戶端，從后臺服務器下載文件及解壓壓縮文件至SD存儲卡；拍攝現場圖片、短視頻并傳回服務器供分析處理；實時加密通話，方便現場維修人員與專家團交流溝通；語音命令識別，解放操作人員雙手等。 應用領域： 飛機維修，宇航員執行任務，大型機械遠程維修，遠程醫療，軍事作戰現場等。 特色及先進性： 輕便可穿戴，雙目成像眼睛，語音識別解放雙手，通話加密，強大的后臺專家資源支持等。 解決的關鍵問題和實施后效果： 解放了遠程維修人員的雙手，使維修現場能夠得到后臺強大的專家資源支持，實施后可以大大節省維修時間，解決更多復雜的維修問題。 圖1 雙目可穿戴設備實物 圖2 單目可穿戴設備實物
電子科技大學
2021-04-10