-
![智能汽车，不只是造出来的，更是“拟”出来的]()
智能汽车，不只是造出来的，更是“拟”出来的
过去，汽车是一种工业产品，定义它的是机械结构、发动机性能与制造工艺；而现在，汽车正快速转变为一个“数字终端”，其内核变成了算法、芯片和感知系统。在信息技术深度渗透下，汽车产业正经历一场从机械驱动到智能驱动的转型。
2025-07-11 digiproto
-
![数字样机：改写卫星物联网的研制范式]()
数字样机：改写卫星物联网的研制范式
随着物联网在城市、工业、农业等领域的广泛部署，万物互联的愿景正在不断逼近技术的边界。尤其是在海洋、沙漠、高原、边远山区等传统通信网络难以覆盖的区域，人们对无盲点物联网连接的需求日益增强。
2025-07-04 digiproto
-
![基于SkyEye的CAN总线通信测试]()
基于SkyEye的CAN总线通信测试
总线（Bus）指计算机各部件间执行信息传输工作的公共通信干线，是由导线组成的传输线束，通常由数据线、地址线、控制线构成。如将主板比作一座城市，就可将总线理解为城市中的公共汽车，按照固定行车路线传输信息。常见的总线有RS422/RS485总线、I2C总线、SPI总线、CAN总线（常用于汽车电子控制系统）、1553B总线（常用于航空、航天、军事等领域的电子联网系统）、1394总线（常用于航空系统领域）、FC总线（常用于航空航天领域）等。
2025-06-30 digiproto
-
![权威认可｜迪捷软件“基于全数字实时仿真的数字样机解决方案”荣登工信部重点推荐榜单]()
权威认可｜迪捷软件“基于全数字实时仿真的数字样机解决方案”荣登工信部重点推荐榜单
迪捷软件“基于全数字实时仿真的数字样机解决方案”成功入选工信部2024信息技术应用创新解决方案典型解决方案、重点推荐解决方案，受邀上台领奖，充分体现了业界对该方案在技术先进性、创新性和实际可行性方面的高度认可，彰显了该方案在信息技术应用创新领域的引领作用和广泛推广价值。
2025-06-27 digiproto
-
![SkyEye助力火箭“一”飞冲天]()
-
![浅谈CompCert：经过形式化验证的可信编译器]()
浅谈CompCert：经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中，最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2025-06-09 digiproto
-
![思考：数字卫星可视化如何实现？]()
思考：数字卫星可视化如何实现？
随着信息化时代的到来，全球范围内的通信和数据传输需求急剧增加，传统的有线通信和数据传输方式已无法满足大范围、远距离的通信和数据传输需求，卫星通信和数据传输技术应运而生。
2025-06-09 digiproto
-
![摆脱硬件依赖：SkyEye在轨道交通中的仿真应用]()
摆脱硬件依赖：SkyEye在轨道交通中的仿真应用
在城市轨道交通系统中，信号系统承担着确保列车安全、高效运行的关键任务。从排列进路、信号开放，到终点折返与接发车，几乎每一个调度动作背后都依赖于信号系统的精密控制与实时响应。
2025-06-06 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
