-
ModelCoder中的代数环问题
2020年5月23日,美国商务部宣布,将共计33家中国公司和机构列入实体清单,哈工大、哈工程被禁用“工科神器”Matlab,而Simulink是Matlab软件的扩展,它是一个实现动态系统建模和仿真的软件。Matlab在国内知名院校和关键领域研究院所的禁用,给在国内坐了多年冷板凳,从事基础软件研究和产业化的我们,带来了机遇。
2023-05-15 digiproto
-
初识CPS方法的连续动态建模
信息物理融合系统(CPS)是对计算进程与物理进程进行集成所形成的综合系统,其行为由系统的信息部分及物理部分共同定义。嵌入式系统中的计算机与网络监测并控制物理进程,且在通常情况下这些物理进程与计算进程在反馈环路中相互影响。
2023-05-15 digiproto
-
ModelCoder状态机:对柴油机工况判断策略进行建模
1.柴油机ECU简介柴油机是用柴油作燃料的内燃机,属于压缩点火式发动机。柴油机ECU(Electronic Control Unit,电子控制单元)的主要功能有:接受来自柴油机上的各个传感器信号;进行工况判断;根据开发人员事先编写的控制策略与标定存储的各类MAP(汽车工程上常用的实验数据图),计算判断在当前工况下的所需的喷油量、喷油正时与喷射压力等控制参数;通过功率驱动模块控制执行器输出。柴油机E
2022-07-29 digiproto
-
ModelCoder:实现汽车四轮转向控制系统的建模仿真
ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具,支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,以保证生成过程的正确无误性,能够用于汽车控制系统、飞行控制系统,航空电子系统,核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2022-04-27 digiproto