食品機(jī)械設(shè)備網(wǎng)-
中斷缺陷檢測(cè)工具軟件 詳細(xì)摘要： 中斷缺陷檢測(cè)工具軟件一款專門針對(duì)中斷相關(guān)缺陷檢測(cè)的商業(yè)化工具，能夠檢測(cè)中斷導(dǎo)致的數(shù)據(jù)訪問沖突和代碼塊的原子性違反。聯(lián)系我們，試用中斷缺陷檢測(cè)工具。屬于自助可控國...
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-14 參考價(jià)： 面議 在線留言 -
HDL代碼靜態(tài)分析工具 詳細(xì)摘要： 是一款針對(duì)Verilog-HDL、VHDL語言，具有自主知識(shí)產(chǎn)權(quán)的代碼缺陷檢查管理平臺(tái)。 采用了國內(nèi)的HDL代碼靜態(tài)分析技術(shù)，提供了針對(duì)HDL代碼編碼風(fēng)格、可綜...
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-14 參考價(jià)： 面議 在線留言 -
軟件源代碼缺陷深度分析平臺(tái) 詳細(xì)摘要： 軟件源代碼缺陷深度分析平臺(tái)新一代軟件源代碼缺陷深度分析平臺(tái)，源自清華大學(xué)與國防科技大學(xué)研究團(tuán)隊(duì)多年對(duì)代碼靜態(tài)分析技術(shù)的理論深耕，結(jié)合軟件工程實(shí)踐研發(fā)而成，具有良...
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-14 參考價(jià)： 面議 在線留言 -
二進(jìn)制代碼同源分析軟件 詳細(xì)摘要： 對(duì)軟件二進(jìn)制代碼進(jìn)行函數(shù)級(jí)和基本塊級(jí)**比對(duì)，從海量代碼庫中搜索相同、相似的代碼片段和函數(shù)。BlackDuck國產(chǎn)替代|BinDiff軟件國產(chǎn)替代
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-14 參考價(jià)： 面議 在線留言 -
代碼**與質(zhì)量管理軟件 詳細(xì)摘要： 代碼**與質(zhì)量管理軟件是一個(gè)面向軟件代碼**性、可靠性的多維度代碼**與質(zhì)量管理平臺(tái)，源自 SonarQube Community 支持對(duì)上等開發(fā)語言C、Jav...
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-05 參考價(jià)： 面議 在線留言 -
軟件源代碼缺陷深度分析軟件 詳細(xì)摘要： 軟件源代碼缺陷深度分析軟件新一代軟件源代碼缺陷深度分析平臺(tái)，源自清華大學(xué)與國防科技大學(xué)研究團(tuán)隊(duì)多年對(duì)代碼靜態(tài)分析技術(shù)的理論深耕，結(jié)合軟件工程實(shí)踐研發(fā)而成，具有良...
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-05 參考價(jià)： 面議 在線留言 -
航天復(fù)雜任務(wù)智能規(guī)劃平臺(tái) 詳細(xì)摘要： 航天復(fù)雜任務(wù)智能規(guī)劃平臺(tái)在有限資源和復(fù)雜的時(shí)間、空間、人因等約束下，按照一定的優(yōu)化目標(biāo)對(duì)任務(wù)進(jìn)行籌劃，形成*優(yōu)或近似*優(yōu)工作計(jì)劃的決策過程。國產(chǎn)工業(yè)軟件品牌（一...
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-05 參考價(jià)： 面議 在線留言 -
流式大數(shù)據(jù)分析與診斷平臺(tái) 詳細(xì)摘要： 流式大數(shù)據(jù)分析與診斷平臺(tái)?面對(duì)大量、高速、持續(xù)的動(dòng)態(tài)數(shù)據(jù)，挖掘、分析數(shù)據(jù)中蘊(yùn)含的異常信息，實(shí)時(shí)、準(zhǔn)確地掌握設(shè)備健康狀態(tài)的診斷過程。（一）主要研究內(nèi)容 1. 基于...
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-05 參考價(jià)： 面議 在線留言 -
高動(dòng)態(tài)高精度GNSS接收機(jī) 詳細(xì)摘要： 航天器實(shí)時(shí)定軌與相對(duì)導(dǎo)航技術(shù)高動(dòng)態(tài)高精度GNSS接收機(jī)研究方向簡介：在航天器高精度相對(duì)導(dǎo)航技術(shù)、高精度動(dòng)力學(xué)建模技術(shù)、事后精密軌道確定方法以及實(shí)時(shí)定軌技術(shù)等方面...
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-05 參考價(jià)： 面議 在線留言 -
國產(chǎn)柔性集成測(cè)試系統(tǒng)軟件 詳細(xì)摘要： 國產(chǎn)柔性集成測(cè)試系統(tǒng)軟件針對(duì)航空航天和裝備等領(lǐng)域中復(fù)雜電子學(xué)系統(tǒng)任務(wù)領(lǐng)域廣泛、接口類型多樣、多級(jí)別測(cè)試需求復(fù)合等特點(diǎn)，開展柔性智能測(cè)試平臺(tái)技術(shù)研究，設(shè)計(jì)完成了“...
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-05 參考價(jià)： 面議 在線留言 -
單粒子故障注入檢測(cè)工具 詳細(xì)摘要： 單粒子故障注入檢測(cè)工具1.背景介紹單粒子故障注入檢測(cè)工具隨著我國航空、航天任務(wù)蓬勃發(fā)展，天基高速數(shù)據(jù)處理和在軌功能重構(gòu)等新技術(shù)取得了重大突破。然而，空間近地軌道...
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-05 參考價(jià)： 面議 在線留言 -
國產(chǎn)C程序靜態(tài)分析工具軟件 詳細(xì)摘要： C程序靜態(tài)分析工具Canalyze國產(chǎn)替代軟件1.需求及背景軟件測(cè)試與分析是發(fā)現(xiàn)軟件缺陷、提高軟件質(zhì)量的重要措施。動(dòng)態(tài)測(cè)試是保障軟質(zhì)量的傳統(tǒng)手段。不過，它依賴于...
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-05 參考價(jià)： 面議 在線留言 -
Simulink國產(chǎn)替代仿真軟件 詳細(xì)摘要： Simulink國產(chǎn)替代仿真軟件嵌入式軟件建模工具在**關(guān)鍵領(lǐng)域，基于模型的軟件工程或者軟件開發(fā)已逐漸進(jìn)入了我國的裝備研制過程中。使用SimuLink或者SCA...
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-05 參考價(jià)： 面議 在線留言 -
國產(chǎn)嵌入式軟件系統(tǒng)仿真平臺(tái) 詳細(xì)摘要： 國產(chǎn)嵌入式軟件系統(tǒng)仿真平臺(tái)SkyEye是一種高性能、高擴(kuò)展性、易于復(fù)制使用的嵌入式軟件系統(tǒng)仿真工具。在不具備目標(biāo)硬件的情況下，國產(chǎn)嵌入式軟件系統(tǒng)仿真平臺(tái)SkyE...
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-05 參考價(jià)： 面議 在線留言 -
SCADE軟件國產(chǎn)替代解決方案 詳細(xì)摘要： Modelcoder形式化驗(yàn)證的代碼生成工具軟件是高**性嵌入式軟件的開發(fā)標(biāo)準(zhǔn)，是SCADE軟件國產(chǎn)替代解決方案其應(yīng)用領(lǐng)域涵蓋航空、國防、軌道交通、能源和重工業(yè)...
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-05 參考價(jià)： 面議 在線留言 -
國產(chǎn)替代MATLAB軟件 詳細(xì)摘要： 類似于MATLAB軟件?國產(chǎn)替代MATLAB軟件·MATLAB®: MATLAB 語言的單元測(cè)試框架MATLAB工作界面目前已經(jīng)可以替代Matlab的部...
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-05 參考價(jià)： 面議 在線留言 -
國內(nèi)同款Simulink軟件 詳細(xì)摘要： Simulink替代軟件國內(nèi)同款Simulink軟件埃登威國內(nèi)仿真軟件介紹：團(tuán)隊(duì)：源于清華大學(xué)康教授團(tuán)隊(duì)+后期前華為技術(shù)工程師組成目標(biāo)：國內(nèi)此領(lǐng)域仿真軟件頭使命...
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-05 參考價(jià)： 面議 在線留言 -
形式化驗(yàn)證的代碼生成工具軟件 詳細(xì)摘要： 形式化驗(yàn)證的代碼生成工具軟件ModelCoder在**關(guān)鍵領(lǐng)域，基于模型的軟件工程或者軟件開發(fā)已逐漸進(jìn)入了我國的裝備研制過程中。使用SimuLink或者SCAD...
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-05 參考價(jià)： 面議 在線留言 -
基于SysML的系統(tǒng)建模工具SysModeler 詳細(xì)摘要： SysModeler**軟件基于SysML的系統(tǒng)建模工具SysModeler迪捷數(shù)原科技是埃登威公司代理的高科技軟件產(chǎn)品，MBSE從需求階段開始即通過模型（而非...
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-05 參考價(jià)： 面議 在線留言 -
國產(chǎn)系統(tǒng)仿真平臺(tái)軟件 詳細(xì)摘要： 國產(chǎn)系統(tǒng)仿真平臺(tái)軟件SkyEye是一種全系統(tǒng)虛擬機(jī)器，它能高效地在目標(biāo)硬件上運(yùn)行原生的產(chǎn)品代碼。SkyEye是由國內(nèi)清華大學(xué)康碩教授為核心團(tuán)隊(duì)經(jīng)過4年時(shí)間開發(fā)而...
產(chǎn)品型號(hào)： 所在地：上海市 更新時(shí)間：2025-03-05 參考價(jià)： 面議 在線留言