国产亚洲精品久久久久婷婷瑜伽_深夜视频在线观看_国产精品久久久久一区二区_国产成人网_国产精品区在线12p_午夜视频色

詳細摘要： 中斷缺陷檢測工具軟件一款專門針對中斷相關缺陷檢測的商業化工具，能夠檢測中斷導致的數據訪問沖突和代碼塊的原子性違反。聯系我們，試用中斷缺陷檢測工具。屬于自助可控國...

詳細摘要： 是一款針對Verilog-HDL、VHDL語言，具有自主知識產權的代碼缺陷檢查管理平臺。 采用了國內的HDL代碼靜態分析技術，提供了針對HDL代碼編碼風格、可綜...

詳細摘要： 軟件源代碼缺陷深度分析平臺新一代軟件源代碼缺陷深度分析平臺，源自清華大學與國防科技大學研究團隊多年對代碼靜態分析技術的理論深耕，結合軟件工程實踐研發而成，具有良...

詳細摘要： 對軟件二進制代碼進行函數級和基本塊級**比對，從海量代碼庫中搜索相同、相似的代碼片段和函數。BlackDuck國產替代|BinDiff軟件國產替代

詳細摘要： 代碼**與質量管理軟件是一個面向軟件代碼**性、可靠性的多維度代碼**與質量管理平臺，源自 SonarQube Community 支持對上等開發語言C、Jav...

詳細摘要： 軟件源代碼缺陷深度分析軟件新一代軟件源代碼缺陷深度分析平臺，源自清華大學與國防科技大學研究團隊多年對代碼靜態分析技術的理論深耕，結合軟件工程實踐研發而成，具有良...

詳細摘要： 航天復雜任務智能規劃平臺在有限資源和復雜的時間、空間、人因等約束下，按照一定的優化目標對任務進行籌劃，形成*優或近似*優工作計劃的決策過程。國產工業軟件品牌（一...

詳細摘要： 流式大數據分析與診斷平臺?面對大量、高速、持續的動態數據，挖掘、分析數據中蘊含的異常信息，實時、準確地掌握設備健康狀態的診斷過程。（一）主要研究內容 1. 基于...

詳細摘要： 航天器實時定軌與相對導航技術高動態高精度GNSS接收機研究方向簡介：在航天器高精度相對導航技術、高精度動力學建模技術、事后精密軌道確定方法以及實時定軌技術等方面...

詳細摘要： 國產柔性集成測試系統軟件針對航空航天和裝備等領域中復雜電子學系統任務領域廣泛、接口類型多樣、多級別測試需求復合等特點，開展柔性智能測試平臺技術研究，設計完成了“...

詳細摘要： 單粒子故障注入檢測工具1.背景介紹單粒子故障注入檢測工具隨著我國航空、航天任務蓬勃發展，天基高速數據處理和在軌功能重構等新技術取得了重大突破。然而，空間近地軌道...

詳細摘要： C程序靜態分析工具Canalyze國產替代軟件1.需求及背景軟件測試與分析是發現軟件缺陷、提高軟件質量的重要措施。動態測試是保障軟質量的傳統手段。不過，它依賴于...

詳細摘要： Simulink國產替代仿真軟件嵌入式軟件建模工具在**關鍵領域，基于模型的軟件工程或者軟件開發已逐漸進入了我國的裝備研制過程中。使用SimuLink或者SCA...

詳細摘要： 國產嵌入式軟件系統仿真平臺SkyEye是一種高性能、高擴展性、易于復制使用的嵌入式軟件系統仿真工具。在不具備目標硬件的情況下，國產嵌入式軟件系統仿真平臺SkyE...

詳細摘要： Modelcoder形式化驗證的代碼生成工具軟件是高**性嵌入式軟件的開發標準，是SCADE軟件國產替代解決方案其應用領域涵蓋航空、國防、軌道交通、能源和重工業...

詳細摘要： 類似于MATLAB軟件?國產替代MATLAB軟件·MATLAB®: MATLAB 語言的單元測試框架MATLAB工作界面目前已經可以替代Matlab的部...

詳細摘要： Simulink替代軟件國內同款Simulink軟件埃登威國內仿真軟件介紹：團隊：源于清華大學康教授團隊+后期前華為技術工程師組成目標：國內此領域仿真軟件頭使命...

詳細摘要： 形式化驗證的代碼生成工具軟件ModelCoder在**關鍵領域，基于模型的軟件工程或者軟件開發已逐漸進入了我國的裝備研制過程中。使用SimuLink或者SCAD...

詳細摘要： SysModeler**軟件基于SysML的系統建模工具SysModeler迪捷數原科技是埃登威公司代理的高科技軟件產品，MBSE從需求階段開始即通過模型（而非...

詳細摘要： 國產系統仿真平臺軟件SkyEye是一種全系統虛擬機器，它能高效地在目標硬件上運行原生的產品代碼。SkyEye是由國內清華大學康碩教授為核心團隊經過4年時間開發而...