查询词典 reflected binary

Not detailed in Figure 1 are the parts of the compiler that are not verified yet: upstream, a parser, type-checker and simplifier that generates Clight abstract syntax from C source files and is based on the CIL library21; downstream, a printer for PPC abstract syntax trees in concrete assembly syntax, followed by generation of executable binary using the system's assembler and linker.

图1中没有详细标出的是该编译器中未验证的部分：前面的部分是基于CIL库[21]的语法解析器、类型检查器和语法树化简器，完成从C源代码文件到Clight抽象语法树的生成工作。后面的部分，则是由PPC抽象语法树到具体汇编语法的输出，随后的可执行二进制文件生成部分则采用系统自带的汇编器和链接器。

Augmented assignment is the combination, in a single statement, of a binary operation and an assignment statement

增量赋值就是在单条语句内合并了一个二元运算和一个赋值语句。

Useful information on Auger recombination in some important binary compounds.

对于一些重要的二元化合物的欧杰再结合的有用资讯。

Any column of the matrix can be permuted randomly, and the permutation between columns should satisfy the form which is the automorphism group of the binary cyclic Turbo code generated by the feedback polynomial.

该矩阵的任意一列可采用随机交织方式，而列间交织方式必须是按由反馈多项式生成的循环码字集的自同构群构成。

The variation of binary azeotrope s with pressure were studied.

OkPa压力下的加压共沸点。

In order to investigate the influence of magnetic field on the vapor-liquid equilibrium of binary azeotrope,the vapor-liquid equilibrium of n-butanol-water system was studied under magnetic field with different magnetic induction intensity.

为探讨磁场对二元共沸物系汽液平衡的影响，在不同磁感应强度的磁场中，研究了正丁醇-水物系的汽液平衡。

In the end, the extractive distillation method was applied to separate and purify the binary azeotrope mixture, methanol-dimethyl carbonate. The isoamyl acetate was used as extractant and the two tower system was introduced to continuous extractive distillation operation. The results show a better separation effect.

最后采用萃取精馏的方法，对甲醇-碳酸二甲酯的二元共沸混合物进行了分离提纯研究，以毒性较低的乙酸异戊酯为萃取剂，采用两塔连续萃取精馏操作，结果表明，分离效果比较理想。

The main theory results includes:(1) Using the properties of Hilbert transform, perfectly reconstruction and new type of lifting scheme, a new type of dual-tree binary coefficients complex wavelet with linear phase is achieved.(2) For linear systems that can be diagonalized by GFT and DST-II matrices, an efficient MGM method is proposed, convergence is proved.(3) We discuss the algebraic structure when Toeplitz matrix is transformed by multi-band wavelet,show that Toeplitz matrix is composed of generating function is transformed to a band and sparse matrix when wavelet applied to this matrix, based on the above results, an efficient solution of Toeplitz equations is obtained, and the computational complex is O,where N is the order of matrix.

理论成果主要包括：(1)对于对偶树二进制系数复数小波，利用Hilbert变换对性质、完全重构条件并结合新的提升格式构造研究了含参系数多进制小波构造方法，作为特例得到具有线性相位的对偶树二进制系数复数小波构造方法；(2)对于广义离散傅立叶变换与正弦变换对角化系统，提出了高效、快速的多重网格算法，理论上证明了算法的收敛性；(3)研究了Toeplitz矩阵在多进制小波变换下的代数结构，验证了多项式生成函数构成的Toeplitz系统在小波变换下的稀疏带宽性质，从而建立基于小波变换求解Toeplitz系统的快速求解方法，运算量级控制在O，其中N为系统的阶。

Barometric methods and gravimetric methods are main measurement ones for binary systems because of simplicity and easy operation.

基于国外先进技术的发展，介绍了超临界二氧化碳/聚合物体系扩散度的各种测量方法。

The driver's head barycenter is calculated by using morphology to process the binary difference driver's working picture.

对机车司机工作中的二值差分图像进行形态学处理，计算得到司机头部图像重心。

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。