查询词典 proofed

The damage of aqueduct was studied by numerical simulation and the direct index methods were proofed.

对渡槽结构进行系列数值仿真分析，并结合损伤直接指标法进行验证。

Both single and double-stable limit cycle flutter states are found in wind-tunnel test. And the conclusion is proofed that the equivalent linearization based on the second order asymptotic solution of KBM method is more accurate than that based on the first order one, which is equivalent to the conventional harmonic balance method.

风洞实验时，吹出了单、双稳定极限环颤振情形，并验证了基于KBM二次渐近解的当量线化分析比KBM法一次渐近解的当量线化分析要精确一些的结论。

They are inflation-proofed by being recalculated annually in relation to changes in the price base amount.

他们通过计算每年价格基数的变动来作为通货膨胀的证据。

Sadly, measuring government beastliness looks like a future-proofed business.

附件： 您需要登录才可以下载或查看附件。没有帐号？注册成为ECOer

Writing in Qi and Liang Dynasties embodies authors' great interesting to the principle of literature form and their excellent skills. XIAO Gang's court poetry put calm emotion in beautiful images, and he enjoys his thoughts and sensibility in literature. All of this proofed the birth of belles-lettres and the reality of the Consciousness of Literature in Chinese history.

比较可知，他们所树立人格和创作时的心态都有着明显的区别：曹植——嵇康——陶渊明之间，"士人"与"文人"的对立一步步地减小，儒、道思想的冲突也得到和解，文学世界变得和谐优美

Second, On the basis of analysis of density distribution of sequence points on the chaotic orbit of one-dimension chaotic mapping, a mutative interval chaotic optimization algorithm is presented in search for the solution optimums of the non-linear constrained problems with multi-variables and multi-peak values. With the objective function probability measurement approaching a limit 1, the convergence of the algorithm on the global optimal solution is proofed by aid of Chebyshev inequality.

二、基于一维混沌映射混沌点集的概率测度分析，提出了一种适于解决多变量多峰值非线性约束问题的新的混沌优化算法——变区间混沌优化算法，并应用切比雪夫不等式论证了算法依概率收敛于全局最优解。

After theoretic analyzing support vector machine technique, the equipollence of support vector classification and regression problems is proofed, and a uniformed expression of support vector machine problem is gotten. The noise stained case is studied emphatically, and the experiment shows that a better result will be obtained by assigning weight factor to fit noise distribute characteristic. A multi-multiplier minimal optimization algorithm for norm-1 problems is deduced, and a kind of improved Gilbert geometric algorithm for norm-2 problems is introduced, which is applied in regression problems successfully.

课题细致深入地讨论和研究了软测量模型的三个基本问题，首先是软测量模型的可实现性，即软测量模型存在唯一解的条件，以及知识利用的度量等一些相关的概念，体现出混合软测量模型在知识利用有效性上的优势；然后对模型不确定性的概念进行了讨论，研究了模型可靠性问题，得出测量精度与软测量模型可靠性之间的关系；最后讨论了软测量模型与传统软测量方法的关系，说明软测量模型是传统软测量方法的发展。

Since the existence of embedded rotation surface with given Gauss curvature function has been well proofed, the design and modeling of the surface becomes possible.

由于给定Gauss曲率函数的嵌入旋转曲面存在性问题已经得到较好的证明，故使得曲面的设计成为可能。

In order to reasonably depict four basic problems with friction, one Coulomb friction new form in first Kirchhoff stress is proposed to deal with finite deformation problems, other Coulomb friction form in incremental mode to elastoplastic flow theory; Hilbert function spaces concerning elastoplastical problems with friction are established, so it makes all operations and calculations in the treatise standardized within the scope of reasonably topologic structure; In view of functional extremum, the equivalence between generalized variational inequalities principles in elastoplasticity with friction and corresponding basic problems are testified by inducing Lagrangian multipliers, so it provides a rationally theoretical basis for numerical methods in elastoplasticity with friction; From the viewpoint of variational inequality, the theory of generalized variational inequalities in elasticity and elastoplasticity with frictional constraint is studied, and the uniqueness and existence of the solution of FEM is proofed under the proposed conditions of stress compatibility, and them FEM approximation and a discrete solution are discussed; Based on the principles of generalized variational inequalities in elastoplasticity with friction, direct generalized variational inequalities methods is pretended, which is a natural generalization and development of direct variational methods; Using generalized variational inequalities methods, some examples in metal forming including plane deformation, upset and extrusion are analyzed and the results prove that all the theories and methods in the paper are right, feasible, accurate and advanced.

主要内容有：为了合理地描述金属塑性成形中摩擦约束弹性、弹塑性基本问题，提出和研究了有限变形下以Kirchhoff第一应力表示的Coulomb摩擦定律形式和弹塑性流动理论下以增量形式表示的Coulomb摩擦定律表示形式；系统建立了摩擦约束弹塑性问题的Hilbert函数空间，使本文规范在一个具有合理的代数拓扑结构内进行一切操作和运算；利用Lagrange乘子，从泛函极值的角度系统地阐述和论证了一系列摩擦约束弹性、弹塑性广义变分不等原理与相应的实际问题之间的等价性，它为处理摩擦约束的弹塑性力学数值方法提供了合理的理论基础；从变分不等式的角度出发，阐述了对应于摩擦约束弹性、弹塑性问题的广义变分不等式理论，首次提出了在应力相容性条件下，它的有限元解具有存在唯一性，进而讨论了其有限元近似及离散解法；基于摩擦约束弹塑性广义变分不等式原理，首次提出了直接广义变分不等式方法，这一方法是直接变分法的合理推广和发展；利用直接广义变分不等式方法对金属压力加工中的平面变形问题、镦粗、挤压等塑性成形问题进行了分析计算，验证了该理论和数值算法的正确性、实用性、精确性和优越性。

They should not be kept isolated in a small cage, but be allowed to move about in an exercise run, playpen or rabbit-proofed room.

天晴的时候我想带我家的胖兔美美多溜溜，因为它是超级破坏王，放风时间不够长。

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。