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

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

    2023-05-15 digiproto

  • ECU标定知多少

    汽车领域的标定特指在确定发动机、整车、控制算法、外围器件后,为得到满意的整车性能、满足客户要求和达到国家标准,对软件数据进行优化的过程。

    2023-05-15 digiproto

  • 浅议飞机状态监控

    ​安全问题一贯是全球航空业的重中之重,随着航空装备的日益发展,飞机性能不断提高、功能不断完善,飞机系统结构愈加复杂,与之对应的维护保障成本也日益提升,如何解决这一问题依然是是航空从业者需要研究的课题。

    2023-05-15 digiproto

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

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

    2023-05-15 digiproto

  • ARM发家史:无名者的逆袭

    截至2021年底,ARM芯片产量已超2000亿,稳居智能手机市场霸主地位。那么,它背后的公司到底是怎样发展起来的呢?

    2023-05-15 digiproto

  • 汽车安全困境:如何破局?

    如何解决汽车软件数量和代码量剧增带来的开发问题和安全性挑战?点开文章了解答案!

    2023-05-15 digiproto

  • SkyEye卫星篇-国的加强“芯”

    近年来,卫星产业发展迅猛,数字化、网络化、智能化、服务化转型升级需求日益增长。为进一步完善星务软件验证工作、获取在轨卫星模拟数据,“数字卫星”成为当下主流趋势。

    2023-05-15 digiproto

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

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

    2023-05-15 digiproto

首页
产品
新闻
联系