排序方式: 共有12条查询结果,搜索用时 46 毫秒
11.
为了解决抽象解释理论对浮点程序分析中的主要困难存在于构造复杂抽象域时采用实数而受限于高代价的计算量问题,针对八边形抽象域上实数运算提出了基于IEEE754的带补偿量的机器浮点表示及其运算算法,减少了浮点运算的复杂性;同时,将传统八边形抽象域扩展为可靠的浮点八边形抽象域,能够在分析的效率和精度之间取得合理的权衡.实验结果表明:用带补偿的浮点替代实数能够极大地提高八边形抽象域的效率,并且保证了分析的可靠性. 相似文献
12.
针对多粒度RFID数据流复杂事件检测存在的问题,研究多粒度RFID数据流(如物品级、箱子级、托盘级)上复杂事件检测问题.提出了不同层次目标间关系的编码方案,并在此编码基础上提出了相应的复杂事件检测算法.使用编码方法表示不同层次RFID对象的关系及状态变化.首先给出了事件模型和动机实例;然后详细阐述了编码方法和复杂事件检测算法.实验结果表明提出的方法是可行和有效的. 相似文献