高技术通讯
高技術通訊
고기술통신
HIGH TECHNOLOGY LETTERS
2013年
11期
1131-1138
,共8页
李恒杰%何文婷%陈莉%刘雷%吴承勇
李恆傑%何文婷%陳莉%劉雷%吳承勇
리항걸%하문정%진리%류뢰%오승용
算法组件兼容性判定%编程范式%编译框架%迭代编译
算法組件兼容性判定%編程範式%編譯框架%迭代編譯
산법조건겸용성판정%편정범식%편역광가%질대편역
compatibility checking of algorithm components%programming paradigm%compiler framework%iterative compilation
针对算法组件的自动替换蕴含的算法组件的兼容性判定问题,提出了一个算法组件的约束模型,从而将算法组件的兼容性判定转化为约束模型的兼容性判定.为解决转化后的兼容性判定,采用了分治思想,即只需判定原子约束强度,约束模型间的兼容性可由原子约束强度结合约束强度推导规则与放松的组件接口兼容性判定规则自动导出.为使算法自动替换更具实用性,提出了支持算法自动替换的编程范式,使得自动替换前期涉及的手工工作在编程所涉及的不同角色之间得到合理分配.设计了编译框架原型,或支持算法与编译优化选项的自动选择.实验结果显示,该系统在9个测试用例上获得的平均加速比为2.29.
針對算法組件的自動替換蘊含的算法組件的兼容性判定問題,提齣瞭一箇算法組件的約束模型,從而將算法組件的兼容性判定轉化為約束模型的兼容性判定.為解決轉化後的兼容性判定,採用瞭分治思想,即隻需判定原子約束彊度,約束模型間的兼容性可由原子約束彊度結閤約束彊度推導規則與放鬆的組件接口兼容性判定規則自動導齣.為使算法自動替換更具實用性,提齣瞭支持算法自動替換的編程範式,使得自動替換前期涉及的手工工作在編程所涉及的不同角色之間得到閤理分配.設計瞭編譯框架原型,或支持算法與編譯優化選項的自動選擇.實驗結果顯示,該繫統在9箇測試用例上穫得的平均加速比為2.29.
침대산법조건적자동체환온함적산법조건적겸용성판정문제,제출료일개산법조건적약속모형,종이장산법조건적겸용성판정전화위약속모형적겸용성판정.위해결전화후적겸용성판정,채용료분치사상,즉지수판정원자약속강도,약속모형간적겸용성가유원자약속강도결합약속강도추도규칙여방송적조건접구겸용성판정규칙자동도출.위사산법자동체환경구실용성,제출료지지산법자동체환적편정범식,사득자동체환전기섭급적수공공작재편정소섭급적불동각색지간득도합리분배.설계료편역광가원형,혹지지산법여편역우화선항적자동선택.실험결과현시,해계통재9개측시용례상획득적평균가속비위2.29.
