查询词典 symbolic coding

Leibniz's discoveries of Boolean algebra and of symbolic logic, also relevant to mathematics, are discussed in the preceding section.

莱布尼茨发现的也与数学相关的布尔代数和符号逻辑，如前所述。

This paper gives the study of polynomial symbolic algebraic theory in formal verification method.

本文研究基于多项式符号代数理论的形式化验证方法。

The appliance of polynomial symbolic algebraic in formal verification ,people have given two polynamial denotative module WGLs and TEDs,and gives the corresponding equivalence checking algorithms .

关于多项式符号代数理论在形式化验证方面的研究，人们给出了WGLs和TEDs两个多项式表示模型，并给出了相应的等价性验证算法。

Formal Verification; Polynomial Symbolic Algebraic; WGLs; TEDs

形式化验证；多项式符号代数； WGLs； TEDs

To use symbolic and algebraic computation techniques for studying the computational properties of procedure schemes, some convergent procedure schemes are investigated in algebraically closed field and real closed field.

过程模式在代数闭域和实闭域上的应用：本文在代数闭域和实闭域上研究了收敛过程模式，设计了用于自动推理的过程模式，并且用其解决微分动力系统研究中的中心-焦点问题。

The "Basic" part refers to the BASIC (Beginners All-Purpose Symbolic Instruction Code) language, a language used by more programmers than any other language.

Basic是指BASIC语言，这种语言的使用比其他任何语言都多。

The "Basic" part refers to the BASIC (Beginners All-Purpose Symbolic Instruction Code) language,a language used by more programmers than any other language,Visual Basic has evolved from the original BASIC language,Now it contains several hundred statements,functions,and keywords,many of which relate directly to the Windows GUI,Beginners can create useful applications by learning just a few of the keywords,yet the power of the language allows professionals to accomplish anything that can be accomplished using any other Windows programming language.

Basic是指BASIC语言，这种语言的使用比其他任何语言都多。Visual Basic源于原来的Basic语言，现在已经有好几百条语句、函数、关键词，其中好多都是直接与Windows的图形用户界面有关。初学者通过学习少量的关键词就能创建有用的应用程序，而该语言的强大功能可以让专业人员实现任何用其他Windows编程语言所实现的功能。

"Pieces of Memories"is a series of contemporary images of China and Beijing,which are symbolic,allegoric and seemingly false and real at the same time.It is a real ridiculouansness and ridiculous reality.

记忆的碎片》呈现的是一组"现代的"、"中国的"、"北京的"——象征的、寓意的、虚虚实实的映像——真实的荒诞——荒诞的真实。

The worship of red derives from the ancient sun and fire worships. Since the founding of the CCP, red color has a lot of symbolic and allegoric meanings.

红色崇尚起源于古代的日崇拜与火崇拜，中国共产党成立后，红色在中国具有很多的象征与寓意。

However,"JueLanCaiWei" still conveys a multiple meaning more extensive than "Absorption" in terms of learning or studying. Zubin's paintings tell what is regarded by him as an empirical or traditional existence has formed a kind of rhetoric to his paintings, for example, a restrained cynicism of the Ming and Qing Dynasty and even the times of the Republic of China or some conceits conjured upon a primitive thinking mode. No matter which it may be, the understanding of "symbolism" and "allegory" frankly shown by Zubin himself is more his interest in some particular drawing method than the outcome of "plucking" the fruitful tradition. Although he delightfully demonstrates an impressive charm of the traditional language indeed, the symbolic or allegoric meaning of his paintings depends not on the language itself but on some inexpressible secrets in his view of life by means of images.

不过， 作为学习立场的表述，"嚼兰采薇"依旧隐约传达出比"吸收"更大的多义性，祖斌的画作证实：那些被他视作经验或传统的存在，已然构成自己作品图式的某些修辞，譬如一种婉约的明清甚至民国时代的玩世情调，或者部分以原始思维模式臆造的奇思妙想，但无论前者或后者，祖斌所坦言的关于"象征"和"寓意"的理解与其说是他咀嚼或采摘的结果，不如说是他感兴趣的图绘手法，尽管他的确津津有味地在作品中展示了那些令人回味的有关传统语汇的魅力，但其作品的象征性和寓意并不取决于语汇自身所指，而是用图像看待生活时许多令他自己也欲辩难言的隐秘所在。

Sodium citrate; calcium carbonate; calcium hydroxide; potassium bicorbonate; magnesium carbonate; ferrous sulphate; Zinc sulphate; copper sulphate; manganese sulphate; potassium iodide; sodium selenite.

柠檬酸钠；碳酸钙；氢氧化钙；碳酸氢钾；碳酸镁；硫酸亚铁；硫酸锌；硫酸铜；硫酸锰；碘化钾；亚硒酸钠。

All this to say that I'm glad filmmaking hasn't become completely ironic. I can enjoy an ironic film as much as the next person, but they usually involve a message of some sort. One that's delivered in a smirkingly clever way that requires little in the way of talent.

所有这些都是说，我很高兴电影制作没有变成完全讽刺艺术，我可以和下一个人一样享受讽刺电影的乐趣，虽然他们经常会被划归到一定级别，技术方面不需要很高的才能。