关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私 政策与安全 YouTube 的运作方式 测试新功能 © 2026 Google LLC
关于 新闻 版权 联系我们 创作者 广告 开发者 条款 隐私 政策与安全 YouTube 的运作方式 测试新功能 © 2026 Google LLC
2026年9月5日,德国伊萨尔航天公司(Isar Aerospace)在挪威安多亚航天中心成功发射了“光谱”号(Spectrum)火箭,创造了历史。这一里程碑标志着欧洲本土首次有火箭成功进入轨道。
此前,该项目的研发过程充满挑战。2025年3月,该火箭的首次试飞在起飞后不久便告失败。公司花费数月调查原因(起因为阀门意外开启)并进行了修复。2026年期间,后续的发射尝试因技术问题和恶劣天气多次推迟,但团队的坚持最终促成了今日的成功入轨。
此次代号为“奋进向上”(Onward and Upward)的任务携带了五颗立方星和一项科学实验。虽然火箭目前已抵达椭圆轨道,但该任务需在完成轨道圆形化变轨并释放载荷后,方能宣告圆满完成。
“光谱”号火箭的设计运载能力约为1000公斤(近地轨道),有望成为中小型卫星发射的主力军。凭借每年可生产超过30枚火箭的制造能力,伊萨尔航天公司将此次成功飞行视为奠定欧洲在全球航天发射领域重要地位的关键一步。
正在检查您的浏览器……需要启用 JavaScript
**balrogg** 是一款专为 Ogg Vorbis 和 Opus 音频文件进行无损重压缩而设计的命令行工具。它通过使用 .blr 文件格式,可以显著节省存储空间——通常 Vorbis 可节省 8–12%,Opus 可节省 3–8%。 主要特性包括: * **性能:** 提供九种压缩等级。较高的等级(最高 -9)会增加编码时的搜索时间,但仍能保持快速且一致的解码速度。 * **批量处理:** 支持多线程执行以处理大型音频库,并可选择显示进度报告。 * **可移植性与安全性:** 使用 C99 编写,具有极高的可移植性,经证实支持 Windows(包括 Win95 目标平台)和 MS-DOS。它会对输入文件进行严格校验,拒绝任何无法被精确还原的数据,以确保比特级的完整性。 * **易于使用:** 简洁的命令语法(`e` 用于编码,`d` 用于解码),便于无缝集成。 该工具采用 GNU GPLv3 协议授权,源代码和二进制文件可在 [GitHub](https://github.com/iczelia/balrogg) 获取。该工具设计轻量,仅依赖标准 C 库和数学库,是实现高效、可靠且与平台无关的音频存档的稳健选择。
请启用 JavaScript 和 Cookie 以继续。
这本 OCaml 书籍是法文原版书的英文译本(由 Urmila Nair 翻译)。翻译工作由 OCaml 软件基金会资助。本书采用 CC BY SA 4.0 协议开源。获取书籍(1.9Mb PDF 文件) 获取书籍(2.3Mb EPUB 文件) 获取代码 勘误反馈请点击此处。法律声明
我喜欢劳动节假期。对我而言,这正是每年“重返校园”的时刻。小时候在达拉斯长大,我们都是在劳动节之后才开学,所以那个周末就是夏天结束、秋天开始的标志。 十年前我曾写道,阵亡将士纪念日和劳动节是夏天的两端。 如今的不同之处在于,我已经 60 岁,快要 61 岁了,最近我开始更多地思考自己真正关心的东西。 昨天艾米给我发来了这样一份清单: 生活中真正的奢侈品: 时间 健康 宁静的心境 悠闲的早晨 旅行的能力 毫无负罪感的休息 一晚好睡眠 平静且“无聊”的日子 有意义的对话 家常便饭 你爱的人 爱你的人 这是一份很棒的清单。 享受这个长周末吧。
本摘要探讨了 Rust 与 C++ 在多态性方面的差异,强调了两者虽概念相似,但底层理念迥异。
**核心要点:**
* **静态与动态派发:** 与 C++ 的 CRTP(奇异递归模板模式)类似,Rust 使用“单态化”(monomorphization)来实现静态派发,在编译时生成代码,且无运行时开销。对于动态派发,Rust 使用 `dyn Trait` 和“宽指针”(同时包含数据指针和虚函数表指针)。与 C++ 中对象自带虚函数表指针不同,Rust 仅在明确要求时才进行绑定,从而保持了较小的对象体积。
* **零尺寸类型(ZSTs):** 一个显著差异是 Rust 支持 ZST。C++ 为确保对象内存地址唯一性,强制要求最小尺寸为 1 字节;而 Rust 利用基于所有权机制的借用检查器在编译时追踪身份,使得某些结构体可以不占用任何内存。
* **对象安全性:** 并非所有 Rust Trait 都能用作 `dyn Trait`。返回 `Self` 或包含泛型参数的方法是被禁止的,因为编译器无法在运行时确定所需的大小或虚函数表条目。
* **设计理念:** Rust 将派发方式的选择权从类定义移至调用处,在内存管理方面提供了更高的灵活性与精确度。
斯特芬多面体(Steffen’s polyhedron)是柔性多面体的一个著名例子,这类形状在保持各个三角形面刚性的同时,能够改变其整体结构。凸多面体无法弯曲,而斯特芬的设计通过利用非凸的球形拓扑结构实现了这一点。
该结构由 14 个三角形组成,依赖于两个相同的“类金字塔”子单元。每个子单元的基础是一个具有特定几何属性的非平面四边形:即使底座发生弯曲,某些关键顶点之间的距离依然保持不变。通过沿共享边连接这两个单元,形成了一个具有两个自由度的结构。再增加两个最终的三角形面并固定一条边的长度后,会抵消一个自由度,从而使最终形成的多面体能够自由弯曲。
虽然该结构长期以来被认为是此类现象的最小示例,但研究仍在不断演进;特别是在 2024 年,人们发现了一个仅有八个顶点的柔性多面体。斯特芬的工作依然是理解复杂非凸几何如何保持内部运动的基石,为刚性面几何与数学流动性之间的迷人交集提供了重要参考。
近期在霍博肯和布鲁克林车站发生的备受瞩目的列车事故,凸显了仅依赖人工操作的危险性。调查显示,通常由未确诊的睡眠呼吸暂停症引起的列车员疲劳是导致这些碰撞的原因。 列车制动是一个涉及质量和动能的复杂物理问题。传统的“阻车器”通常不足以应对,因为它们仅针对低速碰撞设计,且这种刚性停止方式可能会产生剧烈的破坏力。设计安全的制动方案需要在制动距离和减速度之间取得平衡;距离越长,乘客所受的冲击力就越小。 解决方案因环境而异: * **滑动摩擦制动:** 利用与轨道的摩擦力在一定距离内消耗能量,从而降低峰值冲击力。 * **液压缓冲器:** 提供平稳、持续的减速,且通常可自动复位,是客运车站的理想选择。 * **混合系统:** 结合液压和摩擦力,以实现最大程度的控制。 * **被动屏障:** 土堆作为最后一道粗暴的防御手段。 虽然机械解决方案充当了“肌肉”,但现代的“大脑”——如列车自动控制系统(PTC)——利用数字传感器自动停止列车,从而在事故发生前防止人为失误。