嵌套的

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语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。

Being a book based on philosophy, however, it promises—and delivers—an explanation for everything in the end, when Sophie and Alberto Knox escape from Albert Knag.

私以为本书最巧妙最出彩的是它的架构，它是一个俄罗斯套娃一般的嵌套体系，故事读起来层层渐进又扑朔迷离，到最后真相大白时，你会蓦然发现，原来整个故事都是一个完整的哲学体系，该书的结构本身就蕴含着哲学中最深奥的道理。

For the thrashing due to true sharing of data, we thoroughly study the relationship between array element accesses and loop indices of a nested loop, present a complete set of ideas, theories, and methods with which the staggering relation and the compacting relation between the threads of the nested loop (either with a single linear function or with multiple linear functions) can be determined at compile-time, and accordingly the nested loop (either perfectly nested or imperfectly nested) can be restructured to avoid the thrashing problem.

使用这套理论和方法，我们在编译时就可以确定出嵌套循环（含单线性函数或多线性函数，紧嵌套或非紧嵌套）各线索间的错位关系，一致错位关系和压缩关系，根据这种关系对嵌套循环进行重构可以使真共享抖动问题得到很好的解决。

The hyperbolic grid generation method which doesn't need to determine the outer boundary of the embedied grid in the Chimera grid and is well controllable for the density of the grid is studied and developed, and in this method the Laplace's smoothing method is used to deal with local corner problem.

1在嵌套网格思想的基础上，研究和发展了嵌套网格方法中不需定义内嵌网格外边界且网格疏密可控性好的双曲型方程网格生成方法，并采用了椭圆光顺技术和当地拐角处理技术。

A moving overset grid method with 3D-Euler solver was used to realize the simulation of the separation process.

通过采用运动嵌套网格方法，结合三维Euler方程对飞机外挂物投放过程进行了数值模拟，并针对该投放模拟方法提出了一套合理可行的并行计算方案。

This paper mainly discusses the overset mesh pre-processing technology, and supplies a new efficient and robust hole-cutting algorithm applied in the overset mesh preprocessing, which is based on maze algorithm and can be easily implemented with low complexity.

本文主要讨论重叠网格预处理方法，并提出迷路算法应用于"挖洞"过程，为重叠网格预处理提供了高效、可靠的"挖洞"方法，算法复杂度低，实现简单，健壮性好；在多层次嵌套重叠方面，引入了重叠网格主从关系图有效解决多层次嵌套重叠带来的问题；在提高找重效率方面，建立基于网格的kd树加快了找重过程。

Chimera grid technique is applied to viscous flow analysis of the wall interference in the wind tunnel.

3根据嵌套网格技术的原理，结合风洞内流场的特点，将嵌套网格技术应用于风洞壁干扰的Navier-Stokes数值模拟，发展了相应的洞壁干扰分析软件。

Nonstatic functions in the nested class have an implicit this pointer that points to an object of the nested type.

嵌套类中的非静态函数具有隐含的 this 指针，指向嵌套类型的对象。

Lists can be nested (i.e., items of lists can, in turn, be lists), but it takes some care to unnest them when we need to reach for an item

List能够被嵌套（也就是说，list的条目能一次被列出），但是当我们需要伸手获得一个条目的时候，它需要关注解开嵌套。

In the early days of astronomy before the advent of Newton's f=ma, planetary events were predicted on Ptolemy's model of nested circular orbits -- wheels within wheels.

在天文学的早期，也就是在牛顿的f=ma出现之前，对天体事件的预测都是通过托勒密的嵌套圆形轨道模型——一环套一环的复杂模型——进行的。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐