【摘 要】
：
排序是计算机学科中的一类特殊问题，其算法设计策略的灵活性使得求解算法更具多样性．基于形式化方法PAR（partition．and．recur），研究了排序算法的自动生成问题孩4画了排序问题的代数
【机 构】
：
江西省高性能计算重点实验室（江西师范大学）,中国科学院软件研究所计算机科学国家重点实验室,中国科学院研究生院
【基金项目】
：
国家自然科学基金(61020106009);科技部国际科技合作项目(2008DFA11940);江西省自然科学基金(2010GQS0100);江西省教育厅科技项目(GJJ12199)
论文部分内容阅读
排序是计算机学科中的一类特殊问题，其算法设计策略的灵活性使得求解算法更具多样性．基于形式化方法PAR（partition．and．recur），研究了排序算法的自动生成问题孩4画了排序问题的代数性质，形式化构建了排序算法领域的泛型类型构件和算法构件，建立了排序领域特定语言和算法生成形式化模型，以参数替换的方式自动生成了一组排序算法，包括快速排序、堆排序、Shell排序等典型的已知算法以及增量选择排序等若干未见于现有文献的算法，并在程序生成系统中予以了实现．通过上层框架研究和底层构件支持，显著提高了特定领域
其他文献
由丽赤壳属真菌导致的焦枯病是世界范围内桉树的重要病害之一,焦枯病给我国桉树人工林带来一定的危害。本文简要概括了丽赤壳属真菌的物种多样性、地理分布和寄主范围;阐述了
天使岛诗歌的作者,大都是1910年间赴美华人。他们以诗歌的形式,吐身受之苦,抒心中之悲,叹祖国之贫弱,吊同胞之身亡,呼吁我华人:发愤振作,共图祖国之富强,以报拘禁之仇,雪受辱
RTO俗称蓄热式废气焚烧炉,由于其设计结构上有别于TO的特点,在节能环保上有着得天独厚的优势,因此越来越受到覆铜板生产厂家的青睐。文章对RTO的结构原理、生益自行对RTO实施
<正>茶叶原本是台湾的骄傲,冻顶乌龙、高山茶、文山包种都是一直广受好评的茶叶品种。但四月刮起的这场毒茶风暴,又给台湾茶饮蒙上了一层阴影。风暴一:英国蓝被爆农药残留4月
中国与韩国在地理和文化上比较接近,历史上也有相似点,分析韩国动植物检疫法律法规、检疫体系,有不少值得借鉴的地方。本文着重从动植物检疫专业的角度,旨在通过对中、韩动植
建国以来,特别是1963年大水以后,河北省主要河道和一部分支流河道都经过了扩大治理,防洪能力普遍有所提高,但大多数河道只能抗御一般洪水,如大清河、潮白河、北运河、蓟运河
对林业资源保护进行了简单介绍,针对森林防火管理展开了深入的研究分析,希望可以对林业资源保护以及森林防火管理起到一定的参考和帮助,提高林业资源保护有效性,取得理想的防
如何协调利益关系，建立合理合情的收入分配机制，以及如何重建社会秩序，保持公正公平的人与人之间的关系是当前改革和完善社会体制的核心。中国当前加强和创新社会管理需要放在一
急性肠梗阻是急腹症中常见的临床症状之一,指多种原因导致的肠内容物在肠道中通过受阻,发病时多表现为恶心、呕吐、腹痛、腹胀、排便受阻、停止排气的症状,急性肠梗阻患者病
目的探讨玻璃体视网膜手术后高眼压的原因及其处理方法。方法回顾性分析209例(209只眼)经玻璃体视网膜手术联合不同眼内填充物、行或不行巩膜环扎、有或无晶状体、有或无眼外