查询词典 modal system

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中实现结合部的方法，提出一种新的联结方法，并建立主轴系统试验台的有限元模型；对建立的主轴系统试验台有限元模型求解，比较几种不同模态提取方法；通过改变结合部联结单元的刚度参数进行的计算，寻找联结刚度对模态参数变化的影响规律；改变局部联结单元的刚度参数，研究刚度值位置差异对计算模态参数的影响。

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

One end is the substantial use of the third person form, the present tense and the past tense; through frequent use of the third person form as the Subject, the writers of commercial editorials are at a position of an impartial third party describing the facts in an apparently neutral manner; the past tense and the present tense are also considerably employed to further help to enhance the objectivity of the writers" presentation, for they reflect the facts and events which did take place and do stay there now. The other is the moderate employment of modal operators and Modal Adjuncts. Those of low value group and median value group form the main body of all the modal operators; instead modal operators of high value group occur least frequently, which imply writers" strong attitude.

为得到更有普遍性更可信的结论，本文作者选取了30篇商业社评作为大样本进行统计处理、描述及分析；通过对语气成分及情态修饰语的分析，探讨了在商业社评中人际功能与非人际表现的平衡；一方面是大量使用第三人称、现在时态与过去时态，另一方面是应适度采用情态算子与情态修饰语。

Many researchers have devoted their work to the development of modal analysis extraction techniques in order to obtain more reliable identification of the modal parameters. There are many damping identification methods, but each one has different merit and defect. In order to find which one is the most reliable method with respect to certain characteristics, this thesis focus on how to identify structure's damping in time domain. The following works have been done in this thesis: 1. Investigate four modal analysis methods——the LSCE Method, the Ibrahim Time Domain Method, the Time Domain Collectivity Modal Parameter Method, the Rational Fraction Polynomial Method and improve on the ITD Method in arithmetic.

本文主要做了如下工作： 1、集中研究了四种常用的模态识别方法，即最小二乘复指数法、Ibrahim时域法、时域总体模态参数辨识法及有理分式多项式法，并对ITD法在算法上进行了一定的改进； 2、建立结构动力模型，利用这四种方法在具体条件下识别结构的阻尼，并绘制相应的图； 3、讨论不同的情况下，不同的识别方法对阻尼识别精确性的影响； 4、基于业已明确的阻尼识别的精确性，根据研究的需要，指出在实际的识别过程中，如何选择最佳的识别方法以及识别过程中需要注意的问题； 5、选择最为精确的阻尼识别方法，以导师李书进教授在日本京都大学防灾研究所强震反应实验室所做的一足尺木制结构房屋的动力测试实验为实测模型，识别其阻尼； 6、在本文的最后，尽作者所知，提出了一些需要改进的地方，并对未来的研究方向给出了作者的建议。

First, modal resolution of the cabinet is obtained by ANSYS modal analysis; Then, modal experiment of cabinet is carried out with impulse excitation method and corresponding modal parameters are obtained.

首先，采用有限元软件ANSYS理论模态分析对机箱进行模态求解，得到计算模态参数；另外，用脉冲激励法对机箱进行模态实验，得到实验模态参数。

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, modal reduction criterion is derived based on the system response taking as the model of Euler-Bernoulli beam, edi ting modal according to the value of modal costs. The conclusion can be used in a lar ge flexible complex structure system.

该文以欧拉－伯努利梁为模型，推导出基于系统响应梁的模态截断准则，根据模态价值大小取舍模态，其结论可推广到大型复杂结构系统。

At last, the modal experiment of the marine floating raft system was made, after marking value by measuring system, transducer were re-marked in particular which lose the marked value previously, after obtaining the marked value, the modal analyze of the marine floating raft with different thick was made by single input and multi-output modal analyze method

最后对浮筏隔振装置进行了模态实验，在对测量系统标定完后，重点对丢失标定值的力传感器进行标定，求出其标定值后，应用单输入多输出的模态分析方法对浮筏隔振装置的不同厚度的筏体进行模态分析。

This paper focuses on the Multi-Modal Human-Computer Interaction technique, discusses some main topics in this field, including the modal description, system framework, integrate algorithm and so on; also, we have developed a practical MM-HCI system MM-TSBH(Multi-Modal TSBH), which will be introduced later, and, this paper also refers to some problems may be encounterd during developing and the resolvents of these problems.

通过对多通道系统语义的通用描述模型的研究，面向开发人员提供可重用多通道整合模板的支持，这本身就是应用软件系统所追求的目标之一，在多通道技术中实现这个思想有着更大的意义，本文给出了一个具体的实现方法。

Third chapter illustrate the design scheme for justification development system, amalgamation steer the argumentum;And code design in the detailed design sum the database design of whole system;Recommended the detailed design information of sum of the shuttering cake structure of the aetioporphyrin system;Analyzed the library to manage the system's appliance demand, according to the database design theory proptosis of one-step and one-step earth joint system demand manual, local ER general view, overall situation ER general view, system relation modal, leaven the modal;Arrangement in parallel proptosis the valve key source of the said system code in the procedure the amalgamation commit the interpretation, justification.

第三章说明开发系统的设计方案，并进行论证；以及详细设计中的代码设计和整个系统的数据库设计；介绍了本系统的模块结构和详细的设计信息；分析了图书馆管理系统的应用需求，按照数据库设计理论一步一步地给出了系统需求说明书、局部ER图、全局ER图、系统关系模式，子模式；并列出了该系统的关键源程序中的代码并做解释、说明。

Panorama Many people are dancing in a large sitting room.

在一个大客厅里，许多人在跳舞。

We fully understand how a microwave oven cooks food, it is first necessary to talk ...

我们充分理解一个微波炉煮的食物，这是首先要谈。。。