基于编译时插桩的浮点异常检测方法

浮点数是实数的有限精度编码,在进行浮点计算时,可能会导致不精确或者异常的结果,因此实现有效的浮点异常检测方法很重要。现有异常检测方法不面向浮点数学函数,由此提出了一种面向浮点数学函数的异常检测方法。该方法依据IEEE-754标准中定义的上溢出、下溢出、被零除、无效操作和不精确5类异常,并结合申威高性能数学函数库中使用的浮点控制寄存器FPCR和IEEE-754标准定义的浮点异常产生条件的相关理论,通过将异常类型和浮点运算指令进行对应分类,在程序编译时进行插桩以检测出浮点数学函数中出现的异常,同时记录代码覆盖率。最后将该方法应用于数学函数库,对库中100多个浮点数学函数进行了测试实验。实验结果表明,该浮点异常检测方法能够有效检测各类异常。     

城中村健康更新设计 ——华中科技大学城市设计课程教学与学习评述

华中科技大学风景园林专业四年 级城市设计课程教学,以武汉市中心区风光 村更新改造设计为题,探索了存量建设背景 下城中村社区的城市设计策略,并尝试了与 之相适应的城市设计课程教学计划。论文 研究选取一典型小组,由城市存量建设背景 解读、经过健康社区等理论分析、到基于光 环境的社区更新设计,取得了师生共赏的学 习成果。论文通过对此典型小组学习成果的 阶段性展示与评述,反思教学过程中教师 导引和与学生学习之间的互动关系,为存量 建设背景下城中村健康更新设计教学提供 了借鉴。