查询词典 modal
- 与 modal 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques.
分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题。
-
If you include DS_SYSMODAL style in a dialog box template, that dialog box will be a system modal one.
如果在一个对话框模版中包含DS_SYSMODAL样式，那么这个对话框将是系统模式的对话框。
-
Static and modal analyses of vibration system are performed by ANSYS finite element method to prove the reliability of the theoretical model.
利用ANSYS软件建立了振动系统的有限元理论模型，对其进行了静、模态分析，证明了理论建模的正确性。
-
The aim is to obtain all modal parameters of the vibration system by operating the instrument simply if we have gotten hold of frequency response function in time of experiment.
现场实验时，可在获得系统频响的同时通过简单的仪器操作即可得到系统的各模态参数是本文的主要目的之一。
-
He also claimed that the modal system K45is the appropriate choice to base on.K.
他认为以模态系统K45为基础的非单调逻辑是合适的选择，K。
-
On the basis of FEM and modal analysis of the bracket system, a reasonable optimum model is built, which considers manufacturing constraints and mode control.
在保证结构质量不增加的前提下，利用拓扑优化技术实现了发动机排气系统固有频率的优化设计。
-
Exact numerical system modal is needed to control structure vibration.
结构振动控制模型结构振动控制需要精确的系统数学模型，同时控制的实时性要求系统的模型阶数不能过高。
-
Additionally, the modal logic system K1 was formed, which can be proved to be a complete system under MR0 semantics.
其次，构建了模态系统K1，证明了在MR0代数语义下该系统是完备的。
-
It is sometimes also used to refer to tense logic, a particular modal logic-based system of temporal logic introduced by Arthur Prior in the 1960s.
有时也用来指紧张的逻辑，特别是模态逻辑为基础的系统的时序逻辑之前介绍的阿瑟在上世纪60年代。
-
Aiming at the variety of modals of nonlinear systems,we proposed a general parameter estimation method based on Genetic Algorithms,which can be used in most kinds of nonlinear system modal.
文摘：针对非线性系统模型的多样性，提出适用于多种非线性模型的基于遗传算法的参数估计方法，并以多种非线性模型为例作了仿真研究。