模态

N this paper, a labeled sequent calculus for Interval Temporal Logic is proposed.

TL是一阶模态逻辑，它包含了一称为"劈"的二元模态算子。

In this thesis, the methods for solving eigenvalue problems and conventional reanalysis methods are studied firstly. Then, a new reanalysis method for real modal reanalysis of structures subjected to topological modification with added degrees of freedom is presented. This method is composed of the single step perturbation method and the Rayleigh-quotient iteration. The numerical examples show that this reanalysis method is very effective and high-quality.

本文首先在对常规的特征值数值求解方法和重分析方法研究的基础上，针对实模态的自由度增加的结构拓扑修改重分析，提出了一种新方法，该方法由于结合了单步摄动法和瑞利商逆迭代法两者的优点，应当是一种比较理想的重分析方法，算例的数值结果也有力的验证了该方法确实是一种高精度、十分有效的实模态重分析方法。

By studying the laterally forced slosh of the liquid in a cylindrical container based on the new eigen-modes, a characteristic of modes-choosing was found.

运用新的重构模态来研究圆柱贮箱中液体的横向受迫晃动，给出了其模态选择特征。

For the four laterals simply supported plate, the transverse deflection of plate is expanded over the modal shapes, the electroelastic model with self-sensing actuators plate is given, and the current is considered as output variable of measurement equation. Generalized modal coordinates being state variables, LQG and H∞control is proceeded using the state space equation.

将板的横向位移按模态展开，对配置压电自感作动器的薄板建立了模型，给出以广义模态坐标为状态变量的状态方程和以传感电流为输出的观测方程，在此基础上，对系统进行了LQG控制和H∞控制。

When the westerly wind stress anomaly is prescribed maintaining for a decade, the cooling of the KOE region induced by the subpolar gyre anomaly is subsequently able to influence the central North Pacific, accordingly maintaining the initial negative SST anomaly over there.

结果表明，赤道太平洋的海温存在10～20年的年代际变化模态，在年代际模态较显著的时期，ENSO的振幅较强，周期也要短。1980年前后El Ni〓o建立阶段SST演变特征的差异与赤道太平洋风场异常特征的改变有关。

First of all, the clustering result is corresponding to the Kripke structure. The relevant system of axioms is chosen by the correspondence between the syntax and semantics of modal logic.

首先将聚类结果对应于模态逻辑中Kripke结构；然后利用模态逻辑中语法与语义之间的对应性选取了相应的公理系统。

Based on the analysis of the stability of the nature tailless UAV, The control system of the tailless UAV is designed by using the classical control method and a time-based method is used that can tune up control law parameters automatically by virtue of optimizing.

为了使所设计的控制器参数较优，本文以滚转保持与控制模态为例，采用了一种带有时域约束的优化控制方法设计出这些回路的基本控制律参数，并针对各控制模态在频域内进行稳定性分析，证实了该调参方法在工程上可以得到很好的应用； 4。

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques. We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure. This reduction is linear in the number of states, size of transition relations, and number of atomic propositional formulae in the new formed model compared with those in the original model. It does not increase the comple...

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

Later,calculation of vertical velocity and dispersion relation for three-ply type areperformed, as is done for the case when density is stratified continuously. For thelatter, it gives internal wave's propagation form in space.

针对密度分布的三层模式，计算了垂向速度模态与内波的色散关系；连续分层的情况，则给出了半板造波的垂向模态分布与空间传播形态。

So this part will propose a new method based on the EMTDC to analyze the torsional oscillation problem. Since the EMTDC only has the 7 masses shaft model, use the user Module to develop a detailed shaft model.

由于EMTDC现有的轴系多质量块模型最多只能考虑7个质量块，所以基于模态转换与模态降阶的思想利用EMTDC自定义模块重新开发轴系的多质量块模型，使得能对轴系各截面进行考核分析。

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷