symbolic的例句大全

Symbolic Model Checking for Digital Circuit Design

数字电路设计中的符号模型检验技术

According to the basic theories of creation of the three kinds of brand images ( functional? experiential? symbolic) and the peculiarity of tourist experience, branding tourism destination is discussed and analyzed.

依据实物商品3类品牌形象概念（功能性、经验性、象征性）创造的基本原理，结合旅游经历的特殊性，对旅游目的地进行品牌化。

The Microsoft Project Server 2003 is the symbolic product of EPM and it has been applied in many big company in the local and oversea.

微软公司的Project Server2003是企业项目管理的龙头产品，被国内外很多大公司应用。

According to the symbolic linguistics theory, in English teaching, educated the very major function.

根据符号语言学理论, 在英语教学中, 教育起了很大的作用.

Assembly language: A low level programming language that permits the programmer to use mnemonics or symbolic codes for function codes.

汇编语言：一种低阶程式语言，它容许程式设计员采用符号或助记忆符号代替功能代码。

Man, as the wisest of all creatures, is most good at creating, understanding, interchanging, operating and inheriting symbolic products.

人作为万物之灵的最大擅长就是编织制造、理解、交流、操作和传承文化象征产品。

The work is consisted of three parts, the first part discusses Alberti's program of the centrally planned church and its symbolic significance.

全文由三个部分构成，论述了阿尔贝蒂的集中式教堂设计及其宗教象征意义；

And they are not only indispensable part of the stage setting, but also doors with symbolic significance.

这两扇门是舞台背景不可或缺的一部分，也是具有象征意义的两扇门。

Therefore, we may realize their life concerns and cultural traits several thousand years ago by the exploration of the symbolic meaning revealed in ancient Egyptian art.

因此，本文探究的这些象徵意义，应当有助于我们了解古埃及人的生命情怀与文化特质。

The gesture remains largely symbolic for GSK, however.

但对葛兰素史克来说, 这一姿态基本上仍只有象征意义.

An analysis of the symbolic meanings of the natural phenomenon in A Farewell to Arms

《永别了，武器》中自然现象的象征意义

Elizabeth I occupies a prominent position in The Faerie Queene: she is the symbolic center of the epic.

伊丽莎白一世在斯宾塞的《仙后》中占据着重要的位置，是该诗的象征中心。

Reflections on "Symbolic Consumption" Behavior of Tourists: Based on A Survey by "Yahoo China"

旅游者符号性消费行为之思考&由雅虎中国的一项调查说起

This paper describes and discusses the design and implementation of a testing toolkit, CAUT, which is based on dynamic symbolic execution.

本文描述并讨论了一个基于动态符号执行的测试工具CAUT的设计与实现，详细描述并分析了在这套设计中的三个改进方案。

Computer algebraic and symbolic computation language CASC

计算机代数与符号演算语言CASC

The GNU symbolic debugger, GDB, is a powerful development tool, but one drawback is it works only from the command line.

GNU symbolic debugger（GDB）是一个强大的开发工具，但是不足之处在于它只能在命令行下工作。

Sid: a symbolic interactive debugger on galaxy-ⅱ super machine

SID：银河－Ⅱ巨型机的交互式符号调试器

When selected, displays a warning dialog box when you try to debug a program for which the debugger has no symbolic information.

选定后，系统在尝试调试调试器没有其符号信息的程序时，显示警告对话框。

The essence of the interesting chaos game is revealed, here as, the fractal measure and ergodic theorm of symbolic system.

从一个有趣的混沌游戏出发，揭示其深刻的数学背景，即分形测度理论与符号空间上的遍历定理。

Extracting Machine Information by Shannon Entropy of Symbolic Series

采用符号序列Shannon熵的机器信息提取方法