查询词典 unbounded function

What is claimed to be freedom veers toward a tyranny of objectless desire, an opaque and unbounded world that leads to all kinds of compulsive and addictive behaviours.

什麼是自称为自由veers走向暴政objectless的愿望，不透明和无限世界，导致所有种强迫和令人上瘾的行为。

Moreover we extend this method to the unbounded Stokes problem, the boundary of which is an open straight or an open arc segment.

另外，本文推导了开区域(特别是边界是直线段或开弧段情况下无限域)上的Stokes 方程的Dirichlet 外问题的边界积分表达式以及等价的变分方程。

The main purpose of this work is to develop the spectral methods associated with some orthogonal systems of polynomials in unbounded domains.

本文正是在这样的背景下提出了无界区域中的谱方法。这种解法是与无界区域中的正交多项式密切相关的。我们的研究由以下几部分组成：第二章，建立了Hermite多项式插值逼近。

This paper is to investigate the numerical simulation of two partial differential equation boundary value problems on unbounded domains, which are derived from fluid dynamics.

本文研究两个由流体力学问题中得到的无界区域上的偏微分方程边值问题的数值模拟。

Clearly each plane graph has exactly one unbounded face.

显然，每个平面图都有一个无界面。

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.

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

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。