证明性的

As a technique of SBC, IVH is a easy to operate and it has little complications.

我们没有找到证明低温对兔局灶性缺血有可能的神经保护作用的研究。

For compact hypersurfaces and highcodimension compact submanifolds initial data respectively, we prove that the flow hasa smooth solution for all time under almost optimal conditions. Those conditions arethat the second fundamental form on the initial submanifolds is not too large, the exter-nal force field, with its any order derivatives, is bounded, and the field is convex with itseigenvalues satisfying a pinch inequality.

我们分别对紧超曲面初值和高余维紧子流形初值证明了当初始曲率比较小，并且外力场除了要各阶导数一致有界外，还要满足凸性条件以及特征值的一个pinch条件时，这种热流的光滑解长时间存在。

A practicable analytic solusion is obtained for any sector by means of Fourier series with singular items.

从位移场带奇性分离的Fourier级数表达式着手，得到扇形问题可实际操作的解析解，可以证明此级数解法与Wiliams分离变量法等价。

Through studing the weak solution in Sobolev space,its solvability has been proved.

通过在Sobolev 空间中对弱解的讨论，证明了它的可解性。

A new method for the determination of sulfate ion in sodium or potassium sulfate is proposed.

对可溶性硫酸钠中硫酸根含量的测定提出一种新方法，实际应用证明该法具有准确度高、重现性好、简便快速的特点。

Properties of angle deformation have been deeply studied,the stress calculation formula that calculating angle deformation of spherical shell is derived.

在深入地研究了球形壳体角变形的性态基础上，推出了球形壳体角变形附加应力简易计算式；给出了角变形区变形特点，和球壳结构与角变形限量间的数值关系，经实践证明可同JB1127－82规定对应使用。

In this paper, a new numerical method, the coupling method of spherical harmonic function spectral and streamline diffusion finite element method for unsteady Boltzmann equation in the neutron logging field is discussed, and the convegrence and error estimations of this scheme are proved.

针对中子测井问题，研究非定常Boltamann中子输运方程的确定型数值求解方法，给出了求解Boltzmann方程的球谐函数展开和流线扩散有限元耦合方法，证明了这种耦合方法的收敛性和误差估计·实际算例表明此方法是有效

By a large scale of actual cases and theoretical analysis, it shows that the arithmetic in this article has a very stable convergence and very fast convergent speed, at the same time, gives accurate calculated value.

对于求解这个非线性方程，提出了一个数值迭代算法，并对该算法的收敛性进行了证明，给出了最大迭代步数的上限值。

Then, the stochastic approximation method is applied to determine the optimal control parameters.

应用扰动分析法得到性能指标对控制参数的灵敏度估计，并证明了估计的无偏性，又利用随机逼近技术优化控制参数。

Prove the same completeness of the two topological vector space of linear topological equivalence.

证明两个线性拓扑等价的拓扑向量空间具有相同的完备性。

But we don't care about Battlegrounds.

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

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

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