【摘 要】
：
研究基于IEEE 754浮点标准下的浮点异常问题。针对C语言程序的上溢出、下溢出、被零除和无效运算这4类异常问题,结合C标准库中异常标记函数和区间运算的相关理论,提出两种针
【机 构】
：
华东师范大学上海市高可信计算重点实验室
【基金项目】
：
国家自然科学基金项目（91118007）,上海市教育委员会创新基金项目（14ZZ046）
论文部分内容阅读
研究基于IEEE 754浮点标准下的浮点异常问题。针对C语言程序的上溢出、下溢出、被零除和无效运算这4类异常问题,结合C标准库中异常标记函数和区间运算的相关理论,提出两种针对性的异常检测的方法,分别解决对于函数特定值输入的异常检测和函数在某范围内的异常检测。研发相应的异常检测工具,自动重写待测程序,嵌入相应的异常检测方法。测试所得程序,实验结果表明,提出的两种异常检测方法可以有效检测浮点异常。
其他文献
美英作为成熟市场经济国家，通过建立和监管内部控制体系、审计与评估、内部控制信息披露、违规处罚、公众媒体监督等措施，推进了内部控制的执行，取得了较好的效果。对两国的内部
随着高等学校的快速发展，经费数量、学生规模、资产总量已发生巨大变化，一些落后的财务管理工具El益不能满足事业发展的需要。软件公司开发的各种财务管理系统层出不穷，一定程度
每个人都有属于自己的梦想，而在我对梦想还懵懵懂懂的幼年时期，就已与会计结缘。那时，做会计的邻居阿姨戴着黑框眼镜，表情认真而严肃，她左手账本右手算盘的形象，构成了我对会计的最初印象。那能计算出数字的算盘和写满了密密麻麻数据的账本，对于幼时的我来说是多么神奇。在同龄的伙伴都梦想着成为科学家、医生的时候，我的梦想就是成为一名会计。大学报考专业时，我毅然决然地选择了会计学，就这样，我的会计人生开始了。
契约在调节社会关系时,尽可能把人的理性与情感、原则性与灵活性统一起来,具有既和谐又竞争的调节功能;小康社会的目的在于实现社会的协调、有序发展和人的全面发展,其构建需
通过2007—2012年平衡面板数据进行分析,验证内部控制是否有效地约束了管理者的盈余管理行为。从实证结果来看,上市公司的CEO强制性变更与盈余管理存在显著的正相关关系,而自
司法会计鉴定检材的选取范围究竟是什么？这已不仅仅是表述上的问题，而是影响到司法会计鉴定意见证明力的大事。依据财务与会计及其资料的特点和司法鉴定的本质特征、诉讼证据规
为减少云计算的任务完成时间,提出基于差分进化人工蜂群算法的云计算资源调度方法。引入高斯变异和自适应因子改进人工蜂群算法,兼顾算法前期全局搜索能力和后期局部细致搜索
工程施工管理作为整个建筑施工管理工作的基础，管理过程较为复杂。我国建筑业中分两种，一种是工业建筑，另一种是民用建筑，都是建筑业重要的组成部分。本文对当前工民建工程施工管
对于造船企业来说,采购工作做得好不好主要体现在采购成本的高低、采购质量、库存物资的数量、采购的及时性、资金的周转五个方面.造船业的营业部门、设计部门和生产部门也对
为解决传统渗流裂缝检测方法速度较慢的问题,提出一种样本方差与相似点判断相结合的图像裂缝检测算法。采用样本方差提取裂缝区域,提出一种偏差处理方式提取裂缝像素点,减少后续像素处理个数;进行初步裂缝渗流检测;提出一种裂缝断裂区间相似点判断算法并进一步渗流检测,避免裂缝断裂现象,提高检测的精确率。实验结果表明,该算法与传统渗流算法的精确率基本保持一致,降低了裂缝连接算法导致的误检测率,检测速度明显提高。