• 云原生高可用技术体系的构建

    盲降系统是由地面发射的两束无线电信号实现航向道和下滑道指引,飞机通过机载接收设备,进行降落。从航空业的容灾体系构建中我们可以发现,容灾的核心思想是基于隔离的冗余。在系统设计中,其实也经常用到冗余的机制...
    文章 2020-07-20 2012浏览量
  • 修订版)》—第1章1.10节实时系统的例子

    来自SRI的数据通过数据总线传输到机载计算机(On-Board Computer,OBC),该计算机通过伺服阀门和液压执行器执行飞行程序、控制固体推进器的喷射器和Vulcain低温引擎(Lions et al.1996)。但是综合的解决方案必须...
    文章 2017-05-02 1313浏览量
  • 深度|无法找到“黑点”的代码,连顶级黑客也束手无策

    的确,这些计算机程序有时候会崩溃,但和巨细无遗地一条条用形式逻辑系统的语言来编写程序相比,丢失未保存的数据或时不时重启机器貌似也可以接受。有时候,连形式规范最早期的领导者也会怀疑其是否有用。在上世纪 ...
    文章 2017-08-01 982浏览量
  • 深度|无法找到“黑点”的代码,连顶级黑客也束手无策

    在上世纪 90 年代,霍尔逻辑(Hoare logic,首批推导计算机程序正确性的形式系统之一)的发明者 Hoare 就承认,也许形式规范是一个不存在的问题的劳动密集性解决方案。他在 1995 年写道: 十年前,形式方法的研究者们...
    文章 2017-08-09 930浏览量
  • 主会场|学习笔记(二)

    真正是80%d的人为切换比如割接、配置变更、灰度发布的过程中有一些人为的错误可以提前发现出来比如性能下降、可用性下降将风险点立刻抓出进行处理解决。快速解决是业务可持续性的保证&xff0c;而且拨测的逻辑和后台是...
    文章 2022-11-23 13浏览量
  • ROS机器人程序设计(原书第2版).

    第7章介绍在ROS系统中实现机器人的第一步是创建一个机器人模型,包括在Gazebo仿真环境中如何从头开始对一个机器人进行建模和仿真,并使其在仿真环境中运行。你也可以仿真摄像头和激光测距传感器,为后续学习如何使用...
    文章 2017-05-02 9980浏览量
  • 新的人工智能在模拟战斗中击败人类专家

    这些AI僚机将能够在空战中配合载人战斗机,而其内部的机载战斗管理系统将能够处理态势感知,决策反应,选择战术,管理武器等等任务。所以,像ALPHA一样的AI可以同时躲避几十颗敌方导弹,对多个目标进行精确射击,...
    文章 2017-05-02 1518浏览量
  • 七宗罪:我们是如何错误预估人工智能的

    位于科罗拉多州Schriever空军基地的指挥中心不间断的监视卫星的轨道的精确度和机载原子钟的准确性,出现微小的偏差后便上传修正的数据。如果没有这些上传的数据,GPS将会在一至两周之内出现定位到别的街道的错误,再...
    文章 2018-03-19 2453浏览量
  • 【行业看点】量子时代的技术机遇

    错误的上传数据、各种空间信号的干扰,以及太阳风暴都会干扰整个系统。全球卫星导航系统的重要功能是提供时间信号。从导航、通信,到金融交易,甚至电力供应系统,都依赖于卫星提供的时间。然而,这些系统的大多数都...
    文章 2018-05-03 1360浏览量
  • Coding and Paper Letter(四十二)

    利用机载激光雷达数据评估GLAS生成的DEM,为实现两种LiDAR数据融合提供基础。10.Assessing terrestrial laser scanning for developing non-destructive biomass allometry/评估地面激光扫描以开发非破坏性生物量异...
    文章 2018-11-01 2086浏览量
  • 嵌入式操作系统风云录:历史演进与物联网未来.

    并按时间轴讲述了从RTOS、开源嵌入式操作系统到物联网操作系统的发展历程,以技术为视角剖析了嵌入式操作系统的实时性、安全性和云计算等重要技术,从手机、通信、汽车和可穿戴设备几个市场讨论了嵌入式操作系统的...
    文章 2017-05-02 7251浏览量
  • 嵌入式操作系统风云录:历史演进与物联网未来第2章 ...

    VRTX32最初是针对68K和80x86 CPU设计的,这也是工业界RTOS之中最早应用在机载电子设备中,并通过FAA认证的产品。它是错误报告最少、应用最广泛的RTOS内核之一。1992年新产品Spectra集成开发环境和VRTXsa 问世,...
    文章 2017-05-02 1982浏览量
  • 2016年人工智能产业梳理:一朝引爆,稳步前进(中篇)

    其中,Baidu iV指的是整个百度汽车事业部,一个专注于向汽车制造企业、Tier1厂商、芯片厂商以及服务提供商在内的合作伙伴提供L3自动驾驶软件服务、汽车联网解决方案,以及汽车大数据服务的部门,而RoadHackers平台将...
    文章 2018-03-06 581浏览量
  • 2016年人工智能产业梳理:一朝引爆,稳步前进(中篇)

    其中,Baidu iV指的是整个百度汽车事业部,一个专注于向汽车制造企业、Tier1厂商、芯片厂商以及服务提供商在内的合作伙伴提供L3自动驾驶软件服务、汽车联网解决方案,以及汽车大数据服务的部门,而RoadHackers平台将...
    文章 2018-03-02 1417浏览量
  • 2016年人工智能产业梳理:一朝引爆,稳步前进(中篇)

    其中,Baidu iV指的是整个百度汽车事业部,一个专注于向汽车制造企业、Tier1厂商、芯片厂商以及服务提供商在内的合作伙伴提供L3自动驾驶软件服务、汽车联网解决方案,以及汽车大数据服务的部门,而RoadHackers平台将...
    文章 2018-03-01 1164浏览量
  • 2016年人工智能产业梳理:一朝引爆,稳步前进(中篇)

    其中,Baidu iV指的是整个百度汽车事业部,一个专注于向汽车制造企业、Tier1厂商、芯片厂商以及服务提供商在内的合作伙伴提供L3自动驾驶软件服务、汽车联网解决方案,以及汽车大数据服务的部门,而RoadHackers平台将...
    文章 2018-03-05 542浏览量

云产品推荐

视频直播 大数据计算服务 MaxCompute 国内短信套餐包 ECS云服务器安全配置相关的云产品 开发者问答 阿里云建站 新零售智能客服 万网 小程序开发制作 视频内容分析 视频集锦 代理记账服务 阿里云AIoT 阿里云科技驱动中小企业数字化