证明性的

A new generalized fuzzy hyperbolic model is proposed, which can be seen as the generalization of common fuzzy hyperbolic model. The generalized fuzzy hyperbolic model is proven to be a universal approximator. Two identification algorithms are put forward to identify the model from input/out data.

通过对模糊双曲正切模型的改进，提出一种广义模糊双曲正切模型，证明了此模型可以以任意精度逼近紧集上的连续非线性函数，即此模型具有全局逼近性，并给出其辨识算法。

RESULTS.: A total of 333 BAL samples from 116 patients were tested. Invasive aspergillosis was documented in 5.2%(6/116) of the patients.

结果：共检测了116名患者的333例BAL样本。5.2%（6/116）的患者被证明存在侵袭性曲霉菌感染。

In this paper, the law of large numbers of asympotic martingale difference sequence was got by researching the convergence of asymptotic martingale and the Doob s analyse of asymptotic martingale .

研究渐近鞅的收敛性及渐近鞅的 Doob分解，证明了渐近鞅差序列服从大数定

Using the fixed point principle and the theory of differential inequality, we prove the existence of the solution and an uniformly valid asymptotic expansions of the solution is given as well.

利用不动点原理及微分不等式理论，我们证明了边值问题解的存在性，并给出了解的一致有效渐近展开式。

The experiment results of real SAR scenes show that the presented scheme has the characteristics of strong robustness, extensive practicability, high automatic on low computation and easy realization. Therefore, the presented scheme has the extensive prospect for spatial earth observation.

实测数据的实验结果证明了新方案具有稳健性强、适用性广、自动化程度高、计算量小、工程实现易等特点，说明了该方案对于空间对地观测具有广泛的应用前景。

In this paper, we introduce a scalar potential function in the nonconducting region,and prove the existence of an auxiliary function which is important to the problem.

本文在非涡流区引入标量位函数，证明了在推导过程中起重要作用的辅助函数的存在性。

We present a complete axiomatization of ADL and discuss its application to knowledge representation in multicriteria decision analysis and social network analysis.

我们提出一种矢决策逻辑的公设化系统，证明其完备性，并展现其在多准则决策分析与社交网路分析上的应用。

Gradually, however, research is isolating all other possible factors proving them to be statistically irrelevant.

但是 dddTt 研究工作逐渐8ttt8排除了其它8ttt8因素的可能 www.ssBBww.cOm 性，并且用统计数字证明这些因素是无关的。

According finite element theory, the computing method and step of Nishihara rheological model was given, numerical simulating of Three point bending creep test was performed and the results were coincided with that of test.

并对三点弯曲流变试验进行了数值模拟，结果也证明了改进后的西原模型与实测值的吻合性。

The ethical principles of non-maleficence and beneficence might be used as justificatio for overriding her autonomy.

道德的无罪和有利原则可以用以证明践踏自主性的正当性。

But we don't care about Battlegrounds.

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

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

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