微分介值性命题证明中辅助函数构造两法

本文介绍了利用微分方程的通解及函数的插值多项式构造辅助函数的方法 ,并对一些典型问题给出了其辅助函数的构造形式。     

A family of quasi-cubic blended splines and applications

INTRODUCTION Bézier curves and uniform B-spline curves are powerful tools for constructing free form curves and surfaces (FFC/FFS). But they cannot represent the arcs, hyperbola, sphere, cylinders and other transcendental curves and surfaces exactly. In order to avoid the in- conveniences, many bases are presented in other new spaces (Zhang, 1996; Pe?a, 1997; Walz, 1997; Sánchez-Reyes, 1998; Mainar et al., 2001). Note that, these existing methods can deal with both polynomial curve…     

关于Diophantine方程x~3-3~(3m)=Dy~2

设D是无平方因子正奇数.本文证明了:当D不能被6k+1之形素数整除时,如果方程x3-33m=Dy2有适合gcd(x,Y)=1的正整数解(x,y,m),则D≡7(mod 8),D的素因数p都满足了p≡11(mod 12),而且D的素因数个数必为奇数.     

具有多滞后的时变区间动力系统的指数稳定性

引进了多滞后时变区间动力系统的指数稳定的概念，用矩阵测度和时滞微分不等式研究了具有多滞后的时变区间动力系统χ(t)=N[P(t)，Q(t)]χ(t) ∑（i=1，m）N[Pi(t)，Qi(t)]χ(t-τi)，τi0(i=1，2，…，m)的指数稳定性，得到了其指数稳定的一些判据，并给出了应用的例子，改进和推广了前人的工作。     

Robust exponential stability analysis of a larger class of discrete-time recurrent neural networks

The robust exponential stability of a larger class of discrete-time recurrent neural networks (RNNs) is explored in this paper. A novel neural network model, named standard neural network model (SNNM), is introduced to provide a general framework for stability analysis of RNNs. Most of the existing RNNs can be transformed into SNNMs to be analyzed in a unified way. Applying Lyapunov stability theory method and S-Procedure technique, two useful criteria of robust exponential stability for the discrete-time SNNMs are derived. The conditions presented are formulated as linear matrix inequalities (LMIs) to be easily solved using existing efficient convex optimization techniques. An example is presented to demonstrate the transformation procedure and the effectiveness of the results.     

大系统的部分联结一致渐近稳定性及指数稳定性

基于子系统间某些关联可能是固定的情况,本文讨论了大系统的部分联结稳定性,并且利用向量李雅普诺夫函数法研究了大系统的部分联结一致渐近稳定性及指数稳定性,推广了大系统关联稳定性的相关结论。     

调洪演算的有限差分法

在利用自然样条函数拟合洪水流量过程线、水库特性曲线等调洪资料的基础上,导出调洪演算的微分方程式;使用龙格一库塔法,不必试算便可直接求解水库下泄流量过程。此法对汛期水库的实时调度运行具有意义。     

改进沙猫群优化算法的机器人路径规划

为了寻找更优的机器人移动路径,将沙猫群优化算法与三次样条插值方法进行融合,对沙猫群优化算法进行改进。在改进的沙猫群优化算法中,利用混沌映射的均匀性初始化种群以提高种群多样性;通过融合互利共生和莱维飞行策略减少局部最优解的消极影响,提高算法的收敛速度和精度。通过两种仿真实验对比6种优化算法的实验数据,结果表明,改进的沙猫群优化算法的最优解、最差解和平均解都优于对比算法,验证了改进沙猫群优化算法对于解决移动机器人路径规划问题的有效性和工程实用性。     

Existence and global exponential stability of equilibrium of competitive neural networks with different time scales and multiple delays

In this paper, some sufficient conditions are obtained for existence and global exponential stability of a unique equilibrium point of competitive neural networks with different time scales and multiple delays by using nonlinear Lipschitz measure (NLM) method and constructing suitable Lyapunov functional. The results of this paper are new and they complete previously known results.     

指数波形松弛方法

结合常微分方程的指数方法和波形松弛方法, 建立指数波形松弛方法。然后证明了该方法是收敛的。最后通过算例与显式欧拉方法、指数方法和波形松弛方法进行对比。结果表明,对于弱耦合的大系统, 指数波形松弛方法具有一定优势。