查询词典 unbounded sequence

In order to imitate the unbounded space wave propagation,the non local boundary condition is used as the absorption boundary condition to cut off the computation domain,and the problems of plane wave incidence at different angles are calculated with the high order PE algorithm.

文章通过引入Padé逼近构造高阶抛物线方程算法，用非局部边界条件作为吸收边界条件，截断计算区域以模拟无界空间波的传播，结合高阶PE算法分别计算不同角度平面波的入射问题。

Little by little, step by step, they left behind, in long procession, the first westward-facing terraces which, like the jagged hemicycles of an almost unbounded amphitheater, stepped down into a paradise, a garden whose metal mirrors and intertwined hedges of juniper were a prefiguration of the labyrinth.

他们连续不断地沿着西边最主要的几条回廊向前走去；这些回廊一路下降，很像一座几乎无法丈量的露天剧场的台阶，一直通到一个乐园或者花园。园子里的铜镜和错综复杂的柏枝围篱，已经表明这是一座迷宫。他们果然迷失在里面了。

This paper presents a preimage computation approach used in unbounded model checking. The approach combines ATPG and SAT engines effectively and makes full use of their respective advantages.

提出一种无界模型检验的前像计算方法，该方法有效地结合ATPG和SAT引擎，充分利用引擎各自的优点。

ATPG is widely used in testing, and in terms of branch-and-bound searching, it is equivalent to a SAT solver. ATPG has two attractive features: It uses structural information of the circuit in decision making, and it handles X states more easily than a SAT solver. This report focus on fast ATPG engine specifically applied to PreImage computing in Unbounded Model Checking.

自动测试激励生成是测试领域的概念，它本身的求解过程是一个等同于可满足性问题的分支限界搜索，它的优点在于可以很好的利用电路的结构信息进行启发式搜索，同时可以灵活的处理不确定位。

Difference set is one kind of unbounded difference poset. The existenceof the tensor products of two cancellative difference sets are investigated. It isproved that the tensor product of a Boolean algebra and a cancellative differenceset always exists.

作为差分偏序集无界推广的差分集，我们研究了它的张量积问题，证明了任何消去差分集和布尔代数的张量积一定存在。

For the some classes of neural networks with time delays, by constructing proper vector Liapunov functions and nonlinear integro-differential inequalities involving both variable delays and unbounded delay, using matrix theory, sufficient conditions for absolute exponential stability are obtained.

对于几类具有变时间滞后和无穷时滞的人工神经网络，利用矢量Liapunov函数法，得到了的神经网络平衡点指数稳定的充分条件。

In Chapter 5, we consider the relationship between the Maxwell\'s equations and the Darwin model in 3-D unbounded domains.

在第五章中，我们在三维无界区域中分析了麦克斯韦方程组与达尔文模型之间的关系。

Chapter 2 discuss firstly the local existence of solutions for a class of abstract functionalintegro-differential equations with unbounded delay by Schauder's fixed point theorem, then byintroducing an inequality condition and applying the continuity property of solutions it obtainsthe global existence of the solutions.

第二章先利用Schauder不动点定理讨论一类具有无限时滞抽象泛函积分微分方程解的局部存在性，然后引入一不等式条件并利用解的延拓性质获得了解的整体存在性

" One of his most-quoted saying is his own criticism of his discoveries:"I don't know what the world may think of my labours, but to myself it seems that I have been but as a child playing on the sea-shore; sometimes finding some prettier pebble or more beautiful shell than my companions, while the unbounded ocean of truth lay undiscovered before me.

" 被人引用最多的一句话是牛顿对自己发明的评价："其实我不知道大家对我的成果怎么看，但对我来说，我只不过像是一个在海滩玩耍的孩子；只是比我的同伴多看见些漂亮的鹅卵石，或是美丽的贝壳，可大海般浩瀚无垠的真理还在等着我们去探索。

The second part of this paper is to consider the Fujita critical exponent of the semilinear parabolic equation with Neumann boundary value on unbounded daomain.

第二部分是对无界区域上带Neumann边值的半线性抛物方程的Fujita临界指数的研究。

The use of the web to spread fears that flicking the switch on the LHC could create a Black Hole that could swallow up the Earth particularly concerned him, he said.

他说，使用互联网散布恐慌说启动LHC会生成一个可能吞噬地球的黑洞的做法让他感到忧虑。

Not a single word have I written down.

我一个字也没有写下来。