可证明的

Simultaneously, we identify that the perturbation of these operators by a small norm operator is still nonwandering; further, we can obtain the theory that every bounded linear operator can be decompositioned into nonwandering operators.

同时，证明了这些算子经一小扰动后，可保持它们的非游荡性不变；进而可获得有界线性算子关于非游荡算子的分解理论。

In chapter three, we study the strongly cleaness of some 3 times3 matrix rings over a commutative local ring and prove that if R is a commutative local ring, Then TM_{3} is a strongly clean ring.

本文第三章主要研究可换局部环上的某些三角矩阵环的强clean 性，并且证明如果 R是可换局部环，则 TM_{3}是强clean矩阵环。

PMN has a function of oxidation and adsorption under acidic conditions, such as Gentian Purple, Methylene Blue, Conga Red, Rhodamine B and Methyl Orange. PMN can oxidize diversiform dyes (pH＜4. 5). The increasing of concentration on Mn and wastewater UV-Vis spectra after contact can prove it.

PMN在酸性条件下（pH＜4.5）可氧化多种染料，如龙胆紫、亚甲基蓝、刚果红、罗丹明B和甲基橙等，通过测定体系Mn的生成量和模拟废水脱色后的紫外可见吸收曲线可有力证明上述观点。

In chapter 2 we obtain existence and joint continuity of the local time foradditive Lévy process under some conditions and discuss the upper bounds andlower bounds for the Holder laws of local times processes,the probability of somerare events ralated to small fluctuation of the sample functions and sojourn times insmall balls.Finally some liminf's results about the local and uniform oscillationsof additive stable process are acquired.

第二章给出了可加Lévy过程的局部时存在和联合连续的条件，讨论了其局部时过程的〓律上界和下界，以及可加Lévy stable过程跟样本函数局部振动相关事件的概率和停留在小球上的逗留时问题，同时对可加Lévy stable过程的样本轨道的局部和一致振动证明了一些liminf型结果。

Until now, there are many kinds of machine language systemwhich are use to prove mathematical theorems, and several of them are recognized bythe mathematician and computer experts, such as HO1, Mizar, PVS, coq etc.

迄今为止，世界已有多种可用来进行数学命题证明和逻辑推理的机器语言系统，但其中只有少数几种语言可被普遍接受并受到数学家与计算机专家的认可，如HOL、Mizar、PVS、Coq等，它们各自的初衷不同，却有一个共同的特征：人类使用机器语言书写、计算、逻辑推理和证明文本性质的数学问题，并由计算机自动验证其正确性。

In this paper, we mainly study representations of strong semisimple n-Lie algebras, prove that a representation of a strong semisimple n-Lie algebra is a representation of the reductive Lie algebra LP, and the relative properties.

本文主要研究了强半单的n-李代数的表示，证明了强半单的n-李代数的表示可转化为一个约化李代数Lρ的表示，并证明了不变线性形等其它相关性质。

The existence theorem of generalized weak efficient solutions with respect to variable, cone for a linear G〓teaux differentiable mapping is proved with set valued mapping fixed-point theorem and the relation between a vector optimization and a variational inequality problem. The existence of weak efficient solutions for multi-objective convex vector optimization is characterized.

建立映射在线性G〓teaux可微条件下关于可变锥的广义弱有效解的存在性及多目标凸向量优化问题在G〓teaux可微条件下弱有效解的特征，利用集值映射不动点定理及向量优化与变分不等式的关系证明线性G〓teaux可微锥凸映射关于可变锥的广义弱有效解的存在性定理。

Micrococcal lysis assay of the milk samples showed that the cDNA was efficiently expressed in the mammary glands with similar expression levels ranging from 60 to 87 mg/L. Different tissues of each vector-injected mouse were assayed for transcription of hLYZ mRNA by dot-blotting and for expression of hLYZ activity by Micrococcal lysis assay. The results showed that expression of the three recombinant vectors was mainly restricted to mammary glands with some degrees of ectopic expression in spleen, intestines and/or kidney.

注射后72 h采集乳样，经微球菌溶解实验证明，3组小鼠乳汁中hLYZ的表达量分别为87、69、60 mg/L；从每组小鼠的12种组织提取总RNA，经Dot blotting检测证明，三种重组载体除在乳腺中表达外，p205C3LYZ还在小鼠的脾和肠、pBJLYZ在脾、pBCLYZ在脾和肾中具有一定的异位表达；在有hLYZ mRNA转录的上述脏器中用微球菌溶解试验均可检测到hLYZ活性。

This approach is valuable for genes whose existence is implied by genetics, but whose nature is unknown. One example is the gene zfy located on the human Y chromosome. Figure 2.17 shows a zoo blot using a probe from this region. It hybridizes specifically with sex chromosomes of mammals and also with

这个方法对于那些通过遗传学已证明存在的，但其性质还未知的基因是很有效的，例如人Y染色体上的zfy基因，它可以和哺乳动物或其它一些物种的性染色体杂交，且包含一个可译框，于是证明它是一个保守基因。

Using the "attractiveness - strength of the market" indicators and fuzzy math method, the paper calculated the sustainable potential of the development of tourism of historical and cultural village, classifies its elements\' combination through the "M-R" situation matrix, the existence of an ideal type and transformation possibility proves the interdependence between tourism development and heritage protection; establishes a index system about sustainable development of tourism, valuates the situation of sustainable development of the seven historical and cultural villages using factor analysis method, combines its status and potential with "S-P" situation matrix, and disport the sustainable development into four kinds: strong synchronous, weak synchronous, strong-dislocation and weak-dislocation.

其次，提出旅游发展的层次性是历史文化名村聚落、遗产和旅游属性整体性的集中表现，依此构建了评价旅游可持续发展现状的指标体系，用因子分析法计算了7个历史文化名村的旅游可持续发展现状，对现状和潜力进行组合，在&S-P&状况矩阵中按其组合状态将历史文化名村可持续发展分为强同步型、弱同步型、强错位型和弱错位型四种类型，强同步型及良性转化路径的存在，证明了聚落属性、遗产属性和旅游资源属性的整合是可行的。

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