-
让高端装备“先跑起来”:虚拟仿真验证平台重塑研制流程
在工业转型提速、“新质生产力”加快形成的时代背景下,高端装备已成为制造业核心竞争力的体现。从工业机器人到无人机系统,从特种车辆到飞控平台,越来越多融合多种控制器、传感器和执行单元的复杂装备,正逐步在各类重点工程和核心环节中实现落地应用。
2025-06-13 digiproto
-
概念:四种基于模型的嵌入式软件开发、测试与验证方法
通过MBD提供的统一设计环境,开发人员可在软件的整个生命周期中使用同一套模型进行需求验证、数据分析、模型可视化、测试和验证,并进行最终的产品部署。
2025-06-09 digiproto
-
浅谈CompCert:经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中,最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2025-06-09 digiproto
-
摆脱硬件依赖:SkyEye在轨道交通中的仿真应用
在城市轨道交通系统中,信号系统承担着确保列车安全、高效运行的关键任务。从排列进路、信号开放,到终点折返与接发车,几乎每一个调度动作背后都依赖于信号系统的精密控制与实时响应。
2025-06-06 digiproto
-
飞机的“十亿分之一”是什么?从安全评估到仿真验证全揭秘
飞机被广泛认为是当前最安全的交通工具之一。尽管其飞行高度高、速度快,但其事故率之低在各类交通方式中首屈一指。
2025-05-30 digiproto
-
软件工厂:下一代工业“看不见的流水线”
软件工厂不是一种工具,而是一种理念,是企业从“代码作坊”迈向“工业化开发”的路径。在AI与自动化浪潮不断推进的今天,谁能率先搭建起属于自己的软件工厂,谁就掌握了未来软件研发的主动权。
2025-05-23 digiproto
-
江西省政府参事调研组一行赴迪捷软件调研走访
5月20日下午,江西省政府参事、南昌大学教授屈文建带队赴浙江迪捷软件科技有限公司,就“人工智能在制造业领域的应用与培育”课题开展专题调研。
2025-05-21 digiproto
-
一颗卫星的诞生,不一定要靠“发射”
近年来,中国商业航天正由“政策破冰”迈向“产业跃升”,从最初的企业试水、零散布局,逐步形成涵盖火箭、卫星、测控、应用等环节的完整产业链。
2025-05-19 digiproto