一类Gronwall-Bellman型不等式的统一证明及其推广

借助一个比较定理,通过解普通的常微分方程,对一类Gronwall-Bellman型不等式及其推广进行了统一证明,并将其进一步推广.     

类矩形盾构法隧道关键技术研究与应用

在宁波地铁4号线工程中,创新采用"科研—设计—施工一体化"的管理模式,开发了"轨道交通类矩形盾构隧道"技术体系。该技术体系在类矩形盾构法隧道的衬砌结构设计方面,解决了管片设计、结构优化等问题;在类矩形盾构方面,开发了全断面切削刀盘与驱动系统、壳体铰接与密封、环臂式拼装机等技术;在施工技术方面,研究了同步注浆技术、管片拼装仿真与工艺优化、盾构轴线控制等关键技术。这一新的技术体系将为我国地铁建设提供一种全新的单峒双线隧道类型,以解决都市核心区和老旧城区"地下空间摆不下、邻近设施碰不起"的普遍问题。     

VIRTUAL GRID AND NAVIER-STOKES COMPUTATION FOR CONTROL-SURFACE

Introduction　　 The grid generation is very important and es-sential for viscous flows over the wing with controlsurface.Obayashi et al.[1] adopted an integrativegrid to solve such problems,and forconvenience ofgrid generation,they introduced one small gap be-tween the cut of the wing and the end of the flap,and even now,there existed the deformation of thegrid which brought some errors to the calculatingresults. Therefore,a more reasonable grid strate-gy,such as a chimera overset grid,is req…     

The Local Existence for Semilinear Wave Equations

The Cauchy problem for the semilinear wave equation has been studied and results show that the problem is locally well-posed in Hs(Rn) for s>max{0,n /2-1}. We extend the results by Lindblad in R3 to R2 and R1. The methods used in this paper are different from those of Lindblad and also the methods are more simple.     

关于Gronwall不等式的注记

介绍了Gronwall不等式，并给出了一般的证明方法．利用微分方程中的比较原理，将Gronwall不等式对线性控制量的估计推广到关于非线性控制量的估计．同时给出了Gronwall不等式在讨论微分方程解性质中的应用．     

整数一次不定方程组的矩阵解法与程序设计

用欧几里德算法和整数环上的可逆线性变换，从理论上对整数一次不定方程组的解进行了深入研究，提出了用矩阵的初等变换求解整数一次不定方程组的矩阵解法，并利用MATLAB数学软件开发了相应的计算机程序．     

高阶DLMS型方法求解线性方程组

结合动态系统参数识别算法（LMS）和高阶两参数并行Jacobi型算法的优点，得到一种称之为高阶DLMS方法．该方法避免传统迭代方法求解线性方程组时使用逆矩阵参与迭代矩阵的构造，避免了矩阵求逆；同时对传统线性方程组要求系数矩阵必须为方阵加以推广，具有适用范围广、计算量少等优点．同时并讨论了算法的收敛性和最优参数的选取．     

粘弹性体发展方程关于热力学广义坐标的精确解

通过不可逆热力过程，可导出描述粘弹性行为的发展方程，且其精确解的性质在很大程度上依赖于热力学广义坐标所决定的系数矩阵的性质，即中性稳定平衡坐标和参加孤立系统熵增过程坐标的状况。对于热力学广义坐标的显解，当参加孤立系统熵增的坐标中存在一个中性稳态平衡坐标，并且，热力学广义以阶跃函数给出时，精确解中将出现与时间成正比的项；当部分阳坐标参加孤立系统的熵增过程时，在相应的各精确解的表达式中，热力学广义力将被相当热力学广义力所代换，而相应显解的形式保持不变。     

求解非线性方程组的一种迭代法

本文就求解非线性方程组F(X)=0,给出了一种新的迭代算法:其中,J(X)为F(X)的Jacobi矩阵,μ(X)∈(0,2/‖J(X)‖~2_2);证明了该算法的收敛性,并通过算例验证了它的有效性。     

碰撞运动的凯恩方程

根据凯恩方程的基本思想,导出了解决碰撞问题方程的一种新型式。它可以直接用来解决较复杂系统的碰撞问题,比其它方法显得简便。