查询词典 unbounded

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 bounded and unbounded traveling wave solutions which correspond to the stable and unstable manifold at the saddle point have been worked out.

计算了与鞍点处的两种稳定和不稳定流形相对应的有界和无界行波解。

We also give a theoretical result for the stream function form of the Navier-Stokes equation in unbounded domains.

我们还建立了流函数形式的Navier一Stokes方程在无穷带状区域中的一类始边值问题的谱格式，证明了该格式的稳定性和收敛性。

Like its chemical counterpart, the first effect of the opium of the intellectuals is unbounded exhilaration. Only later does the stupefaction become evident.

与化学的机理相同，知识分子的意识形态鸦片最初的效应是激起巨大的快感，其后它的麻醉效应才彰显出来。

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。