一加海外官宣 7 月 16 日进行发外会，希望发外 Nord 系列手机

　　正在 1969 年 7 月 20 日，阿波罗登月舱着陆月球△，第一位踏上月球的美邦宇航员 Neil Armstrong，正在出舱时说了一句经典：“这是一局部的一小步，也是人类的一大步。”

　　Martin 考试己方推导公式，取得了以下结果：“这与 Jim Storer 的公式简直完整相似△，只是......他少了平方根内分母中的 2！”

　　（1）每隔 10 秒钟，屏幕上会显示一行告诉，统计飞船的高度、着陆速率由17岁学生开辟、风行了半个世纪的经典逛戏被退歇标准员发觉要害Bug，以及节余的燃料总量；

　　由宇宙有名软件架构巨匠、云原生和微效劳规模本领前驱 Chris Richardson 和 MIT 揣度机与 AI 实践室(CSAIL)副主任，ACM Fellow Daniel Jackson 领衔，BAT、微软、字节跳动、小米等本领专家将齐聚一堂，配合斟酌软件开采的最前沿趋向与本领试验。

　　Martin 本认为，会正在这个“登月逛戏”中看到一种正在现在电子逛戏中仍旧很常睹的欧拉积分△△，也便是正在每个韶华步（timestep）发端时揣度力55世纪网，然后行使公式 F=ma 揣度加快率，再假设加快率正在 Δt\Delta tΔt 秒的韶华步内依旧恒定：

　　近期，一名退息的软件工程师 Martin C. Martin 也玩上了这个逛戏，念要研究最优燃料计划以告终软着陆○△，但他正在深刻商讨逛戏中繁杂的物理和数值揣度后觉察：这个 55 年前开采的逛戏，有一个至今都没人觉察的 Bug！

　　由 CSDN 和 Boolan 合伙主办的「2024 环球软件研发本领大会（SDCon）」将于 7 月 4 -5 日正在北京威斯汀栈房进行。

　　接下来，倘若把缺失的 2 倍系数加上并去掉 0.05，会产生什么呢？现正在，“自裁式燃烧”所能抵达的最佳恶果是：速率降到了 1.66 英里/小时○，离 1 英里/小时的完善着陆尚有快要四分之三的隔绝△。

　　尽量如斯，Martin 照旧不分明为什么 18 岁的 Jim Storer 要用这种取代式样。也许他从头推导了二次方程公式○△，而不是查阅现有公式，结果推导出了这种式样？也许他担忧会呈现灾难性的抵消（catastrophic cancellation）○，于是念用正数相加而不是相减的式样？

　　从逛戏礼貌来看，为了正在着陆时行使起码的燃料○，玩家必要正在最短的韶华内完毕着陆○○。理念计划是：最初△，玩家可能通过闭上策划机来最大限定地降低速率，然后正在结尾一秒全速燃烧，正好正在接触地面时把速率降为零——Kerbal Space Program 社区把这种本事称为“自裁式燃烧”，由于无误掌管机缘特殊难○，且没有任何差错空间。

　　基于此，Martin 提出一个疑难：“咱们是何如从硬着陆形成完整没有着陆△○，且中央没有一个软着陆的流程呢？”

　　尽量这款逛戏只是一个简陋的文字逛戏，没有画面、也没有声响，这也并不影响它正在 1973 年成为当时“最受迎接的揣度机逛戏”○，并正在其后有了很众衍生版本，风行了近半个世纪△。

　　（2）告诉收场是一个空格○△，玩家要输入 0-200 之间的一个数字，决意接下来 10 秒内的燃料消磨量；

　　结尾 Martin 评议称△○，看待 1969 年行使 PDP-8 的 17 岁高中生来说○，Jim Storer 的这个登月逛戏一经是一个特殊了不得的作品了△。

　　知道 Jim Storer 安排逛戏的本事后，Martin 很速就懂了：由于用的是火箭方程，于是“自裁式燃烧”成为了最优遴选，并且 Jim Storer 行使泰勒级数的五个项，正在参数最大为 0.1212 时○，可能抵达领先六位小数的精度，于是这“不是咱们要找的题目所正在”。

　　依据 Martin 的局部先容，他自小学六年级起就发端编程○△，是卡内基梅隆大学呆板人商讨所的商讨生△○，又成为了麻省理工学院的博士后。卒业之后，他曾正在 Meta 做事△○，也曾正在 Rockstar Games New England 承担 AI 主管○。

　　“登月逛戏”中以为，完善着陆的速率应小于 1 英里/小时，但正在这种景况下，咱们以领先 3.5 英里/小时的速率着陆，逛戏还提示说“可能做得更好”△○？然而实质景况是，哪怕每秒再众燃烧 0.00000001 磅的燃料○，玩家也会完整错过地面○○，并以 114 英里/小时的速率上升：

　　因为这个 Bug，Jim Storer 永远低估了抵达最低点所需的韶华。他可能通过两种体例来积累：填补 0.05 秒△，然后从新的、更靠近的身分从头估算△○。这也就注解了为什么会错过着陆韶华：第一次估算是正在登月舱还正在地外上方并接续消重时，第二次估算是正在登月舱抵达最低点并再次上升之后，而这不到 0.05 秒。

　　一经退息的的他，近来正在闲暇韶华发端商讨“登月逛戏”的最佳计划：正在确保安宁着陆的条件下○△尊龙凯时人生就是博·(中国)官网， 何如保存最众的节余燃料。而他骇怪地觉察△△，从逛戏中阴谋出的最佳战略并不适应实质：贫乏了一个“除以二”的操作，导致逛戏差错地以为一经着陆的登月器还没有触地尊龙凯时人生就是博·(中国)官网55世纪网一个尘封55年的Bug！由17岁学生开辟、风行了半个世纪的经典逛戏被退歇标准员发觉要害Bug！。

　　只是，对此 Martin 也默示理会：假使有这个 Bug，这依然是一个乐趣的逛戏。“不只要赢△△，还念找到最佳战略，这种寻找自然会让人们试图理会眇小的差别△○。我念其他人都只是乐于玩这个逛戏，并从中获取兴味。”

　　“设念一下△○，登月舱正在一个 10 秒的回合中发端时消重，但到回合完成时上升。仅仅验证它正在这两个韶华点都正在地外上方是不敷的，由于它大概正在中央的某个时间低于地外。当这种景况产生时○△，次第务必回溯并搜检之前的某个时间。”

　　于是同年 11 月○○，Jim Storer 学会了 PDP-8（一款迷你电脑）特有的编程说话 FOCAL，用不到 50 行的代码写出了第一个“登月（Lunar Lander）逛戏”。因为本领节制○，这个“登月逛戏”只可以文字显露。

　　总体而言○，“登月逛戏”的实质很简陋△，便是由玩家饰演的宇航员必要手动操控一个登月器△，标的是正在月球上告终软着陆：

　　（3）登月舱需以一个极低的速率接触到月球外外，逛戏才会提示“完善着陆”○，功夫若撞上抨击物、以高速撞击天体外外或耗尽燃料○△，逛戏便会完成。

　　结果△，当时的高中还没有揣度机科学课程，数值揣度方面的学问也并不是谁都分明的——乃至 Martin 己方，也是攻读呆板人学博士学位时才学到这些学问○。令 Martin 骇怪的是，这个差错一经存正在了快要 55 年△△，而之前却没有人提神到它。

　　有一个显而易睹的本事，便是查看轨迹的最低点△△，即速率为零的时间。看待火箭方程而言没有一个适应的外达式来默示这个最低点，是以可能行使物理学家最笃爱的手段，只取泰勒级数的前几项○。倘若只行使对数的前两项△尊龙凯时人生就是博·(中国)官网55世纪网一个尘封55年的Bug！，题目就简化成了一个二次方程，你可能用高中学过的经典二次方程来求解公式○△。正在 10 秒的回合内，这个近似值该当相当不错○△，切确度正在 0.1% 独揽△。

　　这并不完善，由于咱们依然只行使了泰勒级数的前两项。别的○△，一朝确定最低点是正在地面下○△，就必要找到初度撞击地面的韶华，这就会涉及到近似的近似揣度。平缓着陆也是可行的，只需正在第 14 个回合完成时低落高度和速率○○，然后正在第 15 个回合中行使低推力，150 秒后正在某处着陆即可。Martin 增加道，他无法理会的只是外面上的全推力着陆自裁式燃烧○，大约必要 148 秒。

　　Martin 指出，这大概是推导公式或输入揣度机时的一个简陋差错。结果，当时的揣度机代数体系 MACSYMA 仅正在 Jim Storer 开采前一年才发端行使，而且正在 Jim 的高中并不成用，于是他务必用铅笔和纸完毕统统做事。

　　这看起来很像是正在平方根内除以 4 的二次方程式，但为什么会正在分母上呢？正在考试了极少本事后，Martin 从头觉察了一个二次方程的取代式样△，此中平方根正在分母上，也与 Jim Storer 代码中的公式相符。

　　外面上来说，正在登月舱触地之前火箭方程的恶果确实很好——但 Martin 指出○，等接触地面后这个本事就不兴办了，而这也是登月逛戏面对的最大寻事△。

　　Martin 商讨了 Jim Storer 的公式良久△△，觉察如何算也不会涉及平方根。直到他更注意地看了看 Jim Storer 的平方根，它的式样是：

　　但 Martin 觉察 Jim Storer 不是这么做的：正在他的公式中○，平方根正在分母而不是分子，别的差错也放大了 30 倍。

　　中方：就近期中邦留学生正在新西兰遇袭案和中邦搭客或遭警方不服允司法事情提出谈判

　　与中坚力气共滋长△，2024修信相信艺术大奖评委会特地奖获奖艺术家凌海鹏

　　因为质料正在韶华步内继续转变，加快率也会随之转变，于是假设加快率为常数只是一个近似值○△。

　　特地声明：以上实质(如有图片或视频亦囊括正在内)为自媒体平台“网易号”用户上传并发外，本平台仅供给音信存储效劳△。

　　当时，环球约有 6.5 亿观众通过电视直播睹证了 Neil Armstrong 正在月球上迈出第一步，此中就囊括 17 岁的美邦高中生 Jim Storer——自那时起， 他便形成了编写一款登月模仿次第的念法○△。

　　话虽如斯△，通过极少屡次试验和手动二分查找○○，依旧能找到一种正好让登月器着陆的燃烧设计：正在前 70 秒不燃烧任何燃料○△，然后正在接下来的 10 秒内以每秒 164.31426784 磅的速度燃烧燃料，之后再以每秒 200 磅的最大速度燃烧：

　　光彩Magic V3比照小米MIX Fold4：参数均明白，谁会成为巅峰？

　　但令人骇怪的是，逛戏作家 Jim Storer 行使了切确的处理计划，即齐奥尔科夫斯基火箭方程，并用泰勒伸开式对其对数举行揣度△。其它○，Jim Storer 还用了极少代数本事来简化揣度，裁汰了四舍五入的差错。看待正在 1969 年依旧高中生的他来说，这一经特殊了不得了。

　　当 Martin 问他这个题目时，Jim Storer 解答道：“当时我一经熟练掌管微积分、泰勒级数等观念○，并且正在我的印象中，身为物理学家的父亲还正在我推导这些方程时助了我○△。”

　　小鹏 MONA 首车为何定名 M03○？何小鹏：向特斯拉 Model 3 致敬