-
“桦加沙”进入扫尾阶段:如何用卫星守护通信生命线
卫星通信最大的优势在于其广覆盖与强抗毁性。一颗地球同步轨道(GEO,Geostationary Earth Orbit)卫星就能覆盖三分之一地球表面,低轨卫星星座则能通过大规模组网实现全球无缝通信。与传统通信设施不同,卫星通信链路不依赖地面基站和光缆,即便灾区成为“信息孤岛”,只要携带便携式卫星终端,就能第一时间完成信息回传和指挥调度。
2025-09-28 digiproto
-
浅谈CompCert:经过形式化验证的可信编译器
对编译器的正确性进行验证的诸多手段中,最为严格的莫过于采用形式化方法。点开原文查看经过形式化验证的可信编译器CompCert。
2025-06-09 digiproto
-
数字样机:从技术革新到产业赋能的演进之路
数字样机技术是一种数字化设计技术,利用数字样机替代原型样机,以展示产品结构和功能,对产品进行性能仿真、测试和评估的技术。
2025-04-30 digiproto
-
星途重启:244亿公里外的「旅行者1号」,修好了
旅行者1号是距离地球最远的人造航天器,发射于1977年,是一艘无人外太阳系核动力太空探测器,携带有105千克的科学探测仪器。它在1980年就已完成其原先的主要目标:探测木星、土星及其卫星与环,同年起开始了一项拓展任务:探索日球层顶的区域和边界。
2025-03-10 digiproto