哪个国产软件可以代替Matlab的simulink清华团队康教授
说句实话，由于一直处于应用开发，对学术圈的活动的关注比较少。
在设计方面的软件，kicad， freecad， ngspice，甚至gimp这些项目我一直在跟踪，防止政治冲击。
万万没想到，还有一个大鱼 matlab对我们学术的影响这么大，我确实没有想到。
不过还好，*近看到学术界还有个 scilab 开源项目做顶替，有时间我去摸索一下，希望江河大好。哪个国产软件可以代替Matlab的simulink清华团队康教授
关于MATLAB的自研替代方案，个人认为，这么多的函数模型，需要开发和替换还是有很大的难度，不过，python在这块做得还不错，另外就是 Simulink 的替代，重点也是可视化方面，本人认为，可以使用pyqt做一个开源的界面项目。
万事开头难，*怕有心人。
哪个国产软件可以代替Matlab的simulink清华团队康教授
埃登威旗下这家低调的公司已经默默耕耘数十年，在**市场崭露头角，豪华的创业团队，下面做一个简单介绍，
创始人：
康烁，迪捷软件科技有限公司创始人，2005年毕业于清华大学软件学院，获得硕士学位，曾在美国ADI，华为公司等担任**工程师、主任工程师等职务。
康烁拥有超过17年的系统软件科研和工程经验，其中包含操作系统、编译器、虚拟机、关键领域软件**等领域，主持和参与了多个国内外开源项目，且在实际工程中均得到广泛应用。其中，SkyEye全数字仿真产品应用于国内航空航天领域的众多型号的研发测试领域；符号执行软件android_s2e被华为以及国内**单位应用于软件测试方面；基于LLVM的安卓虚拟机入选了2015年《LLVM开发人大会》的项目展示环节；参与的L2C项目被国内核电单位应用于相关设备中。哈工大被禁用Matlab后国产可替代软件出现ModelCoder
从2006年起，康烁连续十年参与筹办了国内*大的linux内核会议（CLK），并且也是国内开源软件工具（OSDT,前身为HelloGcc）的发起人之一。目前主要研究方向是用于**关键领域的各种国产自主知识产权的软件工具。
团队成员：
25名前华为技术工程师、清华大学研究生博士生团队。
目前国内客户：
|
中国航空G业集团有限公司
|
成都飞J设计研究所
西安航K计算技术研究所
西安自D飞行控制研究所
洛阳电光S备研究所
|
|
中国航天K技集团有限公司
|
四川航天J术研究院
上海航天J术研究院
上海航天J制技术研究所
上海卫星G程研究所
|
|
中国航天K工集团有限公司
|
航天X院
航天X江集团
|
|
中国船舶G业集团有限公司
|
中国船舶工Y系统工程研究院
|
|
中国电子K技集团有限公司
|
第X研究所
第XXX研究所
|
|
中国电子信息产业集团有限公司
|
武汉中原D子集团有限公司
|
|
中国核工Y集团有限公司
|
中国核动L研究设计院
广东核D集团
|
|
中国航空发动J集团有限公司
|
中国航发商用航K发动机有限责任公司
|
|
高校合作
|
清华大学
武汉理工大学
重庆交通学院
新疆农业职业技术学院
中国矿业大学
华南理工大学
北京交通大学
湖南大学
合肥工业大学
中国科学技术大学
西安电子科技大学
中山大学
山东科技大学
辽宁工程技术大学
河南工业大学
天津理工大学
成都电子科技大学
中国人民解放军装甲兵工程学院
|
|
其他客户
|
华为
北京星地恒通
重庆慧尔科技
苏州胜利科技有限公司
天津华宁电子
大连微龙软件有限公司
广州国笔科技公司
北京国威集成技术有限公司
|
ModelCoder的介绍
在**关键领域，基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模，然后生成高可靠的二进制代码逐渐成为了**关键领域的主流软件开发方式。由我司自主开发的ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高**可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，保证生成过程的正确无误性，能够用于飞机的飞控，飞机的航电，核电的DCS等多个**关键领域的嵌入式软件的设计和开发。哪个国产软件可以代替Matlab的simulink清华团队康教授
ModelCoder的原理
代码生成工具是编译器的一种，是把模型语言翻译成C语言的编译器。代码生成工具广泛用于我国的航空、轨交和核电等**关键领域。保证代码生成工具的生成过程的**可靠性是**关键领域必须要面对的课题。ModelCoder采用了*严格的形式化技术，用定理证明的方式对模型到代码的生成过程进行了严格的数学证明。和同类软件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传感器 |总代理|代表处|授权代理商|办事处|分公司|全资子公司|价格|品牌|批发|选型|维修|校准
ModelCoder的图形化前段
ModelCoder的仿真运行测试模块
更多哪个国产软件可以代替Matlab的simulink清华团队康教授息请直接致电埃登威上海021-55581219
