一类非线性耦合Schr(o)dinger方程组解的存在唯一性

研究一类非线性耦合Schr(o)dinger方程组初边值问题,用Galerkin方法和紧致性结果证明解的存在唯一性.     

破波区内波高衰减及其特性

本文从流体力学的基本方程出发,利用破波现象和明渠水跃现象的相似性,推求了破波的能量损失和波高在破波区的衰减规律;应用椭圆余弦波理论的数值计算方法,探讨了破波区内击岸波的各种特性,包括波能、相对波峰高度、辐射应力、波浪破碎前后的增水和减水及它们在整个破波区内的分布规律.按文中方法求得的计算值与实验结果相符.     

用Richardson外推法分析流动传热层流问题的不确定度

用ＳＩＭＰＬＥＣ算法计算了流动传热问题中２个有基准解的层流问题。对于２阶精度中心差分格式的２套网格数值解,用Ｒｉｃｈａｒｄｓｏｎ外推法可以得到４阶精度的解、其工作量比直接求解４阶差散方程的工作量减少许多;对于计算中的数值不确定度,用该方法分析了离散误差,并用逐次加密网格的方法探讨了外推法的合理性。     

一种基于微分流型的Web检索算法

为进一步提高Web的检索性能,提出了一种基于微分流型的 Web检索算法.该算法的核心思想为:用微分流型描述Web空间,用流型的切平面模拟Web的切空间,将流型上2点之间的测地线距离转化为二维平面上点与点之间的欧氏距离,基于距离的匹配过程由原来的在整个文档集合中进行,转换为仅在查询的邻域内进行,以减少匹配过程的计算量.实验结果表明,该算法的查准率比 Google和 IIT分别提高 35 24%和40 93%,它更适合于大型异构Web文档集合的检索.     

非独立随机变量序列成立大数定律的问题

本文就非独立随机变量序列的情形,总结并推广了一些大数定律。     

时滞泛函微分方程的某些稳定性定理

给出了时滞泛函微分方程的零解一致稳定性的新判据，Ｖ的上界可以是某些条件下的正函数；对于解的渐近性及渐近稳定性和一致渐近稳定性给出的判据，去掉了方程右端函数ｆ的有界性假设，使Ｖ的上界容许是在某种条件下的常负函数，推广了Ｊ。Ｋ．Ｈａｌｅ的结果，便于应用。     

变系数线性微分方程的一个可解类型

给出了一类二阶变系数线性微分方程,利用未知函数的线性变换转化为一个可解类型,即贝塞尔方程的求解,这种解法还可进一步推广。     

COHERENT, REGULAR AND SIMPLE SYSTEMS IN ZERO DECOMPOSITIONS OF PARTIAL DIFFERENTIAL SYSTEMS

1.IntroductionWeareconcernedwithalgebraicdifferentialpolynomials(abbreviatedas'd-pcis)inafinitenumberofdifferentialindeterminatesoveradifferentialfieldofcharacteristic0.Givenafinitesetofsuchd-pcis,wewouldliketostudyd-Zero(),thedifferentialalgebraicsetdefinedbyPoverauniversaldifferentialfield.Wemayaskwhetherd-Zero()isempty,whetherad-pcivanishesond-Zero()(differentialradicalidealmembershipproblem),whatthedimensionofd-Zero()is,howtodecomposed-Zero()intoirreduciblealgebraicdifferentialsets,andso…     

专业集成电路设计中三次多项式实现的新结构

专业集成电路（ＡｐｐｌｉｃａｔｉｏｎＳｐｅｃｉｆｉｃＩｎｔｅｒｇｒａｔｅｄＣｉｒｃｕｉｔ,ＡＳＩＣ）设计中的三次多项式计算,存在着一类典型的应用问题,即自变量是累积形成的,待自变量完整形成后再行直接计算是低效的。提出一种改进的三次多项式算法,在保证和直接算法相同精度的条件下,以较少的电路元件实现计算功能。同时,本算法从自变量完整形成到给出最终结果的延迟很小。     

Vaidya-Bonner空时中Dirac粒子和标量粒子的能级比较

用旋量零标架方法推导出Vaidya-Bonnet空时中Dirac粒子的能级方程;从Hamilton-Jacobin方程出发,通过广义Tortoise变换推导出该时空中标量粒子的能级方程;发现Dirac粒子和标量粒子在该空时中的能量分布在视界附近有着明显的不同,但在远离视界处即r→∞时是相同的,都等于它的静止质量,两类粒子的能级方程则有明显区别。