-
暂停、回收与扩建:航天工程正在为高频运行做准备
过去一周,航天领域接连传来三则看似方向不同的消息。一边是嫦娥七号任务按下暂停键,不能在今年预定窗口实施;一边是长征十二号乙有望进一步验证一子级回收;另一边,SpaceX宣布将在美国路易斯安那州建设新的星舰基地,为未来每年数千次飞行做准备。
2026-08-28 digiproto 18
-
“桦加沙”进入扫尾阶段:如何用卫星守护通信生命线
卫星通信最大的优势在于其广覆盖与强抗毁性。一颗地球同步轨道(GEO,Geostationary Earth Orbit)卫星就能覆盖三分之一地球表面,低轨卫星星座则能通过大规模组网实现全球无缝通信。与传统通信设施不同,卫星通信链路不依赖地面基站和光缆,即便灾区成为“信息孤岛”,只要携带便携式卫星终端,就能第一时间完成信息回传和指挥调度。
2025-09-28 digiproto 198
-
浅谈CompCert:经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中,最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2025-06-09 digiproto 849
-
数字样机:从技术革新到产业赋能的演进之路
数字样机技术是一种数字化设计技术,利用数字样机替代原型样机,以展示产品结构和功能,对产品进行性能仿真、测试和评估的技术。
2025-04-30 digiproto 927