发明名称 一种嵌入式高性能RTK算法内存空间定量优化分配方法
摘要 本发明涉及一种嵌入式高性能RTK算法内存空间定量优化分配方法,属于嵌入式软件优化领域。该方法在DSP或ARM芯片内存资源有限的环境下,通过对芯片内存储空间和芯片外存储空间对算法运行性能影响的定量分析,建立算法存储空间的优化模型并求解获得近似最优的芯片存储空间分配方案,实现快速解算RTK算法所需内存资源在芯片内存储以及芯片外存储之间的优化分配。本发明提供的一种嵌入式高性能RTK算法内存空间定量优化分配方法,在嵌入式系统芯片存储资源有限的前提下能够提高RTK算法性能,降低整体芯片能耗;能够减少程序员主观判断造成的内存分配错误,同时也能减少内存分配试验的次数,避免对分配方式进行手动的遍历搜索。
申请公布号 CN104503921A 申请公布日期 2015.04.08
申请号 CN201410849666.4 申请日期 2014.12.31
申请人 中国科学院重庆绿色智能技术研究院 发明人 何盼;王一皓;刘刚;谭春
分类号 G06F12/02(2006.01)I 主分类号 G06F12/02(2006.01)I
代理机构 北京同恒源知识产权代理有限公司 11275 代理人 赵荣之
主权项 一种嵌入式高性能RTK算法内存空间定量优化分配方法,其特征在于:该方法包括以下步骤:步骤一:分析内存空间分配的优化模型,所述优化模型如下所示:Min T=f<sub>1</sub>(T<sub>j</sub>),g=f<sub>2</sub>(g<sub>j</sub>)s.t.g≤G<sub>0</sub>,s.t.T≤1/f<sub>0</sub>其中,T表示算法的单次运行时间;g表示算法在片内存储中所占用的存储空间;G<sub>0</sub>表示片内存储所允许使用的存储空间;f<sub>0</sub>代表算法要求的解算频率;集合{N}为被放入片内存储的变量编号集合,j∈{N};g<sub>j</sub>为每个被放入片内存储的变量所需存储空间大小;T<sub>j</sub>为变量被放入片内存储中运行对最终算法运行时间的影响;G<sub>0</sub>与f<sub>0</sub>为已知常量,f<sub>1</sub>与f<sub>2</sub>为与变量编号集合相关的函数;步骤二:初始化统计并确立优化模型;步骤三:求解优化模型并获得分配方案;步骤四:验证并确定最终方案。
地址 400714 重庆市北碚区方正大道266号