空间性

Simons [30] proved the non-existence theorem for stable integral current in acompact Riemannian submanifold isometrically immersed into a unit sphere andvanishing theorem for homology groups. In 1984, Y. L. Xin [47] generalized theLawson-Simons nonexistence theorem for stable integral current and vanishingtheorem for homology groups to the case of compact submanifolds in Euclideanspace, and gave several important applications.

Simons运用Federer-Fleming存在性定理[19]和几何测度论中变分技巧证明了单位球面中紧致黎曼子流形上稳定积分流的不存在性定理和同调群消没定理[30]。1984年，忻元龙将Lawson-Simons稳定积分流的不存在性定理和同调群消没定理拓广到了欧氏空间中紧致子流形的情形，并给出了若干重要的应用[47]。1997年，K。

At the same time, the designer may concerns with practical safety and new-style demand, reference international safety standard, abide to human-body engineering, make the finished products' solidity, bend-resistant capability, space layers and delicacy full-transparency break traditional products' languishment, monotony and tediousness.

同时，设计人员考虑到客户实用安全与新型的要求参照国际安全标准、依据人体工程学，使生产出的成品其牢固性、抗弯性、空间层次和精致通透性均打破传统产品的死板、单调和沉闷。

The paper summerizes several general pratical new techniques, such as the analyzers of program profiles, maximum potential parallelism, array privatizability, loop parallelism; the visualizers of the statement data dependence graph, procedural callgraph, loop iteration space graph and interactive tools of array privatization and unimodular transformation; the automatic techniques of array privatization combined data dependence and coverage, the computation of parallelizing unimodular transforming matrix for mult-nested loops, enhanced unimodular transformation with array reduction recognition, non-loop level parallelism revealing technique, dynamic dataflow analysis and optimization of cross-loop local cache reuses, etc.

本文从而概括了若干具有一般性的实用新技术，如：程序计算量分析、最大潜在并行性分析、数组私有化分析、循环并行性分析等动态程序分析技术；语句数据相关图、过程调用图、循环迭代空间相关图、交互数组私有化、交互幺模变换等可视化语义交互分析变换技术等等；总结了若干自动并行化新技术，如：结合相关和覆盖的数组私有化方法、对多层嵌套循环计算幺模并行化变换矩阵的循环幺模变换方法、结合数组规约识别增强幺模变换的技术、发掘非循环级并行性的技术、动态数据流分析技术、优化利用循环间Cache数据局部性的技术等等。

The second section: Under the conditions of nonlinear boundary controbility, we consider the initial boundary value problem of Camassa—Holm equations with dissipative. By using the contractive mapping fixed point theorem and a priori estimates, the existence of global smooth solution, global attractor in H〓, time periodic solution or almost-periodic solution and the global exponential stability are proved.

第二部分：在非线性控制边界条件之下，对于带耗散项的Camassa—Holm方程的初边值问题，用压缩映射不动点原理及先验估计方法，证明了整体光滑解的存在性、整体解的指数稳定性、H〓空间中整体吸引子的存在性以及时间周期解和殆时间周期解的存在性。

The adopt the analytical method announced by environmental protection administration NIEA A715.12B "volatile organic compounds detection method at air - stainless steel canister/analyze mass spectrograph of gaseous phase ", to effectively analyze the air samples inside the station, to find out the space distribution and concentration of volatile organic compounds at the service station.

研究分析方法采用环保署公告NIEA A715.12B「空气中挥发性有机物检测方法－不袗采样筒/气相层析质谱仪法」，期望有效分析加油站内空气样品，对站内空气中各挥发性有机物物种进行定性与定量分析，以了解站内挥发性有机物空间分布与浓度分布情况，提供国内相关资料库与相关立法规范参考。

The problem that under what conditions the - resolvent operator of a maximal TJ - monotone set-valued mapping is a Lipschitz continuous single-valued mapping on whole space, which also answers the open problem mentioned above, is studied on finite dimensional Euclidean spaces.

借助于图收敛理论证明了有限维欧氏空间中的两个极大单调集值映射的和映射在较弱条件下仍是极大单调集值映射，并在此基础上讨论了一般集值变分包含问题解集的凸性、闭性和有界性。

By introducing the general notion of nonwandering operator semigroup T and utilizing a basic result in normed linear space,the nonwandering property of T=e~ is investigated with the constructive method.

通过给出一般算子半群T的非游荡性概念，利用赋范空间的一个基本结果和直接的构造法证明了具有变系数的线性发展方程的强连续解半群T=etA在适当的条件下是非游荡的；另外，通过对C-半群T概念的引进，定义了一个无界算子半群etA，进一步证明了这二者关于非游荡性的联系；最后给出了一个无界算子半群etP关于非游荡性理论的刻画，其中P是微分多项式。

To address this feasibility problem, the nonvolatile memory was used as the main memory and part of the RAM as the cache, and a modified verification algorithm with cache policy was proposed. The analysis proved that this algorithm features strong transportability and feasibility.

采用非易失性存储器作为主存， RAM中的一部分空间作为缓存器，并且给出一种相应的Cache调度策略算法，尝试实现一种在卡上的Java卡的字节码校验算法，并且证明了该算法具有较好的可移植性和实现性。

It may be due to the following two reasons: 1 High steric hindrance caused by rigid structure of substituted fluorenone preventsthe approach of the chiral reductor;2 The prochiral center is, moreover, linked to two coplanar aromatic rings, which due to strong conjugation are highly electronically similar and thus it becomes extremely difficult to distinguish between them.

主要是以下两个原因：1取代芴酮的刚性结构产生高的空间位阻，阻止了手性催化剂的接近；2潜手性中心旁的两个芳香环不仅立体构型非常相似，而且高度的电子相似，很难被手性配体识别。

By regarding the forest-sum growth-cutting rate as the control variable and judging its optimality by "norm minimum", we have given a existence theorem of the optimal control for the area distributing systems of forest trees by utilizing space L2(0,T)'s reflexivity, smoothness and strict convexity.

本文将林木总和长消率作为控制变量，以"范数最小"来衡量其最优性，利用空间L2（0，T），T＞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％。