得到

After analyzing the structure of sentences,Tarski found that, it was impossible to define the truth of the calculus of classes directly,but making use of the structure character of sentential functions could give us the approach to escape the dilemma:Firstly,we could defined the concept of satisfaction in sentential functions by means of recursive method;Then,we could regard sentences as a peculiar form of sentential functions;Finally,with the help of the concept of satisfaction,we could defined successfully the truth of the calculus of classes.

通过分析语句的结构，塔斯基发现很难直接定义出类演算语言的真概念，而语句函项所具有的可递归形成的结构性质可以使我们得到脱离困境的办法：先采用递归方法针对语句函项定义出满足概念，然后把语句作为语句函项的特殊形式，借助于满足概念最终可以得到类演算语言的真概念定义。

The labor force participation rate delivers the elasticity is -0.10. it means that cannikin domino effect has happened. If the labor force participation rate can be optimized, the ecnomy will growth quickly and Qingdaos GDP will change 0.10 percentage points.

劳动力参与率的产出弹性为-0.10，可以理解为青岛市的劳动力参与率产生了一种"木桶短板"效应，如果青岛市的劳动力参与率能够得到优化，其经济就会得到更好的发展，GDP就会在原有基础上增加0.1个百分点。

The crude carbolic acid was prepared from gasoline alkaline mud by adding sulfuric acid or carbon dioxide.

以炼油厂汽油碱渣为原料，通入硫酸或CO2 中和后去除水相得到粗酚，粗酚经过分馏处理得到馏分在 1 70～ 2 0 0℃的混合酚。

To this end, the ultrasound cardiograph is filtered and fuzzily boundary enhanced, a threshold is set to obtain a binary image, then the heart's boundary is got through ellipse curve fitting, cubic spline interpretation and smoothing.

首先对超声心动图像进行滤波以消除图像中的噪声，并运用模糊数学理论进行模糊边缘增强，提取超声心动图像的内外膜边缘信息；接著对超声心动图像作二值化处理和椭圆曲线拟合，初步得到心脏的内外膜边缘；再采用相应的三次样条插值和平滑技术，得到光滑、连续的心脏内外膜边缘。

That's mainly because we have no sufficient data those methods need. Following Caser B. Mulligan and Xavier Sala-Martin (1995), we develop a new method to estimate the human capital in Chinese cities. The notion of human capital unit is explicitly defined in this paper. Some assumptions about human capital unit an production technology are also made.

在对单位人力资本和技术进行适当假设的基础上，设计了一个可实现的、人力资本估算框架，估算出单位人力资本在中国各城市所能得到的实际工资水平，并在此基础上估算了中国地级以上城市的人力资本，得到了中国各城市1990-2003年的人均人力资本。

That's mainly because we have no sufficient data those methods need. Following Caser B. Mulligan and Xavier Sala-Martin (1995), we develop a new method to estimate the human capital in Chinesecities. The notion of human capital unit is explicitly defined in this paper. Some assumptions about human capital unit an production technology are also made.

在对单位人力资本和技术进行适当假设的基础上，设计了一个可实现的、人力资本估算框架，估算出单位人力资本在中国各城市所能得到的实际工资水平，并在此基础上估算了中国地级以上城市的人力资本，得到了中国各城市1990-2003年的人均人力资本。

For the Riemann boundary value problems for the first order elliptic systems , we translates them to equivalent singular integral equations and proves the existence of the solution to the discussed problems under some assumptions by means of generalized analytic function theory , singular integral equation theory , contract principle or generaliezed contract principle ; For the Riemann-Hilbert boundary value problems for the first order elliptic systems , we proves the problems solvable under some assumptions by means of generalized analytic function theory , Cauchy integral formula , function theoretic approaches and fixed point theorem ; the boundary element method for the Riemann-Hilbert boundary value problems for the generalized analytic function , we obtains the boundary integral equations by means of the generalized Cauchy integral formula of the generalized analytic function , introducing Cauchy principal value integration , dispersing the boundary of the area , and we obtains the solution to the problems using the boundary conditions .

对于一阶椭圆型方程组的Riemann边值问题，是通过把它们转化为与原问题等价的奇异积分方程，利用广义解析函数理论、奇异积分方程理论、压缩原理或广义压缩原理，证明在某些假设条件下所讨论问题的解的存在性；对于一阶椭圆型方程组的Riemann-Hilbert边值问题，利用广义解析函数理论、Cauchy积分公式、函数论方法和不动点原理，证明在某些假设条件下所讨论问题的可解性；广义解析函数的Riemann-Hilbert边值问题的边界元方法是利用广义解析函数的广义Cauchy积分公式，引入Cauchy主值积分，通过对区域边界的离散化，得到边界积分方程，再利用边界条件得到问题的解。

In this paper,we study the Cauchy problem of nonlinear Klein-Gordonequations By introducing a family of potential wells, we not only give a threshold resultof global existence and nonexistence of solutions, but also obtain the vacuumisolating of solutions.

本文研究了以下非线性K1ein-Gordon方程的柯西问题通过引进一族位势井，不仅得到了该问题解的整体存在性与不存在的门槛结果，而且也得到了解的真空隔离现象。

As long as you are allowed to inspect the animals and their home, you can be reasonably certain that you are getting a healthy cavy.

只要你得到许可就可以检查动物及其家人，可以合理地确定你将得到一个健康的猪猪。

Celestite samples were decomposed by both acid digestion and alkali fusion techniques.

利用酸溶法和碱熔法分解天青石样品，经过离子交换分离得到纯净的Sr，测定~(87)Sr/~(86)Sr同位素比值，实验结果表明两种样品分解方法得到的~(87)Sr/~(86)Sr同位素比值的偏差〈0。

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