-
数字样机:改写卫星物联网的研制范式
随着物联网在城市、工业、农业等领域的广泛部署,万物互联的愿景正在不断逼近技术的边界。尤其是在海洋、沙漠、高原、边远山区等传统通信网络难以覆盖的区域,人们对无盲点物联网连接的需求日益增强。
2025-07-04 digiproto
-
权威认可|迪捷软件“基于全数字实时仿真的数字样机解决方案”荣登工信部重点推荐榜单
迪捷软件“基于全数字实时仿真的数字样机解决方案”成功入选工信部2024信息技术应用创新解决方案典型解决方案、重点推荐解决方案,受邀上台领奖,充分体现了业界对该方案在技术先进性、创新性和实际可行性方面的高度认可,彰显了该方案在信息技术应用创新领域的引领作用和广泛推广价值。
2025-06-27 digiproto
-
软件工厂,从设想走向现实的半个世纪
在数字技术的发展历程中,“软件工厂”无疑是一个令人耳目一新的概念。它将软件开发这一高度依赖个体经验的创造性劳动,比喻为工业制造中可以标准化、自动化的流程体系。
2025-06-20 digiproto
-
浅谈CompCert:经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中,最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2025-06-09 digiproto
-
思考:数字卫星可视化如何实现?
随着信息化时代的到来,全球范围内的通信和数据传输需求急剧增加,传统的有线通信和数据传输方式已无法满足大范围、远距离的通信和数据传输需求,卫星通信和数据传输技术应运而生。
2025-06-09 digiproto
-
故障注入的方法与工具
测试软件可靠性的诸多方法中,较为常见的一种为故障注入测试——根据选定的故障模型选择故障注入工具,人为地将故障注入系统并采集系统反应行为信息,从而进行可靠性分析。
2025-06-04 digiproto
-
飞机的“十亿分之一”是什么?从安全评估到仿真验证全揭秘
飞机被广泛认为是当前最安全的交通工具之一。尽管其飞行高度高、速度快,但其事故率之低在各类交通方式中首屈一指。
2025-05-30 digiproto
-
软件工厂:下一代工业“看不见的流水线”
软件工厂不是一种工具,而是一种理念,是企业从“代码作坊”迈向“工业化开发”的路径。在AI与自动化浪潮不断推进的今天,谁能率先搭建起属于自己的软件工厂,谁就掌握了未来软件研发的主动权。
2025-05-23 digiproto