ω-超可微函数空间及其运算

文章利用Fourier-laplace变换对Roumien型超可微函数空间εω(Ω)和试验函数空间D{ω}(Ω)的性质进行了讨论,并给出了其上的一个等价条件.     

Roumieu型ω-超可微的等价条件

利用Fourier-Laplace变换对Roumieu型ω-超可微函数空间D（ω）甜（R^N）进行了讨论，并给出了其上的一个等价性定理。     

Beurling型超广义函数D＇（ω）（R^n）中元素的正则化问题

文章讨论了ω-超可微函数空间D＇（ω）（R^n）和ω-超广义函数空间D（ω）（R^n）中的一些正则化性质，证明了当ε→0时，Tε=T＊αε→T（D＇（ω）R^n）．     

Beurling 型超广义函数D''(ω)(Rn)中元素的正则化问题

文章讨论了ω-超可微函数空间D'(ω)(Rn)和ω-超广义函数空间D(ω)(Rn)中的一些正则化性质,证明了当ε→0时,Tε=T*αε→T(D'(ω)Rn).     

Beurling型ω-超广义函数ε（ω）（Ω）中的卷积运算

文章利用Fourier-laplace变换时Beurling型ω超可微函数空间ε(ω)(Ω)的性质进行了讨论,证明了在卷积意义下,D(ω)(RN)为ε(ω)(RN)的乘子空间.     

Beurling型ω-超可微函数空间的一些判别条件

本文利用Fourier—laplace变换对Beurling型超可微函数空间ε（ω）（Ω）和试验函数空间D（ω）（Ω）的性质进行了讨论,并给出了其上的一些等价的判别条件．     

ω-超广义函数空间D′＊的性质及其判别定理

文章讨论了Roumieu型和Beurling型ω-超广义函数空间D′（ω）（Ω）和D′（ω）（Ω）的一些性质，并给出了一些相关的判别定理．     

ω-超广义函数D′_*和E′_*的正则化

讨论了ω-超可微函数D*(RN)和E*(RN)的正则化及超广义函数D′*(RN)和E′*(RN)的正则化问题,并给出了这些空间的一些相应的结果。     

ω-超广义函数空间D''''*的性质及其判别定理

文章讨论了Roumieu型和Beurling型ω-超广义函数空间D'{ω}(Ω)和D'(ω)(Ω)的一些性质,并给出了一些相关的判别定理.     

涉及例外函数列的正规定则

本文讨论了在去除不正规点的区域内涉及例外函数列的亚纯函数列的特征。主要结果如下：设{f_n（z）}与{a_n（z）}是区域D内的两个亚纯函数列。{f_n（z）}的零点与极点的重级均至少为k+2,{a_n（z）}的极点重级至少为k。■是D内的亚纯函数。假设■且{f_n（z）}的任意子列在z₀∈D不正规,则在Da^-1（∞）内,■。     

一类加权函数满足的几个等价条件

鉴于加权函数对于超可微函数和超广义函数的重要性，文章考虑加权函数ω，给出了ω满足条件5）的一个充分条件以及5）的四个等价条件．     

用ω-Turing机计算实数函数

实数的可计算函数是一个非常重要的概念,定义可计算实数函数有两个途径,第一个途径是先定义可计算实数的指标.一个可计算实数的指标是一个计算该实数的Turing机的Godel数.一个定义在全体可计算实数上的函数y=f(x)是可计算的,当且仅当存在一个在全体可计算实数的指标上的(部分)递归函数将x的指标对应到y的指标,这样对实数函数的研究依赖于自然函数的性质.第二个定义可计算实数的途径是基于逼近.一个实数函数是可计算的,当且仅当它既是序列可计算的也是有效地一致连续的,这个条件太强使得很多非常有用的实数函数不能成为可计算函数.根据这个定义"<"和"="都是不可计算的,因为它们的特征函数是不连续的.在这篇文章里我们讨论ω-Turing机的稳定性并且定义了在一个有限字母表的全体无限序列上的ω-可计算函数,我们也证明了ω-可计算函数的复合函数也是ω-可计算的.我们的定义没有用到Godel数或者递归函数.根据我们的定义很多常用函数特别是一些有用的不连续函数是ω-可计算函数.一个函数是否ω-可计算的验证较为容易,根据我们的定义普通Turing机的停机命题是ω-可计算的.     

AlN~x(x=0,-1)基态的结构和解析势能函数

采用密度泛函理论的B3LYP/6-311+G(3df)方法优化计算了AlN(X3Π)分子和AlN-(X2∑+)离子基态的平衡结构、振动频率和离解能.根据原子分子反应静力学原理,导出了AlN(X3Π)分子和AlN-(X2∑+)离子的合理离解极限,利用Murrell-Sorbie势能函数和理论计算结果得到基态相应的解析势能函数,并由光谱数据和解析势能函数的关系计算了基态的光谱数据(eα,Be,ωe和ωeχe),计算结果与实验数据符合得相当好.     

Szasz-Durrmeyer算子的逼近

对于Szasz-Durrmeyer算子,周定轩曾用光滑模ωφ^2(f,t）和ω^1(f,t)讨论了λ=1的情况,Ditzian用光滑模ω^2(f,t）和ω^1(f,t)解决了λ＝0的情况,然而对于原算子,Ditzian曾用统一光滑模ωφ^2λ（f,t)给出了一个有趣的点态逼近等价定理,统一了有关古典连续模及Ditzian-Totik模的逼近结果。对于Durrmeyer型的算子,由于一阶矩不为零,要想得到类似的结果,需要克服许多困难。本文中引入一个新算子,利用光滑模ωφ^2λ(f,t）和ω^1(f,t）之间的关系,得到了一个完美的等价定理,推广了以前的结果。     

闪电函数族

构造了一族处处连续而又处处不可微的函数。与已有的不可微连续函数相比,这族函数有如下特点。1)每个函数都有直观的形象———形如闪电,故称为"闪电函数",这族函数之全体称为"闪电函数族";2)很容易直观地理解为什么每个闪电函数是处处连续而又处处不可微的;3)每个闪电函数均具有如下意义下的准自相似性:其局部图像适当地在横向和纵向拉伸后将与整体图像相同;4)每个闪电函数均可由无穷次地重复相应的"闪电变换"而获得。根据Mandelbrot关于海岸线分维数的定义,还讨论了闪电函数的分维性。     

基于GEP的线性指数函数型程序不变量动态发现方法

不变量是用来描述程序运行时保持不变性质的逻辑断言.根据关系数据理论,程序不变量可分函数依赖型和非函数依赖型程序不变量.着眼于函数依赖型程序不变量,借助GEP的函数发现特点和Daikon对线性程序不变量的发现能力,重点对线性指数函数型程序不变量动态发现方法进行研究,通过实验证明了GEP对线性指数形式的函数有较高的发现效率,可以扩展Daikon在线性指数函数型程序不变量方面的预置形式以达到从程序轨迹数据中发现该类程序不变量的目的.     

从复合函数到不动点迭代的探讨

复合函数是高等数学的重要内容之一,而不动点迭代是理工科学生要求掌握的一个基本概念。在高等数学中,通过对复合函数有关知识的教学,适时地引出不动点迭代的概念,并自然地对相关理论进行了一些探讨。     

径向基函数神经网络在反向工程曲面重构中的应用

将径向基函数神经网络应用于自由曲面的拟合。为解决反向工程的技术关键──自由曲面的重构提供了一个新的途径。     

关于特征函数T(r,f)与T(r,1/f)的关系

本文研究亚纯函数f(z)与1/f(z)的特征函数T(r,f)与T(r,1/f)之间的关系。由Jensen公式推导出了它们的关系式,从而证明了特征函数T(r,f)与T(r,1/f)之间只相差一个常数。     

结合连续法与数值图谱法的刚体导引尺度综合

由连续法得到满足刚体导引综合要求的齿轮四杆机构，利用该机构连架杆摆角函数的谐波成分(由快速傅立叶变换得到)，通过模糊识别的方法，从已建立的齿轮四杆机构的连架杆摆角函数谐波特征参数的“数值图谱库”中找到更多组满足设计要求的机构。文中给出的算例验证表明，该方法解决了有限点位连杆机构尺度综合的多解问题，为连杆机构的尺度综合研究拓宽了思路。