一、Combiner的出现背景1.1 回顾Map阶段五大步凑 在第四篇博文《初始MapReduce》中，我们认识了MapReduce的八大步凑，其中在Map阶段总共五个步凑，如下图所示： 其中，step1.5是一个可选步凑，它就是我们今天需要了解的 Map规约 阶段。现在，我们再来看看前一篇博文.....
分类：
其他好文 时间：
2015-02-23 01:24:05
阅读次数：
854
代码块本质上是和其它变量相似。不同的是，代码块存储的数据是一个函数体。使用代码块是，你能够像调用其它标准函数一样，传入參数数，并得到返回值。脱字符（^）是块的语法标记。依照我们熟悉的參数语法规约所定义的返回值以及块的主体（也就是能够执行的代码）。下图是怎样把块变量赋值给一个变量的语法解说：依照调用函...
分类：
其他好文 时间：
2015-02-21 14:16:12
阅读次数：
123
第五章—软件工程中的形式化方法软件的设计过程就是一个建立形式规约的过程。当规格说明用非形式化方法说明时，可称之为“规格说明”，当用形式化方法说明时，可称之为“形式规约”。已建立的形式化方法可分为操作类和描述类。形式证明与验证技术主要包括模型检测和定理证明，模型检测主要适用于有穷状态系统，优点是完全自...
分类：
其他好文 时间：
2015-02-21 13:09:45
阅读次数：
115
软件的设计过程就是一个建立形式规约的过程。软件开发实际上就是把现实世界的需求映射成软件的模型化方法。软件规格说明是对软件系统对象，对象的操作方法，以及对象行为的描述。形式证明与验证技术主要包括模型检测和定理证明。程序求精是将自动推理和形式化方法相结合，从抽象的形式规约推演出具体的面向计算机的程序代码...
分类：
其他好文 时间：
2015-02-18 18:46:54
阅读次数：
176
本章的主要内容是软件工程中的形式化方法形式化方法基本概念 形式规约 软件规格说明是对软件系统对象，对象的操作方法，以及对象行为的描述。 当规格说明用非形式化方法描述时，可称之为“规格说明”，当规格说明用形式化方法描述时，可称之为“形式规约”。 非形式化的规格说明可用自...
分类：
其他好文 时间：
2015-02-16 18:16:51
阅读次数：
162
第五章、软件工程中的形式化方法 本章涉及到离散数学与数据结构的知识，可见知识都是互通的。1.形式化方法基本概念分为形式规约、形式证明与验证、程序求精，形式证明与验证技术主要包括模型检测和定理证明。2.时态逻辑介绍了Kripke结构；一阶线性时态逻辑以队列及其操作与汉诺塔操作规划问题为例...
分类：
其他好文 时间：
2015-02-16 12:56:51
阅读次数：
142
形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动，从根本上讲，软件设计过程就是一个建立形式化规约，软件设计的最终产物--程序在进行形式化的过程中涉及到三中系统模型：现实世界，模型表示和计算机系统。软件规格说明是对软件系统对象，对象的操作系统以及...
分类：
其他好文 时间：
2015-02-15 23:07:10
阅读次数：
144
1 形式化方法的基本概念 形式化规约 形式证明与验证 程序求精2 时态逻辑 krioke结构可以表示为一个有向图 一阶线性时态逻辑是一阶谓词逻辑的扩展。 队列及其操作：队列是一种常用的数据抽象类型他服从先进先出的FIFO规则。在某一时刻队列可以为空。 1 活性 2 安全性 汉诺塔操作规划问题 计算树...
分类：
其他好文 时间：
2015-02-15 16:22:36
阅读次数：
138
只能说自己见识短，头一次听说Z语言。先普及一下吧：Z语言是由牛津大学程序设计研究小组开发的一种形式语言，它是一种以一阶谓词演算为主要理论基础的规约语言，是一种功能性语言。Z语言是将事物的状态和行为用数学符号形式化表达的语言，为编写计算机程序和验证计算机程序的正确性提供依据，是软件工程中编码之前的规格...
分类：
编程语言 时间：
2015-02-12 22:34:25
阅读次数：
362
1.什么是UML?统一建模语言（UML，英语：Unified Modeling Language）是非专利的第三代建模和规约语言。UML是一种开放的方法，用于说明、可视化、构建和编写一个正在开发的、面向对象的、软件密集系统的制品的开放方法。UML展现了一系列最佳工程实践，这些最佳实践在对大规模，复杂...
分类：
其他好文 时间：
2015-02-10 21:40:55
阅读次数：
174
