可证明的

To solve the third problem, the definition of T-revision function and RT-computation model are proposed, and it is proved that with the increase of revision time, T-revision function converges to revision function and T-revision function is computable.

作为对第3个问题的解决，作者提出了T-修正函数的定义和RT-计算模型，证明了随修正时间的增长，T-修正函数逼近修正函数，且T-修正函数是可计算的。

To solve the third problem, we present the definition of T-revision function and RT-computation model, prove that T-revision function converges to revision function with the increase of revision time and Trevision function is computable.

作为对第3个问题的解决，作者提出了T－修正函数的定义和RT－计算模型，证明了随修正时间的增长，T－修正函数逼近修正函数，且T－修正函数是可计算的。

At the same time, another algorithm was extended for solving the problem that sub-task can be divided, and the convergency and time complexity were also given.

同时，针对子任务可分的情况，给出了另一种扩展的算法，并证明了算法的收敛性，给出了算法的时间复杂度。

We will show that this struc-ture includes biproduct, bicrossed product and bicrossed coproduct as special cases by restricting maps or A to some special maps.

对此考虑特殊情形，可证明这种构造推广了Radford的biproduet、Majid[2]的bierossed produet及陈惠香[4]的bierossedcoproduct等结构，有较广的覆盖面。

One could denature the DNA, and then subject the single-stranded sample to CsCl centrifugation.

CsCl梯度离心的结果虽然排除了全保留复制的可能性，但不能根据这一结果就可证明DNA的复制是半保留复制，因为弥散复制也会出现同样的结果。

The analysis in theory proves that cellular automaton is equal with a stochastic process that described by stochastic difference equations. The primary differential equation is expectation of this stochastic process. And its variance function is controllable. These results show that cellular automata are in agreement with primary differential equation in the statistical sense.

理论分析证明：该方法设计的细胞自动机等价于一个可用随机差分方程描述的随机过程，该随机过程以原微分方程为期望函数，并且，其方差函数是可控的，表明细胞自动机和原微分方程在统计意义上是一致的。

A Galerkin method is used to derive a model system of evolutionary equations for axisymmetric Couette flows.

61。引言在从有规则的运动转变为混沌运动的系统中，正如实验所证明的，Couette流问题特别具有多种可达到的状态。

In this paper continuous differentiable conditions of output response functions of bidirectional associate memory neural networks are reduced to Lipschitz condition.

因此，本文将双向联想记忆神经网络的输出响应函数连续可微的假设削弱为满足Lipschitz条件，通过引入Lyapunov函数，利用不等式的方法，证明了双向联想记忆神经网络全局指数稳定性的一个定理。

Digital certificate: Attachment for a file, macro project, or e-mail message that vouches for authenticity, provides secure encryption, or supplies a verifiable signature.

数字证书：文件、宏工程或电子邮件的附件，它证明上述各项的真实性、提供安全的加密或提供可验证的签名。

Used the way of discharging to prove that every planar graph without 4-cycles and i-cycles for some i ∈{5,6,7} is (3, l)*-choosable, when they studied the list improper colorings of plane graphs.

72在研究平面图的列表非正常染色时，结合欧拉公式用放电的方法证明了每个不含4-圈和i-圈的平面图是(3，1)~*-可选的，其中i∈{5，6，7}。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。