浮点数 IEEE表示 舍入 运算

浮点数

IEEE浮点数表示

$(-1^s)\ast M\ast 2^E$

• 符号

• 尾数：1~2-$ϵ$ 或 0~1-$ϵ$

• 阶码：2的幂

• 单精度浮点数
  

非格式化数

• 提供一种表示0的方法
• 表示那些非常接近于0.0的数

舍入

• 向偶数舍入：向最接近的值舍入
  • 中间值：向下或向上舍入，使得结果的最低有效数字是偶数
• 向零舍入：正数向下舍入，负数向上舍入
• 向下舍入
• 向上舍入

浮点运算

• 可交换
• 不满足结合
• 有逆元
• 与NaN运算都是NaN
• 除了NaN，若$a\ge b$ ，则$x+a\ge x+b$
• 舍入
• 不满足乘法分配
• 除了NaN,若$a\ge b$且$c\ge 0$,则$a\ast c\ge b\ast c$;若$a\ge b$且$c\le 0$,则$a\ast c\le b\ast c$
• 除了NaN，$a\ast a\ge 0$