有序二叉决策图（OBDD）是一种有效表示布尔函数的数据结构，其大小依赖于所采用的变量序。
Ordered binary decision diagrams(OBDDs)are a data structure for efficient representation and manipulation of Boolean functions. The size of OBDDs is very sensitive to variable ordering.
二是对践踏道德底线、违背公序良俗的行为，要及时发现，及时制止。
Secondly, we need to discover and promply stop those morality-trampling and regulation-violating behaviors.
例如发二张会结合记号牌一并使用，发底牌又会和序牌一并使用。
For example, send two pieces will be combined with mark card together, send CARDS and will be used in sequence CARDS.
本文进一步证明了“二维序贯均匀等距设计”对跳比单调函数类的有效性。
In this paper, the validity of sequential uniform design for monotone function by rate jump was point out.
最后，借助上述离散随机序，在复合二项破产模型中探讨了个体索赔额对于最终破产概率与调节系数的影响。
Finally, in virtue of all stochastic orders mentioned above, we explore how the individual claim affects the ruin probability and adjustment coefficient in compound binomial ruin model.
因正、负序功率分量之和可由通常采用的“二瓦特表法”获得，于是正、负序功率分量即可析离开来。
Since the sum of these two power components can be obtained by the usually used "two Wattmeter method" , then the components can be Separated.
给定一个二叉树的前序和中序遍历，重建这棵二叉树。
Given preorder and inorder traversal of a tree, construct the binary tree.
北淮阳地区的石炭系甚至二叠系的层序和相带分布表明，它是代表一个向南开口的大型盆地。
The Carboniferous sequence (including the Permian in the upper part) and its sedimentary facies pattern indicate that the rocks were formed in a large basin opening toward the south.
在序贯平差中通过引入假观测值法，简化了第二种解法的公式推证过程。
On the successive adjustment, the deduction of the second solution formulas is simplified by introduction of fictitious observation values.
其中一阶和二阶差分关联度能满足规范性要求，具有无量纲化后的保序性。
The first order and second order incidence degree formulae can satisfy the requirement of specification, and possess isotonicity after non-dimensional disposal.
但是不同的二叉树的先序遍历序列或中序遍历序列或后序遍历序列有可能是相同的。
The pre order, in order and post order traversal of every binary tree are unique, but those of different binary trees may be identical.
说明：二叉树操作：建立二叉树，前序遍历二叉树、中序、后序遍历二叉树。
Binary tree operation: create a binary tree, before traversing binary, inorder, postorder binary tree traversal.
该方法是将互感线路的伏安特性方程转化为积分形式，并采用了最小二乘法求解方程组，同时得出各线路的零序自阻抗及线路间的零序互阻抗。
The new method turned the volt-ampere characteristic equation of transmission lines into an integral form, then used least square method to solve the equations and got the zero-sequence parameters.
比较的结果表明，新算法所生成的线索二叉树比传统的先序和后序线索二叉树优越。
Results of comparison show that the threaded binary-trees generated by the new method are more efficient than the traditional ones.
只要求第二空间是半序拓扑空间，B（D）是相对紧集，所得结果推广了近期相关结论。
It is only required that the second space is partly ordered topological space and B(D) possess the relatively compactness.
给定一个二叉树序列，你要写一个程序将每棵树按层序访问并打印出来。
Given a sequence of binary trees, you are to write a program that prints a level-order traversal of each tree.
层序s1是一个二分层序，包含湖进和湖退两个体系域，分为3个准层序组及9个准层序。
The S1 sequence is a dichotomize sequence, include the TST and the RST, further divided 3 parasequence formations and 9 parasequence.
本型零序电流互感器为全封闭式。二次绕组及铁芯均浇注在聚脂树脂内。中间窗孔供三相电缆穿过。
The zero sequence current transformer is full enclosed type. The secondary windings and iron core are insulated by epoxy resin. The middle hole is used for cable going through.
引进了自然序半格、偏序半群的自然序半格同态象和二次主根基等概念。
Concepts of natural ordering semilattices, natural ordering semilattice homomorphic images and principal square radicals on ordered semigroups are introduced.
该算法采用浮点编码方式，定义了二元实向量类型的适应值及适应值间的严格偏序关系。
The system uses real-number encoding, and defines the fitness value by a two-dimensional vector, inducing a strict partial ordering on the population individuals.
通过与传统的工艺与控制分步序贯设计比较，讨论了二者各自的优势和不足，指出控制与工艺集成优化设计具有良好的发展前景。
Through comparison with traditional sequential design and control, both advantages and shortcomings are discussed, which shows promising future of simultaneous design and control optimization.
刻划了具有P -正则自同态幺半群的二分图，讨论了字典序积图的自同态幺半群的P -正则性。
Bipartite graphs with P-regular endomorphism monoids are characterized. P-regularity of the endomorphism monoid of lexicographic product of graphs is discussed.
第二种方法可得出多重复杂故障情况下增广的正序网络。
The second method can be used to develop a modified positive network in the case of multi- complex faults.
在数据结构中，已知一棵二叉树的先序序列和中序序列，可唯一确定此二叉树。
In the data structure, the binary tree can be uniquely confirmed when the nodes sequences of this binary tree for preorder traversal and inorder traversal are knows.
本文证明了一类二阶非线性双曲—抛物耦合方程组小初值问题整体解的序在唯一性。
In this paper, we prove the global existence and uniqueness of the solutions of the small initial value problems for a class of second order nonlinear hyperbolic - parabolic coupled systems.
在定序问题上，通过二进制码与格雷码间的转换，列出三种序数-序率序数、二进制序数与哈德玛矩阵序数一之间的转换规则。
On the sequence-ordering problem, the conversion rules among the sequoncy ordering, binary ordering, and the Hadamard -matrices ordering have been given.
明确提出了控制红狮地区层序发育和分布特点的主要因素是构造、气候及二者结合的观点。
The controlling factors of Tertiary sequences in Hong-shi area are tectonic, climate and their combinations.
将中二叠统将军庙组至平地泉组划分为一个层序；
The plan is as follows: the Jiangjunmiao Formation and Pingdiquan Formation of Middle Dyas Series are grouped into a sequence.
第二章对《夷坚志》中出现的八组同素异序词进行历时研究。
The second chapter, study the eight groups appear allotropy word in "Yi Jian Zhi" in Longitudinal.
第二章对《夷坚志》中出现的八组同素异序词进行历时研究。
The second chapter, study the eight groups appear allotropy word in "Yi Jian Zhi" in Longitudinal.
应用推荐