切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
算法及其时间复杂度可同步形式化推导的方法
算法及其时间复杂度可同步形式化推导的方法
来源 :计算机应用研究 | 被引量 : 5次 | 上传用户:oceanspring
【摘 要】
:
对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且这两个问题关于时间复杂度的递归方程式也可同步且自然地推导得到。这为开发并验证高效率的算法开辟了一条新途径。
【作 者】
:
王昌晶
薛锦云
【机 构】
:
中国科学院软件研究所,江西师范大学计算机信息与工程学院
【出 处】
:
计算机应用研究
【发表日期】
:
2008年03期
【关键词】
:
分划递推方法
形式化推导
时间复杂度
递归方程式
PAR(partition-and-recur) approach
formally deduce
t
【基金项目】
:
国家自然科学基金资助项目(60273092),国家“973”计划资助项目(2003CCA02800),江西省2004年教学改革课题基金资助项目,江西师范大学2005年青年成长基金资助项目
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且这两个问题关于时间复杂度的递归方程式也可同步且自然地推导得到。这为开发并验证高效率的算法开辟了一条新途径。
其他文献
浅谈刑法启发式教学的运用
启发式教学在刑法教学中具有重要意义.在刑法教学活动中进行启发式教学应当遵循以下步骤、方法:安排预习、设计问题、提问与追问、启发诱导、总结概括.
期刊
刑法
启发式教学
教学方法
教学步骤
素质教育
创新性思维
高校
criminal law
elicitation method
积极创造条件,实现高职学生充分就业
本文主要研究如何创造条件,努力做好高职学生就业推荐工作,使高职学生充分就业.
期刊
充分就业
高职学生
推荐工作
高职教育
higher vocational education
employment
ways
现代教育意义上的班主任角色认识的研究
现代教育赋予大学班主任新的内涵,要求班主任具有近乎完美的人格及丰富的知识.本文分析了做好大学班主任工作应具备的最基本的几个方面,一是班主任自身的素质,二是班主任在班
期刊
现代教育
大学班主任
角色定位
Modern education
class director of the university
role realizing
化学科技活动课师资培训教学探索
为了培养一支高素质的能驾驭化学科技活动课的教师队伍,本文从化学科技活动课师资培训的课程特点、教学任务、教学设计和教学评价等方面做一些探讨.
期刊
化学科技活动课
师资培训
教学任务
教学设计
教学评价
培训内容
chemical science and technology activity course
“Visual BASIC程序设计”课程教学的实践
本文分析了目前教学中出现的现象,并对其原因进行了分析,介绍了在教学中的点滴思路、手段、经验.
期刊
课程教学
计算机
程序设计
分层教学法
教学内容
computerscience
programdesign
hierarchicalteaching
tea
论成人高等师范院校有效课堂教学管理
该文从教师业务素质、课堂教学管理技术、教学管理制度、课堂教学管理模式等方面剖析了影响课堂教学有效管理的成因,并依据课堂教学与课堂教学管理是共生的,二者不能相互替代
期刊
成人高等师范院校
有效教学
课堂教学
教学管理
管理模式
adult
normaladvanced education
teachingmanagement
电力全智能安全工器具柜的研发与应用
全智能安全工器具柜在现阶段电力企业的高压配电室中都必须配备,存放在工器具柜内的安全工器具才能得到有效管理,从而保障配电检修人员的人身安全。但是现阶段的安全工器具柜
期刊
智能化
指纹识别
红外感应
语音报警
intelligent
fingerprint recognition
infrared sensing
voice al
论创造力的研究取向
创造力一直是人们研究的重要课题.纵观创造力研究的历史,其研究主要经历了四种取向:创造力的人格特征研究取向,创造力的社会环境研究取向,创造力的认知加工过程研究取向,创造
期刊
创造力
研究取向
人格特征
教育心理学
creativity
personality
society
cognitive
multielement in
基于APP的电力线路巡检安全风险管理系统建设探讨
电力线路安全检查是电网安全风险管控的重要组成部分,是保障电网安全稳定运行的基础条件。本文结合移动技术,从系统结构、系统功能、应用效果等几个方面探讨了基于智能手机AP
期刊
电力线路
安全风险管理
巡检
APP
power line
security risk management
inspection
APP
转子一点接地故障分析及处理
转子接地故障现象在水电站时有发生,轻则一点接地报信号故障,严重则会影响机组设备、系统的安全运行。本文通过案例对转子一点接地故障进行了分析和处理。
期刊
伞式机组
磁极
阻尼环
umbrella unit
magnetic pole
damping ring
与本文相关的学术论文