圆柱面上具非零曲率和挠率的曲线特征

三维欧氏空间中的曲线的Frenet标架的运动方程满足Frenet公式,并且在相差一个旋转变换和平移变换的意义下由其曲率和挠率唯一确定.在曲线所在曲面有特殊结构的情况下,可以得出曲面上曲线的曲率和挠率满足的关系.文中只利用了圆柱面上曲线在中心轴上的投影函数给出了圆柱面上具非零曲率和挠率的光滑曲线其曲率和挠率必须满足的方程.     

涉及Fibonacci数列与Chebyshev多项式的一些反正切

根据Fibonacci数列和两类Chebyshev多项式的基本性质,利用反正切函数得出了一些关于黄金分割数与Fibonacci数列及Lucas数列的恒等式,同时获得了一些涉及两类Chebyshev多项式之间关系的恒等式.     

带有白噪声的Berger方程随机吸引子

考虑带有白噪声的Berger方程解的随机渐近性行为, 用渐近先验估计技术和算子分解方法, 通过引入同构映射构造等价过程, 证明随机吸引子在(H²(U)∩H¹₀(U))×L²(U)中的存在性.     

高维Euler方程组的强松弛极限

利用能量积分, 讨论在初值充分小的情形下, 高维带有阻尼项的Euler方程组光滑解的整体存在性和强松弛极限, 得到了解的一致先验估计, 并证明当松弛时间趋于0时, 整体解的渐近行为由多孔渗流方程控制.     

考虑单元互测的测试性指标分配方法

测试性分配是将系统级测试性指标按照一定规则分配给各组成单元的过程。针对现有主流测试性分配方法未考虑单元之间的互测情形,导致分配结果不合理,尤其是部分单元分配指标虚高,难以实现或代价过高等问题,提出了在综合考虑单元故障率、故障危害度等多重影响因素基础上,进一步考虑单元互测因素的测试性指标分配方法。首先实施考虑多重影响因素的指标初次分配;然后基于单元测试性初步设计结果,实施测试性建模与分析,得到单元自检故障率与他检故障率;再利用这两个数据以及初次分配结果构造分配函数实施再次分配,进而得到最终的分配结果;最后应用该方法进行仿真和实例运算,证明了该方法的有效性和先进性。     

带变量核的分数次积分交换子在变指数Herz-Morrey空间上的有界性

证明了带变量核的分数次积分算子T_(Ω,μ)与Lipschitz函数b生成的高阶交换子[b~m,T_(Ω,μ)]在变指数Herz-Morrey空间MK_(q,p)~(α,λ)(·)(R~n)上的有界性.     

带有临界增长的Kirchhoff方程极小能量变号解的存在性

为了深入研究Kirchhoff方程的性质,讨论了带有Hartree项和临界增长非线性项的Kirchhoff方程极小能量变号解的存在性。利用能量泛函在变号Nehari流形上的下确界C_λ收敛于0,得到空间E紧嵌入L~6(R~3)这一技术性结果。结果表明,利用限制变分方法和定量形变引理获得极小化序列对应的极小值点是该问题的非平凡解。研究方法在理论证明方面得到了良好的结果,对研究其他Kirchhoff方程解的存在性有一定的指导意义。     

Poincaré-Chetaev方程的守恒定理及其逆定理

提出动力学系统守恒定律构成的一般途径.根据微分方程积分因子的定义研究守恒量存在的必要条件.建立了Poincare-Chetaev方程的守恒定理及其逆定理,并举例说明结果的应用.     

Reconsideration on Homogeneous Quadratic Riemann Boundary Value Problem

The homogeneous quadratic Riemann boundary value problem (1) with Hoelder continuous coefficients for the normal case was considered by the author in 1997. But the solutions obtained there are incomplete. Here its general method of solution is obtained.     

IMPLICITIZATION OF PARTIAL DIFFERENTIAL RATIONAL PARAMETRIC EQUATIONS

In this paper, we propose algorithms for the following problems in the implicitization of a set of partial differential rational parametric equations P. （1）To find a characteristic set for the implicit prime ideal of P; （2） To find a canonical representation for the image of P; （3）To decide whether the parameters of P are independent, and if not, to re-parameterize P so that the new parametric equations have independent parameters; （4） To compute the inversion maps of P, and as a consequence, to decide whether P is proper.