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