软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2012年
9期
2248-2260
,共13页
排序算法%自动生成%领域特定语言%形式化模型%PAR方法
排序算法%自動生成%領域特定語言%形式化模型%PAR方法
배서산법%자동생성%영역특정어언%형식화모형%PAR방법
排序是计算机学科中的一类特殊问题,其算法设计策略的灵活性使得求解算法更具多样性.基于形式化方法PAR(partition-and-recur),研究了排序算法的自动生成问题.刻画了排序问题的代数性质,形式化构建了排序算法领域的泛型类型构件和算法构件,建立了排序领域特定语言和算法生成形式化模型,以参数替换的方式自动生成了一组排序算法,包括快速排序、堆排序、Shell排序等典型的已知算法以及增量选择排序等若干未见于现有文献的算法,并在程序生成系统中予以了实现.通过上层框架研究和底层构件支持,显著提高了特定领域算法的开发效率和可靠性.
排序是計算機學科中的一類特殊問題,其算法設計策略的靈活性使得求解算法更具多樣性.基于形式化方法PAR(partition-and-recur),研究瞭排序算法的自動生成問題.刻畫瞭排序問題的代數性質,形式化構建瞭排序算法領域的汎型類型構件和算法構件,建立瞭排序領域特定語言和算法生成形式化模型,以參數替換的方式自動生成瞭一組排序算法,包括快速排序、堆排序、Shell排序等典型的已知算法以及增量選擇排序等若榦未見于現有文獻的算法,併在程序生成繫統中予以瞭實現.通過上層框架研究和底層構件支持,顯著提高瞭特定領域算法的開髮效率和可靠性.
배서시계산궤학과중적일류특수문제,기산법설계책략적령활성사득구해산법경구다양성.기우형식화방법PAR(partition-and-recur),연구료배서산법적자동생성문제.각화료배서문제적대수성질,형식화구건료배서산법영역적범형류형구건화산법구건,건립료배서영역특정어언화산법생성형식화모형,이삼수체환적방식자동생성료일조배서산법,포괄쾌속배서、퇴배서、Shell배서등전형적이지산법이급증량선택배서등약간미견우현유문헌적산법,병재정서생성계통중여이료실현.통과상층광가연구화저층구건지지,현저제고료특정영역산법적개발효솔화가고성.
