PickVidsRobert Moss: Julia and the Next Generation Airborne Collision Avoidance System
推荐理由
See these talks on how a collision avoidance system was designed with Julia.
说明
这是2015年由The Julia Programming Language发布的一部演讲，主题归在Aviation & aerospace engineering。它讲的是collision avoidance systems in Julia这一支里的具体问题，而不是把整个领域扫一遍。适合想看推导、证明或实现细节的人。内容上可以概括成：Robert Moss's JuliaCon 2015 talk describes using Julia as a specification language for ACAS X, the next-generation airborne collision avoidance system that succeeds TCAS.这些读者给出的理由，核心是：HN points to it as a real-world example of Julia used in safety-critical aerospace design.它贴着当时的技术，看的时候要记得那是那个年份的判断。从2016年到2024年，有1位不同的读者在1个不同月份把它推荐出来，其中明确叫别人去看的有0次。适合一次性看完。讲者把一个判断讲透，演示是在给这个判断配例子。如果已经会了基本定义，就把注意力放在它怎么把collision avoidance systems in Julia变成能跟着复述的例子。
视频信息
- 频道
- The Julia Programming Language
- 时长
- 32 分 10 秒
- 发布年份
- 2015
同主题更多
- Children Of The Magenta Line
- The Economics of Airline Class
- David Fravor: UFOs, Aliens, Fighter Jets, and Aerospace Engineering | Lex Fridman Podcast #122
- The Fastest Way to Board a Plane Feels Like the Slowest
- Zipline - How Rwanda Built A Drone Delivery Service
- Pulling Power from the Sky: The Story of Makani [Feature Film]