由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高50元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
全新正版航天任务自主需求工程9787118114065国防工业出版社
¥ ×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章 自主需求的验与确认
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格