下标符号

Some of the safe mobile codes may be rejected to execute, since there is no way to verify statically that the symbol range value of an array subscript expression in PCC.

PCC的数组边界检查存在着由于无法确定数组下标表达式符号值的范围，而造成拒绝执行一些安全的移动代码等问题。本文给出的一种数组边界检查的优化及生成算法，不仅能够比较好地解决了这一问题，同时还生成了循环不变式注解中的条件谓词。

As per Fahrenheit: Under the standard atmosphere pressure, the melting point for ice is 32 degree while the boiling point for water 212 degree, so the scale is evenly divided into 180 degrees in this range.

华氏温标规定：在标准大气压下，冰的熔点为32度，水的沸点为212度，中间划分180等份每等份为华氏1度符号为℉。

As per Celsius: Under the standard atmosphere pressure, the melting point for ice is 0 degree while the boiling point for water 100 degree, so the scale is evenly divided into 100 degrees in this range.

摄氏温标规定：在标准大气压下，冰的熔点为0度，水的沸点为100度，中间划分100等份，每等分为摄氏1度，符号为℃。

Similarly, molecular formulas have to have subscripts after the element name, not before.

类似的，分子式中的下标是在元素符号后边的，而不是前边。

Mathematical formulae, with their subscripts, superscripts, and special symbols, are devilishly difficult to translate into HTML.

将含有下标、上标和特殊符号的数学公式转换成 HTML 非常困难。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。