论文部分内容阅读
一般而言,要把并行递归程序转化为等价的尾递归程序(它直接对应于循环迭代程序)是十分困难的。本文指出,具有某种性质的两类(分别称为α类和β类)并行递归程序可以转化为等价的尾递归程序,从而具有较高的时空运行效率。
关于并行递归程序等价变换的若干研究
【摘 要】
：
一般而言,要把并行递归程序转化为等价的尾递归程序(它直接对应于循环迭代程序)是十分困难的。本文指出,具有某种性质的两类(分别称为α类和β类)并行递归程序可以转化为等价
【机 构】
：
厦门大学
【出 处】
：
小型微型计算机系统
【发表日期】
：
1989年11期
【基金项目】
：
国家自然科学基金
其他文献
本项目属水力发电领域，是一种全程利用潮汐涨、落产生的势位能进行发电的整体设计方案。它以具有明显潮汐特征的江、海滩为设计利用标的，不受潮汐位差的限制，对自然条件的要求不
目的：了解危重患者急性胃肠损伤现状,探讨危重患者急性胃肠损伤的影响因素,并对危重患者胃肠音进行监测和分析,制定危重患者急性胃肠损伤分级评价工具,为医护人员更加客观量化
乳腺癌是全世界女性发病率最高的恶性肿瘤,影像学手段在乳腺癌的筛查、早期诊断、分期、疗效评价等方面发挥了重要的作用。纳米材料已经广泛应用于生物医学领域,其中磁性纳米
[摘要]本文以移动通信行业内部审计整改跟进为出发点，依托中国移动上海公司自身的系统开发资源，运用设计思维，将机器人流程自动化（Robot Process Automation，简称RPA）、自然语言处理（Natural Language Processing，简称NLP）和数据爬虫等技术应用于实践，对企业内控平台进行重构和优化，开发出一种数字化内部审计整改跟进系统。 [关键词]审计整改 跟进系
税收风险管理是指各级税务机关将风险管理的理念运用到税收征管模式中,运用信息化手段,对涉税数据进行风险比对,最终发现税收风险疑点并消除风险点,防止发生国家税款的流失。
目的通过对头位分娩中正常产程与异常产程的对比研究，探讨影响头位难产的因素，从而探讨头位难产的防治。方法对227例住院分娩者，分为正常产程组和异常产程组。对两组的胎儿体重
中国制造业在我国拥有坚实的基础地位和完善的工业体系,一直备受政府的关注,但在技术创新方面却鲜有突破。根据政府最新的战略发展纲要,制造业创新发展成为最为重要的议题,而
文章针对公司轧钢设备循环水系统存在运行能耗浪费的问题,结合实际生产工况,从循环水系统工艺、设备、管理三方面入手,在坚持生产安全、稳定、效益最大化的基础上优化循环水
目的：探讨对急性有机磷农药中毒合并呼吸衰竭的患者实施早期机械通气治疗的临床效果。方法：选取急性有机磷农药中毒合并呼吸衰竭的患者79例,对患者的临床资料、抢救过程和实施