深入理解计算机系统(2.7)------二进制小数和IEEE浮点标准

  整数的表示和运算我们已经讲完了,在实际应用中,整数能够解决我们大部分问题。但是某些需要精确表示的数,比如某件商品的价格,某两地之间的距离等等,我们如果用整数表示将会有很大的出入,这时候浮点数就产生了。

  在 20世纪80年代以前,每个计算机厂商都设计了自己表示浮点数的规则,以及对浮点数执行运算的细节,这对于应用程序在不同机器上的移植造成了巨大的困难。而在这之后,也就是 1985年左右,IEEE 标准产生了,这是一个仔细制定的表示浮点数及其运算的标准,现在的计算机浮点数也都是采用这个标准。

  浮点数不仅仅是为了让数值的表示更加精确,也是为了表示一些整数无法达到的数字,比如一些接近于0的数字,或者一些非常大的数值。因此浮点数对于计算机的意义是非常大的。

1、二进制小数

  前面这篇博客 进制间的转换  我们已经讲过了各个进制数的表示。现在我们复习一下:  

  进位计数制的要素:

    ①、数码:用来表示进制数的元素。比如二进制数的数码为:0,1。十进制数的数码为:0,1,2,3,4,5,6,7,8,9。十六进制数的数码为:0,1,2,3,4,5,6,7,8,9,A,B,C,D,E,F

    ②、基数:数码的个数。比如二进制数的基数为2。十进制数的基数为10。十六进制数的基数为 16.

    ③、位权:数制中每一固定位置对应的单位值称为位权。例如十进制第2位的位权为101即10,第3位的位权为102即100;而二进制第1位的位权为20即1,第3位的位权为4,对于 N进制数,整数部分第 i位的位权为N(i-1),而小数部分第j位的位权为N-j。

  那么我们可以说:每个数码所表示的数值=该数码值 * 所处位置的位权。

  比如十进制数:(123.45)10=1×102+2×101+3×100+4×10-1+5×10-2

二进制数:(1010)2 =l× 23+0 × 22+l× 21+0 × 20=(10)10

    十六进制数:(BAD)16 =11× 162+10×161+13×160=(2989)10

   二进制小数(10010.1110)2 = 1 * 24 + 0 * 23 + 0 * 22 + 1 * 21 + 0 * 20 + 1 * 2-1 + 1 * 2-2 + 1 * 2-3 +  0 * 2-4 = 16 + 2 + 1/2 + 1/4 + 1/8 

   总结来说

    十进制表示公式:

    对于一个形式为bm....b0.b-1....b-n的二进制小数b来说,二进制表示公式:

  从上面的二进制公式我们可以看出,小数点向左移动一位,则相当于 (∑ 2i * bi)/2。因为每一位的位权都*2-1;反过来,小数点向右移动一位,则相当于该数乘以2。

  注意:二进制小数不像整数一样,只要位数足够,它就可以表示所有整数。假设我们仅考虑有限长度的编码,那么二进制小数无法精确的表示任意小数,比如十进制小数0.2,我们并不能将其准确的表示为一个二进制数,只能增加二进制长度提高表示的精度。

2、IEEE 浮点表示

   IEEE,电气和电子工程师协会( 全称是Institute of Electrical and Electronics Engineers)是一个国际性的电子技术与信息科学工程师的协会,是目前全球最大的非营利性专业技术学会,IEEE 754 标准是IEEE二进位浮点数算术标准(IEEE Standard for Floating-Point Arithmetic)的标准编号。

   IEEE 浮点标准表示: V = (-1)s * M * 2E

  ①、s 是符号位,为0时表示正,为1时表示负。

  ②、M为尾数,是一个二进制小数,它的范围是0至1-ε,或者1至2-ε(ε的值一般是2-k次方,其中设k > 0)

  ③、E为阶码,可正可负,作用是给尾数加权。

   我们将浮点数的位划分为三个阶段,分别对这些值进行编码。

  一、一个单独的符号位 s 直接编码符号 s

  二、k 位的阶码字段 exp =ek-1ek-2...e1e0 编码阶码E

  三、n 位小数字段 frac = fn-1fn-2...f1f0 编码尾数 M,但是编码出来的值也依赖于阶码字段的值是否等于0.

  一般来说,现在的编译器都支持两种浮点格式,一种是单精度,一种是双精度。单双精度分别对应于编程语言当中的float和double类型。其中float是单精度的,采用32位二进制表示,其中1位符号位,8位阶码以及23位尾数。double是双精度的,采用64位二进制表示,其中1位符号位,11位阶码以及52位尾数。如下图表示:

   如果给定了位 s 的表示,根据 exp 的值,被编码的值可以分为三种不同的情况(最后一种情况有两个变种)。下图是单精度的情况:

  下面我们分别讲解这三种情况(规格化、非规格化、特殊值)

3、规格化

   阶码E 的位模式exp既不全为0(数值0),也不全为1(单精度8位1,数值为255,双精度11位,数值为2047)。

  这种情况下,阶码字段被解释为以偏置形式表示的有符号整数。”偏置”的含义就是在原有的值的基础上加上一个偏移量,对于阶码位数为k的情况来说,偏移量Bias = 2k-1-1。假设e是阶码的无符号数值,那么真实的阶码E = e - Bias。

  单精度阶码位数为8,则Bias = 127。由于8位阶码下的规格化的浮点数的阶码范围是1至254,因此真实阶码的范围则为-126至127。

  对于小数字段 frac = fn-1fn-2...f1f0 它的值 0<= f < 1。那么我们可以表示为0. fn-1fn-2...f1f0,也就是二进制小数点在最高有效位的左边。当计算浮点数数值的时候,会在尾数值的基础上加1,也就是真实的尾数M = 1 + f。因此我们可以把 M 看成一个二进制表达式为 1.fn-1fn-2...f1f0的数字。相当于我们省掉了1位二进制,形成了浮点数表示的约定,默认尾数的值还有一个最高位的1。

4、非规格化的值

   当阶码域为全 0 的时候,所表示的数就是非规格化形式。

  按照上面规格化的阶码求值方式来说,非规格化的阶码值应该固定在-Bias这个值上面。不过这里有一个小技巧,我们设定阶码的值E = 1 - Bias。这样做是为了能够平滑的从非规格化的浮点数过渡到规格化的浮点数,有关这一点后面我们再详细看。

  对于尾数的解释,非规格化的方式与规格化不同,它不会对尾数进行加1的处理,也就是说,真实的尾数M = f。这是为了能够表示0这个数值,否则的话尾数总是大于1,那么无论如何都将得不到0这个数值。

  非规格化的浮点数除了可以表示0以外,它还有一个作用,就是可以表示接近于0的数值。另外,在浮点数当中,0的表示有两种,一种是位表示全部为0,则为+0.0。还有一种则是符号位为1,其余全为0,此时为-0.0。

5、特殊值

  特殊值是指阶码全为 1 的时候出现的。

  在阶码全为1时,如果尾数位全为0,则表示无穷大。符号位为0则表示正无穷大,相反则表示负无穷大。倘若尾数位不全为0时,此时则表示NaN,表示不是一个数字。一些运算的结果不能是实数或者无穷,就会返回NaN值,比如正无穷减正无穷,-1的根号值。在某些应用中表示未初始化的值,也很有用处。这一点在Javascript当中有一个函数isNaN()与这个NaN的含义有点类似,它的作用是用来判断一个参数或者表达式是否是一个数字。

6、数值范围

  注意:由于浮点数在正负的区间内是一一对应的,因此我们将忽略符号位对取值范围的影响,我们只讨论符号位为0的情况。

非规格化

  ①、最小的正非规格化值的位表示,是由最低有效位为 1 而其他所有位为 0 构成。它具有小数(尾数)值 M=f=2-n 和阶码值 E= -2k-1 +2。因此它的数字值是 V= 2-n * 22 - 2k-1 = 2-n+2 - 2k-1。

  ②、最大的非规格化值,全为0的阶码字段和全为1的小数字段组成。此时的小数(尾数)值 M=f=1-2-n,阶码 E=  -2k-1 +2,因此此时的值为 (1 - 2-n) * 22 - 2k-1。

规格化

  ①、最小的正规格化值,阶码字段的最低有效位为1,其它位为0,。它的尾数值 M = 1。阶码值 E= -2k-1 +2。因此数值 V = 22 - 2k-1

  ②、最大的规格化值,符号位为0,阶码最低有效位等于0,其它位等于 1,尾数为n个1。它的小数值 f=1-2-n,尾数 M= 2 - 2-n,此时的值为(2 - 2-n) * 2-1 + 2k-1,也可以化简一下为(1 - 2-n-1) * 22k-1。

  下面我们看一下非负浮点数单双精度取值范围:

7、总结   

   本篇博客介绍的 IEEE 浮点标准算是难度系数很高的一节了,需要花很多时间去理解。下篇博客浮点数据类型的舍入以及运算。

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏聊聊技术

原 初学数模-MATLAB Quick S

4349
来自专栏阿凯的Excel

Vlookup常见错误分享

前面两期分享了Vlookup函数最高阶用法和模糊匹配,但是工作中却发现最简单的精确匹配都不成功! 接下来小编根据自己百折不挠,百败百战,从哪里跌倒就休息一会再...

2675
来自专栏菩提树下的杨过

“AS3.0高级动画编程”学习:第四章 寻路(AStar/A星/A*)算法 (中)

上一部分提到了节点(Node),代价(Cost),估价公式等基本概念,有了这些知识铺垫 就可以正式开启寻路之旅了! ? 如上图,这是一个5行8列的网格,黄色节点...

2206
来自专栏King_3的技术专栏

leetcode-849-到最近的人的最大距离

1294
来自专栏猛牛哥的博客

牛牛牌大小计算

1604
来自专栏大数据挖掘DT机器学习

python数据分析师面试题选

python数据分析部分 1. 如何利用SciKit包训练一个简单的线性回归模型 利用linear_model.LinearRegression()函数 #...

3946
来自专栏小樱的经验随笔

DFS中的奇偶剪枝学习笔记

奇偶剪枝学习笔记 描述 现假设起点为(sx,sy),终点为(ex,ey),给定t步恰好走到终点, s | ...

2544
来自专栏郭耀华‘s Blog

剑指offer第七天

30.连续子数组的最大和 HZ偶尔会拿些专业问题来忽悠那些非计算机专业的同学。今天测试组开完会后,他又发话了:在古老的一维模式识别中,常常需要计算连续子向量的最...

2529
来自专栏深度学习之tensorflow实战篇

tensorflow载入数据的三种方式 之 TF生成数据的方法

Tensorflow数据读取有三种方式: Preloaded data: 预加载数据 Feeding: Python产生数据,再把数据喂给后端。 Reading...

3504
来自专栏深度学习那些事儿

pytorch新手需要注意的隐晦操作Tensor,max,gather

先看官方的介绍: 如果input是一个n维的tensor,size为 (x0,x1…,xi−1,xi,xi+1,…,xn−1),dim为i,然后index必须...

3527

扫码关注云+社区