-
ModelCoder模块系列：PID模块介绍
ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder当前拥有9个基础模块库，40余个模块，PID Controller为ModelCoder实现PID控制算法的模块。
2022-03-17 digiproto
-
【视频】基于SkyEye的数字卫星仿真平台
众所周知，在太空中，卫星为了完成航天任务，在安全性与可靠性上有着极高的要求。为了确保卫星能够在太空中长时间安全地运转，卫星的各个系统本身不能有任何功能缺陷，而且需要适应各种特殊的环境，例如，适应巨大的温差变化，或者防止由于外太空高能量粒子冲击卫星太阳能板导致的程序反转等问题的发生。
2022-02-17 digiproto
-
走进C/C++函数的名字改编
现在的编程语言中，不同的变量或函数可以用相同的标识符命名，只要它们占据不同的命名空间（通常由模块、类或作用域定义）或有不同的签名（如在函数重载中）时，就可能会出现标识符重名的情况。另外，根据编译器和平台的不同，函数的调用方式在编译为机器代码后也可能使用不同的、专门的调用约定。
2022-01-10 digiproto
-
初入SysML之模块定义图
如果把系统工程看做一座山，那么基于SysML或UML的各种图就是从不同角度去看这座山所形成的“画”。“横看成岭侧成峰，远近高低各不同”，每幅“画”都能展现出其不同角度的“美”，但又无法完全画出每一棵树、每一朵花。 今天我们来画一下山的脉络——模块定义图。文绉绉的东西放后面，直接从实例说起吧。比如台式机由主机、显示器、鼠标、键盘、音响等组成，用SysML怎么表示呢？
2021-11-25 digiproto
-
![细数SkyEye异构仿真的5大特色]()
细数SkyEye异构仿真的5大特色
航天飞行器使用仿真器的重要性航天飞行器如卫星、载人飞船等需要在空中运行很长的时间，如果出现问题回收再调试可能要历时几个月，而且不得不中断任务，损失将是庞大的。
2021-09-15 digiproto
-
![清华大学操作系统讲座]()
清华大学操作系统讲座
2016年5月24日，耶鲁大学计算机系教授邵中老师在清华大学FIT大楼进行了操作系统验证方面的讲座。讲座由北京迪捷数原科技有限公司的首席科学家陈渝老师主持，公司多名研发工程师均参加了此次讲座。
2020-10-21 迪捷软件
