论文部分内容阅读
讨论了递归程序设计的公式化方法,指出现有方法的不足,并提出了一种新的基于求解状态的递归程序设计公式化方法,在一定程度上达到了递归程序设计公式化、简单化的目的.最后通过两个具体例子,说明了如何使用这种新的公式化方法进行递归程序设计.
基于求解状态的递归程序设计公式化方法
【摘 要】
：
讨论了递归程序设计的公式化方法,指出现有方法的不足,并提出了一种新的基于求解状态的递归程序设计公式化方法,在一定程度上达到了递归程序设计公式化、简单化的目的.最后通
【机 构】
：
西北大学计算机科学系西北大学计算机科学系陕西西安 710069陕西西安
【出 处】
：
西北大学学报：自然科学版
【发表日期】
：
2002年5期
【基金项目】
：
国家自然科学基金
其他文献
<正> 间歇操作反应釜从卸出成品开始到下一次装料结束所需时间称辅助时间,一般书籍均以经验估算。本文给出定量计算法,供设计参考。辅助时间 T 包括加料时间T_1、卸料时间 T_
摘要：建筑工程土建施工现场的管理工作仍然存在着很多不足，需要进行改进与调整，以适应目前建筑行业的实际发展需求。而且做好建筑工程土建现场的管理工作在一定程度上能够节约建筑工程的基本成本，实现资源的优化配置，同时提升工程的基本工程质量与施工效率。本文将以土建施工现场管理工作的基本内涵为着手点，在分析问题的基础之上，提出建筑工程土建施工现场管理的优化策略。以此推动建筑工程的经济效益与社会效益的有机统一。
提升企业员工的创造性绩效是增强企业创新主体地位和构建创新能力的重要微观运行机制。作为一种为满足组织创新需求应运而生的领导风格,包容型领导会对员工创造性绩效产生何
<正> 为了合理用水,节约用水,保护环境,取得好的经济效益和社会效益,我省化肥行业作为用水大户,正在积极进行用水、节水、管水的技术改造。间接冷却水改直流冷却系统为循环冷
<正> 氨触媒在升温还原时,水汽浓度分析是一项非常重要的生产控制分析项目。它直接关系到氨触媒的活性、使用寿命和机械强度。因此,各合成氨厂均将该项分析列为重要课题进行
本文简要说明常压煤头中型合成氨厂采用透平加往复压缩机方案的可能性和应注意问题。本方案与H22-3压缩机相比较的优越性,为这类型厂实现压缩机长周期稳定运行,探索一条新路
随着我国社会经济不断快速发展,道路桥梁的建设工作也取得了丰硕的发展成果。随着我国道路桥梁运输量的日益剧增,全国各地道路桥梁很多长期处在一种超负荷的运行状态。这种长
为制备链锁形超细碳酸钙，以硫酸为晶形控制剂，使其与Ｃａ（ＯＨ）２悬浮液进行反应，反应最佳工艺条件是：硫酸与氧化钙的摩尔比为０．０２～０．０２２，ｗ（Ｃａ（ＯＨ）２）＝１１％，碳化温度１５～２０℃，ψ（ＣＯ２）＝２０％～２５％，空塔气速１．２～１．４ｃｍ／ｓ。可得到粒径为３５ｎｍ，长径比大于１０，粒度分布窄的链锁
研究选取我国部分行业和地区企业,就其总成本、利润水平、人工成本水平、劳动报酬和社会保险费用等进行分析,从收入分配的视角研究我国的社会保险缴费水平问题,试图研究部分