查询词典 modal
- 与 modal 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
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.
第五节"关于副词形成的若干理论思考"，对副词形成的基本规律进行了初步的理论探讨，认为句法位置是副词形成的决定性条件，语义基础是副词形成的基本条件，语用条件是副词形成的外部条件。
-
Based on the modal superposition method and the exact solution of beam nature vibration, the motion equations of the simply supported and continuo...
基于模态叠加法和梁固有振动的精确解，建立了移动荷载作用下简支梁和连续梁的运动方程；利用样条最小二乘法逼近桥梁应变响应，由样条数值微分求得响应导数；再通过Tikhonov正则化方法结合奇异值分解技术得到了荷载识别的正则解。