查询词典 be defined as
- 与 be defined as 相关的网络例句 [注:此内容来源于网络,仅供参考]
-
The comparison uses the same relational operator as defined by the element type: Comparing two containers using !
容器的比较使用了元素类型定义的同一个关系操作符:两个容器做!
-
Ble equality comparison operator defined.
Function,这是一个众所周知的事实,即目前没有合理的方法来区分是否对象具有特定功能的访问平等比较运算符定义。
-
Hence Genesis, notwithstanding the compilatory character of its sources, the many repetitions and divergent versions of one and the same event, the duplications and digressions, makes on the whole the impression of a coherent work, aiming at the presentation of a well-defined view of history, viz., the selection of the sons of Israel as the representative exponents of Yhwh's relations to the sons of Adam, a selection gradually brought about by the elimination of side lines descended, like Israel, from the common progenitor Adam, the line running from Adam to Noah-to Abraham-to Jacob = Israel.
P的方法,正确地被视为下神学意图(" Tendenz "),也即河因此成因,尽管compilatory的性质及其来源,在许多重复和不同版本的同一个事件,重复和digressions ,使得整体上的印象是一个连贯的工作,旨在提出一个明确的历史观,即。,选择的儿子,以色列的代表指数的Yhwh的关系的儿子亚当,选择逐步所带来的副作用线消除的后裔,如以色列,从共同的祖先亚当,该行从亚当到诺亚,亚伯拉罕到雅各=以色列。
-
The concept of Multi-width ZCCZ is defined, and a class of multi-width ZCCZ complementary sequence set is constructed.
更多扩展,提出了另一种构造两宽度零互相关区Z互补序列的方法。
-
Third, by studying structural properties, extended complementary set of a siphonand extended complementary matrix of an ES3PR net, a subclass of Petri nets, arenewly defined.
第三,通过对ES3PR子类的结构分析,提出扩展补集和扩展补集矩阵的概念,同时证明了扩展补集矩阵的秩等于基本信标数目的结论。
-
Consequently,an nLMDP is defined over a complementary abstract state space and a set of prototype actions.
逻辑马尔可夫决策过程nLMDP基于互补的抽象状态空间和原型行动集构建。
-
However, the existing summary procedure for civil lawsuit in our country has not yet formed an integral and complete legal system, legislative interpretation conflicts with judicial interpretation, and the boundary between ordinary procedure and summary procedure is not well defined, which cause chaos and utter disorder for application of summary procedure in court at basic level.
然而我国现行的民事诉讼简易程序尚未形成比较完整统一的法律制度,立法与司法解释相互矛盾,普通程序与简易程序的界限不清,导致基层法院适用简易程序非常混乱,没有统一严格的标准,是一种"皮筋"式程序,导致当事人对司法公正产生怀疑,这些都反映出现行民事诉讼简易程序的规定不能满足现代形势发展的需要。
-
At first, the examples are given to explain a new method in signal processing, in which functions are defined from the viewpoint of multi-scale analysis. Then the authors present "coordinate heft separate" method, discover self-similar structure of points set on plain area; based on this self-similar structure, construct orthogonal complete 2-value function system of high-dimension simplicity; enrich and extend the theory and application of Rademacher function and Walsh function.
首先,举例说明在多尺度分析观点下,信号处理中某些函数定义的新方法;进而提出"坐标分量分离方法",并由此发现了平面区域上点集坐标数值的自相似结构;在揭示了如此自相似结构的基础上,构造了高维单纯形上的正交完备的二值函数系统;丰富与推广了Rademacher函数及Walsh函数的理论及应用。
-
We establish the equivalent integral equations to these problems, and prove that the defined operator is completely continuous.
建立了与这些问题等价的算子方程,并证明了所定义的算子是全连续的。
-
Compared with Plotkin's work, a reduction closed CPS language is defined in which all continuations are explicitly expressed as functional encodings and it is simpler to prove both the soundness and completeness directions of simulation theorem.
与Plotkin的工作比较,工作特点在于,给出了一个CPS归约闭语言,该语言中所有继续都可以用函数形式表达,且模拟定理的可靠性和完备性方向证明更为简单。
- 相关中文对照歌词
- Vem Provar De Mim
- Ás Vezes Sim, Ás Vezes Não
- Vícios E Virtudes
- La Fête Des Mères
- Waistline
- Damage
- Non Coupable
- Disque D'or
- Hoje Sou Eu Que Não Mais Te Quero
- Contrastes Da Vida
- 推荐网络例句
-
You can snipe the second and third union leaders from this position.
您可以鹬第二和第三工会领袖从这一立场出发。
-
Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.
针对当前XML数据流质量检测存在的不足,提出构建XML键的矢量矩阵作为窗口,利用矢量积小波变换多级分解与重构XML数据流,再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法,满足XML数据流质量重构时实时检测的要求,保证XML数据的约束性、一致性与完整性;为了更好的适应网络负载,采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。
-
This is a very big challenge to developers especially that Ajax is constantly changing.
这对开发者来说是一个非常大的挑战,尤其是需要不断变化的Ajax。