- 更多网络例句与嵌套相关的网络例句 [注:此内容来源于网络,仅供参考]
-
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语义的关系语义完全性定理,由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。
-
In this dissertation, we construct the Bariev model with nine kinds of boundary fields by the matrices K_± defining the boundaries. And then the Lax operator is given in the form ofmatrix, as well as the basic quantities, e.g., the R -matrix, the monodromy matrices and the transfer matrices are defined. By using the expression of the local Lax operator of the model,the action of the monodromy matrices T, T~(-1), U_ on the pseudo-vacuum state is given outin detail. Furthermore, the main fundamental commutation relations are obtained through the reflection equations, the recursive n-particle state as well as the one-particle exact solution is given and the Bethe ansatz equations are found accordingly. Finally, we list the nesting boundary K matrices, which play a crucial role for obtaining the n-particle solution and finding the Bethe ansatz equations, the eigenvalues of the transfer matrices and the energy spectrum of the system by means of the nested algebraic Bethe ansatz method.
在这篇文章中,我们利用边界K_±矩阵构造出了具有九种边界场的Bariev模型,同时给出了该模型L算子的具体矩阵表示形式,并定义了R矩阵,monodromy矩阵以及转移矩阵;接着利用L算子的矩阵形式,给出了其对应monodromy矩阵T、逆矩阵T~(-1)作用到真空态上的值,并利用Yang-Baxter关系及反射方程得到了双行monodromy矩阵U作用到真空态上的值;然后利用反射方程通过复杂的计算得到了一系列重要的基本对易关系式,并给出了模型的递推的多粒子波函数、单粒子解及Bethe ansat方程;最后给出了模型的嵌套的边界K矩阵的具体形式,从而为运用嵌套Bethe ansatz方法求解该模型的多粒子解、Bethe ansatz方程以及系统的能谱打下了很好的基础。
-
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.
使用这套理论和方法,我们在编译时就可以确定出嵌套循环(含单线性函数或多线性函数,紧嵌套或非紧嵌套)各线索间的错位关系,一致错位关系和压缩关系,根据这种关系对嵌套循环进行重构可以使真共享抖动问题得到很好的解决。
-
Less relevant for implementing actual procedure calls. When a nesting level is
中。为了实现嵌套,代码在使用ENTER指令时必须指明当前嵌套的层数
-
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在嵌套网格思想的基础上,研究和发展了嵌套网格方法中不需定义内嵌网格外边界且网格疏密可控性好的双曲型方程网格生成方法,并采用了椭圆光顺技术和当地拐角处理技术。
-
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数值模拟,发展了相应的洞壁干扰分析软件。
-
By analyzing the YAWL,it can be found that the enabling of a OR-join task which has another OR-join in its branch will be in advance.
为避免YAWL建模过程中嵌套使用或汇合任务可能出现的提前使能问题,提出了使用异或汇合和与汇合任务将嵌套的或汇合任务进行替换的方法,通过替换有效解决了这一问题,而且结合Reset网,对改进作形式化说明。
-
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的条目能一次被列出),但是当我们需要伸手获得一个条目的时候,它需要关注解开嵌套。
- 更多网络解释与嵌套相关的网络解释 [注:此内容来源于网络,仅供参考]
-
Nested loops:嵌套循环连接
1:嵌套循环连接(Nested loopS) 在嵌套连接中.Oracle从第一个行源中读取第一行.然后跟第二个行源进行对比. 匹配的数据放在结果集中.按这种方法.直到第一行源里所有数据都处理完. 在习惯上.第一行源被称为驱动表.嵌套连结的特点是可以快速的反回第一笔 符合条件的数据.
-
nested macro call:嵌套宏调用
nested loop mode 嵌套循环方式 | nested macro call 嵌套宏调用 | nested macro definition 嵌套宏定义
-
nest:嵌套
即一个表可以作为一个列值嵌套(nest)到另一个表中. Oracle 数据库将嵌套表(nested table)的数据存储在其父表(parent table)的数据行之外(out of line)的存储表(store table)内,并将其与对应的嵌套列(nested table column)相关联.
-
nested loop mode:嵌套循环方式
nested loop 嵌套循环 | nested loop mode 嵌套循环方式 | nested macro call 嵌套宏调用
-
nested class:嵌套类
这通常被称作"嵌套类(nested class)". 嵌套类的意思是: 1. 无须宿主类的对象就能创建嵌套类的对象. 2. 不能在嵌套类的对象里面访问非static的宿主类对象. interface里面是不能有任何代码的,但嵌套类却可以是interface的一部分.
-
nested macros:嵌套宏命令
nested loop 嵌套循环 | nested macros 嵌套宏命令 | nested structure 嵌套结构
-
nesting level:嵌套级
nesting 嵌套 | nesting level 嵌套级 | nesting memory 嵌套存储
-
nesting level:嵌套层,嵌套级
nesting 无交错突出的,成套,构成嵌套,(嵌置)套用 | nesting level 嵌套层,嵌套级 | nesting loop 嵌进回路,嵌套循环
-
nesting storage:嵌套存储
nesting of statements 语句嵌套 | nesting storage 嵌套存储 | nesting subroutine 嵌套辅程序
-
nesting memory:嵌套存储
nesting level 嵌套级 | nesting memory 嵌套存储 | nesting of statements 语句嵌套