返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:
本店所有商品

  • 全新正版航天任务自主需求工程9787118114065国防工业出版社
    • 作者: [爱尔兰] Emil,Vassev,[爱尔兰] Mike,Hinehey 著,崔晓峰 译著 | [爱尔兰] Emil,Vassev,[爱尔兰] Mike,Hinehey 著,崔晓峰 译编 | [爱尔兰] Emil,Vassev,[爱尔兰] Mike,Hinehey 著,崔晓峰 译译 | [爱尔兰] Emil,Vassev,[爱尔兰] Mike,Hinehey 著,崔晓峰 译绘
    • 出版社: 国防工业音像出版社
    • 出版时间:2016-06-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    如梦图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品参数
    • 作者: [爱尔兰] Emil,Vassev,[爱尔兰] Mike,Hinehey 著,崔晓峰 译著| [爱尔兰] Emil,Vassev,[爱尔兰] Mike,Hinehey 著,崔晓峰 译编| [爱尔兰] Emil,Vassev,[爱尔兰] Mike,Hinehey 著,崔晓峰 译译| [爱尔兰] Emil,Vassev,[爱尔兰] Mike,Hinehey 著,崔晓峰 译绘
    • 出版社:国防工业音像出版社
    • 出版时间:2016-06-01
    • 版次:1
    • 印次:1
    • 印刷时间:2017-12-01
    • 字数:268
    • 页数:222
    • 开本:小16开
    • ISBN:9787118114065
    • 版权提供:国防工业音像出版社
    • 作者:[爱尔兰] Emil,Vassev,[爱尔兰] Mike,Hinehey 著,崔晓峰 译
    • 著:[爱尔兰] Emil,Vassev,[爱尔兰] Mike,Hinehey 著,崔晓峰 译
    • 装帧:精装
    • 印次:1
    • 定价:79.00
    • ISBN:9787118114065
    • 出版社:国防工业出版社
    • 开本:小16开
    • 印刷时间:2017-12-01
    • 语种:中文
    • 出版时间:2016-06-01
    • 页数:222
    • 外部编号:9162747
    • 版次:1
    • 成品尺寸:暂无

    章 航空航天软件工程现状
    1.1 引言:航空航天工业特点
    1.1.1 注重安全
    1.1.2 标准化
    1.1.3 复杂
    1.1.4 平台多样
    1.2 航空航天软件工程过程
    1.2.1 需求工程和建模
    1.2.2 管理安全和风险
    1.. 处理复杂
    1.2.4 设计
    1.2.5 实现
    1.2.6 测试、验和确认
    1.3 用于航空航天的方法、技术和体系结构
    1.3.1 形式化方法
    1.3.2 软件验与确认
    1.3.3 面向服务的体系结构
    1.3.4 多Agent系统
    1.4 自主航空航天系统
    1.4.1 自主与自动化
    1.4.2 自主计算
    1.4.3 通过适应建立具有弹的系统
    1.4.4 集成飞行器健康管理
    1.4.5 航空器
    1.4.6 用于自主计算的形式化方法
    1.4.7 软件工程方面、结论和建议
    1.5 自主系统的需求工程方法
    1.5.1 面向目标的需求工程
    1.5.2 自主系统需求工程的ASSL方法
    1.5.3 自主航空系统的需求
    1.6 小结
    参考文献

    第2章 ESA系统的自主需求处理
    2.1 引言
    2.1.1 自主和自动化
    2.1.2 ESA任务的自主级
    2.2 用于航空航天的需求工程、规约模型和形式化方法
    2.2.1 需求规约和建模
    2.2.2 用于自主系统的需求工程
    2.. -般自主需求
    . 航天任务的一般自主需求
    ..1 航天任务需求分析
    ..2 地球轨道任务
    .. 行星际任务
    2.4 机器人系统的控制器体系结构
    2.4.1 与自主关的体系结构问题
    2.4.2 机器人系统的控制器体系结构
    2.5 用于自主需求工程(ARE)的形式化方法
    2.5.1 面向目标的需求工程
    2.5.2 感知建模
    2.5.3 ASSL
    2.5.4 KnowLang
    2.6 实例研究:规约自主需求
    2.6.1 使用KnowLang处理自主需求
    2.6.2 使用ASSL规约Voyager的自主需求
    2.7 小结
    参考文献

    第3章 自主需求工程
    3.1 引言
    3.2 ARE:自主需求工程
    ……

    第4章 自主需求的验与确认



      的空间探测是通过任务完成的,其飞行器和地面系统中均集成了自主。,支持在可能的情况下使用飞行器以及自动化和机器人技术的主要因素,是风险和可行。空间自主帮增加从任务中获得的科学数据数量,执行的实验以及降低任务成本。

      自主需求的导出和表达,是当前自主飞行器工程需要克服的重要挑战之一。

      《航天任务自主需求工程》讨论了自主需求工程(ARE)方法,目的是帮软件正确导出、表达、验以及确认自主需求。而且,《航天任务自主需求工程》给出了一个用于航空航天的新的综合软件工程方法,说明了ARE解决的问题,并使用一个ESA的Bepiolomb。任务的概念明案例,演示了ARE处理自主需求的能力。

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购