模

First of all, the clustering result is corresponding to the Kripke structure. The relevant system of axioms is chosen by the correspondence between the syntax and semantics of modal logic.

首先将聚类结果对应于模态逻辑中Kripke结构；然后利用模态逻辑中语法与语义之间的对应性选取了相应的公理系统。

And the solutions of arbitrary time-space elastic force equations of time-space variable system multi-linear vectors all are corresponding constant modulus multi-linear vectors, their time-space moving regular are: only change their directions but do not change their moduluses.

而任何时空可变系多线矢的时空弹性力方程的"解"，都是相应的"常模长多线矢"，它在时空的运动规律是：仅改变方向，不改变"模长"。

This paper introduces H∞ robust control theory to design thesliding manifold of the variable structure control system.

本系统的干扰不满足扰动与系统的完全匹配条件，因此滑模控制系统的滑动模态将受到扰动的影响。

Based on the analysis of the stability of the nature tailless UAV, The control system of the tailless UAV is designed by using the classical control method and a time-based method is used that can tune up control law parameters automatically by virtue of optimizing.

为了使所设计的控制器参数较优，本文以滚转保持与控制模态为例，采用了一种带有时域约束的优化控制方法设计出这些回路的基本控制律参数，并针对各控制模态在频域内进行稳定性分析，证实了该调参方法在工程上可以得到很好的应用； 4。

The theory of accretion disks are important for many astrophysical phenomena, including Quasars, active galatic nucleic, X-ray binary stars, and young stellar objects. The most important branch of accretion djsk theory is the stability properties of djsks. It is widely considered that the luminosity variations of various astronomical objects are associated with the instability of accretion disk. The viscosity plays an important role in the accretion disk theory, and magnetic field exists commonly in astronomical phenomena. A more realistic analysis of the stabihty of the accretion disk should include both the radjal and azimuthal perturbations because of the strong shear of viscous flow.In this paper, according to the luminosity Variations of Various astronomical objects, we study the radial-azimuthal instability of an isothermal with magnetic field. We find that the radial and azimuthal fields B〓,B〓 are mainly responsible for enhancing the instability of the magneto-acoustic modes and non-axisymmetric modes,and that pulsational oscillations are larger in the radial than in the Z direction. The model may be useful in explaining the periodic light variation of FU orionis and. T Tauri stars.

在许多天体物理现象中，例如活动星系核，X-射线双星和年青的恒星理论中，吸积盘理论起着重要的作用，而吸积盘理论中的一个重要分支是吸积盘的不稳定性理论，普遍认为活动天体的周期，准周期光变现象与吸积盘的不稳定性有关，在吸积盘理论中，粘滞起着重要的作用，而磁场是天体物理中普遍存在的现象，对于几何薄吸积盘不稳定性分析，由于强剪切流的缘故，应该包括径向和环向扰动两个方面，本文结合天体物理中的各种周期，准周期光变现象，研究了含磁场的等温薄吸积盘的径向-环向振荡不稳定性，结果表明：磁场的径向和环向分量对磁声模和非轴对称模的不稳定性的增加起着主要的作用，且径向振荡大于轴向振荡，所得结果有利于解释FU Orionis和T Tauri Stars的周期光变现象。

The questions of testing outer covering injection mold are stated, analysis on the reason and the mold structure is improved.

叙述了外壳注射模在试模中出现的问题，分析了问题产生的原因并改进了模具结构。

In this paper, the basic theory and work principle of cellular automata were introduced concisely. The influence of strain-rate and temperature on the number of nucleation and the mean size of R-grain, as well as the influence of cooling on ultimate microstructure of blade after forging finished off were considered. The microstructure evolution was simulated successful based on the DEFORM-3D. The simulated results agree well with growth kinetics of dynamic recrystallization of classical theory and physical experiment.

文章介绍了元胞自动机模型的理论基础和工作原理，并根据叶片模锻成形的特点，综合考虑应变速率、变形温度对再结晶形核率与平均晶粒尺寸，以及终锻冷却对叶片锻件最终组织的影响，在DEFORM-3D平台上，成功地仿真了叶片模锻过程中的微观组织演变，得到了同经典理论分析和物理实验结果吻合较好的动态再结晶动力学特征。

According to the theory of wavelet transformation, the singularities of the ECG signal are corresponding to the series of maximum-minimum pairs. The algorithm detects the onsets of Q wave at the scale 3 detail and offsets of T wave at the scale 4 detail. So the duration of QT is calculated by onset of Q wave and offset of T wave.

根据小波变换的原理，心电中的奇异点在变换后将产生一个模极大值和模极小值对，在小波变换3尺度上检测出QRS波群的起点，在小波变换4尺度上检测出T波终点，从而确定QT间期。

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个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

Later,calculation of vertical velocity and dispersion relation for three-ply type areperformed, as is done for the case when density is stratified continuously. For thelatter, it gives internal wave's propagation form in space.

针对密度分布的三层模式，计算了垂向速度模态与内波的色散关系；连续分层的情况，则给出了半板造波的垂向模态分布与空间传播形态。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失