扩展一阶B型Cooper变换

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

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

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

递归程序变换实验系统XDPTS

文中介绍了一个根据速归程序变换基本思想而构造的人-机交互实验系统XDPTS.XDPTS以目前已有的一些程序变换模式为基础,利用人工智能技术将某些类型的递归函数式程序变换成等价的尾递归程序,并生成可直接单独运行的迭代程序文本,XDPTS是实现横向程序变换技术的一个尝试。     

浅谈非结构化程序的结构化变换

本文讨论了结构化程序的基本特征，提出了将非结构化程序变换成结构化程序的三种技术。     

Prolog的语义保持变换

程序变换方法在逻辑程序中的应用主要是基于这样的理论结果,即Fold/Unfold变换保持了逻辑程序的最小Herbrand模型语义和答复转换集语义,但是当逻辑程序的实现采用标准Prolog系统的最左计算规则和深度优先查找规则时,变换后的程序未必能保持原程序的语义,此外,程序的语义等价性证明也往往是难以理解和阅读的,为此,首先用与计算SLD－树叶结点有关的答复置换序列算法的方式,引入一个相对易于理解的Prolog语义定义,然后给出有关的语义保持变换规则并加以证明。     

关于Cooper变换的研究

本文对著名的Cooper变换作了较深入的研究,讨论了一阶和二阶Cooper变换(A型和B型),阐述了高阶Cooper变换,最后对递归程序等价变换的有关问题作了评述。     

基于扩展傅里叶变换的图像压缩

介绍了傅里叶变换的原理,分析了傅里叶变换在声音和视频压缩方面的应用,并且指出傅里叶变换在数字图像处理中的重要地位和作用.     

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

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

一个求解有约束的全局优化问题的变换函数法

给出了求解一般的有约束非线性规划问题全局最优解的拟填充变换函数方法,而且讨论了所构造的变换函数的几个性质,按照其理论性质设计了一个变换函数算法,并进行了数值试验。数值实验表明,所给的方法是有效的。     

程序变换的若干探讨

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

关于一类矩阵列变换的计算机算法实现

对线性不定方程、线性不定方程组、线性同余方程、线性同余方程组等求解过程中的矩阵列变换进行研究，使用C语言设计并实现了列变换算法．     

Котелъников变换在作环索线中的应用

本文对Котелъниковｅ变换的基本作图和将环索线变换成圆作了较详细的论述，并给出了实现变换的机构。     

转型时期的中国期刊调查——兼评《期刊中国》的调查研究方法

在当代中国,以调查研究为武器,对期刊业这一实务领域做出总体的描述,对其现状和趋势做大致的分析,对其发展战略和对策提出借鉴性的建议,这无论从什么角度来看,都是大有裨益的。现通过对《期刊中国》的调查研究方法的有关分析和评价,对转型时期的中国期刊研究问题作出进一步的思考。     

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

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

基于小波变换的等价线性化方法及分析

提出了基于小波的等价线性化方法．并同传统的等价线性化方法进行了比较．小波分析跟传统的等价线性化方法结合起来，可将一个非线性系统转化成一个时变的线性系统．在实验中．采用了连续小波变换和离散的小波变换．实验结果表明：和传统的等价线性化方法比较．提出的新方法解决非线性问题更有效．可广泛地应用于各种非线性系统．进行由随机振动信号激励的非线性系统的分析。