查询词典 proved

A C++ program is developed for composing the stiffness matrix of the temperature field, saving it in changing bandwidth method and calculating the linear algebraic function group through using the Gauss eliminating method. A module for drawing the color fringe of tire temperature field is created, which makes the result more visual. Taking the 9.00-20 cross-ply tire on CA1092 as an example, the finite element numerical simulation analysis of automobile tire 2-D steady temperature field is completed. Through comparing the result with the analysis data by ANSYS, this software is proved to be capable of the modeling, calculating and post-processing of FEA of automobile tire 2-D steady temperature field.

采用C++语言完成了温度刚度矩阵的总体合成及其一维变带宽存贮，以及线性代数方程组高斯消去法求解等工作，采用C++语言实现了汽车轮胎二维稳态温度场云纹图的绘制，使得计算结果更加直观，也更能形象地显示汽车轮胎二维稳态温度场的分布状况，以CA1092（原CA142）五吨载货汽车用9.00-20尼龙斜交胎为例，进行了汽车轮胎二维稳态温度场有限元数值仿真分析，通过与ANSYS分析结果进行比较，说明所开发的有限元建模、求解以及后处理软件能够用于汽车轮胎二维稳态温度场有限元分析。

It i s evaluated that the overland mobility of tanks produced by different countries and during different periods with very simple algebraic operation. The conclusi ons obtained agree with the results verified by other evaluating methods and the actual using situation of tanks in battlefield. Therefore, the method is proved to be valid.

本文采用简单的代数运算对不同国家同一时期坦克陆上机动性能的比较和对同一国家在不同时期坦克机动性能进行效能评定，所得结论与其它方法评定结果和坦克在战场上长期使用的实际情况一致，从而验证了本方法的有效性。

In this paper, we have made a systemic theoretic research on modelling and reshaping several types of spline curves/surfaces in CAGD. And some creative productions are given as follows. At first, the uniform C-B-spline basis is proved to be a normalized totally positive basis, and can be extended to a normalized B-basis. C-B-spline and C-Bézier basis, similar to B-spline basis and Bézier basis in algebraic space, are two bases in algebraic trigonometric space.

本文围绕着CAGD中常用的几种曲线曲面造型和形状调整进行了深入的研究，主要获得了以下一些成果：首先，证明了代数三角空间中的n次均匀C-B-spline基是一组标准全正基，并进一步扩充为一组标准B基。C-B-spline基与C-Bézier基是多项式与三角混合空间中的两组基，是适应工程实践中设计特殊曲线曲面的需要而产生的，类似于多项式空间中的B-spline基与Bézier基，是CAGD中重要的造型工具。

We posed the concept of sufficient intersection about s(1≤s≤n) algebraic hypersurfaces in n-dimensional space and proved the dimension of polynomial space Pm(which denotes the space of all multivariate polynomials of total degree≤m) on the algebraic manifold S=s(f1,…, fs) where f1(X=0,…, f s=0denote s algebraic hypersurfaces of sufficient intersection, then gave a convenient expression for dimension calculation by using the backw ard difference operator.

给出了n维空间中s(1≤s≤n)个代数超曲面充分相交的概念，证明了n元m次多项式空间Pm在充分相交的代数流形S=s(f1，…， fs)（f1=0，…， fs=0表示s个代数超曲面）上的维数，并利用倒差分算子给出一个方便计算的表达式；构造了沿代数流形上插值适定结点组的叠加插值法；证明了在充分相交的代数流形上任意次插值适定结点组的存在性；给出代数流形上插值适定结点组的性质和判定条件。

In this paper,the existence of commmon Borel point of algebroidal function and its derivatives in the unit disc is proved.

证明了单位圆内代数体函数及其导函数至少存在一个公共Borel点，结果和Valiron在1928年提出的关于亚纯函数及其导数是否存在公共Borel方向这一问题是相关的。

ALGERNON. Yes; and that the happy English home has proved in half the time.

爱尔杰龙是的；可是幸福的英国家庭只用了一半时间就证明了它呀。

Predictive control as an available controlling algorism has been proved by a lot of emulations and practical applications.

国内外学者们对单变量广义预测控制算法作了大量的研究，但是实际工业过程通常为复杂的多输入多输出系统。

And it comparatives and analyses the efficiency of three algorithm's cliping through an example, the example proved: Liang－Barsky algorithm efficiency is highest, Cohen-Sutherland next best, and the midpoint of division algorithm efficiency is lowest.

并通过一个实例对三种算法的裁剪效率比较分析，实例证明：梁友栋一Barsky算法效率最高，Cohen—Sutherland次之，而中点分割算法裁剪效率最低。

Among these methods, alkali treatment is proved to be economical, simple, and effective.

在这些方法，碱处理的证明是经济，简单，有效。

In addition, high alkalinity and hydrogel were proved to be beneficial for small crystal FeZSM-5 formation.

其它合成因素对产品的粒度也有一定的影响，较高的碱度和凝胶配比浓度都有利于小晶粒分子筛的合成。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失