- android - 多次调用 OnPrimaryClipChangedListener
- android - 无法更新 RecyclerView 中的 TextView 字段
- android.database.CursorIndexOutOfBoundsException : Index 0 requested, 光标大小为 0
- android - 使用 AppCompat 时,我们是否需要明确指定其 UI 组件(Spinner、EditText)颜色
在我开始之前,先了解一些背景信息:
我正在 ARM7 微 Controller (LPC2294/01) 上运行裸机应用程序,该微 Controller 使用编译器标准数学库(符合 IEEE-754 标准)在 Keil uVision3 中编译。
问题:我无法理解究竟是什么构成了 2 个单精度浮点输入之和的“溢出”。
最初,我的印象是,如果我试图将任何正值添加到可以用 IEEE-754 表示法表示的最大值,结果会产生溢出异常。
例如,假设我有:
a = 0x7f7fffff (ie. 3.4028235..E38);
b = 0x3f800000 (ie. 1.0)
我预计将这两个值相加会导致 IEEE-754 中定义的溢出。最初令我惊讶的是,结果只是返回了 'a' 的值,没有任何异常被标记。
然后我想,由于精度(或分辨率,如果你喜欢的话)随着所表示的值的增加而降低,在这种情况下,值“1”可能由于其相对微不足道而被有效地向下舍入为 0。
所以这引出了一个问题:在这种情况下会导致溢出异常的 'b' 的最小值是多少?是否取决于IEEE-754的具体实现?
也许就像我不理解如何在这种特殊情况下确定最小“显着”精度一样简单,但给出下面的代码,为什么第二个总和会导致溢出而不是第一个?
static union sFloatConversion32
{
unsigned int unsigned32Value;
float floatValue;
} sFloatConversion32;
t_bool test_Float32_Addition(void)
{
float a;
float b;
float c;
sFloatConversion32.unsigned32Value = 0x7f7fffff;
a = sFloatConversion32.floatValue;
sFloatConversion32.unsigned32Value = 0x72ffffff;
b = sFloatConversion32.floatValue;
/* This sum returns (c = a) without overflow */
c = a + b;
sFloatConversion32.unsigned32Value = 0x73000000;
b = sFloatConversion32.floatValue;
/* This sum, however, causes an overflow exception */
c = a + b;
}
是否存在可以应用的通用规则,以便可以提前知道(即,无需执行求和)给定两个 float ,它们的求和将导致 IEEE-754 定义的溢出?
最佳答案
当结果受到格式范围的影响时,就会发生溢出。只要正常舍入将结果保持在有限范围内,就不会发生溢出,因为结果与指数无界时的结果相同——结果在考虑范围之前通过正常舍入减少了。所以没有因范围而异常(exception)。
当四舍五入的结果不适合格式的有限范围时,则无法产生有限结果,因此发生溢出异常并产生无穷大。
在 IEEE 754 中,正常操作实际上有两个步骤:
IEEE 754 定义当且仅当上述结果的幅度超过最大可表示有限值时才会发生溢出。换句话说,溢出不会仅仅因为超出了最大可表示值而发生,而是仅当超出最大可表示值以至于浮点运算的正常方式不起作用时才发生。
因此,如果您从最大可表示值开始并向其添加一个小数字,结果将简单地四舍五入到最大可表示值(当使用舍入到最近值时)。 IEEE 754 认为这是正常的——所有的算术运算都是四舍五入的,如果四舍五入使结果保持在界限内,那是正常的,没有异常(exception)。即使指数范围是无限的,正常的舍入也会产生相同的结果。由于这是不受限制范围影响的正常结果,因此没有发生异常。
只有当数学结果大到如果我们不受指数限制时四舍五入会产生下一个更高的数字时,才会发生溢出。 (但是,由于我们已经达到指数范围的限制,我们必须返回无穷大。)
IEEE-754 基本 32 位二进制 float 的最大可表示值为 2128−2104。此时,可表示数之间的步长以2104为单位。使用舍入到最近的规则,将任何小于半步的数字 2103 添加到这将舍入到 2128−2104,不会发生溢出。如果您添加一个大于 2103 的数字,那么如果指数可以达到那么高,结果将四舍五入为 2128。相反,会产生无穷大并发生溢出异常。 (如果恰好加上 2103,则使用并列规则。此规则表示选择具有偶数位的候选者。这会产生 2128,因此它也溢出。)
因此,对于最近舍入法,溢出发生在步骤的中点。使用其他舍入规则,溢出发生在不同的点。使用向无穷大舍入(向上舍入),将任何正值,甚至是 2−149 加到 2128−2104 都会导致溢出。使用向零舍入,将任何小于 2104 的值添加到 2128−2104 都不会溢出。
关于c - IEEE-754: "smallest"溢出条件,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/51994695/
我正在努力处理查询的 WHERE 部分。查询本身包含一个基于两个表中都存在的 ID 的 LEFT JOIN。但是,我要求 where 语句仅返回其中一列中存在的最大单个结果。目前我返回连接中的所有值,
我有这个代码来改变文件系统的大小。问题是,即使满足 if 条件,它也不会进入 if 条件,而我根本没有检查 if 条件。它直接进入 else 条件。 运行代码后的结果 post-install-ray
假设我有一个包含 2 列的 Excel 表格:单元格 A1 到 A10 中的日期和 B1 到 B10 中的值。 我想对五月日期的所有值求和。我有3种可能性: {=SUM((MONTH(A1:A10)=
伪代码: SELECT * FROM 'table' WHERE ('date' row.date 或 ,我们在Stack Overflow上找到一个类似的问题: https://stackove
我有下面这行代码做一个简单的查询 if ($this->fulfilled) $criteria->addCondition('fulfilled ' . (($this->fulfilled
如果在数据库中找到用户输入的键,我将尝试显示“表”中的数据。目前我已将其设置为让数据库检查 key 是否存在,如下所示: //Select all from table if a key entry
关闭。此题需要details or clarity 。目前不接受答案。 想要改进这个问题吗?通过 editing this post 添加详细信息并澄清问题. 已关闭 5 年前。 Improve th
在MYSQL中可以吗 一共有三个表 任务(task_id、task_status、...) tasks_assigned_to(ta_id、task_id、user_id) task_suggeste
我想先根据用户的状态然后根据用户名来排序我的 sql 请求。该状态由 user_type 列设置: 1=活跃,2=不活跃,3=创始人。 我会使用此请求来执行此操作,但它不起作用,因为我想在“活跃”成员
下面两个函数中最专业的代码风格是什么? 如果函数变得更复杂和更大,例如有 20 个检查怎么办? 注意:每次检查后我都需要做一些事情,所以我不能将所有内容连接到一个 if 语句中,例如: if (veh
我在 C# 项目中使用 EntityFramework 6.1.3 和 SQL Server。我有两个查询,基本上应该执行相同的操作。 1. Exams.GroupBy(x=>x.SubjectID)
我试图在 case when 语句中放入两个条件,但我在 postgresql 中遇到语法错误 case when condition 1 and condition 2 then X else Y
我正在构建一个连接多个表的查询,一个表 prodRecipe 将包含某些行的数据,但不是全部,但是 tmp_inv1 将包含所有行的计数信息。问题是,tmp_inv1.count 取决于某个项目是否在
我有一个涉及 couples of rows which have a less-than-2-hours time-difference 的查询(~0.08333 天): SELECT mt1.*,
我有一个包含许多这样的 OR 条件的代码(工作正常)来检查其中一个值是否为空,然后我们抛出一条错误消息(所有这些都必须填写) } elsif ( !$params{'account'}
我有一个名为 spGetOrders 的存储过程,它接受一些参数:@startdate 和 @enddate。这将查询“订单”表。表中的一列称为“ClosedDate”。如果订单尚未关闭,则此列将保留
在代码中,注释部分是我需要解决的问题...有没有办法在 LINQ 中编写这样的查询?我需要这个,因为我需要根据状态进行排序。 var result = ( from contact in d
我正在尝试创建一个允许省略参数的存储过程,但如果提供了参数,则进行 AND 操作: CREATE PROCEDURE MyProcedure @LastName Varchar(30)
我正在寻找一种方法来过滤我的主机文件中的新 IP 地址。我创建了一个脚本,每次我用来自矩阵企业管理器的数据调用它时都会更新我的主机文件。它工作正常。但是我必须找到一个解决方案,只允许更新 10.XX.
所以我正在做一种 slider ,当它完全向下时隐藏向下按钮,反之亦然,当向上按钮隐藏时,我遇到了问题。 var amount = $('slide').attr('number'); $('span
我是一名优秀的程序员,十分优秀!