查询词典 modal proposition

Modal analysis of an acoustic system can determine its natural frequency and show the distribution of the acoustic quantities in space, give the knowledge about the way that the acoustic system responses are affected when changes are made in the excitation sources or in the domain geometry, and provide valuable information for the noise control of closed three-dimension domain.

通过对声学系统的模态分析，可以得到其固有频率以及在此频率下声学量在声场空间上的分布，了解到声源及声场空间几何参数的变化对声学系统的相应的影响，为三维封闭空间的噪声控制提供了依据。

He is leading a research group 'Algebra and Coalgebra: the mathematical environments of modal logic'.

他当前正主持研究项目"代数和余代数：模态代数的数学环境"。

The dynamic properties of the tower of Runyang Yangtze River Nancha Suspension Bridge were studied before and after installing coble by finite element method and the modal experiment analysis based on environmental stimulation.

通过有限元分析和基于环境激励的模态试验分析，研究了润扬长江公路大桥南汉悬索桥挂缆前后桥塔的动态特性。

It is difficult for a variety of traditionary methods based grads information to solve the constrained optimization problem with non-differential coefficient,multi-modal,nonconve and non-linear functions.

在现实生活中许多实际问题都可以转化为约束优化问题，并且实际问题通常都很复杂，其函数形态各具特色，传统基于梯度信息的各种求解策略对于具有不可微、多峰及非凸的非线性函数约束优化问题很难凑效。

Moreover, the behavior of modal flexibility sensitivity to parameters of damage was investigated. It is demonstrated that the maximum value of the elements in the corresponding column of the flexibility change matrix can be adopted to detect damage.

研究结果表明，通过损伤前后模态柔度矩阵的列最大变化值来判定损伤是合理的，而以对角元素变化值进行损伤识别可能出现误判。

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语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。

Also a new time domain subspace complex modal approach is set up for large non-prportionally damped systems.

对于自由度数目较大的结构体系，为了减少求解的计算量，还提出了一种时域子空间复模态分析法。

Secondly, the knowledge induced from experience, sample knowledge, model quantified knowledge are integrated organically in the field of ship design. The compound knowledge model is raised. A standardized modal system of compound knowledge in intelligent 3D-layout design of ship compartments is set up, by using object-oriented classify-decomposed relation and mixed knowledge expression of frames, regulars and methods. The intelligent support system of intelligent 3D optimal layout design of ship compartments is established based on compound knowledge base and inference engine.

其次，将船舶布置设计领域中经验归纳性知识、实例样本知识、模型数量化知识三者有机集成，提出了复合知识模型；结合舱室智能三维布置设计采用面向对象的知识分类分解关系及用框架、规则、方法的混合知识表达形式建立了一套复合知识规范化的形式描述体系，介绍了相应的推理机构造方法，提出了基于神经网络的舱室布置设计实例检索模型，并首次将其用于舱室布置设计实例的检索。

For if we rely on criteria like conceivability or imaginability to test such modal claims, can't the sceptic plausibly say that our capacities here can go wrong, to the same degree as in the perceptual case — so how can the use of such claims make us better o ?

因为如果像看起来那么可信的那样，我们依赖某种可想象性的标准去检验这类模态断言，难道怀疑论者不能可信地说：我们这里所运用的能力可能错了，就像感觉的情况那样？——那么这类断言又怎么让我们得出其他结论？

Chapter Five, The Development of Adverbs in Old Mandarin, has a total of seven sections, the first six are a descriptive analysis of six categories of adverb: adverbs of scope, adverbs of similarity, adverbs of degree, modal adverbs, adverbs of negation, and conjunctional adverbs.

第五节"关于副词形成的若干理论思考"，对副词形成的基本规律进行了初步的理论探讨，认为句法位置是副词形成的决定性条件，语义基础是副词形成的基本条件，语用条件是副词形成的外部条件。

But GST= 0.156, Nm=1. 588. As a result, the foundation of Youyongchi Avicennia marina population was the result of the migration of hypocotyles and human factors.

这项工作可以为海岸防护林中新引进种类的判定以及为研究种群建立者效应方法的确定提供科学依据。

The two-dimensional CDRC-ADI-FDTD update equations for collision unmagnetized plasma are induced. The unconditional stability of the CDRC-ADI-FDTD formulation for collision unmagnetized plasma is obtained by the examples.

推导了碰撞非磁化等离子体中的二维CDRC-ADI-FDTD迭代公式，并用算例验证了碰撞非磁化等离子体CDRC-ADI-FDTD算法也是无条件稳定的。