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