共查询到20条相似文献，搜索用时 15 毫秒
1.
2.
递归程序变换是软件自动化研究中程序变换途径的一种方法。本文介绍了递归程序等价变换的一系列模式以及根据递归程序变换基本思想而构造的人-机交互实验系统XDPTS的梗概。 相似文献
3.
4.
5.
递归变换是程序自动设计中的一个研究课题。文[3,4]分别提出了几种递归变换,其可用条件中都包括单位元.我们基于文[8]的思想,讨论了对文[3,4]中几种变换的改进。 相似文献
6.
关于横向程序变换的若干研究 总被引：5，自引：0，他引：5
本文对我们近几年来在递归程序等价变换方面之一系列研究工作做了分类总结,所提出的一些新变换模式和技术进一步丰富了人们对横向程序变换技术的认识。 软件自动化是计算机科学的前沿课题之一,其主要研究途径有:演绎综合途径、程序变换途径、实例推广途径和过程化途径,其中尤以程序变换途径得到研究工作者更多的关注。程序变换大体上可分为横向变换和 纵向变换两大类,所谓横向变换是指在相似的抽象级上将一个语言成分转化为另一个与之等价但效率更高的语言成分。 横向程序变换的研究可追溯到1966年Cooper首次提出的Cooper变换,而英国爱丁堡大学的Burstall和Darlington的研究以及他们所研制的ZAP系统是目前这方面最有代表性的工作。 本文对横向程序变换作了较深入的探讨,其中有相当多一部分递归程序等价变换模式是笔者及其同事们近几年来陆续提出的。 我们将采用函数式递归程序模型作为讨论的基础(参阅[12]之第七章),并把递归程序变换模式分成若干类型加以阐述,限于篇幅,我们只简要叙述各类变换的输入模式、输出模式、可用性条件和应用示例,有关变换的正确性证明(采用结构归纳法)将不在此列出(感兴趣的读者可参阅有关文献)。 相似文献
7.
8.
9.
引言何为“递归”？这个学术名词让很多人感到深奥。其实“递归”这个词并非想像中那么复杂。不妨看一个例子：求N。（N＞＝０）：N。＝N（N－１）８（N－２）……２１（算法１）。对于人工计算的话，的确要用这样的一个过程来完成它，少一步都不行。但是当我们有了计算机这类被比喻为电脑的东西之后，很多东西，特别是复杂而又机械的东西，都可以用“电脑”来取代“人脑”了，就像上面的N。。当N大到一定程度的时候，任何数学天才都会对上面的例子感到厌倦。因为这是一个重复了又重复的计算过程，不管N多大，你总要对其进行N－１次乘法… 相似文献
10.
11.
虽然Gabor变换在语音与图象处理、雷达、声纳、振动信号的处理与理解等很多领域被认为是非常有用的方法,然而实时应用却因其很高的计算复杂性而受到限制。为了有效地和快速地计算离散Gabor变换,论文提出了在临界抽样条件下和在过抽样条件下,一维离散Gabor变换系数求解的块时间递归算法以及由变换系数重建原信号的块时间递归算法,研究了两算法使用并行格型结构的实现方法,并讨论和比较了算法的计算复杂性和优越性。 相似文献
12.
本文提出一种递归消除的方法,适于一类基于递归数据结构的程序。该方法将递归程序作为初始规约,以求解过程的状态变迁序列作迭代模式;通过数据展开和变换实现初始规约向基于序列描述规约的变换,继而用PAR形式推导出序列规约的递推关系,并以之为核心近乎机械地构造出非递归算法。树和图的两个算法实例说明了本方法的有效性。 相似文献
13.
14.
张志群 《计算机工程与科学》1991,13(4):53-57
本文提供一个微分方程并行算法——迭代法,进行了收敛性和稳定性证明,并给出在YH-1机上的试算实例及精度分析,其最大加速比为7.7。 相似文献
15.
16.
17.
为了有效和快速地计算实值离散Gabor变换,本文提出了在临界抽样条件下,一维块时间递归实值离散Gabor变换系数求解算法和由变换系数重建原信号算法,并研究了并行格型结构实现这两种算法的方法。 相似文献
18.
19.
在程序设计中 ,为了处理重复性的计算 ,最常用的办法是采用递归计算。理论上讲 ,对递归程序的处理有不同的计算规则。本文从理论上及实践上对递归程序的计算过程进行了详细的探讨 ,在对多种程序设计语言中关于递归程序的计算过程进行分析基础之上 ,对递归程序计算规则进行了总结 相似文献
20.
在程序设计中，为了处理重复性的计算，最常用的办法是采用递归计算。理论上讲，对递归程序的处理有不同的计算规则。本文从理论上及实践上对递归程序的计算过程进行了详细的探讨，在对多种程序设计语言中关于递归程序的计算过程进行分析基础之上，对递归程序计算规则进行了总结。 相似文献