一类不可微规划的高阶对称对偶性

本文我们利用一个可微函数给出了一对高阶对称规划问题 ,其中目标函数包含了Rn 中一紧凸集的支撑函数 .在引入高阶F 凸性 (F 伪凸性 ,F 拟凸性 )后 ,证明了高阶弱、高阶强及高阶逆对称对偶性质 .     

多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

高阶微商系统Dirac猜想的一个反例

由扩展正则作用量导出了高阶微商奇异Lagrange量系统的扩展正则Noether恒等式.从广义约束Hamilton系统相空间中对称性分析，给出高阶微商系统Dirac猜想的一个反例. 用正则Noether定理、 正则Noether恒等式和扩展正则Noether恒等式说明在此反例中Dirac猜想失效, 讨论中没有将约束线性化. 关键词： 高阶微商系统 约束Hamilton系统 正则对称性 Dirac猜想     

微分多项式的值分布

文[2-6]讨论了亚纯函数或代数体函数的微分多项式ω‘(z)-αω^n(z)及ω（z)ω^n(z)的例外值问题。本文利用代数体函数的Nevanlinna值分布理论方法，研究了代数体函数的微分多项式P（ω^(k)(z))-aΠk=1^s(ω(z)-ak)^pk,及a(w^(k)(z)^tw^n(t)的Picard值问题，推广了他们的结果。     

求解非对称线性方程组的QMRGCGS方法

1 引言 求解非对称线性方程组Ax=b的双共轭梯度方法(BCG)[3]和它的变形共轭梯度平方方法(CGS)[6]都有典型的不规则收敛行为,后来Freund和Nachtigal提出一种BCG类方法,即拟极小剩余方法(QMR)[7],用来补救BCG方法的收敛性并且产生了光滑的收敛曲线。然而,象BCG方法一样,QMR方法要用到系数矩阵A及其转置A~T与向量的乘积,为了解决这一问题,Freund提出TFQMR方法,此方法具有拟极小剩余性,同时不需用到A~T与向量的乘积。     

光学工程分析中的镜面面形处理新方法

光学系统在载荷的作用下会发生变形。基于干涉检验理论,提出了一种先调整后再拟合的处理方法。首先利用下山法计算光学镜面在法线方向的变形;然后利用Zernike多项式拟合变形曲面得到Zernike系数;最后去除刚体位移,作等高线图。新的数据处理方法可以更好的与干涉检验保持一致。对某相机的主镜进行仿真试验,结果表明,下山法计算效率较高,先调整后再拟合的处理结果与干涉检验结果的一致性较好。     

一些包含Lucas数的恒等式

利用第一类Chebyshev多项式的性质以及其与Lucas数的关系得到了关于Lucas数立方的一些恒等式.     

齐次~Morrey-Herz 空间上分数次积分算子高阶交换子的有界性

在齐次Morrey-Herz空间上建立了高阶交换子~$T^{m}_{b,l}$ 和 ~$M^{m}_{b,l}$的有界性，其中~$T^{m}_{b,l}$ 和 ~$M^{m}_{b,l}$ 是由分数次积分算子和分数次极大算子分别与~BMO($R^{n}$)函数生成的高阶交换子.     

关于一个数论函数的导数及应用

Kanemitsu教授给出了欧拉求和函数的推广公式Lu(x,a)=0n相似文献   

实数轴上Grünwald插值算子的收敛性

考虑了拓展插值结点取值范围后的Gruenwald插值算子在实数轴上的收敛性，证明了将结点范围扩大到全实轴后，即取为Hermite多项式的零点，对任意点x∈(-∞,∞)，有Gn(f，x)→f(x)，n→∞，其中，f(x)为实数轴上任一满足|f(x)|=O(e^x^2/2)的连续函数．