递归程序变换的一种新模式一CZ变换

本文讨论?递归程序模式 f(x)≡IF b(x)THEN h/(x)ELSE F(g(x),f(k(x))的等价变换问题。首次提出CZ变换,它跟熟知的Cooper变换和反演变换一起可将相当多的此类模式转化为等价的尾递归模式,通过6个实例说明这三种变换各自的特点。     

动态图消除程序递归方法研究

寻求更好的消除递归方法一直是程序变换所面临的问题。本文从动态图出发,探讨了如何利用动态图消除程序递归的新途径     

递归程序探讨

递归程序是高等院校众多计算机教材中非常重要的教学内容，笔者通过数年的教学实践，对递归程序的算法本质、适用的应用领域及其向非递归程序的转化进行了较深入的探讨，希望大家对递归有个更深刻的认识。     

递归程序探讨

递归程序是高等院校众多计算机教材中非常重要的教学内容 ,笔者通过数年的教学实践 ,对递归程序的算法本质、适用的应用领域及其向非递归程序的转化进行了较深入的探讨 ,希望大家对递归程序有个更深刻的认识     

扩展一阶B型Cooper变换

提出一种扩展一阶Ｂ型Ｃｏｏｐｅｒ变换模式，用结构归纳法证明了其正确性，并给出应用示例。     

递归程序的复杂性问题

递归是一种程序设计方法。递归算法能将很复杂的问题用十分简洁的形式加以表达。然而递归程序的复杂性很高,所以通常光用递归程序描述问题,然后设法变换为效率较高的程序。本文给出计算递归程序复杂性的公式,并讨论了降低递归程序复杂性的几种方法。     

递归程序的转换技术

提出了一种实用的递归程序转换技术,它可以方便地把递归函数转换成与之等价的非递归形式,已在DPS8/49机上实现。     

程序设计中的递归算法

迭代循环和递归调用是程序设计中常用的方法，递归调用是一种比迭代循环功能更强的循环结构。递归程度具有一般的模式，可以用归纳法证明递归程序的正确性。     

用递归算法设计程序应注意的问题

给出了一个游戏问题的解答程序.结合程序运行时出现的现象,引出一个值得注意的问题.     

扩展的Cooper变换

提出一种扩展的Cooper变换模式,用结构归纳法证明了其正确性,并给出应用示例。     

程序规约变换技术在程序设计中的应用

算法设计是程序设计的难点和关键。本文利用程序规约的变换技术得到了排序问题和最长升序问题的算法,并清晰地展示了程序设计的过程,为算法程序设计提供了一种有效的方法和途径。     

编译程序自动生成系统HMCGS的理论基础——范式有序属性转换文法NOATG

本文提出了两种新的程序语言语义描述方法,属性转换文法ATG和范式有序属性转换文法NOATG。本文首先定义了ATG并讨论了其性质,然后在ATG基础上进一步提出了NOATG。指出与ATG相比,以NOATG为基础模型构造的编译程序生成系统能构造出能力相同,但时间和空间效率较高、结构更简单的编译程序。本文还围绕着基于ATG和NOATG的编译程序生成系统的有关问题展开了讨论。     

程序变换的若干探讨

本文试用不动点原理研究几种程序变换,讨论了一类二重递归的终止条件,并用之计算91函数与证明3x+1问题(Ⅰ)。     

俄罗斯高中数学示范性大纲最新进展研究

2012年,俄罗斯公布第二代高中数学教育标准和示范性大纲,示范性大纲包括综合课程、代数与数学分析初步课程和几何课程三部分,其教学内容和学时计划安排对我国高中数学课程改革有重要的借鉴意义。     

一个森林资源档案管理程序的设计及其试用情况分析

本文介绍了一个应用于森林资源档案管理的计算机程序的设计思想和试用情况分析。这个程序的最大特点是它的方便性和安全性。软件设计使该程序不仅完全适合一个不懂计算机的用户使用而且可以避免用户由于心理因素引起的操作失误。该程序解决了森林统计表过宽难打印的问题,使表格可一次打出,不必两次打印再粘贴。文中还介绍了这一软件在克什克腾旗森林资源统计中应用后情况分析。     

广义部分求值循环展开的中止条件

循环展开问题一直是过程式语言部分求值和广义部分求值的一个难题。笔者基于数据流分析技术,提出一个部分求值或广义部分求值的循环展开中止条件,利用该中止条件能有效地解决这一难题。     

绘图基础程序VEC

本文介绍了VEC的功能、修改图形的操作以及重置内存指针的二种方案。通过使用指针法,数型数据和字符串都可以被从前一程序传递给后一程序,内存可以被充分地使用。就苹果型的微机绘图程序来说,指针法比CHAIN命令更为优越。     

准双曲面齿轮设计加工集成系统的开发

运用VC^ 、MATLAB和AutoCAD二次开发工具ObjectARX2000，开发了准双曲面齿轮设计、加工与分析的集成系统。该系统根据设计的初始参数，在完成齿坯设计、强度校核的基础之上，在大轮的凸面和凹面上进行轮齿接触分析，对接触印痕、几何传动误差进行一阶与二阶修正，然后自动启动CAD进行绘图，并将最终的调整卡计算数据输出，实现切齿机床调整和切齿后轮齿的测量、检验、修正工作。本文简要论述了系统的开发过程和关键部分的实现方法。