证明性的

Its convergence and asymptotic optimality are proved strictly.

证明了它的收敛性和渐近最优性。

The existence of the optimal control for the system is demonstrated via compactness theorem and prior estimates.

根据预备知识，利用紧性定理和先验估计，证明了系统最优控制的存在性。

For the purpose of evaluating the efficacy of description dosage in a clinical trial in which compliance is observed, a new parameter estimation method is proposed for a structure linear model based on the combination of least square and pseudo-likelihood , and under general regular conditions, the consistency and asymptotic normality of the estimators are verified.

为了研究依从性对药物效果的影响，对一种结构线性模型，结合最小二乘和拟似然的思想，提出了一种新的参数估计方法，并在一般的条件下，证明了参数估计的相合性和渐近正态性。

A number of properties of countable topological space were given systematically, such as its countability, separability, compactness and connectedness, including their proofs on the basis of the nature of topological space, real number space and corresponding theorems.

摘要在可数补拓扑空间的拓扑性质的研究基础上，系统的给出了可数补拓扑空间的可数性，分离性，紧致性，连通性等性质，并给予证明。

It is proved that there is no limit cycle around the positive equilibra by constructing Dulac function, thus global asymptotic stability of the positive equilibria is proved in the first quadrant.

分析了该系统的平衡点性态，利用Dulac函数证明了系统在正平衡点外围不存在极限环，从而证明了正平衡点在第一象限内是全局渐近稳定的。

Simons [30] proved the non-existence theorem for stable integral current in acompact Riemannian submanifold isometrically immersed into a unit sphere andvanishing theorem for homology groups. In 1984, Y. L. Xin [47] generalized theLawson-Simon\'s nonexistence theorem for stable integral current and vanishingtheorem for homology groups to the case of compact submanifolds in Euclideanspace, and gave several important applications.

Simons运用Federer-Fleming存在性定理[19]和几何测度论中变分技巧证明了单位球面中紧致黎曼子流形上稳定积分流的不存在性定理和同调群消没定理[30]。1984年，忻元龙将Lawson-Simons稳定积分流的不存在性定理和同调群消没定理拓广到了欧氏空间中紧致子流形的情形，并给出了若干重要的应用[47]。1997年，K。

Simons [30] proved the non-existence theorem for stable integral current in acompact Riemannian submanifold isometrically immersed into a unit sphere andvanishing theorem for homology groups. In 1984, Y. L. Xin [47] generalized theLawson-Simons nonexistence theorem for stable integral current and vanishingtheorem for homology groups to the case of compact submanifolds in Euclideanspace, and gave several important applications.

Simons运用Federer-Fleming存在性定理[19]和几何测度论中变分技巧证明了单位球面中紧致黎曼子流形上稳定积分流的不存在性定理和同调群消没定理[30]。1984年，忻元龙将Lawson-Simons稳定积分流的不存在性定理和同调群消没定理拓广到了欧氏空间中紧致子流形的情形，并给出了若干重要的应用[47]。1997年，K。

Experimental results show that our scheme makes a better tradeoff between imperceptibility and robustness, and is secure.

实验结果证明，本算法具有较好的鲁棒性、安全性和不可见性，特别是抗几何攻击效果尤其明显。

And designs a new algorithm which can judge whether or not a given nonnegative integral vector corresponds to a friable trasition sequence. Then the algorithm is used to analyze the reachability of net system which has unique reachable vector or has no T-invariants.

4对可达性与可达方程可满足性相互等价的证明进行补充，给出一个判定非负整数向量是否为可执行向量的判定算法，最后利用该算法对唯一可达向量网和不含T-不变量的Petri网的可达性进行判定。

Then we point out the defects in the original definition of PI reasoning, and give the revised one.

最后对PI归结的完备性定理证明所需要的引理给出了两种简化证明。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。