模态

A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.

对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

Combined the advantage of empirical mode decomposition and principle component analysis,a blind separation method of rolling bearing faults is proposed based on EMD and PCA.

结合经验模态分解和主分量分析各自的优点，提出了一种基于EMD-PCA的轴承故障源的盲分离方法。

Rolling bearing; fault diagnosis; underdetermined blind source separation; empirical mode decomposition; principle component analysis

关键词滚动轴承；故障诊断；欠定盲分离；经验模态分解；主分量分析

The relations between quality factor and the periods of air holes around the defect and the thickness of slab are demonstrated.Then, the positions and shapes of nearest holes are adjusted to excite more defect modes, and the relation between defect modes and modified cavity in defect region are discussed. Moreover, the mechanism of light confinement in vertical and plane direction is discussed, and how they effect the quality factor can be induced.

先探讨结构周期数和厚度对品质因子的影响，接著修正缺陷空腔附近空气柱大小和位置，分析其与激发模态的关系，及相应品质因子的大小，此外分别讨论垂直方向和平面方向的光局限机制与影响品质因子的程度。

Three actuation mechanisms of piezoelectric composite structures are studied: extension actuation mechanism, shear actuation mechanism and hybrid actuation mechanism Tip deflection of piezoelectric composite plate is analyzed for different actuator layer thickness. The research result can be used for mode control of active noise and vibration control and static shape control of intelligent structure.

研究了压电材料复合板的3种作动机制，弯曲作动机制、剪切作动机制、混合作动机制，针对粘贴在纤维板上不同厚度的压电作动层，具体分析了复合板的端部位移，研究结果对噪声和振动的主动控制中的模态控制和智能结构静态形状控制提供了一定的参考。

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，本文提出了一种关于清晰性和模糊性的量化逻辑，其中利用清晰性算子来代替必然性算子。

From the characteristics of aerothermoelasticity, the effects of temperature in aerodynamic heating on the mode of a delta wing and the characteristic of its flutter were researched.

根据热气动弹性特点，探讨了气动加热温度对三角机翼模态特性和颤振特性的影响。

In the video segmentation method based on DEMD, the intrinsic mode function with the lowest frequency is discarded and a simple and effective motion compensation method is adopted. As a result, the video segmentation method is no longer sensitive to abrupt change of luminance, object motion in shots, motion and zoom in/out of cameras, so that the precision of detecting shot boundaries is improved.

基于DEMD的视频分割方法除去视频帧中反映图像内光照分布与能量的最低频率固有模态函数(intrinsic mode function，IMF)分量，并选择一种简单有效的运动补偿方法，解决了传统基于直方图方法对光照突变、镜头内物体运动和镜头运动及拉伸的敏感问题，减少了镜头边界识别的误检率，在保证召回率不受影响的前提下提高了视频分割的精确度。

But their applications were limited at low frequency. They are always of no effect at high frequency because the high mode denseness and complex boundary condition.

但是其应用限于低频，高频下由于复杂系统的模态密集，边界条件等参数难以确定，因而该方法适用性差。

You can deselect geometry using Remove/Remove All in the Edit mode.

你能阻止使用在编辑模态中是所有的距离/距离的几何学再次当选。

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。