可证明的

So it is concluded that Escherichia coli O157:H7 can enter into the viable but non cul...

实验证明了大肠杆菌 O157：H7在一定的条件下可进入活的非可培养状态。

Apparently, the approximate controllability doesn"t hold for generally linear parabolic equations with bounded control. It doesn"t hold for the semilinear heat equations presented there,either. Then, it is proved by analyzing its" solutions that no matter how long the time T is , there are targets that can"t be approximated by the solution of heat equation with Dirichlet boundary conditions;If a given target satisying certain conditions can be reached by the solution of heat equation .

本文先针对两个具体的半线性热方程系统证明了控制加约束后系统是不能控的；然后通过分析方程的解，对带位势及Dirichlet边界条件的热方程系统，无论时间多大，都存在不能控的目标；文中还证明了满足一定条件的目标可达。

The results of experiment show the optimal extraction condition of Gardenia Yellow: refluxing and extracting three times with 50 percent ethanol in 55℃, water-bath and extracting 4 to 5 hours, Gardenia Yellow extract solution is separated by X-5 absorption resin, and then with 30 percent ethanol, getting Geniposide white crystal, the determining purity by HPLC come to 99.1% and can be used as standard, the part doffing by 70% ethanol can be concentrated to get more pure Gardenia Yellow pigment.

实验证明了栀子黄的最佳提取条件：50%的乙醇回流提取3次，55℃水浴加热，提取时间为4-5个小时。栀子黄提取液经X-5大孔吸附树脂分离，用30%乙醇溶液洗脱，纯化得到栀子苷白色晶体，HPLC检测纯度达99.1%，可做标准品使用。70%乙醇洗脱部分浓缩可得栀子黄产品，精制后产品纯度有显著提高。

In chapter 3, we give a unifying proof for some known difference sets by using Gauss sums, and we construct a new family of divisible difference sets.

在第三章中，我们用Gauss和给出了几个已知差集的统一的代数证明，它们原有的证明要么是用组合设计的方法，要么是用很技巧性的计数方法得到的。同时我们构造了一族新的可分差集。

In this paper,the nonstandard analysis theory is used for inducing a metric space by a Loeb measure space.On this basis,a metric space is induced by a internal finitely additive measure space.The close relationship between the metric space induced by a Loeb measure space and the metric space induced by a internal finitely additive measure space is illustrated with the concepts and some properties of Loeb measure.Then,some properties of the metric space that induced by a internal finitely additive measure space are studied.In the first two chapters,we first Succinctly present the origin,development and research states of the nonstandard analysis.Then,the theoretical foundation of nonstandard analysis as well as the axiomatic nonstandard analysis are given.Finally, the nonstandard model and the saturation model are discussed,as well as some natures of the nonstandard model and several equivalent conditions of saturation model are given.

本文利用非标准分析理论，在由Loeb测度空间导出度量空间的基础上，由内有限可加测度空间导出了度量空间，并借助Loeb测度的概念和若干性质证明了由标准的测度空间导出的度量空问和由内有限可加测度这个非标准的测度空间导出的度量空间有着密切的关系，在此关系的基础上还研究了由有限可加测度这个非标准的测度空间导出的度量空间的性质在第一、第二章里，我们首先简单介绍了非标准分析的产生、发展及研究现状，接着给出了非标准分析的理论基础以及公理化的非标准分析，进而讨论了非标准模型和饱和模型，并给出了非标准模型的一些性质和饱和模型的若干等价条件。

These mappings will keep the properties of the measure space and the metric space.

通过可测空间的测度反映出了它的测度空间，证明出可测函数序列度量收敛。

The results show that AREEC liquid crystal enables the flow behavior of PC to change from quasi-Newtonian type to pseudo-plastic type, and it can act as heterogeneous nuclei to accelerate greatly crystallization of PET, and then to improve evidently their injection moldability.

将AREEC液晶与PC、PET熔体共混，研究了共混体系的流变行为、结晶特性和可模塑性，证明AREEC液晶能使PC流变行为由准牛顿型变为假塑性幂律型，能对PET起异相成核和显著加速结晶作用，从而大大改善它们的注塑可塑模性。

It is proved that many knowledge base can be transformed into the strick partical order, many partition problem of knowledge base fit in with partition problem of strick partical order.

在最后，证明了许多知识库结构可表成严格偏序集。因而，这些知识库的拆分问题可转化为严格偏序集的拆分问题。

The splicing／decomposible encoding scheme proposed by Xu et al is applied to the construction of dynamic selection and mutation operators that were built respectively on the levels of genotype and phonotype of population.

简要介绍了徐宗本教授新近提出的可分解／可拼接遗传算法编码，并证明了一个利用对偶适应函数判定已知个体是否为相对全局最优解的判据。

By integrated Lyapunov stability analysis, it is guaranteed that all of the closed-loop signals are bounded, and the tracking errors converge exponentially to a residual set, whose size can be adjusted by changing the design parameters.

藉由完备的李雅普诺夫稳定度分析，证明所有闭回路信号是有界的，且追踪误差至少可指数收敛至一残局，其大小可藉由调整参数任意控制。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。