可证明的

It is proved that if'sparse NP complete sets under polynomial-time Turing reductions exist'then 'SAT is polynomial-time non-adaptively search reducible to decision', and that if 'P is not equal to NP'then either'SAT is not polynomial-time non-adaptively search reducible to decision'or'SAT is not polynomial-time truth-table reducible to bounded approximable sets', and that if'P is not equal to NP'then'sparse complete sets for NP under polynomial-time disjunctive reductions do not exist'.

因为用现有的证明技术不可能绝对地解决这个假设，本文研究了这个假设与其他关于SAT结构性质的假设之间的关系，证明了如果'NP有多项式时间图灵归约下的稀疏完全集'则'SAT是多项式时间并行地搜索归约为判定'，以及如果假设'P不等于NP'，则要么'SAT不是多项式时间并行地搜索归约为判定'，要么'SAT不能用多项式时间真值表归约归约为有界可近似集'。

Results as bellows: AtSIRT1 was located in Mitochondrial as hSIRT4 of human, and maybe take part in respiration and electron transformation chain, AtSIRT2 was located in nucleolus as hSIRT6 of human, maybe play important role in extend lifespan;mutation in AtSIRT1 leaded to cotyledon of plant turn to yellow and caused short life span. Mutation in AtSIRT2 could make the color of leaf turn to purple and accumulate a lot of anthocyanin;Sirtinol, a inhibitor of SIRT which did not cause the same model of the mutation of AtSIRT1 and AtSIRT2 indicated that the mechanism of Sirtinol was different from other organism;the structure of AtSIRT1 and AtSIRT2 were similar to other known Sir2, which indicated that they maybe have the same function;AtSIRT2 was overexpressed and its activity was detected.

结果表明，1，拟南芥AtSIRT1与人的同源蛋白hSIRT4相同，定位于线粒体，可能参与呼吸作用和电子传递，SIRT2与人的同源蛋白hSIRT6相同，定位于细胞核，可能同它的功能类似，在延缓衰老及调节细胞寿命方面起作用。2，AtSIRT1突变，可引起幼苗和植株的子叶变黄和早衰；AtSIRT2突变，可引起叶片发紫，沉积大量花青素。3，SIRT蛋白的抑制剂Sirtinol不能表型模写AtSIRT1和AtSIRT2突变体，说明Sirtinol在拟南芥中的作用机制不同于其他生物。4，AtSIRT1和AtSIRT2蛋白质结构预测表明与已知的Sir2蛋白相似，揭示其功能的相似性。5，在大肠杆菌中过量表达了其中一个基因(AtSIRT2)，可体外检测其酶学活性，进一步证明其功能。

In section 4,we research the solvable groups of finite rank,and provethat the union set of all quasi-cyclic subgroups of G is a characteristic subgroup andthe Hirsch number hdoes not exceed n if G is a solvable group of rank n.Inparticular,for an arbitrary solvable torsion-free group G of rank n,we give theupper bound fof the derived length of G.

在第4节里，我们研究了有限秩的可解群，证明了这类群的所有拟循环子群构成它的一个特征子群，且对秩n的可解群G来说，其Hirsch数h≤n，另外，我们给出了秩n的无挠可解群的导出长度的一个上界。

In chapter 2, a new concept- property T〓 is introduced, it is proved that nest subalgebras of von Neumann algebras, finite width CSL and atomic CSL subalgebras of von Neumann algebras have property T〓. Some tensor product formulae of nest subalgebras and CSL subalgebras in von Neumann algebras are obtained. Tensor products of W〓-dynamical systems are studied. Finally, the essential commutant of tensor product of operator algebras is discussed.

第二章我们引入了性质T〓这一新概念，并证明了任一vonNeumann中的任何套子代数，有限宽度的可交换格子代数和原子可交换格子代数都具有性质T〓；得到了von Neumann代数中套子代数和可交换格子代数的张量积公式；研究了W*-动力系统的张量积问题；最后讨论了张量积代数的本性换位。

Furthermore, we define a convolution multiplication between characteristic functions of constructible subsets by using push-forward functor from the category of algebraic varieties over C to the category of spaces of constructible functions. We construct geometric model for "intrinsic symmetry" of the octahedral axiom in a triangulated category. Using it, we deduce the multiplication satisfies the Jacobi identity of Lie algebra and then realize infinite dimensional Lie algebras.

进一步，我们使用复代数簇范畴到可构函数空间范畴的pushforward函子，给出了可构集上特征函数的卷积乘法，并构造了三角范畴八面体公理的内蕴对称性的几何模型，最终证明了对于不可分解支撑有界可构集的特征函数，乘法满足李代数定义的Jacobi恒等式，从而给出了无限维李代数的实现。

This paper discusses a new generalized Quasi-vector variational inequality problem of Gateaux differential mappings in Banach space and proves the existence of a solution for such a problem by the KKM theorem.

研究了Banach空间中一类G-可导映射的广义拟向量变分不等式问题，运用KKM定理证明这类问题解的存在性，并在适当的条件下证明了此类问题与Konnov I V和Yao J C等人提出的广义向量变分不等式问题是等价的。

The present paper presents the chain recurrent set with the expansive homeomorphism and shadowing properties and this connection for the mistake in literature [1] and its proof.

给出具有跟踪性可扩同胚的链回归集的几个性质，指出以往文献中证明链回归集无环性时的错误之处，并给出严格的证明。

In this paper,the definition modes of Lebesgue integral of non-negative measurable functions are studied by the way of cutting defining and valued rids,approaching with simple function series.The four definitions of Lebesgue integral of non-negative measurable functions are given.Furthermore,their e- quivalence properties are proved by elementary knowledge.

文献〔1」利用非负可测函数在Ef镇司上积分的极限定义了f在有界可测集E上的L积分；文献[2」利用非负递增简单函数列积分的极限定义了非负可测函数的L积分；文献[3]给出了L积分的一种统一定义；文献〔4一6〕分别证明了测度

The study provided 2 kinds of finish systems which were pouring and anchoring rock-wool panel respectively. In general, galvanizing steel-meshwork using machine anchor can use all kinds of Rock-wool panel made in China. The interface mortar used in Rock-wool can prevent worker's hand from hurting and improve the water-proof capability and bonding intensity of rock-wool panel. The low-heat conductivity of polystyrene foaming granule paste improved the integer and anti-crack of system. The 2 kinds of rock-wool system all can resolve the current rock-wool panel applied difficulty in outer-wall external thermal insulation.

研究提出了现浇和锚固岩棉板2种涂料饰面构造做法，其中采用机械锚固热镀锌钢网施工可充分利用国产各类型岩棉板；岩棉板的界面砂浆处理可起到防止岩棉纤维扎手、增强岩棉板的防水性能和提高岩棉板与找平层的粘结强度的作用；聚苯颗粒的低导热系数过渡层提高了系统的整体性和抗裂性。2种构造做法经试验和工程试点证明均可解决目前国内岩棉难以应用在外墙外保温系统中的技术问题，具有优异防火性能的岩棉外保温系统可应用于任何类型的建筑中，在高层建筑和防火要求高的建筑中其优势更为明显。

The study provided 2 kinds of finish systems which were pouring and anchoring rock-wool panel respectively. In general, galvanizing steel-meshwork using machine anchor can use all kinds of Rock-wool panel made in China. The interface mortar used in Rock-wool can prevent worker's hand from hurting and improve the water-proof capability and bonding intensity of rock-wool panel. The low-heat conductivity of polystyrene foaming granule paste improved the integer and anti-crack of system. The 2 kinds of rock-wool system all can resolve the current rock-wool panel applied difficulty in outer-wall external thermal insulation. The rock-wool external thermal insulation which has very nice fire-proof capability can apply any kinds of builds, especially high-rise buildings.

研究提出了现浇和锚固岩棉板2种涂料饰面构造做法，其中采用机械锚固热镀锌钢网施工可充分利用国产各类型岩棉板；岩棉板的界面砂浆处理可起到防止岩棉纤维扎手、增强岩棉板的防水性能和提高岩棉板与找平层的粘结强度的作用；聚苯颗粒的低导热系数过渡层提高了系统的整体性和抗裂性。2种构造做法经试验和工程试点证明均可解决目前国内岩棉难以应用在外墙外保温系统中的技术问题，具有优异防火性能的岩棉外保温系统可应用于任何类型的建筑中，在高层建筑和防火要求高的建筑中其优势更为明显。

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