商品
图书

🌞一站式解决你的防晒烦恼！

一键Get网红超市必买清单

😍忍不住斯哈斯哈！美食届顶流组团登场

【赛博玄学】留子Final开运

日本超火猫爪杯！资深猫奴眼冒爱心❤

💄价格香香的3CE经典出新色喽！🎨

美容院搬回家🤩夏季焕颜 精选美容仪大放价

北鼎电器限时满立减！

劳动节特辑：满分打工人的24小时

  • 搜索历史
  • 热门搜索
商品分类
大中华区
日本
韩国
热销榜单
新品上架
特惠专区
礼卡
社区
更多
登录/注册

简体中文

English 简体中文 繁體中文 한국어 日本語
{{sellerTotalView > 1 ? __("sellers", {number: sellerTotalView}) : __("seller", {number: sellerTotalView}) }}, {{numTotalView > 1 ? __("items", {number: numTotalView}) : __("item", {number: numTotalView}) }}
免运费

去购物车结算 Yamibuy
Yami

Nickname

请告诉我们怎么更好地称呼你

更新你的名字
账户 订单 收藏
积分 0
优惠券 0
礼品卡余额 $0.00
{{ inviteNavTitle }}
退出登录

切换配送区域

不同区域的库存和配送时效可能存在差异.

历史邮编

{{email ? __('Got it!') : __('Restock Alert')}}

我们将在商品到货后第一时间通知你。

取消
Yami

京东图书

可靠性维修性保障性学术专著译丛：软件工程师可信计算基础

去购物车结算 Yamibuy
{{buttonTypePin == 3 ? __("Scan to view more PinGo") : __("Scan to start")}}
图书 计算机与互联网 软件工程及软件方法学
京东图书

可靠性维修性保障性学术专著译丛：软件工程师可信计算基础

{{__(":people-members", {'people': item.limit_people_count})}} {{ itemCurrency }}{{ item.valid_price }} {{ itemCurrency }}{{ item.invalid_price }} {{ itemDiscount }}
后结束
{{ itemCurrency }}{{ item.valid_price }}
{{ itemCurrency }}{{ priceFormat(item.valid_price / item.bundle_specification) }}/{{ item.unit }}
{{ itemDiscount }}
{{ itemCurrency }}{{ item.valid_price }} {{ itemCurrency }}{{ priceFormat(item.valid_price / item.bundle_specification) }}/{{ item.unit }} {{ itemCurrency }}{{ item.invalid_price }} {{itemDiscount}}
{{ itemCurrency }}{{ item.valid_price }}
后结束促销
后开始秒杀 后结束秒杀
{{ getSeckillDesc(item.seckill_data) }}
{{ __( "Pay with Gift Card to get sale price: :itemCurrency:price", { 'itemCurrency' : itemCurrency, 'price' : (item.giftcard_price ? priceFormat(item.giftcard_price) : '0.00') } ) }} ({{ itemCurrency }}{{ priceFormat(item.giftcard_price / item.bundle_specification) }}/{{ item.unit }}) 详情
商品有效期

已下架

当前地址无法配送
已售完

商品描述

展开全部描述
内容简介

《可靠性维修性保障性学术专著译丛：软件工程师可信计算基础》为美国弗吉尼亚大学JohnKnight教授的最新著作，是计算机系统可信性领域的前沿著作。书中提出了一套完整的计算机系统可信性概念和术语体系，介绍了可信性需求、可信性分析、可信性评估的基本方法，并重点对错误、故障、威胁等相关概念进行了阐述和区分，详细讨论了故障避免、故障消除、容错和故障预测这四种故障处理措施，并配以大量的案例进行说明和分析。
《可靠性维修性保障性学术专著译丛：软件工程师可信计算基础》不仅详细介绍了计算机系统可信性领域的相关概念、技术和方法.完整得提出了一套计算机系统可信性术语体系，还凝聚了作者多年从事软件可信性研究工作所获得的宝贵经验，对于国内正在兴起的可信性研究具有重要的指导意义和参考价值。
目录

第一章 概述
1.1 可信性的元素
1.1.1 一个警示性的故事
1.1.2 为什么要研究可信性
1.2 软件工程师的角色
1.3 对于计算机的依赖
1.4 一些遗憾的失效
1.4.1 “阿丽亚娜”V火箭
1.4.2 大韩航空801航班
1.4.3 火星气候轨道飞行器
1.4.4 火星极地登陆器
1.4.5 其他重要的事故
1.4.6 如何考虑失效
1.5 失效的后果
1.5.1 不明显的失效后果
1.5.2 失效带来的意外成本
1.5.3 后果的种类
1.5.4 确定失效后果
1.6 对于可信性的需求
1.7 系统和它们的可信性需求
1.7.1 关键系统
1.7.2 帮助构建系统的系统
1.7.3 与其他系统交互的系统
1.8 我们要去往何方?
1.9 本书的组织结构
习题

第二章 可信性需求
2.1 为什么需要可信性需求
2.2 可信性概念的演变过程
2.3 术语的作用
2.4 什么是系统?
2.5 需求和规格说明
2.6 失效
2.6.1 服务失效的概念
2.6.2 服务失效的来源
2.6.3 需求和规格说明的实践观点
2.6.4 服务失效的视角
2.6.5 告知用户失效
2.7 可信性及其属性
2.7.1 可靠性
2.7.2 可用性
2.7.3 每次请求失效
2.7.4 安全性
2.7.5 机密性
2.7.6 完整性
2.7.7 维修性
2.7.8 有关保密安全性的词汇
2.7.9 信任的概念
2.8 系统、软件和可信性
2.8.1 计算机既非不安全也非不保密安全
2.8.2 为什么要考虑应用系统的可信性
2.8.3 应用系统可信性和计算机
2.9 定义可信性需求
2.9.1 第一个例子：汽车巡航控制器
2.9.2 第二个例子：起搏器
2.1 0低至合理可行ALARP
2.1 0.1 对于ALARP的需求
2.1 0.2 ALARP概念
2.1 0.3 ALARP胡萝卜图
习题

第三章 错误、故障和危险
3.1 错误
3.2 错误状态的复杂性
……

第四章 可信性分析
第五章 故障处理
第六章 退化故障和软件
第七章 软件可信性
第八章 软件需求规格说明中的故障避免
第九章 软件实现中的故障避免
第十章 软件故障消除
第十一章 软件容错
第十二章 可信性评价
参考文献
索引
精彩书摘

《可靠性维修性保障性学术专著译丛：软件工程师可信计算基础》：
（2）一些系统失效是由处理已预期故障影响的容错机制的失效导致的。总之，我们的目标是排除未预期故障，并确保所有预期故障都已被妥善处理。为了达到这个目标，我们需要一种系统化的方法来识别并预测故障。为了识别故障，我们将要遵循的方法是首先识别出系统面临的危险，然后再识别出可能导致这些危险的故障。
3.11危险
3.11.1危险的概念
危险是一种系统状态。危险的概念主要来自于安全性领域。不正式地说，危险是一种可能导致灾难性后果的系统状态，即可能导致违犯安全操作的系统状态。
“危险”一词在日常用语中有多种含义，而危险是另一个可以说明仔细进行定义的重要性的例子。这里有一个术语定义：
危险状态：危险状态，通常缩写为危险，是一种可能导致未预料到的
生命损失、财产损失、能量释放或危险材料释放的状态。
与危险的概念相关的另一个概念是事故：
事故：一个事故是一次损失事件。
当系统处于危险状态，运行环境发生了改变，从而导致了损失事件，这个时候就发生了事故。
一个系统处于危险状态并不一定意味着会导致事故。系统可以在随意长的时间内处于危险状态，如果没有发生引发损失的环境改变，则不会发生故障。类似地，系统可以进入和退出危险状态很多次，而并不会发生故障。然后，很明显，我们不能相信处于危险状态的系统不会发生事故。
下面给出了一些危险和事故的例子：
（1）电梯门开着，但是没有升降吊箱。
要发生事故，必须产生一种环境状况，如一个人走过了打开的门而没有意料到该状态。
（2）铁路、公路交叉路口的门未能升起。
如果当火车接近时，汽车穿过铁轨，则很有可能发生碰撞事故，因为司机错误的认为继续前行是安全的。
（3）失效的汽车防抱死制动系统（ABS）由于不具备防抱死制动能力，未能对司机发出警报。
……

规格参数

品牌 京东图书
品牌属地 中国
ISBN 9787118100068
编者 康锐
著者 [美]莱特
出版社 国防工业出版社
印刷时间 2014-12-01
用纸 胶版纸
包装 平装
出版时间 2014-12-01
页数 329
译者 古廷阳
语言 中文
版次 1

免责声明

产品价格、包装、规格等信息如有调整，恕不另行通知。我们尽量做到及时更新产品信息，但请以收到实物为准。使用产品前，请始终阅读产品随附的标签、警告及说明。

查看详情
加入收藏
{{ $isZh ? coupon.coupon_name_sub : coupon.coupon_ename_sub | formatCurrency }}
详情
{{__("Buy Directly")}} {{ itemCurrency }}{{ item.directly_price }}
数量
{{ quantity }}
{{ instockMsg }}
{{ limitText }}
{{buttonTypePin == 3 ? __("Scan to view more PinGo") : __("Scan to start")}}
由 京东图书 销售
送至
{{ __("Ship to United States only") }}
满$69免运费
正品保证
查看详情
地区

{{ regionInfo.title }}

已加入购物车

继续逛逛

为你推荐

{{ item.brand_name }}

{{ item.item_name }}

{{ item.currency }}{{ item.market_price }}

{{ item.currency }}{{ item.unit_price }}

{{ item.currency }}{{ item.unit_price }}

优惠券

{{ coupon.coupon_name_new | formatCurrency }}
领取 已领取 已领完
{{ getCouponDescStr(coupon) }}
{{ coupon.use_time_desc }}
即将过期： {{ formatTime(coupon.use_end_time) }}

分享给好友

取消

亚米礼卡专享价

使用礼卡支付即可获得礼卡专享价

规则说明

礼卡专享价是部分商品拥有的特殊优惠价格；

购买礼卡专享价商品时，若在结算时使用电子礼卡抵扣支付，且礼卡余额足够支付订单中所有礼卡专享价商品的专享价总和，则可以启用礼卡专享价；

不使用礼卡支付，或礼卡余额不满足上一条所述要求时，将无法启用礼卡专享价，按照普通售价计算，但您仍然可以购买这些商品；

在购买礼卡专享价商品时，若余额不足，可以在购物车或结算页中点击“充值”按钮对礼卡进行购买和充值；

商品若拥有礼卡专享价，会显示“专享”的特殊价格标记；

如有疑问，请随时联系客服；

礼卡专享价相关规则最终解释权归亚米所有。

由 亚米 销售

服务保障

Yami 满$49免运费
Yami 无忧退换
Yami 从美国发货

配送信息

  • 美国

    标准配送 $5.99（不包含阿拉斯加，夏威夷），最终价满$49免运费

    本地配送$5.99(加州，纽约州，新泽西，麻省和宾夕法尼亚，以上州部分地区);最终价满$49免运费

    两日达（包含阿拉斯加夏威夷）运费$19.99起

退换政策

亚米网希望为我们的客户提供最优秀的售后服务，让所有人都能放心在亚米购物。亚米自营商品在满足退换货条件的情况下，可在收到包裹的30天之内退换商品（食品因商品质量问题7天内可退换；为了确保每位客户都能获得安全和高质量的商品，对于美妆类产品，一经开封或使用即不提供退款或退货服务，质量问题除外；其他特殊商品需联系客服咨询）。
感谢您的理解和支持。

查看详情

由 亚米 销售

亚米电子礼品卡使用规则

若购买时选择自动充值，订单完成后礼卡将自动充值到您的账户中；

若购买时选择发送邮件，订单完成后系统将自动发送卡号和密码到您填写的邮箱；

发送邮件时，任何用户均可使用邮件中的卡号密码进行礼卡充值，请妥善保管邮件信息。

如接收邮件遇到问题，请联系客服处理；

发送邮件时，若礼卡没有被兑换，可以补发邮件。若已经被其他用户兑换，则无法补偿；

亚米网电子礼卡可用于购买自营或第三方商品；

亚米网电子礼卡没有有效期限制，长期有效；

亚米网电子礼卡的金额，可分多次使用；

亚米网电子礼卡业务规则，最终解释权归亚米网所有。

退换政策

已消费的电子礼卡不支持退款。

由 京东图书 销售

服务保障

Yami 满$49免运费
Yami 最优售后
Yami 美国本土发货

配送信息

  • 美国

    标准配送 $5.99（不包含阿拉斯加，夏威夷），最终价满$49免运费

    本地配送$5.99(加州，纽约州，新泽西，麻省和宾夕法尼亚，以上州部分地区);最终价满$49免运费

    两日达（包含阿拉斯加夏威夷）运费$19.99起

退换政策

提供30天内退还保障。产品需全新未使用原包装内，并附有购买凭据。产品质量问题、或错发漏发等,由商家造成的失误，将进行补发,或退款处理。其它原因需退货费用由客户自行承担。

由 京东图书 销售

服务保障

Yami 跨店满$69免运费
Yami 30天退换保障

亚米-中国集运仓

由亚米从中国精选并集合各大优秀店铺的商品至亚米中国整合中心，合并包裹后将一次合包跨国邮寄至您的地址。跨店铺包邮门槛低至$69。您将在多商家集合提供的广泛选品中选购商品，轻松享受跨店铺包邮后的低邮费。

退换政策

提供30天内退换保障。产品需在全新未使用的原包装内，并附有购买凭据。产品质量问题、错发、或漏发等由商家造成的失误，将进行退款处理。其它原因造成的退换货邮费客户将需要自行承担。由于所有商品均长途跋涉，偶有简易外包压磨等但不涉及内部质量问题者，不予退换。

配送信息

亚米中国集运 Consolidated Shipping 运费$9.99（订单满$69 包邮）

下单后2个工作日中国商家发货，所有包裹抵达亚米中国整合中心（除特别情况及中国境内个别法定节假日外）会合并包裹后通过UPS发往美国。UPS从中国发货后到美国境内的平均时间为10个工作日左右，根据直发单号可随时跟踪查询。受疫情影响，目前物流可能延迟5天左右。包裹需要客人签收。如未签收，客人须承担包裹丢失风险。

由 京东图书 销售

服务保障

满$69免运费
正品保证

配送信息

Yami Consolidated Shipping 运费$9.99（订单满$69包邮）


下单后1-2个工作日内发货。 物流时效预计7-15个工作日。 如遇清关，交货时间将延长3-7天。 最终收货日期以邮政公司信息为准。

积分规则

不参加任何折扣活动以及亚米会员积分制度。

退换政策

提供30天内退还保障。产品需全新未使用原包装内，并附有购买凭据。产品质量问题、或错发漏发等,由商家造成的失误，将进行补发,或退款处理。其它原因需退货费用由客户自行承担。

转盘抽奖

转盘抽奖
Yami

下载亚米应用

返回顶部

为你推荐

品牌故事

京东图书

为您推荐

Yami
欣葉
2种选择
欣叶 御大福 芋头麻薯 180g
144

周销量 600+

$1.66 $1.99 83折
Yami
欣葉
2种选择
欣叶 御大福 芋头麻薯 180g
144

周销量 600+

$1.66 $1.99 83折
Yami
欣葉
2种选择
欣叶 御大福 芋头麻薯 180g
144

周销量 600+

$1.66 $1.99 83折
Yami
欣葉
2种选择
欣叶 御大福 芋头麻薯 180g
144

周销量 600+

$1.66 $1.99 83折
Yami
欣葉
2种选择
欣叶 御大福 芋头麻薯 180g
144

周销量 600+

$1.66 $1.99 83折
Yami
欣葉
2种选择
欣叶 御大福 芋头麻薯 180g
144

周销量 600+

$1.66 $1.99 83折

评论{{'('+ commentList.posts_count + ')'}}

分享你的感受，帮助更多用户做出选择。

写评论
{{ totalRating }} 写评论

  • {{i}}星

    {{i}}星

    {{ parseInt(commentRatingList[i]) }}%

Yami Yami
{{ comment.user_name }}

{{ showTranslate(comment) }}收起

{{ strLimit(comment,800) }}查看全部

Show Original

{{ comment.content }}

Yami
查看更多

{{ formatTime(comment.in_dtm) }} 已购买 {{groupData}}

{{ comment.likes_count }} {{ comment.likes_count }} {{ comment.reply_count }} {{comment.in_user==uid ? __('Delete') : __('Report')}}
Yami Yami
{{ comment.user_name }}

{{ showTranslate(comment) }}收起

{{ strLimit(comment,800) }}查看全部

Show Original

{{ comment.content }}

Yami
查看更多

{{ formatTime(comment.in_dtm) }} 已购买 {{groupData}}

{{ comment.likes_count }} {{ comment.likes_count }} {{ comment.reply_count }} {{comment.in_user==uid ? __('Delete') : __('Report')}}

暂无符合条件的评论

更多评论

评论详情

Yami Yami

{{commentDetails.user_name}}

{{ showTranslate(commentDetails) }}收起

{{ strLimit(commentDetails,800) }}查看全部

Show Original

{{ commentDetails.content }}

Yami
查看更多

{{ formatTime(commentDetails.in_dtm) }} 已购买 {{groupData}}

{{ commentDetails.likes_count }} {{ commentDetails.likes_count }} {{ commentDetails.reply_count }} {{commentDetails.in_user==uid ? __('Delete') : __('Report')}}

请输入内容

回复{{'(' + replyList.length + ')'}}

Yami Yami

{{ reply.reply_user_name }}回复{{ reply.parent_user_name }}

{{ showTranslate(reply) }}收起

{{ strLimit(reply,800) }}查看全部

Show Original

{{ reply.reply_content }}

{{ formatTime(reply.reply_in_dtm) }}

{{ reply.reply_likes_count }} {{ reply.reply_likes_count }} {{ reply.reply_reply_count }} {{reply.reply_in_user==uid ? __('Delete') : __('Report')}}

请输入内容

取消

End

发表评论
商品评分

请输入评论

  • 一个好的昵称，会让你的评论更受欢迎！
  • 修改了这里的昵称，个人资料中的昵称也将被修改。
感谢你的评论
你的好评可以帮助我们的社区发现更好的亚洲商品。

举报

取消

确认删除该评论吗？

取消

历史浏览

品牌故事

京东图书