• 让高端装备“先跑起来”:虚拟仿真验证平台重塑研制流程

    在工业转型提速、“新质生产力”加快形成的时代背景下,高端装备已成为制造业核心竞争力的体现。从工业机器人到无人机系统,从特种车辆到飞控平台,越来越多融合多种控制器、传感器和执行单元的复杂装备,正逐步在各类重点工程和核心环节中实现落地应用。

    2025-06-13 digiproto

  • SkyEye助力火箭“一”飞冲天

    火箭是历史悠久的投射武器,早在公元1232年左右,火箭就被宋军用来对抗元军。后来,火箭技术经由阿拉伯人传至欧洲。

    2025-06-09 digiproto

  • 浅谈CompCert:经过形式化验证的可信编译器

    对编译器的正确性进行验证的诸多手段中,最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert‍。

    2025-06-09 digiproto

  • 思考:数字卫星可视化如何实现?

    随着信息化时代的到来,全球范围内的通信和数据传输需求急剧增加,传统的有线通信和数据传输方式已无法满足大范围、远距离的通信和数据传输需求,卫星通信和数据传输技术应运而生。

    2025-06-09 digiproto

  • 摆脱硬件依赖:SkyEye在轨道交通中的仿真应用

    在城市轨道交通系统中,信号系统承担着确保列车安全、高效运行的关键任务。从排列进路、信号开放,到终点折返与接发车,几乎每一个调度动作背后都依赖于信号系统的精密控制与实时响应。

    2025-06-06 digiproto

  • 故障注入的方法与工具

    测试软件可靠性的诸多方法中,较为常见的一种为故障注入测试——根据选定的故障模型选择故障注入工具,人为地将故障注入系统并采集系统反应行为信息,从而进行可靠性分析。

    2025-06-04 digiproto

  • 再赴苍穹!神舟二十号发射取得圆满成功,开启中国航天新篇章

    2025年4月24日17时17分,伴随着一声轰鸣,长征二号F遥二十火箭在酒泉卫星发射中心腾空而起,神舟二十号载人飞船顺利发射升空。飞船随后准确进入预定轨道,标志着此次载人飞行任务取得圆满成功。

    2025-04-25 digiproto

  • “数字孪生”:为什么要仿真嵌入式系统?

    众所周知,嵌入式系统通常是形式多样的、面向特定应用的软硬件综合体,无论是软件还是硬件都必须被高效率地设计,量体裁衣、去除冗余,具备低功耗、小体积、高集成度等特点,且通常有着高实时性、高可靠性的要求。

    2025-04-22 digiproto

上一页1234567...16下一页 转至第
首页
产品
新闻
联系