☆☆☆☆☆
简体网页||繁体网页



点击这里下载

类似图书 点击查看全场最低价

---

内容简介

《产品设计质量保证理论与方法》着重介绍了产品设计质量保证的理论与方法，总结了作者近年来在产品设计质量保证基础理论研究、技术与方法研发、应用研究与实践的成果。本书的主要内容包括：产品设计质量保证的基本概念；基于质量特性的产品设计质量控制与保证；产品研发过程中的设计更改影响传播与风险分析；产品设计质量评估方法；基于失效知识的机械产品概念设计方案评估方法等。
《产品设计质量保证理论与方法》适合于从事产品质量保证和产品设计方法学领域的研究人员、产品研发的工程技术人员，亦可作为高?院校相关专业的参考书。

目录

前言
第1章 产品与产品质量
1．1产品与产品生命周期
1．2现代产品质量观
1．2．1质量观的变迁
1．2．2产品质量的内涵
1．3产品质量的形成
1．4本章小结
参考文献
第2章 产品设计与产品设计质量
2．1概述
2．2产品设计需求
2．3产品设计的一般过程
2．4现代产品设计方法
2．4．1并行设计
2．4．2保质设计
2．4．3公理化设计
2．4．4健壮性设计
2．4．5TRIZ方法
2．5产品设计质量及其形成过程
2．5．1设计质量的定义
2．5．2设计质量形成过程
2．6现代产品设计面临的挑战
2．7本章小结
参考文献
第3章 产品设计质量控制与?证
3．1概述
3．1．1基本概念
3．1．2作用
3．1．3特点
3．1．4目标
3．1．5研究现状
3．2质量标准与产品设计质量保证
3．3设计质量控制策略
3．4设计质量控制与保证过程模型
3．5设计质量控制与保证支持工具与方法
3．6设计质量信息管理
3．7设计质量控制与保证系统
3．7．1系统总体方案
3．7．2系统功能模型
3．7．3系统体系结构
3．8本章小结
参考文献
第4章 基于质量特性的产品设计质量控制与保证
4．1质量特性
4．1．1质量特性及其分类
4．1．2质量特性的表达
4．2质量特性的映射与配置
4．2．1质量特性处理单元
4．2．2质量特性处理中的约束分析
4．2．3质量特性处理方法
4．3质量特性映射与配置方法
4．3．1常用质量控制方法
4．3．2基于质量工具的质量特性处理过程模型
4．4用户需求与质量特性间的映射
4．4．1用户需求向质量特性映射的过程模型
4．4．2基于质量特性的组合质量屋
4．4．3基于组合质量屋的用户需求与产品级质量特性映射
4．4．4应用示例
4．5本章小结
参考文献
第5章 产品研发过程中设计更改影响传播与风险分析
5．1设计更改
5．1．1概述
5．1．2设计更改管理
……

前言/序言

产品设计质量保证理论与方法 电子书 下载 mobi epub pdf txt

评分☆☆☆☆☆

形式化验证就是基于已建立的形式化规格，对所规格系统的相关特性进行分析和验证，以评判系统是否满足期望的特性。形式化验证并不能完全确保系统的性能正确无误，但是可以最大限度地理解和分析系统，并尽可能地发现其中的不一致性、模糊性、不完备性等错误。形式化验证的主要技术包括模型验证和定理证明。模型检验是一种基于有限模型并检验该模型的期望特性的一种技术。粗略地讲，检验就是状态空间的蛮力搜索，模型的有限性确保了搜索可以终止。模型检验有两种主要方法。其一是时态模型检验，该方法中规格以时态逻辑形式表述，系统模拟为有限状态迁移系统。有效的搜索过程用来检验给定的有限状态迁移系统是否是规格的一个模型。另一种方法中，规格以自动机方式给出，系统也模拟为一个自动机。系统的自动机模型和规格比较，以确定其行为是否与规格的自动机模型一致。一致性概念已进行了广泛的研究，包括：语言包含、细化有序、观测等价等。不同于定理证明，模型检验是完全自动且高效的。模型检验可用于系统部分规格，因此可用于未完全规格的系统。模型检验的主要局限性在于状态组合爆炸问题。模型检验的技术挑战在于设计可以处理大型搜索空间的算法和数据结构。定理证明是系统及其特性均以某种数学逻辑公式表示的技术。逻辑由一具有公理和推理规则的形式化系统给出。定理证明实质上是从系统公理中寻找特性证明的过程。证明采用公理或者规则，且可能推演出定义和引理。不同于模型检验，定理证明可以处理无限状态空间问题。定理证明系统可粗略地分为自动的和交互的两种类型。自动定理证明系统是通用搜索过程，在解决各种组合问题中比较成功；交互式定理证明系统则更适合于系统的形式化开发和机械形式化...

评分☆☆☆☆☆

买错了，如果在书店翻过，肯定不会买这，没活动还那么贵，现在想出送，都没人要。纯理论层的，适合研究类，一堆有用的附录需要自己慢慢图书馆查，哪有这个闲功夫。与那应用的鸿沟，看看那宽广的大海啊…都是已知理论和方法的罗列，没新意，基本没啥收获。估计是搞点经费、刷点存在而出的书。理论没有自己的直觉简释与更深层的理解，领域也仅基于机械行业展开，没更广的范围视野；方法没有管理系统、IT系统的附加说明。随手全翻了下，再浏览下第5章设计更改、第7章失效部分，感觉这不是形式化验证的节奏嘛。

评分☆☆☆☆☆

形式化验证就是基于已建立的形式化规格，对所规格系统的相关特性进行分析和验证，以评判系统是否满足期望的特性。形式化验证并不能完全确保系统的性能正确无误，但是可以最大限度地理解和分析系统，并尽可能地发现其中的不一致性、模糊性、不完备性等错误。形式化验证的主要技术包括模型验证和定理证明。模型检验是一种基于有限模型并检验该模型的期望特性的一种技术。粗略地讲，检验就是状态空间的蛮力搜索，模型的有限性确保了搜索可以终止。模型检验有两种主要方法。其一是时态模型检验，该方法中规格以时态逻辑形式表述，系统模拟为有限状态迁移系统。有效的搜索过程用来检验给定的有限状态迁移系统是否是规格的一个模型。另一种方法中，规格以自动机方式给出，系统也模拟为一个自动机。系统的自动机模型和规格比较，以确定其行为是否与规格的自动机模型一致。一致性概念已进行了广泛的研究，包括：语言包含、细化有序、观测等价等。不同于定理证明，模型检验是完全自动且高效的。模型检验可用于系统部分规格，因此可用于未完全规格的系统。模型检验的主要局限性在于状态组合爆炸问题。模型检验的技术挑战在于设计可以处理大型搜索空间的算法和数据结构。定理证明是系统及其特性均以某种数学逻辑公式表示的技术。逻辑由一具有公理和推理规则的形式化系统给出。定理证明实质上是从系统公理中寻找特性证明的过程。证明采用公理或者规则，且可能推演出定义和引理。不同于模型检验，定理证明可以处理无限状态空间问题。定理证明系统可粗略地分为自动的和交互的两种类型。自动定理证明系统是通用搜索过程，在解决各种组合问题中比较成功；交互式定理证明系统则更适合于系统的形式化开发和机械形式化...

评分☆☆☆☆☆

买错了，如果在书店翻过，肯定不会买这，没活动还那么贵，现在想出送，都没人要。纯理论层的，适合研究类，一堆有用的附录需要自己慢慢图书馆查，哪有这个闲功夫。与那应用的鸿沟，看看那宽广的大海啊…都是已知理论和方法的罗列，没新意，基本没啥收获。估计是搞点经费、刷点存在而出的书。理论没有自己的直觉简释与更深层的理解，领域也仅基于机械行业展开，没更广的范围视野；方法没有管理系统、IT系统的附加说明。随手全翻了下，再浏览下第5章设计更改、第7章失效部分，感觉这不是形式化验证的节奏嘛。

评分☆☆☆☆☆

形式化验证就是基于已建立的形式化规格，对所规格系统的相关特性进行分析和验证，以评判系统是否满足期望的特性。形式化验证并不能完全确保系统的性能正确无误，但是可以最大限度地理解和分析系统，并尽可能地发现其中的不一致性、模糊性、不完备性等错误。形式化验证的主要技术包括模型验证和定理证明。模型检验是一种基于有限模型并检验该模型的期望特性的一种技术。粗略地讲，检验就是状态空间的蛮力搜索，模型的有限性确保了搜索可以终止。模型检验有两种主要方法。其一是时态模型检验，该方法中规格以时态逻辑形式表述，系统模拟为有限状态迁移系统。有效的搜索过程用来检验给定的有限状态迁移系统是否是规格的一个模型。另一种方法中，规格以自动机方式给出，系统也模拟为一个自动机。系统的自动机模型和规格比较，以确定其行为是否与规格的自动机模型一致。一致性概念已进行了广泛的研究，包括：语言包含、细化有序、观测等价等。不同于定理证明，模型检验是完全自动且高效的。模型检验可用于系统部分规格，因此可用于未完全规格的系统。模型检验的主要局限性在于状态组合爆炸问题。模型检验的技术挑战在于设计可以处理大型搜索空间的算法和数据结构。定理证明是系统及其特性均以某种数学逻辑公式表示的技术。逻辑由一具有公理和推理规则的形式化系统给出。定理证明实质上是从系统公理中寻找特性证明的过程。证明采用公理或者规则，且可能推演出定义和引理。不同于模型检验，定理证明可以处理无限状态空间问题。定理证明系统可粗略地分为自动的和交互的两种类型。自动定理证明系统是通用搜索过程，在解决各种组合问题中比较成功；交互式定理证明系统则更适合于系统的形式化开发和机械形式化...

评分☆☆☆☆☆

形式化验证就是基于已建立的形式化规格，对所规格系统的相关特性进行分析和验证，以评判系统是否满足期望的特性。形式化验证并不能完全确保系统的性能正确无误，但是可以最大限度地理解和分析系统，并尽可能地发现其中的不一致性、模糊性、不完备性等错误。形式化验证的主要技术包括模型验证和定理证明。模型检验是一种基于有限模型并检验该模型的期望特性的一种技术。粗略地讲，检验就是状态空间的蛮力搜索，模型的有限性确保了搜索可以终止。模型检验有两种主要方法。其一是时态模型检验，该方法中规格以时态逻辑形式表述，系统模拟为有限状态迁移系统。有效的搜索过程用来检验给定的有限状态迁移系统是否是规格的一个模型。另一种方法中，规格以自动机方式给出，系统也模拟为一个自动机。系统的自动机模型和规格比较，以确定其行为是否与规格的自动机模型一致。一致性概念已进行了广泛的研究，包括：语言包含、细化有序、观测等价等。不同于定理证明，模型检验是完全自动且高效的。模型检验可用于系统部分规格，因此可用于未完全规格的系统。模型检验的主要局限性在于状态组合爆炸问题。模型检验的技术挑战在于设计可以处理大型搜索空间的算法和数据结构。定理证明是系统及其特性均以某种数学逻辑公式表示的技术。逻辑由一具有公理和推理规则的形式化系统给出。定理证明实质上是从系统公理中寻找特性证明的过程。证明采用公理或者规则，且可能推演出定义和引理。不同于模型检验，定理证明可以处理无限状态空间问题。定理证明系统可粗略地分为自动的和交互的两种类型。自动定理证明系统是通用搜索过程，在解决各种组合问题中比较成功；交互式定理证明系统则更适合于系统的形式化开发和机械形式化...

评分☆☆☆☆☆

形式化验证就是基于已建立的形式化规格，对所规格系统的相关特性进行分析和验证，以评判系统是否满足期望的特性。形式化验证并不能完全确保系统的性能正确无误，但是可以最大限度地理解和分析系统，并尽可能地发现其中的不一致性、模糊性、不完备性等错误。形式化验证的主要技术包括模型验证和定理证明。模型检验是一种基于有限模型并检验该模型的期望特性的一种技术。粗略地讲，检验就是状态空间的蛮力搜索，模型的有限性确保了搜索可以终止。模型检验有两种主要方法。其一是时态模型检验，该方法中规格以时态逻辑形式表述，系统模拟为有限状态迁移系统。有效的搜索过程用来检验给定的有限状态迁移系统是否是规格的一个模型。另一种方法中，规格以自动机方式给出，系统也模拟为一个自动机。系统的自动机模型和规格比较，以确定其行为是否与规格的自动机模型一致。一致性概念已进行了广泛的研究，包括：语言包含、细化有序、观测等价等。不同于定理证明，模型检验是完全自动且高效的。模型检验可用于系统部分规格，因此可用于未完全规格的系统。模型检验的主要局限性在于状态组合爆炸问题。模型检验的技术挑战在于设计可以处理大型搜索空间的算法和数据结构。定理证明是系统及其特性均以某种数学逻辑公式表示的技术。逻辑由一具有公理和推理规则的形式化系统给出。定理证明实质上是从系统公理中寻找特性证明的过程。证明采用公理或者规则，且可能推演出定义和引理。不同于模型检验，定理证明可以处理无限状态空间问题。定理证明系统可粗略地分为自动的和交互的两种类型。自动定理证明系统是通用搜索过程，在解决各种组合问题中比较成功；交互式定理证明系统则更适合于系统的形式化开发和机械形式化...

评分☆☆☆☆☆

买错了，如果在书店翻过，肯定不会买这，没活动还那么贵，现在想出送，都没人要。纯理论层的，适合研究类，一堆有用的附录需要自己慢慢图书馆查，哪有这个闲功夫。与那应用的鸿沟，看看那宽广的大海啊…都是已知理论和方法的罗列，没新意，基本没啥收获。估计是搞点经费、刷点存在而出的书。理论没有自己的直觉简释与更深层的理解，领域也仅基于机械行业展开，没更广的范围视野；方法没有管理系统、IT系统的附加说明。随手全翻了下，再浏览下第5章设计更改、第7章失效部分，感觉这不是形式化验证的节奏嘛。

评分☆☆☆☆☆

买错了，如果在书店翻过，肯定不会买这，没活动还那么贵，现在想出送，都没人要。纯理论层的，适合研究类，一堆有用的附录需要自己慢慢图书馆查，哪有这个闲功夫。与那应用的鸿沟，看看那宽广的大海啊…都是已知理论和方法的罗列，没新意，基本没啥收获。估计是搞点经费、刷点存在而出的书。理论没有自己的直觉简释与更深层的理解，领域也仅基于机械行业展开，没更广的范围视野；方法没有管理系统、IT系统的附加说明。随手全翻了下，再浏览下第5章设计更改、第7章失效部分，感觉这不是形式化验证的节奏嘛。

类似图书 点击查看全场最低价