二进制浮点运算是计算机科学中的一个重要概念，它是指对浮点数进行加、减、乘、除等运算的过程。在计算机科学中，浮点数是一种用于表示实数的数据类型，它由两部分组成：尾数和指数。尾数表示实数的小数部分，指数表示实数的整数部分。二进制浮点数是指尾数和指数都是二进制数的浮点数。

GB/T 17966-2000标准规定了二进制浮点数的表示方法，其中尾数和指数都采用补码表示。尾数的位数和指数的位数可以根据实际需要进行调整，但是必须满足一定的精度要求。标准还规定了浮点数的四种格式：单精度浮点数、双精度浮点数、扩展精度浮点数和十进制浮点数。

在二进制浮点运算中，标准规定了加、减、乘、除等运算的规则。其中加、减运算采用对齐、补码相加的方法进行，乘、除运算采用规格化、舍入等方法进行。标准还规定了浮点数的舍入规则，包括向最近偶数舍入、向零舍入、向正无穷舍入、向负无穷舍入等。

在二进制浮点运算中，可能会出现一些异常情况，例如除以零、溢出、无穷大等。标准规定了这些异常情况的处理方法，包括抛出异常、返回特殊值等。

相关标准
GB/T 17967-2000 微处理器系统的十进制浮点运算
GB/T 17968-2000 微处理器系统的浮点数转换
GB/T 17969-2000 微处理器系统的浮点数比较
GB/T 17970-2000 微处理器系统的浮点数取整
GB/T 17971-2000 微处理器系统的浮点数开方