证明性的

It is proved in the paper that the uniformly ultimate boundedness of solutionsimplies the existence of periodic solutions to functional differential equations with infinite delayin admissible phase space with fading memory .

本文证明了在具有衰减记忆的允许相空间中，无限时滞泛函微分方程的解的一致最终有界性蕴含了周期解的存在性。

Recently many of statisticians have been interested in the functional coefficient model because of its simplifying structure, meaningful interpretation and wide application. In the chapter 2, estimators of parameters of linear functional coefficient structural model under interval-censored covariate studied.

由于协变量区间删失，为此我们创立了一个与协变量具有相同均值的变量，然后利用加权最小二乘估计法得到了变系数一维线性结构关系模型中的参数估计，当协变量的分布已知时，证明了估计的弱相合性和强相合性。

In order to get the numerical solution, the paper devises a three hierarchic implicit scheme which eliminates the strict restriction of explicit scheme, thus, it can be used in more areas. By using the energy estimation method, the convergence and stability of the difference scheme are proved and the scheme is second order convergence for time and space.

对求解方程构造了一个三层隐式差分格式，消除了显格式的稳定性对计算步长的严格限制，使之适用范围更广，并用能量估计的方法严格证明了差分格式的收敛性与稳定性，该格式对于时间和空间均具有二阶收敛性。

By weakening the premise of the convexity of the objective function required in paper[7], we prove the sufficient desent property and the global convergence with the strong Wolfe line search.

在第二章中，我们参照文献[7]中的方法，提出了一类与HS算法相关的共轭梯度算法，并减弱了文[7]中要求目标函数二阶连续可微且为凸的前提条件，采用强Wolfe线搜索，在较弱的条件下证明了这一类算法具有充分下降性和全局收敛性。

Using the theory of radiative capture reaction and combining our department experiment, we investigate two nuclear reactions,〓 and 〓, and calculate the cross sections and astrophysical reaction rate of them.

我们对ANC系数的近似模型无关性给出了一个数学形式理论证明，并结合具体的核反应，利用数值计算验证了ANC系数的近似模型无关性；在E1跃迁情况下，我们给出了一个用ANC系数计算辐射俘获反应截面的计算公式。

In this paper, we will discuss the existing condition of the periodic solution of Duffing type equation with damping term. We use homeomorphism and fixed point method to prove the periodic solutions existence. We try to loose its condition, analysis and then get the existing condition of periodic solution according to defining atmospheric dynamics equation.

本文中，我们探讨带阻尼项的Duffing型方程周期解的存在性条件，运用不动点方法和Leray-Schauder度理论来证明其存在周期解，尽可能放宽其约束条件，并针对具体的大气动力学方程，分析并求取其周期解的存在性条件。

In order to improve the accuracy of fingerprint directional image further, combining the advantage of the continuity of the point directional image with the advantage of the robustness of the block directional image to the noises in the fingerprint image, a novel concept on the continuously distributed directional image/field and the method to compute it in the fingerprint images are develope...

实践证明这种连续分布方向图过渡平滑、自然，既具有很好的连续性、渐变性和抗噪性，又具有极高的精确度，还兼有指纹点方向图的连续过渡性和块方向图的抗噪性优点。

Identifiability analysis of linear time-delay system is one of research subjects in process control.

线性时滞系统的辨识性分析是过程控制理论的研究课题之一，通过对系统差分方程的讨论，在4个定义的基础上推出了2个定理，进而证明了可辨识性。

Using a reasonable security model, the unforgeability of the proposed scheme is proven based on the intractability of the computational Diffie-Hellman problem.

在合理的无证书环签名安全模型下，基于计算Diffie-Hellman问题的难解性，证明了提出的方案的不可伪造性。

Observable transformation between different formal description models. Using the ETS-based testing theory, formal transformation methods from LOTOS and Estelle to ETS are proposed respectively.

不同形式描述模型之间的可观察等价性转换根据基于扩展标号变迁系统的协议一致性测试理论，分别提出了LOTOS和Estelle到ETS的形式转换方法，证明了它们的可观察等价性，并举例说明。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新