论文部分内容阅读
使用归纳过程说明算法的演化,建立了一阶语言语句集和算法的关系,并提出了启发式的归纳规则.还提出了算法分析的概率式研究方法.这种方法为有效算法的设计和自动算法设计提供了工具.
算法演化的形式归约及其性质
【摘 要】
：
使用归纳过程说明算法的演化,建立了一阶语言语句集和算法的关系,并提出了启发式的归纳规则.还提出了算法分析的概率式研究方法.这种方法为有效算法的设计和自动算法设计提供
【机 构】
：
中国科学院软件研究所,北京航空航天大学
【出 处】
：
软件学报
【发表日期】
：
2001年4期
【基金项目】
：
国家自然科学基金
其他文献
一个企业网中的应用服务多种多样，各自都提供了安全措施，这必须给用户使用和管理员的权限管理带来不便，为此，设计和开发了一套一次身份认证系统，该系统可与各个应用服务很好地集成
代理签名是一种非常有用的密码学工具.使用它,原始签名人能将其数字签名权力委托给代理签名人.在盲签名方案中,消息的内容对签名者是不可见的.签名被接收者泄露后,签名者不能
教学实践能力是英语教师专业素质的基本构成要素。本文通过对同伴教学及同伴教学教师培训模式的简要分析,指出在现有的教学条件下,运用同伴教学教师培训模式,培养区内生源英
<正> 新生儿卡介苗接种在预防儿童结核病特别是儿童结脑和粟粒型结核方面起着重要的作用,因此,系统评价和科学总结在指导卡介苗接种工作中有着非常重要的意义。为不断完善我
我国数学课程标准现已将培养学生的三大能力之一"逻辑思维能力"改为"思维能力".本文认为,数学课程标准虽然只是去掉两个字,概念的内涵却更加丰富,人们在教育的实践中实现了认
通过对余干县县、乡、村门诊住院病人的抽样调查,对公费与自费门诊、住院病人和血吸虫病人的开药费用、家庭收入、支付能力和对医疗保健制度满意度作比较分析,描述了湖沼型血
在江西、安徽两省的4个血吸虫病流行县随机抽取1000户家庭,调查其往年血吸虫病感染所享受的医疗保健制度及家庭经济条件等因素,并研究其相互关系。结果显示上述地区90％的居民
提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设计模式逐步精化得到并行的设计规约,再通过保
通过对３个不同筹资水平下合作医疗的受益范围和补偿方式的分析，认为开封县目前所实施的合作医疗，由于基金的使用包括了医疗、防保，大病风险等方面的费用补偿，真正体现了医疗，预防和