模态系统

Five dimensional asymptotic modal system describing liquid nonlinear resonant sloshing is derived based on Narimanov-Moiseev third order asymptotic hypothesis.

首先利用Narimanov-Moiseev三阶渐近假设关系，推导出描述液体作非线性共振晃动的5维渐近模态系统。

The general infinite dimensional modal system describing liquid nonlinear sloshing is derived first by pressure integral variational principle. After selecting two dominating modes and three secondary modes based on the Narimanov-Moiseev third order asymptotic hypothesis, the infinite dimensional modal system is reduced to a five dimensional asymptotic modal system.

首先通过压力积分变分原理推导出描述液体作非线性晃动的一般形式无穷维模态系统，然后根据 Narimanov-Moiseev三阶渐近假设关系，通过选取二阶主模态和三阶次模态，将无穷维模态系统降为五维渐近模态系统。

In this paper we acquaint the reader first with the algebraic semantics which is corre-sponding to the Kripke's semantic having nested domaius. By an application of the completenesstheorem on relational semantics of the quantified normal modal systems with nested domains proved in Hughes and Cresswell's method to prove a completeness theorem on relational algebraic semantics of those system. Next for normal systems with semantics which admits arbi-trarily variable domains we use Henkin's method to prove a c...

本文首先讨论嵌套论域语义的相应代数语义并由Hughes和Cresswell在［5］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Henkin方法给出其关于狭义Kripke语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。

The static natural frequencies and dynamic frequencies (under 3000rpm) are calculated by the finite element method and cyclic symmetry technique. The rotating vibration behaviors of the two models are compared. Different vibration characteristics between the two models are discussed. Geometry mismatch in a turbine blade root, which arose in manufacturing process or caused by wearing out during service, leads to contact conditions changed in fir-tree attachments. As a result, shifting of the fundamental frequencies and redistribution of stress in the blade base possibly cause failure of the blade.

在叶片—轮盘耦合系统振动研究方面，建立了带围带的叶片振动计算模型和带围带的叶片—轮盘耦合系统振动计算模型，考虑旋转离心力作用，采用波传播技术，对两种模型分别进行了整圈模态分析，得到了某汽轮机叶片模型和叶片—轮盘耦合模型在0转速和工作转速(3000rpm)下的振动模态，并对所得结果进行分析比较，讨论了整圈叶片振动模态与叶片—轮盘耦合振动模态的区别。

The conclusion of this article contains:(1) The climatology symmetric index and antisymmetric index which represent the uniform system of ocean and atmosphere is defined according to the unique kinetic character of the large-scale fluid. The symmetric mode, a state mode, and antisymmetric mode, a propagate westward mode, of ocean and atmosphere are distinguished clearly from each other. Also, the primary part which determines the symmetric mode emerges from non-divergenct wind and the dominant part which contributes to the antisymmetric mode mostly is irrotational wind. The article also compares the disparity of the climatology distribution of SST and sea surface wind field between 1948-1975 and 1976-2005. The SST of both the tropical Indian Ocean and the tropical Pacific after 80's is warm than before 80's .

主要结论如下：(1)热带太平洋气候平均态所包含的海-气相互作用的资料分析根据海洋和大气的运动特性，定义了表征海洋大气系统的对称模态和反对称模态指数，通过两个指数对热带太平洋和印度洋关于赤道对称和反对称的两个模态进行区分，发现关于赤道反对称的海-气耦合模态主要包含了大气散度分量和海洋SST的相互作用；关于赤道对称的海-气耦合模态主要包含了大气旋度分量和海洋SST的相互作用，并从资料估算了该耦合模态向西传播的速度。

He also claimed that the modal system K45is the appropriate choice to base on.K.

他认为以模态系统K45为基础的非单调逻辑是合适的选择，K。

Additionally, the modal logic system K1 was formed, which can be proved to be a complete system under MR0 semantics.

其次，构建了模态系统K1，证明了在MR0代数语义下该系统是完备的。

Firstly, the 3D solid model of the analyzed object is built directly in the FEM software ANSYS 8.0 without using other CAD software. The influence of the side sizes of solid elements on computing results and the influence of coupling ways between different parts on the modal parameters are researched by simply modeling. And a new connecting method about joints in ANSYS is proposed and applied to finite element modeling of the test-bed for spindle system. Furthermore, several different computing techniques for modal parameters extraction are compared in solving the finite element model of spindle system test-bed. Many modal solutions are also done to achieve the relationships between the whole or part stiffness value and computed modal parameters. The laws about joint rigid parameters" influences on modal parameters are discussed by means of altering their values for conjoint parts. And by changing local rigid parameter values, the different location selections" influence on computed modal parameters is also studied.

本文通过使用ANSYS 8.0软件直接建立研究对象的实体结构模型，而没有借助其他的CAD软件；通过构建简单的模型研究实体单元边长大小对计算结果的影响，部件之间不同的联结方式对模态参数的影响，探讨在ANSYS中实现结合部的方法，提出一种新的联结方法，并建立主轴系统试验台的有限元模型；对建立的主轴系统试验台有限元模型求解，比较几种不同模态提取方法；通过改变结合部联结单元的刚度参数进行的计算，寻找联结刚度对模态参数变化的影响规律；改变局部联结单元的刚度参数，研究刚度值位置差异对计算模态参数的影响。

Part Three The study of Lattice-valued Modal First-order Logic System and Its Resolution Principle In this part, we introduced quantifiers and predicate into LMP, put up lattice-valued modal first-order logic system LMF, and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. Moreover, in order to judge the satisfiability of formula, defined Skolem standard type and H-interpretation. Based on these work, made a primary discussion of a - resolution principle based on LMF.

第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统LMP队）中引进量词和谓词，建立格值模态一阶逻辑系统LMF（广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的 Skolem标准型和体解释；在此基础上，对基于系统LMF的a一归结原理进行了初步探讨。

This parameter canaccurately describe the degree of concentration of vibratory energy of the systemmodal shape in quantity. Using this parameter, the effects of mistuning on thelocalization of system modal shapes for various orders are studied. The reasons of themodal localization phenomenon are analyzed by the perturbation method.

利用所提出的模态局部化参数，研究了失谐对叶盘系统各阶模态局部化程度的影响规律，并利用摄动法对失谐所导致的模态局部化现象进行了分析；同时还发现，失谐叶盘系统的某些中间阶模态的局部化参数值在弱耦合区域的特定位置会产生奇异的突变现象，而这种突变现象是用摄动法难以解释的，并且可能会对失谐叶盘系统的振动稳定性产生重要影响。

I am accused of being overreligious," she said in her quiet, frank manner,"but that does not prevent me thinking the children very cruel who obstinately commit such suicide.""

客人们在卡罗利娜·埃凯家里，举止就文雅一些，因为卡罗利娜的母亲治家很严厉。

Designed by French fashion house Herm è s, this elegant uniform was manufactured in our home, Hong Kong, and was the first without a hat.

由著名品牌 Herm è s 设计，这件高贵的制服是香港本土制造，是我们第一套不配帽子的制服。