多面体抽象域的整数实现及效率改进方法



多面体抽象域的整数实现及效率改进方法

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→计算技术、计算机技术论文→计算机软件论文→程序设计、软件工程论文→软件工程论文

多面体抽象域的整数实现及效率改进方法

论文目录
摘要	第1-9页
Abstract	第9-10页
第一章绪论	第10-15页
· 研究背景	第10-11页
· 相关研究	第11-13页
· 课题研究的主要内容	第13-14页
· 论文结构	第14-15页
第二章抽象解释理论与抽象域	第15-26页
· 抽象解释理论	第15-17页
· 数值抽象域设计	第17-21页
· 抽象域表示	第17-19页
· 抽象域域操作	第19-21页
· 多面体抽象域的双重描述法	第21-25页
· 本章小结	第25-26页
第三章基于机器整数的多面体域实现方法	第26-40页
· 抽象域实现的数据类型选择	第26-27页
· 基于约束的多面体抽象域实现	第27-32页
· 域表示实现	第27-28页
· 域操作实现	第28-32页
· 机器整数实现的大系数问题	第32-37页
· Fourier-Motzkin 消除中的整数溢出	第33-34页
· 约减变量系数算法	第34-37页
· 实例程序分析	第37-39页
· 本章小结	第39-40页
第四章多面体域核心操作的效率改进策略	第40-47页
· 线性规划技术	第40-43页
· 严格线性规划	第40-42页
· 整数线性规划	第42-43页
· Fourier-Motzkin 消除法效率改进策略	第43-46页
· 本章小结	第46-47页
第五章实现方法与实验结果分析	第47-54页
· 原型系统实现	第47-51页
· 实现的框架	第47-48页
· 线性规划工具	第48-50页
· APRON 抽象域库	第50-51页
· 实验结果与分析	第51-54页
第六章结束语	第54-57页
· 本文的主要贡献	第54-55页
· 下一步工作	第55-57页
致谢	第57-58页
参考文献	第58-62页
作者在学期间取得的学术成果	第62 页

本篇论文共62页，点击这进入下载页面。

更多论文
多面体抽象域的整数实现及效率改进
暗原色先验去雾算法的优化及其并行
Key-Value数据存储加速技术研究
三维地物对象与地形的匹配融合关键
三维矢量场剖面纹理可视化方法研究
圆柱体侧表面PDF417条码识别方法研
基于完整性的执行控制研究与实现
微博信息溯源及传播面分析技术的研
面向类平面场景的全自动图像拼接技
基于流通道的信息发布订阅系统设计
基于稀疏表示的数据分类与聚类算法
空间目标图像盲解卷积技术研究
空间目标的数字图像识别方法研究
基于Android的移动增强现实系统研究
基于LDA的在线主题演化模型研究与优
面向大规模上下文流处理框架的研究
户外环境下移动机器人视觉里程计技
云计算环境下不确定数据流的容错并
基于政策自组织系统的软件体系结构
真实感雪场景模拟方法研究与实现
面向可重构SoC的应用程序特征分析方
空间目标图像复原及特征提取系统设
视频字幕检测定位与分割技术研究
基于内容分析法的情报分析系统研究
宫颈细胞图像分割方法研究
全向视觉传感器及其在道面勘测中的
基于多核网络处理器的协议识别技术
面向PIM-SSM组播模型的新型组播路由
一种面向传统应用的新型网络化运行
微博用户行为分析技术的研究与实现
Web服务组合安全性动态检测技术研究
面向大型机构的身份管理与访问控制
QoS度量模型及Web服务监控技术的研
社区结构分析关键技术研究
面向服务划分的网络服务获取技术的
基于动态污点分析的恶意代码行为依
基于瑞利散射的分布式光纤振动传感
三轴惯性/地磁组合测量系统标定方法
基于布里渊散射的温度应变同时传感
基于波长调制的反射率差分型生物传
CGF的队形控制方法研究
Ku波段磁绝缘线振荡器研究
独立路径问题及其关键顶点和关键弧
标地分离体系架构下基于标签交换的

程序分析论文抽象解释论文机器整数论文线性规划论文
版权申明：目录由用户la**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved