计算机中的小数（下）-浮点数的运算

Spring-99

已于 2022-12-06 20:42:46 修改

阅读量792

点赞数 1

分类专栏：计算机体系结构文章标签：算法

于 2022-12-03 11:37:55 首次发布

本文链接：https://blog.csdn.net/qq_42475302/article/details/128083050

版权

计算机体系结构专栏收录该内容

3 篇文章 0 订阅

订阅专栏

浮点数的运算

由于计算机存储空间位数的限制，使得计算机算术具有有限精度，而自然算术具有无限精度，因此在两者的转换之间必然存在转换精度。

一、浮点数加减运算

在这里插入图片描述
例子：
$0.5)_{10}$ 和 $0.4375)_{10}$ 的和。
解：

首先，将十进制数转化为IEEE 754标准二进制，假设有效位数为4：
$(0.5)_{10}=\frac{1}{2}=1\times2^{-1}=(1.000)_{2}\times2^{-1}$
$(-0.4375)_{10}=\frac{7}{2^{4}}=7\times2^{-4}=(-111)_{2}\times2^{-4}=(-1.110)_{2}\times2^{-2}$
接下来，进行浮点数运算
[1] 对阶：选取指数较小的数进行对阶， $(-1.110[00])_{2}\times2^{-2}=(-0.111[00])_{2}\times2^{-1}$ ；
[2] 有效数相加： $(1.000[00])_{2}\times2^{-1}+(-0.111[00])_{2}\times2^{-1}=(0.001[00])_{2}\times2^{-1}$ ；（原码的加减法）
[3] 规格化： $(0.001[00])_{2}\times2^{-1}=(1.000[00])_{2}\times2^{-4}$ ，阶码 $-126\ge -4\le127$ ,故未溢出；
[4] 舍入：采用偶数舍入得到 $(1.000)_{2}\times2^{-4}$ ，且满足规格化要求。

注：对阶的过程中，有效数右移会使得尾数低位数据被抛弃，会出现丢失精度的情况，尤其是两数数值相差很大的数据，例如对于4位精度， $1.000\times2^{2}$ 和 $1.000\times2^{-2}$ 相加时， $1.000\times2^{-2}$ 右移4位，使得1被抛弃，最终结果依然为 $1.000\times2^{2}$ ，这个也称为大数吃小数。可以通过kahan Summation算法来解决。

二、浮点数乘除法运算

在这里插入图片描述

例子：
$0.5)_{10}$ 和 $0.4375)_{10}$ 的积
解：

首先，将十进制数转化为IEEE 754标准二进制，假设有效位数为4：
$(0.5)_{10}=\frac{1}{2}=1\times2^{-1}=(1.000)_{2}\times2^{-1}$
$(-0.4375)_{10}=\frac{7}{2^{4}}=7\times2^{-4}=(-111)_{2}\times2^{-4}=(-1.110)_{2}\times2^{-2}$
接下来，进行浮点数运算
[1] 阶码相加，并减去偏移量： $(- 1 + 127) + (- 2 + 127) - 127 = 124$ ，阶码 $1\le 124\le255$ ,故未溢出；
[2] 有效数的绝对值相乘： $(1.000[00])_{2}\times(1.110[00])_{2}=(1.110[00])_{2}$ ；（原码的乘除法）
[3] 规格化： $(1.110[00])_{2}\times2^{-3}$ 是规格数，阶码 $1\le(-3+127)\le255$ ,故未溢出；
[4] 舍入：偶数舍入得到 $(1.110)_{2}\times2^{-3}$ ，且满足规格化要求。
[5] 符号位判断：两数异号，结果为负数，即 $(-1.110)_{2}\times2^{-3}$

注：

阶码相加后为什么要减去偏移量？
$- 1$ 对应的阶码是 $(- 1 + 127)$ ， $- 2$ 对应的阶码是 $(- 2 + 127)$ ，它们的实际值之和为 $(- 1) + (- 2) = - 3$ ，阶码之和为 $(- 1 + 127) + (- 2 + 127)$ 显然阶码和与实际值之和不对应，应该要在阶码和的基础上减去127，即 $(- 1 + 127) + (- 2 + 127) - 127 = - 3 + 127$ 。除法的推导过程类似。
上述运算过程中方括号内部的数代表附加位，即在原有尾数后再添加位数，使得进行舍入时能够保持更高的精度。对于IEEE 754标准，规定至少保留2位附加位，紧邻着尾数的称为保护位，接下来一位称为舍入位。
除法时也注意判断除数为0之类的特殊情况。