可证明的

Based on the properties of the saturation function, it was proved that the stability region of such dynamical systems can be decomposed into Cartesian product of an invariant set of their adjoint systems and a sufficiently large ball.

结合饱和函数的特殊性质，证明了此类系统的稳定域可分解为伴随系统的不变集与一个足够大球体的笛卡尔积。

The interrelationship between several basic categories in fuzzy topology is made clear in terms of co-tower extension of topological constructs. It is shown that for ever completely distributive lattice L,the the category of L-fuzzifying topological spaces is isomorphic to the cotower extension of the category of topological spaces, and it can be embbedded in the category of L-topological spaces as a simultaneously reflective and coreflective subcategory.

用拓扑范畴的co-tower扩张的概念厘清了不分明拓扑中若干基本范畴之间的关系，证明了对任意完全分配格L， L-模糊化拓扑空间范畴同构于拓扑空间范畴的co-tower扩张，并且可作为一同时反射余反射子范畴嵌入L-拓扑空间范畴中。

2 It cites the rise in video links to nurseries and the popularity of tracking technology, which enables parents to keep tabs on the nanny or childminder, as evidence that parenting is being professionalised.

重译：这份报告以幼儿园更多的使用录像和跟踪技术的普及为证据，来证明养育正走向"专业化"，孩子的父母可凭借录像和跟踪技术来监视保姆或幼儿园的工作人员。

Shown by GL-03 culture in vitro test, the ferment cultured milk has strong acid and cholate resistant ability, good adhesive, obvious inhibit to common pathogenic entero becteria, without drug tolerance factors, is a lactobacillus applicable to permanent planting of human body intestinal tract, and simultaneously the deterioration ratio of the cholesterol in vitro can be up to 56 percent; proved by the animal-test, the cholesterol-lowering cultured milk has the function of lowering serum cholesterol.

乳酸菌GL-03体外培养试验表明其有很强的耐酸、耐胆盐能力，粘附性好，对常见的肠道致病菌有明显的抑制作用，不携带耐药性因子，是一种适宜于人体肠道定植的乳酸菌，同时体外胆固醇降解率可达56％。动物试验证明降胆固醇酸乳具有降低血清胆固醇的功能。

We will prove that the only compact dual Toeplitz operator is the zero operator, and that a densely defined dual Toeplitz operator with square integrable symbol is bounded if and only if its symbol is essentially bounded.

首先，我们证明了只有零算子是紧的对偶Toeplitz算子，同时给出了以平方可积函数为符号稠定义的对偶Toeplitz算子有界当且仅当它的符号函数是本性有界的。

A posterior computable condition for the stability of the adaptive scheme is also provided in this paper.

基 于本文建立的l1优化设计的连续性，证明了自适应鲁棒控制的全局稳定性，给出了自适应控制系统稳定性的后验可计算条件。

It is proved that the problem is computable through three approaches, which helps people understanding the problem more deeply and is benefit to finding good strategies.

采用三种不同的方法证明了问题具有可计算性，从不同的角度帮助加深对问题的理解，有利于想出好的策略。

In this note, we prove a congruence relation on real quadratic fields which relates class number and certain character sum.

本文证明了关于实二次域的类数和某类特征和的同余式，同时给出某类实二次域的类数可除性的一个判别法则。

Furthermore,we obtain a sufficient and necessary condition about continuity of functional series and integral with parameter,and show the sufficient condition about differential .

将数学分析中一致收敛性的概念加以推广，分别对函数项级数和含参量积分引入次一致收敛的概念，证明了函数项级数、含参量非正常积分连续性的充要条件和可微性的充分条件，推广了数学分析中的相应结

In the paper, the author argues that the development of financial innovation theory and practice since 1990s shows that the relation between innovation and regulation has changed from contradictor to mutualism.

90年代末期以来金融创新理论和实践的发展证明，金融风险也是一种可资利用的"资源"，同样存在着风险的"资源配置"问题。市场化的风险资源配置可以直接节约社会资金资源的占用。

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％。