基于PAR方法的算法设计形式化和自动化研究

基于四个国家自然科学基金连续资助下形成的PAR方法，进一步深入研究算法演算这一新概念的机理和方法，寻找从算法规约（低效算法）形式推导快速RADL算法的规律，进而构造基于知识的生成最优化算法的自动转换工具，课题涉及软件开发形式化和自动化、算法程序形式推导和证明研究最关键最具挑战性内容。这是一项原始创新研究的继续意义明显。