正确性

Sc, there are two kinds of isotopes shaped body, the structure is trigonal system and the hexagonal Department, is found in the periodic table predicted decades before the first one confirmed the correctness of the periodic table of elements, which is very famous.

周期表中ⅢB族有银白色金属光泽的固体金属过渡元素，又属稀土元素，原子序数Z＝21，原子量4959，化学符F号Sc，有两种同位素异形体，结构正方晶系和六角晶系，是周期表预言十年后才发现的第一个证实周期表正确性的元素，因而很有名气。

Basing on the preprocessor module of ZRCAE software,a program system has been developed with which hexahedron mesh can be automatically generated.

最后，通过考题和实例说明本程序的可靠性和正确性。

The results of experiments agree well with the highspeed shear theory.

通过实验结果验证了高速精密剪切理论的正确性。

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乘子，从泛函极值的角度系统地阐述和论证了一系列摩擦约束弹性、弹塑性广义变分不等原理与相应的实际问题之间的等价性，它为处理摩擦约束的弹塑性力学数值方法提供了合理的理论基础；从变分不等式的角度出发，阐述了对应于摩擦约束弹性、弹塑性问题的广义变分不等式理论，首次提出了在应力相容性条件下，它的有限元解具有存在唯一性，进而讨论了其有限元近似及离散解法；基于摩擦约束弹塑性广义变分不等式原理，首次提出了直接广义变分不等式方法，这一方法是直接变分法的合理推广和发展；利用直接广义变分不等式方法对金属压力加工中的平面变形问题、镦粗、挤压等塑性成形问题进行了分析计算，验证了该理论和数值算法的正确性、实用性、精确性和优越性。

This paper describes an approach to reverse engineering based on the formal semantics of the strongest postcondition predicate transformer,and the partial correctness model of program semantics introduced by Hoare. The main point of our investigation is how to use informal and formal methods for reverse engineering. The approach provided by this thesis is mainly to process the C program system for reverse engineering.

本文描述的逆向工程中的形式化方法采用最强后置条件谓词转换技术和Hoare理论中有关程序语义的部分正确性模型，研究的重点是利用形式化技术和非形式化技术对程序代码进行逆向工程，以支持软件理解和维护。

In the early 1970s, pioneers like Floyd, Dijkstra, and Hoare argued that programs should be formally specified and proven correct.

上世纪七十年代，Floyd、Dijkstra和Hoare等先驱者认为应该形式化地给出程序规范并证明其正确性。

Compared with Reinssner Theory, Hoff Theory and the results of finite element analysis, it shows the correction and necessity of this paper.

通过与Reinssner理论、Hoff理论以及有限元分析结果比较，验证了本文理论的正确性及其必要性。

There is a relatively complete style of homogeneous function about the boundary condition in the problem of sure resolution of unhomogeneous boundary condition,which is based on the summarizing of mass former experiences and is proved in this article.

通过对非齐次边界条件的定解问题的讨论，引出了本文的论题，对非齐次边界条件定解问题的边界条件齐次化函数提出了一种比较一般和标准的形式，并提出了一个定理。对该定理进行了证明，证明了它的正确性。

For verifying the proposed approach, the EEG potential simulated from current dipoles in an ideal homogeneous medium are generated. The localization discrepancy and the moment orientation discrepancy are used as index for measuring the estimation accuracy.

为了验证这里所提出方法的正确性，脑波模拟讯号是由电偶极在理想的均匀介质头颅模型下所得到；定位偏移量及偶极矩方向偏移量两参数被用来当做估计值准确度的指标，另外，初始值估计法的偏移量分布可用数学中的珈玛方程式描述出分布的特性。

The pattern synthesis of horizontal plane and vertical plane of sector antennas is studied.

最后给出的算例验证了思路的正确性。2。

She gently rebuff ed him, but agreed that they could be friends

她婉言拒绝了，但同意作为朋友相处。

If in the penal farm, you were sure to be criticized.

要是在劳改农场，你等着挨绳子吧！