非

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

But the whole three Persons are coeternal, and coequal.

如是，有一父，非三父，有一子，非三子，有一圣灵，非三圣灵。

They include the fundamental concepts of jet bundle geometry needed in describing time-dependent mechanical systems, decomposition of jet bundles into a direct sum according to the constraints, horizontal distributions on constraint mainifolds, the global formulation of D'Alembert-Lagrange's equations and Chaplygin's equations, and nonholonomic mechanics on a Riemann-Cartan manifold. Meanwhile, the geometric significance of Chetaev's conditions and $\rd$-$\delta$ commutation relation are discussed in depth.

本文主要综述非完整约束系统几何动力学的外附型和内禀型Lagrange理论，包括非定常力学系统所需要的射丛几何学的基本概念、射丛按约束的直和分解、约束流形上的水平分布、 D'Alembert-Lagrange方程与Chaplygin方程的整体描述、以及Riemann-Cartan流形上的非完整力学，文中对Chetaev条件和d-δ交换关系的几何意义作了深入讨论。

The definitions of intrinsical linear nonholonomic constrain and intrinsical nonlinear nonholonomic constrain are put forward in this paper. The nonholonomic systems are divided into intrinsical linear nonholonomic system and intrinsical nonlinear nonholonomic system.The rational spectrums of all kinds of virtual displacement definitions and commutativity of d,?

本文研究了非完整动力学中使不定性问题确定化的交换关系和将非线性问题线性化的虚位移定义，首次证明并给出了在非完系统中各种虚位移定义与交换关系的合理适用范围，指出完整动力学与本质线性非完整动力学在研究方法上具有相同性。

From the inception of the coffeehouse in Mecca to the present, customers in café s tend to talk and read rather than dance, play chess rather than gamble, and listen contemplatively to music rather than sing.

无论是早先麦加的咖啡馆，还是现今的咖啡屋，消费者都更愿意在其中阅读、天，而非跳舞；更愿意下棋，而非赌博；更愿意安静地听音乐，而非唱歌。

The application of the lattice Boltzmann method in unsteady open channel flows was studied in detail in the paper. An existing lattice BGK model was mended; For the problem of negative local equilibrium and evolutionary distribution, we proposed a lattice Boltzmann model based on cell-population equilibrium, which is a direct non-negative approximation to the continuous Maxwell distribution. The model reduces the transport and collision, two basic evolution steps in the LB model, to transport of the non-equilibrium distribution.

本文系统的研究了格子Boltzmann 方法在明渠非恒定流中的应用问题，改进了一个现有的LB 模型，数值实验表明此改进是有效的；在平衡态分布函数及分布函数的非负性问题上，作者提出了一个基于单元均衡的格子Boltzmann 模型，通过直接对Maxwell 分布函数的离散化实现对速度分布函数的非负离散，这种方法将传统模型演化过程中的碰撞和输运两个步骤直接表现为粒子的输运。

The first circuit board is provided with a first noncircular contraposition hole; while the second circuit board is provided with a second noncircular contraposition hole which is corresponding to the first noncircular contraposition.

第一电路板上具有一第一非圆形对位孔，第二电路板具有对应于该第一非圆形对位孔的一第二非圆形对位孔。

S the size of the device scales down, conventional nonvolatile memory has encountered some problems, such as the base mechanism. In recent years, many kinds of novel nonvolatile memories are investigated widely to substitute for the conventional nonvolatile memory.

bstract：随著元件尺寸的持续缩小，传统的非挥发式记忆体由於其基本机制因由而面临许多问题的产生，因此，近年来许多新型态的非挥发式记忆体被广泛的研究，以试图能够取代传统的非挥发式记忆体。

By the case of skewed cavity flow with 30-degree angle, the convergence performance of SIMPLE/SIMPLEC algorithm was analyzed on unstructured grids and the influence of accepting or rejecting non-orthogonal terms was compared.

利用30°角的斜方腔流动计算成果，分析了非结构同位网格的SIMPLE/SIMPLEC算法的收敛性能；比较了因网格的非正交而引入的非正交项的取舍对该算法收敛性能的影响；并采用显式校正步法对SIMPLEC算法进行了显式校正。

Based on the Navier-Stokes equations in conservative form derived with respect to nonorthogonal curvilinear coordinates and nonorthogonal velocity components, the numerical method for solving 3D viscous flow has been discussed.

本文基于非正交曲线坐标与相应的非正交速度分量下导得的守恒型N—S方程，讨论了求解三维粘性流动的数值方法，计算中显式时间推进算法与Baldwin—Lomax湍流模型被采用，应用本工作发展的程序，作为算例计算了一个沿径向非等截面环形叶栅的三维粘性流场，得到了诸如三维压力分布，总压损失分布以及十分清晰的二次流动图景等丰富的流场信息。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。