模态系统

Three valued logic ; model checking ; modal transition system ; partial Kripke structure

三值逻辑；模型检验；模态转移系统；不完全Kripke结构

We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure.

提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验。

The modal properties including modal frequencies and mode shapes of the torsional oscillation system were calculated and analyzed with eigen analysis and impedance matching method.

用特徵分析和阻抗匹配方法对系统各个模态固有特性包括固有频率和振型进行了对比计算和结果分析。

At the same time, this thesis studies the effects of mode truncation and parameter uncertainty for control system in structure vibration control.

同时，本文研究了结构振动控制中，模态截断及其参数不确定性对控制系统的影响。

Then the dynamic response of this system to the unbalanced force was obtained by the emualtion analysis on the computer.

经过计算机上的振动模态分析，求解了系统失衡激振响应。

The results show that supper-harmonic resonance of orders 2, 3, 4 occurs with the second mode of ATP, and that the unsymmetry of motion of ATP is described under wave excitation.

计算结果表明，在波浪激励下系统二阶模态将发生2、3、4倍超谐共振运动，并且揭示了弹性铰接塔平台在波浪作用下振动的不对称性。

In the chapter 2, based on elastic mechanics and variation principle, the fundamental and process of static and dynamic FEM is presented, placing special emphasis on the modal superposition method.

第二章根据弹性力学和变分原理，系统总结了有限元法求解静力学、动力学问题(包括特征值、动力响应问题等)的基本原理和步骤，并重点对模态叠加法求解动力，响应问题作了阐述。

These algorithms are more available than classical windowing method to eliminate the noise in frequency respond function.

小波理论在结构系统模态参数识别上的应用。

This abstract model and the existability rules derived from it can be used to form an ODP system, and also can be used for the implementation of trading function.

本文分析了交互及交互点的基本性质，并使用Petri网系统、模态逻辑和多值逻辑技术定义了交互的基本同步模型和基本异步模型，并将它们推广到双向和多向交互的情形。

Based on structural health monitoring system of Donghai Bridge, the cable-stayed bridge response and environmental factors were measured during the typhoon Krosa. The characteristics of typhoon, wind-induced response and structural modal parameters variation were analyzed.

基于东海大桥健康监测系统得到的斜拉桥在&罗莎&台风下的结构动力响应和环境因素的监测数据，分析了台风的风特征、风致结构振动和风荷载下的结构模态参数的变化。

They weren't aggressive, but I yelled and threw a rock in their direction to get them off the trail and away from me, just in case.

他们没有侵略性，但我大喊，并在他们的方向扔石头让他们过的线索，远离我，以防万一。

In slot 2 in your bag put wrapping paper, quantity does not matter in this case.

在你的书包里槽2把包装纸、数量无关紧要。