查询词典 valued

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques.

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题。

Some limit properties of the multivariate function sequences of the nonnegative integer-valued random variables are studied by using the differentiation of measures on a net and the conditional moment generating function s, and some strong limit theorems related to the conditional expectations are obtained.

利用测度关于网的微分法和条件矩母函数的工具研究非负起值随机变量多元函数序列的极限性质，得到了若干与条件数学期望有关的强极限定理

A monetary unit that is valued at a fraction of the basic monetary unit.

基本货币单位的子货币单位。

Furthermore,the proposed construction can be easily extended to the design of multiple valued edge triggered flip flop with a higher radix.

它们具有结构简单以及对时钟边沿的变化要求低等优点[3 ] 显示了应用前景。文献 [4 ]将这种设计思想推广至三值边沿触发器的设计，从

Typically banks are valued as a multiple of

一般来说，对银行的估价都是其净资产值的

Typically banks are valued as a multiple of book value[3]. Realistically, Guangdong may have no book value or even a negative one.

一般来说，对银行的估价都是其净资产值的若干倍，而实际上广发银行的净资产值可能为零甚至为负值。

Compared with other existing learning methods from examples, the proposed algorithm is based on deductive reasoning, so it can be applied to precise knowledge acquisition and to multiple valued minimization.

同现存的示例学习方法相比，本文算法是基于演绎推理的。并且不需要提供反例集。本文算法对给定的正例集进行演绎学习以获取具有保真性的概念规则。

As an appliance, by applying the addition defined in this paper, the uniqueness theorem of meromorphic functions obtained by Yang Lo is generalized which consider its multiple values to multiple valued algebroidal functions.

本文明确地定义了加、乘运算，并证明了运算后的结果仍是代数体函数。为进一步的研究完善了理论基础。关于亚纯函数的唯一性定理有许多非常好的成果仁'1。杨乐创造了一种方法，结合重值更深人的研究了亚纯函数的值分布〔，一'了。

Coulomb blockade ; Coulomb oscillation ; negative differential resistance ; multiple valued memory

库仑阻塞；库仑振荡；负微分电阻；多值存储器

On the basic theory, some concepts are proposed, such as partial derivative of waveform polynomial, waveform polynomial vector, delay matrix, multiple valued Boolean process, conditional sensitization, waveform distance with crosstalk and three-dimentional Boolean process. And based on these concepts, a sensitization theorem for sequential circuits and the transition numbers theorems for waveform polynomial are proposed; the model and data structure for the representation and manipulation of waveform polynomial are proposed.

基础理论方面，提出波形多项式偏导、波形多项式向量、延时矩阵、多值Boolean过程、条件可敏化、考虑串绕的波形距离及三维Boolean过程等概念，并在此基础上提出时序电路的敏化定理、波形多项式描述跳变数的定理以及波形多项式的多项式符号表示与运算的模型和数据结构。

In the negative and interrogative forms, of course, this is identical to the non-emphatic forms.

。但是，在否定句或疑问句里，这种带有"do"的方法表达的效果却没有什么强调的意思。

Go down on one's knees;kneel down

屈膝跪下。。。下跪祈祷