子模

If we give some restrician to the intrinsic quantities of submanifolds, such as second fundamental form, scalar curvature,Ricci curvature or sectional curvature,then we can get some new property of the submanifolds.The procedure is called pinching problem of submanifolds.

对子流形的第二基本形式模长平方s，数量曲率R，Ricci曲率R_及截面曲率R_等内在量，加以某种限制，从而得到子流形的某些性质，叫做子流形的pinching问题。

In Chapter 6, the self-induced geometric phase of laser field when possessing cyclic attractors and the complex Berry's phase under the adiabatic evolution of backscattering coefficients when not, including the case of having noises, are considered in a two-mode ring laser with backscattering.

在第6章中讨论了具有后向散射的双模环形激光具有周期吸引子时的自诱导几何相和不具有周期吸引子时在后向散射系数绝热演化下的复Berry相。

A quantified logic of clarity and vagueness is developed, based on the pattern of the G delian system T of modal logic, a clarity operator replacing the necessity operator.

基于哥德尔模式的模态逻辑系统T，本文提出了一种关于清晰性和模糊性的量化逻辑，其中利用清晰性算子来代替必然性算子。

The full systems design and partition is achieved. The modules of prepared implementation、 exponentiation computation system and system controller etc.

对整个RSA系统的结构进行了设计和划分，并按照划分的子模块，设计了预处理模块、模幂计算模块和系统控制模块等子模块的硬件实现。

In this paper, by computing the Laplace of the square of the length of the second fundamental form and introducing a self-adjoint operator and using Stokes Theorem and Hopf Theorem, we obtained some pinching theorems and rigidity theorems for hypersurfaces and submanifolds in hyperbolic space.

本论文通过计算双曲空间中子流形的第二基本形式模长平方的拉普拉斯和引进一个新的自共轭二阶算子，利用Stokes定理和Hopf定理得到了子流形的一些拼挤定理和刚性定理。

It is also pointed out that an n-mode boson coupled quadratic Hamiltonian can be diagonalized by a "negative unitary" matrix which is an element of complex symplectic group SP(2n,c),and an n-mode fermion coupled quadratic Hamiltonian can be diagonalized by a unitary matrix which is an element of complex fermion group F(2n,c).

并且指出，对于n模玻色子耦合二次型哈密顿量，通过一个负幺正矩阵它是复辛群SP(2n，c的元素可以把它对角化；对n模费米子耦合二次型哈密顿量，通过一个幺正矩阵它是复费米群F(2n，c的元素可以把它对角化。

In this paper, it is demonstrated that the logic tool used in agent formalized d epiction should be the mixed modal logic which has both normal and non-normal m odal operators.

阐述了 Agent的形式化描述应该采用含有正规和非正规模态算子的混合模态逻辑为逻辑工具的观点。

Although any unimodality type partially expresses limited semantics less or more, video semantics are fully manifested only by interaction and integration of any unimodal. Video data comprises plentiful semantics, such as people, scene, object ,event and story, etc. A great deal of research has been focused on utilizing multi-modality features for better understanding of video semantics. Proposed in this paper is a new approach to detect semantic concepts in video using co-occurrence data embedding, SimFusion, and locality preserving projections from temporal associated co-occurring multimodal media data in video.

该方法对所提取视频镜头的多模态底层特征，根据共生数据嵌入(co-occurrence data embedding)和相似度融合进行多模态子空间相关性传递而得到镜头之间的相似度关系，接着通过局部不变投影(locality preserving projections)对原始数据进行降维以获得低维语义空间内的坐标，再利用标注信息训练分类模型，从而可对训练集外的测试数据进行语义概念检测，实现视频语义信息挖掘。

Some Properties of Monad and Comonad;2. The definitions of entwining structures of monads and comonad s and entwining modules are given and the paper studied their relations with entwining structures of algebras and coalgebras in categories,then we build an adjoint functors pair between the two categories of entwining modules.

首先给出了单子和余单子的缠绕结构和缠绕模及其与代数和余代数的缠绕结构和缠绕模之间的关系，并构造了一个函子伴随对，其次定义了余单子的类群元，得出了一些相关结论，最后给出了缠绕结构之间相容的定义和等价条件。

Carbide products company's main products: bar, long thin, box, welding blade, turning blades, rotating file of rough, spiral blade, bamboo cutter blade, the saw blade cutter rough, porous stretch mode, Blank-cold heading, roll, possession, Central, the ball, special-shaped nozzle and various parts overall carbide tools: Jingmoyuanbang, the overall carbide bit, end mills, the key slot cutter, R cutter, ball - Cutter, Reamer, small aperture boring knife blade cutter, welding-type spiral end mill and Gezhongfeibiao tool of high-density tungsten alloy products: Jingmoyuanbang, oscillator, the Pendulum, with weights, fly Benchmarking, and so on.

公司主要产品硬质合金制品：棒料、长条薄片、方块、焊接刀片、可转位刀片、旋转锉毛坯、螺旋刀片、竹木刀具刀片、锯片铣刀毛坯、微孔拉伸模、冷镦模坯、轧辊、管、环、球、喷嘴及各种异型零件整体硬质合金工具：精磨圆棒、整体硬质合金钻头、立铣刀、键槽铣刀、R铣刀、球头铣刀、铰刀、小孔径镗刀、锯片铣刀、焊接式螺旋立铣刀及各种非标刀具钨基高密度合金制品：精磨圆棒、振子、摆锤、配重块、飞标杆等。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。