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

• 作者: 何文婷 刘雷 吴承勇 李恒杰 陈莉
• 来源期刊: 高技术通讯
• 关键词: 算法组件兼容性判定 编程范式 编译框架 迭代编译
• 年，卷（期）: 2013,（11）
• 所属期刊栏目: 计算机与通信技术
• 页码范围: 1131-1138
• 页数: 8页
• 字数: 8807字
• 语种: 中文
• DOI: 10.3772/j.issn.1002-0470.2013.11.005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈莉	中国科学院计算技术研究所	36	200	9.0	12.0
2	李恒杰	中国科学院计算技术研究所	1	3	1.0	1.0
6	何文婷	中国科学院计算技术研究所	4	9	2.0	3.0
10	刘雷	中国科学院计算技术研究所	22	89	4.0	9.0
11	吴承勇	中国科学院计算技术研究所	14	38	4.0	5.0