递归程序变换实验系统XDPTS

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

递归算法的若干等价变换

用递归算法描述某些问题(特别是非数值问题)的解法十分简洁,但其计算机实现常需耗费较多的存贮空间和计算时间。为提高速归算法的时空效率,常对递归算法施行某种等价变换,即对满足一定条件(称为可用性条件)的输入模式给出一个等价的输出模式。     

一类变换半群的秩

设Tx为集合X上的全变换半群，E是X上一个等价关系．令TE(X)={f∈TX；↓A（x，y）∈E（f,x),f(y))∈E}，则TE(X)是Tx的一个子半群．本文讨论对于一个较为特殊的情况，即E只有两个等价类，且每个等价类有n(n≥3)个点．结果发现，这时TE(X)有一组生成元，含有5个元素，从而确定了TE(X)的秩不超过5．     

一类模糊积分微分方程的模糊微分变换法

根据模糊数相关知识和模糊微分变换的定义,给出了一阶导数f '(x)与f(x)对应的模糊微分变换函数之间的关系,以及二重积分函数f(x)与被积函数u(x)和g(x)对应的模糊微分变换函数F(k)和U(k)与G(k)之间的关系,进而给出求解模糊积分微分方程的相关结果。     

一类置换多项式的另一种证明

Luyan Wang给出了当3|(-1)和5|(q-1)时,f(x)=xμ(xμ+1)∈Fq[x}是置换多项式的等价条件,并给出相应的证明,本文给出f(x)=xμ(xμ+1)是置换多项式的另一种等价条件。     

关于W变换性质的进一步讨论

根据W变换和Delta函数的定义，讨论了函数f(x)的线性函数af(x) b的W变换和函数Ⅱi-1^n，(x)的W变换问题，并推广了W变换的线性性质，得到了几个进一步的结果．     

等价替换的推广及在重要极限中的应用

将无穷小量的等价推广到所有量的等价,在f(x)与F(x)等价,且f′(x)与F′(x)等价的条件下,等价替换满足幂指数及对数函数的运算,为1∞型带来更为简便的方法.     

关于Cooper变换的研究

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

扩展一阶B型Cooper变换

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

基于傅立叶变换的针织物密度分析

对如何使用离散傅立叶变换方法分析针织物密度进行了探讨．由于经过后整理的针织物线圈不均匀，各线圈纵行或各线圈横列只是近似地处在纵行线或横列线上，而且纵行线与横列线也不垂直，用二维离散傅立叶变换方法处理针织物灰度图像f(x，y)得到的结果误差较大．但采用对f(x，y)逐列相加后对其和进行一维傅立叶变换及对f(x，y)逐行相加后对其和进行一维傅立叶变换的方法能得到较准确的结果，     

程序变换的若干探讨

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

复合二项风险模型中的Z变换

讨论z变换在风险模型中的应用,先求出复合二项风险模型中一类泛函ψ(u;w),以及特殊情形下ψ(u)和f(u,x)的Z变换,再得出ψ(0)和f(0,x)的表达式,然后求出阶梯高度L1的Z变换,最后在复合二项风险模型索赔个体服从几何分布时,得到其最终生存概率的具体表达式,所得结果与已知结果是相同的.     

一类变换半群的左相容元

设TX是非空集合X上全变换半群,E是X上非平凡的等价关系,R是X/E的横断面,则TE(X,R)={f∈TX:x,y∈X,(x,y)∈E(f(x),f(y))∈E且f(R)R}是TX的子半群.本文赋予半群TE(X,R)自然偏序关系,通过构造映射的方法,刻画它的左相容元,给出充要条件.     

扩展的Cooper变换

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

求多项式最大公因式的一种新方法

给出一种利用矩阵初等列变换求多个多项式f1(x)，f2(x)，…，fs(x)(s≥2)的最大公因式d(x)的方法，用此法同时求出了最大公因式d(x)关于f1(x)，f2(x)，…，fs(x)的组合表达式．     

PE（X,R）的Green关系

设X为非空集合,PX为X上的部分变换半群,设E为X上的一个等价关系,R为商集X/E的横断面(即在每个等价类中取一个元素所组成的集合).对于每个x∈dom f,记rx为R中的元素,满足(x,rx)∈E.定义PE(X,R)={f∈PX:(∨)x,y∈dom f,(x,y)∈E(→)(f(x),f(y))∈E,(∨)x∈dom f(→)rx∈dom f,f(rx)∈R}.则PE(X,R)作成PX的子半群.本文主要讨论PE(X,R)的Green关系.     

一类夹心变换半群的正则元

设T_X是非空集合X上全变换半群,E是X上等价关系,则T_?(X)={f∈T_X:?_x,y∈X,(f(x),f(y))∈E?(x,y)∈E}是T_X的反射等价关系的子半群.取定θ∈T_?(X),在T_?(X)上定义新的运算°为f°g=fθg,其中fθg表示一般意义上映射f、θ、g的复合.关于这个运算°,T_?(X)成为夹心变换半群T_?(X;θ).本文刻画了它的正则元,给出了T_?(X;θ)是正则半群的充要条件.     

正交双复变函数空间的变换

根据正交双复数空间的概念及其表达，定义出相应的空间双复变函数的概念及表达，Ω=f(υ）=[u(x,y,z),ν（x,y,z)] iω(x,y,z)=(u,ν) iω,υ=(x,y) iz.，推导出相应的空间变换，即“空间保角变换”的原理，并作出了相应的典型变换形态，如平方变换、空间茹科夫斯基变换。从而体现出空间正交双复变函数实现空间变换的优越性。     

降序且保序的有限全变换半群

设Jn为有限集X={1,2,…,n}上的全变换半群,Sn为Jn中所有奇异变换构成的子半群,记Sn-={f∈Sn:x∈X,f(x)≤x},Qn={f∈Jn:x,y∈X,x≤y f(x)≤f(y)},那么Sn-与Qn都是Tn的子半群,令Hn=S-n∩Qn,则Hn也是Jn的一个子半群,Hn的某些性质,诸如Green关系,Green星关系,秩和幂等秩都进行了研究,还证明了Hn是幂等元生成的,且可由J*中的n-1个幂等元生成.     

度量G-空间中G-链等价集的动力学性质

根据链等价集的定义,给出G-链等价集的概念,并将度量空间中链等价集的一些动力学性质推广到度量G-空间中,得到如下结果：1)点x的G-链等价集是闭集.2)点x的G-链等价集对同胚伪等价映射f强不变. 3)伪等价映射f限制在点x的G-链等价集上形成的点x的G-链等价集就是伪等价映射f在度量G-空间X上形成的点x的G-链等价集.