支持算法组件自动替换的编程范式及编译框架

作     者：李恒杰 何文婷 陈莉 刘雷 吴承勇 Li Hengjie;He Wenting;Chen Li;Liu Lei;Wu Chengyong

作者机构：中国科学院计算技术研究所北京100190 中国科学院大学北京100049 

基　　金：863计划(2012AA010902) 973计划(2011CB302504) 国家自然科学基金(60970024) 国家自然科学基金创新研究群体科学基金(60921002)资助项目 

出 版 物：《高技术通讯》 (Chinese High Technology Letters)

年 卷 期：2013年第23卷第11期

页      码：1131-1138页

摘      要：针对算法组件的自动替换蕴含的算法组件的兼容性判定问题,提出了一个算法组件的约束模型,从而将算法组件的兼容性判定转化为约束模型的兼容性判定。为解决转化后的兼容性判定,采用了分治思想,即只需判定原子约束强度,约束模型间的兼容性可由原子约束强度结合约束强度推导规则与放松的组件接口兼容性判定规则自动导出。为使算法自动替换更具实用性,提出了支持算法自动替换的编程范式,使得自动替换前期涉及的手工工作在编程所涉及的不同角色之间得到合理分配。设计了编译框架原型,或支持算法与编译优化选项的自动选择。实验结果显示,该系统在9个测试用例上获得的平均加速比为2.29。

主 题 词：算法组件兼容性判定 编程范式 编译框架 迭代编译 

学科分类：0810[工学-土木类] 08[工学] 0805[工学-能源动力学] 0835[0835] 0812[工学-测绘类] 081202[081202] 

D　O　I：10.3772/j.issn.1002-0470.2013.11.005

馆 藏 号：203735251...