可证明的

It is prove that groups of order p2 can be divided into two kinds in the isomorphism sense:(1) cycle group ;(2)commutative group which can be written as a product of two cycle proper-subgroup of order p.

证明了在同构意义下p2阶群共有两类：一类是循环群，一类是可分解为两个p阶真循环子群乘积的可换群。

As one of the first manufacturers of bearing steel ring in China, the company is mainly engaged in such products as bearing steel ring for cotton spinning, nut, retaining ring, cotter pin, closing ring and flat pad etc.

经试验证明，"衰退钢领"内跑道的几何形态无显著变化，表面具备足够硬度，精抛光后（钢领可达到▽10-▽11级），上车使用效果非常好，可连续抛光使用能达到钢领使用寿命3-5年以上。

The backbone of sugar residues chain in LBP-4a were contained l-6 indican bond according to periodate oxidation and the results of -elimination reaction indicated that the chain of polysaccharides and protein were connected by O-linked chemical bond.

腑实验证明用含有LBP一4 50 mg一1、100 mg·L-l、200mg.L'，和400mg·L-l的培养液培养人肝癌细胞邻Y一7703可显著抑制其增殖；细胞形态学观察发现LBP一4可诱导那Y一7703细胞发生凋亡，使细胞凋亡指数显著提高。

From this,it is proved that when all the ratios of a subaddtive function defined on the interval(0,+∞) to the value of its variable form a bounded function ,the subaddtive function must have supremum and infimum functions,which are homogeneously linear functions.

从这一结果出发证明了，当定义在(0，+∞)上的次可加函数与其自变量之比为有界函数时，次可加函数必存在上下确界函数，并证明了其上下确界函数均为齐次线性函数。

It has been proved that if example set is of lattice point distribution the example set can be memorized by a fuzzy neural network, otherwise the fuzzy neural network will lost its memory.

通过定理，证明了在这种情况下，样本组可被模糊神经网络所记忆；证明了若样本组前n-1个样本和整个样本组的模糊矩阵的秩相等，则权向量不能调整，否则会使模糊神经网络"丧失记忆"。

Formulas in the MAX(1) and MARG(1), it is shown that the literal renaming problems are solvable in linear time, and the variable renaming problems are solvable in quadratic time.

证明了对于MAX(1)和MARG(1)中的公式，文字改名问题在线性时间内可解，变元改名问题在平方次时间内可解。

Furthermore, various kinds of approximate matching errors (insertion, deletion, substitution, transposition) can be detected with different structures of rule combination unit. A probability model of packet matched is also proposed for large alphabet environment, which proves that the hardware scheme is practicable.

该并行模型有如下特点：①通过采用不同的规则组合器可完成插入、删除、替代和交换错误的近似匹配；②通过配置参数，可灵活控制近似匹配的程度；③可直接应用於大字符集语言下的纲络内容流分类；④针对中文环境做了概率建模，分析了并行硬件模型对纲络分组的匹配概率，证明该模型在一般情况下具有较好的可应用性。

Practice has proven that metal oxide material used as deep well anode ground bed has the merits of maintenability, replaceability and easy installation.

实践证明，金属氧化物材料应用于深井阳极地床，具有可维护、可更换、施工方便的特点。

On the basis of studying the composition of composition golden mine remnant sand mineral and chemical composition,this paper introduces the technology of manufacturing wall and floor tiles with the golden mine remnant sand.

本文在研究金矿尾砂矿物组成和化学成份的基础上，利用金矿尾砂制备墙地砖坯体，经实验证明金矿尾砂可代替长石作为墙地砖坯用原料，用量可达40%～50%，实现变废为宝，经济效益明显。

Based on biological experiments, mango glycoside is used as raw material; under the condition with phenol and hydroiodic acid, carbon-carbon bonds are broken to produce the crude product of mango aglycone; the crude product is separated and purified through silica gel column chromatography so that the mango aglycone is separated; the yield rate reaches 12 percent, the purity is higher than 95 percent, and the reproduction performance is good; the IGTT of C57BL/6 normal mice is effectively improved with the norathyriol; and simultaneously the quantity of insulin secretion induced by glucose in vivo for the C57BL/6 normal mice can be improved with the norathyriol.

通过生物学实验证明，本发明所涉及的以芒果苷为原料，在苯酚和氢碘酸条件下，使得碳-碳键断裂，制备得到芒果苷元粗品，再通过硅胶柱层析分离纯化得到芒果苷元的方法使得其产率可达12％、纯度大于95％，且重现性好；norathyriol可使C57BL/6正常小鼠IGTT有明显改善；同时norathyriol可提高C57BL/6正常小鼠体内葡萄糖诱导的胰岛素分泌量。

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.

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