两类线性递推式的求解

本文给出了常系数线性递推式（其中k是正整数，s=[（k＋1）／2]）以及交系数线性递推式的解的计算公式．     

退化时滞微分方程的周期解问题

本文讨论退化时滞微分方程的周期解问题．特别地，我们给出二维退化滞后微分方程的周期解的存在性问题，并在最后举例说明其应用。     

ON THE COMPUTATION OF TRACE FORMS OF ALGEBRAS WITH INVOLUTION

In this paper, we compute explicitely the isomorphism class of the trace of k-algebras with involution (of any kind) for some special base fields, especially for non formally real global fields, euclidean fields and the field of rational numbers.     

关于渐近伪压缩型映象的不动点的迭代构造

本文引入了Banach空间中一类渐近伪压缩型映象,它概括了熟知的若干映象类成特例.而且,还研究了关于这类映象的带误差的修改了的Ishikawa与Mann迭代序列的逼近问题.本文所得结果改进与推广了张石生教授的所有结果以及前人研究的相应结果.     

OSCILLATIONS OF FOURTH ORDER ODE WITH IMPULSES

Sufficient conditions to guarantee the oscillations of fourth order ODE with impulses are obtained. The importance of the impulsive effect on the oscillations of higher order differential equations is stressed.     

THE FUNDAMENTAL THEOREM OF ULTRAPRODUCT IN PAVELKA'S LOGIC

In [This Zeitschrift 25 (1979), 45-52, 119-134, 447-464], Pavelka systematically discussed propositional calculi with values in enriched residuated lattices and developed a general framework for approximate reasoning. In the first part of this paper we introduce the concept of generalized quantifiers into Pavelka's logic and establish the fundamental theorem of ultraproduct in first order Pavelka's logic with generalized quantifiers. In the second part of this paper we show that the fundamental theorem of ultraproduct in first order Pavelka's logic is preserved under some direct product of lattices of truth values.     

关于变系数线性方程的稳定性

本文给出了变系数线性方程有关稳定性的一些简洁的判据．对周期系数线性方程，给出了较为精确的渐近稳定性判据．从理论上解释了原先“冻结系数法”一般不能成立的原因．     

OSCILLATIONS OF A CLASS OF HIGH-ORDER LINEAR ODE WITH IMPULSES

Oscillation of solutions for a class of nth-order linear differential equation with impulses are considered and some sufficient conditions for oscillation of solutions are obtained, which improve and popularize some results in parts of the relative references.     

时滞抛物方程组振动的充要条件

本文研究了一类时滞抛物微分方程组在齐次Neumann边界条件下解的振动性,用平均值技巧和Green公式把时滞抛物方程组的振动问题转化为泛函微分方程组的振动问题,获得了判别其所有解振动的一个易于验证的充要条件,并举出实例对主要结果进行阐明.     

ITERATIVE APPROXIMATION OF FIXED POINTS OF NON-LIPSCHITZIAN ASYMPTOTICALLY PSEUDOCONTRACTIVE MAPPINGS

The purpose of this paper is to investigate the problem of approximating fixed points of non-Lipschitizian asymptotically pseudocontractive mappings in an arbitrary real Banach space by the modified Ishikawa iterative sequences with errors.     

退化时滞微分系统解的指数估计

为了更深入地研究退化时滞微分系统,本文应用算子理论和Gronwall引量等,讨论了其解的指数估计问题,并给出指数估计的表达式。     

一个推广的二变量时滞积分不等式及其应用

建立了一类二变量的时滞积分不等式,不等式包含一个一重积分和两个二重积分,二重积分内包含两个不同的没有假设单调性的未知函数的复合函数.使用单调化技术,给出积分不等式中未知函数的估计.结果能对相关文献中考虑的积分不等式中未知函数进行估计.进一步,结果给出了一类积分-微分方程解的估计.     

一种非线性奇异积分方程的解法

对非线性奇异积分方程其中L为一封闭光滑曲线;a,b,c为常数,在H（?）lder连续函数空间中求解时将其化为一个带根号的Riemann边值问题而得出其一般解.本文得知;一般说来,它具有非平凡解.其解的表达式以及可解条件均已得出.     

带大小结构的捕食-被捕食系统解的存在性

本文研究了一类带有大小结构的捕食一被捕食系统.利用特征线的方法,证明了此系统的初边值问题解的存在性.最后,还给出了解是唯一的.     

Markov 骨架过程的随机时变换

讨论了Markov骨架过程的随机时变换,给出了一类变换Markov骨架过程为Markov骨架过程的随机时变换.     

一类具有高阶奇性解的Hilbert核奇异积分方程

本文利用指数变换研究了一类解具高阶奇性的周期黎曼边值问题,通过转化法研究了一类解具有高阶奇性的Hilber核奇异积分方程,获得了相应的解和可解条件表达式.推广了Hilber核奇异积分方程的结果.     

父代种群参与竞争遗传算法几乎必然收敛

熟知,标准遗传算法如不采用“杰出者记录策略”则必不收敛。本文发现：允许父代种群参与竞争是标准遗传算法几乎必然收敛的条件。特别地,我们运用鞅收敛定理证明：允许父代种群参与竞争型遗传算法能以概率1确保在限步内达到全局最优解,且收敛与种群规模无关。所获结果对该类遗传算法的应用奠定了可靠基础。     

k-STABILITY OF NONLINEAR NEUTRAL DELAY SYSTEMS

In this paper,we first introduce the concept of k-globally asymptotic stabi- lity and present a differential-difference inequality with infinite delay.By com- bining nonlinear inequality and nonlinear variation-of-parameters formula,we derive the k-globally asymptotic stability criteria for nonlinear neutral system with infinite delay.In the end of this paper,an example is given to illustrate our theory.     

CONVERGENCE OF BACKPROPAGATION WITH MOMENTUM FOR NETWORK ARCHITECTURES WITH SKIP CONNECTIONS

We study a class of deep neural networks with architectures that form a directed acyclic graph(DAG).For backpropagation defined by gradient descent with adaptive momentum,we show weights converge for a large class of nonlinear activation functions.'The proof generalizes the results of Wu et al.(2008)who showed convergence for a feed-forward network with one hidden layer.For an example of the effectiveness of DAG architectures,we describe an example of compression through an AutoEncoder,and compare against sequential feed-forward networks under several metrics.     

平衡约束优化问题可行的充分条件

提出了平衡约束优化问题可行的一个充分性条件,该类优化问题中除平衡约束以外的关联约束中允许同时出现状态变量和设计变量.