查询词典 modal
- 与 modal 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Dynamic balancing; Vibration system; Flexure hinge; Instantaneous motion center; Plane separation; Force relation; Modal analysis; Empirical modal decomposition; Adaptive lattice notch filter; Phase difference correction
工程科技II，工业通用技术及设备，声学工程动平衡；振动系统；柔性铰链；瞬时运动中心；平面分离；关联效应；模态分析；经验模态分解；自适应陷波；相位差校正
-
According to this, the article confirms the best overawing modal about the prevention and punishment of crime and the best combine-modal about the confirmation and severeness of punishment.
本文由此确定了关于预防和惩罚犯罪的最优威慑水平模型以及关于惩罚确定性和严厉性的最佳组合模型。
-
For the four laterals simply supported plate, the transverse deflection of plate is expanded over the modal shapes, the electroelastic model with self-sensing actuators plate is given, and the current is considered as output variable of measurement equation. Generalized modal coordinates being state variables, LQG and H∞control is proceeded using the state space equation.
将板的横向位移按模态展开，对配置压电自感作动器的薄板建立了模型，给出以广义模态坐标为状态变量的状态方程和以传感电流为输出的观测方程，在此基础上，对系统进行了LQG控制和H∞控制。
-
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一归结原理进行了初步探讨。
-
Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques. We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure. This reduction is linear in the number of states, size of transition relations, and number of atomic propositional formulae in the new formed model compared with those in the original model. It does not increase the comple...
分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度
-
However, this study discovers, after the investigation of "please" in the corpus of colloquial speech of London teenagers,"please" is combined with various syntactical structures such as imperative sentences, interrogative sentences with modal verbs, interrogative sentences with non-modal verbs, statements, and toneless clauses.
然而，对伦敦青少年口语语料库中含有"please"的语例进行分析后，发现："please"可以与多种不同句法结构连用－祈使句、情态动词疑问句、非情态动词疑问句、陈述句和无语气小句；含有"please"的话语虽然都带有不同程度的指令性效力，但不尽是请求。
-
The modal properties including modal frequencies and mode shapes of the torsional oscillation system were calculated and analyzed with eigen analysis and impedance matching method.
用特徵分析和阻抗匹配方法对系统各个模态固有特性包括固有频率和振型进行了对比计算和结果分析。
-
In fact,in his criticism,has also developed a modal logic with non-modal logic truth table semantics sentence comparable to the form of semantics.
事实上，在他的批评之后，模态逻辑也发展出了可与非模态语句逻辑的真值表语义学相媲美的形式语义学。
-
The first-order of the modal flexibility for a real symmetric undamped structure with distinct eigenvalues was derived based on an efficient algebraic method. The formulae are simple and compact, and it is easy to program. Moreover, it only requires one eigenvector to be known to calculate the sensitivity of modal flexibility.
代数方法解析推导出无阻尼线性系统模态柔度一阶灵敏度的解析表达式，该表达式简洁紧凑，便于编程，而且在计算阶模态柔度的灵敏度时，只需一阶模态信息，具有显著的优点。
-
On strength computation,the finite element models of rotating mirror were established according to the real structure of the mirror,and the rotating three-faced beryllium mirror were analysed.Results display that the surface deformation magnitude of the mirror is approximately 0.334 6 μm,and the maximum stress is 0.204 GPa at 600 m/s of edge linear speeed.The regions of maximum stress are on the axial hole and symmetric to symmetrical planes of mirror body,and keep beelines to surfaces.On the modal analysis,the results show that the first and second modals of bending vibration exist around 3.4×105 r/min and 6.6×105 r/min,which appear binate and orthogonal respectively,and another modal belongs to the first torsional vibration that occurs by 5.13×105 r/min.
运用该方法得出转镜镜面变形量、内部应力分布和振动模态参量的定量数值：在边缘线速度600 m/s下，三面体铍转镜的最大变形量为约0.334 6 μm；最大应力0.204 GPa，位于轴孔附近并与镜面距离最短处；两个在互相垂直平面内的一阶弯曲振动模态发生在3.4×105 r/min附近，一阶扭振点位于5.13×105 r/min附近，两个二阶弯曲振动点位于6.6×105 r/min附近。