论文部分内容阅读
对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且这两个问题关于时间复杂度的递归方程式也可同步且自然地推导得到。这为开发并验证高效率的算法开辟了一条新途径。
算法及其时间复杂度可同步形式化推导的方法
【摘 要】
：
对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且这两个问题关于时间复杂度的递归方程式也可同步且自然地推导得到。这为开发并验证高效率的算法开辟了一条新途径。
【机 构】
：
中国科学院软件研究所,江西师范大学计算机信息与工程学院
【出 处】
：
计算机应用研究
【发表日期】
：
2008年03期
【基金项目】
：
国家自然科学基金资助项目（60273092）,国家“973”计划资助项目（2003CCA02800）,江西省2004年教学改革课题基金资助项目,江西师范大学2005年青年成长基金资助项目
其他文献
启发式教学在刑法教学中具有重要意义.在刑法教学活动中进行启发式教学应当遵循以下步骤、方法:安排预习、设计问题、提问与追问、启发诱导、总结概括.
本文主要研究如何创造条件,努力做好高职学生就业推荐工作,使高职学生充分就业.
现代教育赋予大学班主任新的内涵,要求班主任具有近乎完美的人格及丰富的知识.本文分析了做好大学班主任工作应具备的最基本的几个方面,一是班主任自身的素质,二是班主任在班
为了培养一支高素质的能驾驭化学科技活动课的教师队伍,本文从化学科技活动课师资培训的课程特点、教学任务、教学设计和教学评价等方面做一些探讨.
本文分析了目前教学中出现的现象,并对其原因进行了分析,介绍了在教学中的点滴思路、手段、经验.
该文从教师业务素质、课堂教学管理技术、教学管理制度、课堂教学管理模式等方面剖析了影响课堂教学有效管理的成因,并依据课堂教学与课堂教学管理是共生的,二者不能相互替代
全智能安全工器具柜在现阶段电力企业的高压配电室中都必须配备,存放在工器具柜内的安全工器具才能得到有效管理,从而保障配电检修人员的人身安全。但是现阶段的安全工器具柜
创造力一直是人们研究的重要课题.纵观创造力研究的历史,其研究主要经历了四种取向:创造力的人格特征研究取向,创造力的社会环境研究取向,创造力的认知加工过程研究取向,创造
电力线路安全检查是电网安全风险管控的重要组成部分,是保障电网安全稳定运行的基础条件。本文结合移动技术,从系统结构、系统功能、应用效果等几个方面探讨了基于智能手机AP
转子接地故障现象在水电站时有发生,轻则一点接地报信号故障,严重则会影响机组设备、系统的安全运行。本文通过案例对转子一点接地故障进行了分析和处理。