符号

Based on the symbolic transition graph with assignment of Lin, we introduce a variant of STGA. The distinction of our model is that the assignment of a transition is performed after rather than before the action.

基于Lin提出的带赋值符号迁移图，引入了一种先动作-后赋值的STGA，它与原模型的不同之处在于将符号迁移上赋值和符号动作的执行次序颠倒。

Finally this paper consideres an applicable case-the symbolic transition graph,then the generalized symbolic observation graph SOG and symbolic congruence graph SCG can be finite,so authors' algorithm is feasible for weak bisimulation and observation congruence.

此时由符号双迁移关系生成的符号观察图和迟符号同余图必为有穷图，因而我们的弱互模拟等价算法是可行的。

As semiotics as a discipline is more foundational in nature than linguistics logic and philosophy,the trichotomy in semiotics has produced a definitive influence on the developments of other three fields in the West during the 20th century.

语形学、语义学和语用学原本是符号学的分类法，由于符号学是比语言学、逻辑学和哲学更基本的学科平台，符号学的三分法对20世纪西方语言学、逻辑学和哲学的发展产生了根本性的影响。

More precisely, all variableassignments in a function store the value in the local symbol table;whereas variable references first look in the local symbol table, thenin the global symbol table, and then in the table of built-in names.thus, global variables cannot be directly assigned a value within afunction (unless named in a global statement), althoughthey may be referenced.

所有的局部变量都存储在这个局部符号表中。引用参数时，会先从局部符号表中查找，然后是全局符号表，然后是内置命名表。因此，全局参数虽然可以被引用，但它们不能在函数中直接赋值（除非它们用global 语句命名）。

The interpreter is the symbol's pragmatic dimension, while the designatum its semantic dimension, and, as a whole, the two dimensions play together as the 'meaning' of the symbol.

解释者一方是符号的语用维度，所指对象一方是符号的语义维度；二者合称意义。符号在言语表达中组合。

It is the remains of witchcraft history in ancient China. It consists of symbols or symbolic hexagrams and lexicological commentaries.

它由符号系统和文字系统两部分有机组合而成，阴--与阳(—两个符号代表宇宙和人世的一切，是最基本的符号。

This paper analyzes and compares the computer graphical methods representing geological symbols ( especially lithotype notations ) with each other, and presents a new comprehensive method-graphical element composition method and its classified code scheme for the computer graphical definition of geological symbols based on analyzin...

本文对地质符号的有关计算机图形学方法进行了分析和比较，并在对各种地质符号的分析研究基础上提出了一种地质符号的计算机图形学定义的新的综合性方法—图元组合法及其分区编码方案

These eventually evolved into the basic symbols for neumatic notation, the virgawhich indicates a higher note and still looked the acutus from which it came; and the punctumwhich indicates a lower note and , as the names suggests, reduced the gravis symbol to a point.

这些标识很明显是纽姆谱中最基本的符号，virga或者rod，表示一个更高的音符，这个符号的形状仍然和actus，/很相像，而punctum这个代表更低音符的标识，从标识名称上就能表明它是简化了的gravis，\符号。

The last part of Cassirer's semeology is to grasp the world with scientific symbol form. Compared with myth and language, science is postexistent and s the supreme symbol system.

以科学的符号形式来把握世界是卡西尔符号哲学的最后一个部分，是神话和语言之后的一个最高层次的符号系统。

The dissertation thinks that Lotman's theory of the cultural semiotic poetics not only has inherited Saussure's tradition of structuralism linguistics, but also initiative has absorbed Pierce's semiotic theory cream, and has come true to exceed two big semiotic tradition in Europe and America.

论文认为，洛特曼的文化符号诗学理论不仅继承了索绪尔结构主义语言学的传统，而且还主动吸收了皮尔斯符号学的理论精华，并在一定程度上实现了对欧美符号学两大传统的超越。

The absorption and distribution of chromium were studied in ryeusing nutrient culture technique and pot experiment.

采用不同浓度K2CrO4(0，0.4，0.8和1.2 mmol/L)的Hoagland营养液处理黑麦幼苗，测定铬在黑麦体内的亚细胞分布、铬化学形态及不同部位的积累。

By analyzing theory foundation of mathematical morphology in the digital image processing, researching morphology arithmetic of the binary Image, discussing two basic forms for the least structure element: dilation and erosion.

通过分析数学形态学在图像中的理论基础，研究二值图像的形态分析算法，探讨最小结构元素的两种基本形态：膨胀和腐蚀；分析了数学形态学复杂算法的基本原理，把数学形态学的部分并行处理理念引入到家实际应用中。