哪個(gè)國(guó)產(chǎn)軟件可以代替Matlab的simulink清華團(tuán)隊(duì)康教授
說(shuō)句實(shí)話，由于一直處于應(yīng)用開(kāi)發(fā)，對(duì)學(xué)術(shù)圈的活動(dòng)的關(guān)注比較少。
在設(shè)計(jì)方面的軟件，kicad， freecad， ngspice，甚至gimp這些項(xiàng)目我一直在跟蹤，防止政治沖擊。
萬(wàn)萬(wàn)沒(méi)想到，還有一個(gè)大魚(yú) matlab對(duì)我們學(xué)術(shù)的影響這么大，我確實(shí)沒(méi)有想到。
不過(guò)還好，*近看到學(xué)術(shù)界還有個(gè) scilab 開(kāi)源項(xiàng)目做頂替，有時(shí)間我去摸索一下，希望江河大好。哪個(gè)國(guó)產(chǎn)軟件可以代替Matlab的simulink清華團(tuán)隊(duì)康教授
關(guān)于MATLAB的自研替代方案，個(gè)人認(rèn)為，這么多的函數(shù)模型，需要開(kāi)發(fā)和替換還是有很大的難度，不過(guò)，python在這塊做得還不錯(cuò)，另外就是 Simulink 的替代，重點(diǎn)也是可視化方面，本人認(rèn)為，可以使用pyqt做一個(gè)開(kāi)源的界面項(xiàng)目。
萬(wàn)事開(kāi)頭難，*怕有心人。
哪個(gè)國(guó)產(chǎn)軟件可以代替Matlab的simulink清華團(tuán)隊(duì)康教授
埃登威旗下這家低調(diào)的公司已經(jīng)默默耕耘數(shù)十年，在**市場(chǎng)嶄露頭角，豪華的創(chuàng)業(yè)團(tuán)隊(duì)，下面做一個(gè)簡(jiǎn)單介紹，
創(chuàng)始人：
康爍，迪捷軟件科技有限公司創(chuàng)始人，2005年畢業(yè)于清華大學(xué)軟件學(xué)院，獲得碩士學(xué)位，曾在美國(guó)ADI，華為公司等擔(dān)任**工程師、主任工程師等職務(wù)。
康爍擁有超過(guò)17年的系統(tǒng)軟件科研和工程經(jīng)驗(yàn)，其中包含操作系統(tǒng)、編譯器、虛擬機(jī)、關(guān)鍵領(lǐng)域軟件**等領(lǐng)域，主持和參與了多個(gè)國(guó)內(nèi)外開(kāi)源項(xiàng)目，且在實(shí)際工程中均得到廣泛應(yīng)用。其中，SkyEye全數(shù)字仿真產(chǎn)品應(yīng)用于國(guó)內(nèi)航空航天領(lǐng)域的眾多型號(hào)的研發(fā)測(cè)試領(lǐng)域；符號(hào)執(zhí)行軟件android_s2e被華為以及國(guó)內(nèi)**單位應(yīng)用于軟件測(cè)試方面；基于LLVM的安卓虛擬機(jī)入選了2015年《LLVM開(kāi)發(fā)人大會(huì)》的項(xiàng)目展示環(huán)節(jié)；參與的L2C項(xiàng)目被國(guó)內(nèi)核電單位應(yīng)用于相關(guān)設(shè)備中。哈工大被禁用Matlab后國(guó)產(chǎn)可替代軟件出現(xiàn)ModelCoder
從2006年起，康爍連續(xù)十年參與籌辦了國(guó)內(nèi)*大的linux內(nèi)核會(huì)議（CLK），并且也是國(guó)內(nèi)開(kāi)源軟件工具（OSDT,前身為HelloGcc）的發(fā)起人之一。目前主要研究方向是用于**關(guān)鍵領(lǐng)域的各種國(guó)產(chǎn)自主知識(shí)產(chǎn)權(quán)的軟件工具。
團(tuán)隊(duì)成員：
25名前華為技術(shù)工程師、清華大學(xué)研究生博士生團(tuán)隊(duì)。
目前國(guó)內(nèi)客戶：
|
中國(guó)航空G業(yè)集團(tuán)有限公司
|
成都飛J設(shè)計(jì)研究所
西安航K計(jì)算技術(shù)研究所
西安自D飛行控制研究所
洛陽(yáng)電光S備研究所
|
|
中國(guó)航天K技集團(tuán)有限公司
|
四川航天J術(shù)研究院
上海航天J術(shù)研究院
上海航天J制技術(shù)研究所
上海衛(wèi)星G程研究所
|
|
中國(guó)航天K工集團(tuán)有限公司
|
航天X院
航天X江集團(tuán)
|
|
中國(guó)船舶G業(yè)集團(tuán)有限公司
|
中國(guó)船舶工Y系統(tǒng)工程研究院
|
|
中國(guó)電子K技集團(tuán)有限公司
|
第X研究所
第XXX研究所
|
|
中國(guó)電子信息產(chǎn)業(yè)集團(tuán)有限公司
|
武漢中原D子集團(tuán)有限公司
|
|
中國(guó)核工Y集團(tuán)有限公司
|
中國(guó)核動(dòng)L研究設(shè)計(jì)院
廣東核D集團(tuán)
|
|
中國(guó)航空發(fā)動(dòng)J集團(tuán)有限公司
|
中國(guó)航發(fā)商用航K發(fā)動(dòng)機(jī)有限責(zé)任公司
|
|
高校合作
|
清華大學(xué)
武漢理工大學(xué)
重慶交通學(xué)院
新疆農(nóng)業(yè)職業(yè)技術(shù)學(xué)院
中國(guó)礦業(yè)大學(xué)
華南理工大學(xué)
北京交通大學(xué)
湖南大學(xué)
合肥工業(yè)大學(xué)
中國(guó)科學(xué)技術(shù)大學(xué)
西安電子科技大學(xué)
中山大學(xué)
山東科技大學(xué)
遼寧工程技術(shù)大學(xué)
河南工業(yè)大學(xué)
天津理工大學(xué)
成都電子科技大學(xué)
中國(guó)人民解放軍裝甲兵工程學(xué)院
|
|
其他客戶
|
華為
北京星地恒通
重慶慧爾科技
蘇州勝利科技有限公司
天津華寧電子
大連微龍軟件有限公司
廣州國(guó)筆科技公司
北京國(guó)威集成技術(shù)有限公司
|
ModelCoder的介紹
在**關(guān)鍵領(lǐng)域，基于模型的軟件工程或者軟件開(kāi)發(fā)已逐漸進(jìn)入了我國(guó)的裝備研制過(guò)程中。使用SimuLink或者SCADE等嵌入式軟件建模工具對(duì)算法或者控制邏輯進(jìn)行可視化建模，然后生成高可靠的二進(jìn)制代碼逐漸成為了**關(guān)鍵領(lǐng)域的主流軟件開(kāi)發(fā)方式。由我司自主開(kāi)發(fā)的ModelCoder是一款支持多種嵌入式系統(tǒng)建模并可以自動(dòng)生成高**可靠的C代碼的軟件設(shè)計(jì)和開(kāi)發(fā)工具。ModelCoder支持同步數(shù)據(jù)流以及狀態(tài)機(jī)等嵌入式模型，其從模型生成代碼的過(guò)程經(jīng)過(guò)了形式化驗(yàn)證，保證生成過(guò)程的正確無(wú)誤性，能夠用于飛機(jī)的飛控，飛機(jī)的航電，核電的DCS等多個(gè)**關(guān)鍵領(lǐng)域的嵌入式軟件的設(shè)計(jì)和開(kāi)發(fā)。哪個(gè)國(guó)產(chǎn)軟件可以代替Matlab的simulink清華團(tuán)隊(duì)康教授
ModelCoder的原理
代碼生成工具是編譯器的一種，是把模型語(yǔ)言翻譯成C語(yǔ)言的編譯器。代碼生成工具廣泛用于我國(guó)的航空、軌交和核電等**關(guān)鍵領(lǐng)域。保證代碼生成工具的生成過(guò)程的**可靠性是**關(guān)鍵領(lǐng)域必須要面對(duì)的課題。ModelCoder采用了*嚴(yán)格的形式化技術(shù)，用定理證明的方式對(duì)模型到代碼的生成過(guò)程進(jìn)行了嚴(yán)格的數(shù)學(xué)證明。和同類軟件SCADE的KCG相比，KCG只是采用了模型檢測(cè)技術(shù)對(duì)模型本身進(jìn)行了證明，而ModelCoder無(wú)疑在技術(shù)途徑上更為可靠。
ModelCoder的翻譯過(guò)程如下：
ModelCoder翻譯流程簡(jiǎn)圖
ModelCoder的功能
ModelCoder的功能分為三個(gè)部分：1）軟件建模的圖形化前端；2）模型的仿真運(yùn)行測(cè)試模塊；3）C代碼的自動(dòng)生成模塊。哪個(gè)國(guó)產(chǎn)軟件可以代替Matlab的simulink清華團(tuán)隊(duì)康教授其他產(chǎn)品：微量氧分析儀,藥品殘氧儀,露點(diǎn)儀,熱導(dǎo)氣體分析儀,GE流量計(jì),OX-1氧傳感器,頂空分析儀,紅外氣體分析儀,高溫濕度儀,西門(mén)子U23分析儀,ppb微量水分析儀,OXY.IQ氧分析儀,煙氣濕度儀,燃?xì)鉄嶂祪x,Kaye溫度驗(yàn)證儀,L&W白度,儀激光氧分析儀,壓縮空氣露點(diǎn)儀,干燥機(jī)露點(diǎn)儀,激光氣體分析儀,便攜式露點(diǎn)儀,便攜式微量氧分析儀西門(mén)子氧電池\oxy-12\ultramat-23代表U23氧模塊價(jià)格|PID傳感器 |總代理|代表處|授權(quán)代理商|辦事處|分公司|全資子公司|價(jià)格|品牌|批發(fā)|選型|維修|校準(zhǔn)
ModelCoder的圖形化前段
ModelCoder的仿真運(yùn)行測(cè)試模塊
更多哪個(gè)國(guó)產(chǎn)軟件可以代替Matlab的simulink清華團(tuán)隊(duì)康教授息請(qǐng)直接致電埃登威上海021-55581219
