【摘 要】
：
抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性，已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然而大部分已存在的数值抽象域无法表示程序的
【机 构】
：
南京航空航天大学计算机科学与技术学院,东部战区空军装备部
【基金项目】
：
国家863计划（2015AA015303）；江苏省研究生培养创新工程（KYLX_0315）；国家自然科学基金（61272038）
论文部分内容阅读
抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性，已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然而大部分已存在的数值抽象域无法表示程序的非凸性质,抽象域的这种凸性限制很多时候会影响数值分析的精度,甚至带来更多误报。基于两区间八边形约束,提出了一个新的数值抽象域,其约束形式为x±y∈［a,b］∪［c,d］,其中x和y表示变量取值,a,b,c,d∈R。该抽象域的域元素是用两区间八边形约束表示,因此可以表达某类非凸性质,表达能力强于经典的八边形抽象域,并且相对于八边形抽象域
其他文献
在三维立体视觉中,工件表面的特征提取是三维重构的前提和关键。但是,工件表面的自然特征往往表现得不够明显,使得特征的提取非常困难。因此,经常使用激光网格投影到待检测的工件表面,使工件表面具备确定的可识别特征。针对激光网格标记图像的特点,在随机抽样一致性RANSAC算法的基础上,提出了像素权重化和假设模型预检验的方法,用于激光网格标记的直线特征提取。实验结果表明,该方法不仅克服了RANSAC算法计算量
2010年国办23号文《关于进一步加强运动员文化教育和运动员保障工作的指导意见》的出台为促进体教结合，进一步加强运动员的文化教育，提高综合素质指明了方向，提供了保障。作为在
根据铝合金脉冲GTAW背面熔池及焊缝图像的特点,开发了熔池及焊缝边缘提取算法,该算法的步骤为最大方差阈值分割、二值开运算、二值闭运算和轮廓提取,在此基础上准确地提取了
道德与法治课程关乎初中生的个人成长,但是当前的初中道德与法治课堂主要存在着学生兴趣不浓、教师教学观念落后等问题。笔者认为,让生活化教学走入道德与法治课堂是提升学生
摘 要：阅读是语文教学中的重要板块，通过阅读能够增强学生的理解能力，启发学生的思维，为学生的写作练习打下夯实的基础。在小学语文阅读教学过程中，教师必须要正确认识到汉语是我们的母语，语文教学对于学生的发展起到了极为重要的作用，阅读是语文教学中的重要部分，所以教师必须要创新课程教学模式，完善学生的语文阅读能力。本文从以下几方面分析，探索小学语文阅读教学的重要性，以及当前语文阅读教学存在的问题与不足之处
小学数学课上的概念教学因为内容比较抽象，一直以来学生是不容易理解和掌握的，在信息技术下教师可以利用内容的多元化呈现，帮助学生降低小学数学课上概念学习的难度，同时也是促进
为研究有限理性出行者逐日出行中出发时刻及路径调整的出行行为,引入前景理论,分析出行者依据最大准点到达概率来选择出行时间预算,将此出行时间预算作为到达参考点,进而在给
目的:探讨糖尿病(DM)患者围术期高血糖控制及疗效影响因素。方法:回顾本院9年来68例DM患者行外科手术临床资料,经过术前评估、术前血糖控制在7.0～8.9mmol/L、术中血糖控制在6.
摘 要：高中英语是高中课堂教学中一门非常重要的学科，作为高中英语教师一定要充分认识到自己所教学生的关键，要对学生进行系统的教学，有计划性地进行阅读教学活动，要抓住课堂教学的主要阵地，让学生通过多种形式的阅读活动来提高学生的英语水平，使学生能够增大词汇量，能够把英语和自己的母语有效结合，思维中迅速地进行英语的使用，灵活地进行英语语法的使用，增强英语的阅读意识，能够对阅读的文章做到精读精练。 关键词
基于视觉的目标跟踪是模式识别、计算机视觉、机器学习等多个学科的交叉研究课题,在视频监控、视频压缩编码、视频检索、智能交通等领域有着十分广泛的应用。为了使国内外同行对基于外观模型的目标跟踪方法有一个较为全面的了解,对其进行了系统总结。在介绍跟踪算法原理的基础上,重点阐述了两大类基于外观模型的目标跟踪方法:产生式方法和判别式方法,深入讨论了其中的典型算法和研究成果,并对这些算法在公开数据集上的测试结果