可证明的

We show that financial crises can emanate from financial institutions which generate soft-budget constraints.

我们证明，金融危机可从软预算约束的金融机构中发端。

To demonstrate the feasibility of the system, mass transfer experiments were performed, in which terbutaline enantiomorph of 99% optical purity can be obtained.

为证明该系统的可行性，进行了传质性能实验，产品光学纯度可达99％。

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

In the transgenic murine model of asthma, the overexpression of IL-5 induces eosinophilia in peripheral blood and the airways.

研究证明IL-5在从骨髓动员Eos及诱导Eos生长、分化、增殖、激活中具有重要作用，过量表达IL-5的哮喘模型转基因小鼠可引起血和肺组织Eos浸润及气道炎症。

This paper suggests the equivalence problem of natural convection heat transfer with vertical lay up flat in encapsulation cavities and gives theoretical proof as well.

提出了在封闭空腔内竖直平板自然对流换热的等价问题，并在理论上对其加以证明，同时通过流动可视化实验定性地验证了上述等价问题。

It is proved that the proposed method can make the estimation of generalized error converge to a small neighborhood of the origin.

文中证明了此方法可使广义误差估计值收敛到原点的小邻域内。

The similarity can be proved to be embedded into Euclidean space and support vector machine can be applied for classification and prediction.

在此基础上证明基于全序列比对的相似度可嵌入欧式空间，进而借助支持向量机进行分类预测。

According to the results of thermodynamic calculations and the flyash-sodium carbonate sintering experiments, contrasting the energy consumption, material resource consumption and the expellant of the greenhouse gas CO2 during the two sintering processes, it demonstrates that the procedure could be the least consumptions of the mineral resources and energy, the least expellant of the greenhouse gas CO2, and that the terminal products with high value could be manufactured when sodium carbonate is taken as the flux agent.

基于热力学计算结果，对比了两种工艺的能耗、物耗、温室气体排放量等因素，结合粉煤灰－碳酸钠烧结反应实验，证明以碳酸钠为配料，高铝粉煤灰烧结过程具有一次性资源消耗量少，能耗最低，温室气体CO2排放量最小，且可生产高附加值产品，实现完全清洁生产等优点。

XRD, EDS and TEM investigation disclosed that amorphous ferric oxide was uniformly dispersed on the surface of carbon black.

XRD、EDS、和TEM分析证明，铁/炭黑复合材料中无定形氧化铁在炭黑表面的含量可达40%，且分散均匀。

By using living cell imaging, time-lapse monitoring and FRAP technique, the intracellular behavior of poliovirus plus-strand RNA was studied in living host cells.

这一结果也证明了分子信标是实现病毒核酸在活细胞内可视化的有力工具。

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