符号

In order to check bisimulation for value--passing processes with infinite data domain, the symbolic transition graph and the symbolic transition graph with assignment are introduced by Hennessy and Lin as semantic models of value-passing processes, and strong bisimulation algorithms based on such graphs are also proposed.

为刻画和验证无穷值域上的传值进程，Hennessy和Lin先后提出符号迁移图和带赋值符号迁移图作为传值进程的语义表示模型，并给出了相应的强互模拟算法。

In order to check bisimulation for value-passing processes with infinite data domain,the symbolic transition graph STG and the symbolic transition graph with assignment STGA are introduced by Hennessy and Lin as semantic models of value-passing processes,and strong bisimulation algorithms based on such graphs are also proposed.

为刻画和验证无穷值域上的传值进程， Hennessy和Lin先后提出符号迁移图STG和带赋值符号迁移图STGA作为传值进程的语义表示模型，并给出了相应的强互模拟算法。

First, a new model, TSTG (Timed Symbolic Transition Graph) is presented along with its semantics theory. An algorithm deciding timed bisimulation is developed based upon the idea of symbolic bisimulations. Model checking algorithms has played an very important role in verifying systems.

在分析与验证算法的设计方面，在新的计算模型基础上，我们分析了实时传值进程间各种不同互模拟的特点以及判定方法；尤其针对时间互模拟，根据符号互模拟的思想，本文给出了一个时间符号迁移图上的判定算法并证明了算法的正确性。

Symbolic transition graph is proposed as a compact semantic model for the π-calculus processes. The rules which generate such STGs from finite-control π-calculus processes are presented.

提出以符号迁移图为π-演算进程的有穷表示模型，并给出了将有穷控制π-演算进程转换成有穷符号迁移图的全部产生规则。

The mutiple-input mutiput-output logic function of vertex in state transition graph represents output of related state and the single output logic function represents state transition condition; we use a 8-tuple NetList to represent the structure implement of the result of controller synthesis.

状态转换图顶点中的多输入多输出逻辑函数表示对应状态的输出，图中边上的单输出逻辑函数表示状态转移条件；用一个八元组NetList表示控制器综合结果的结构实现，八元组包括输入符号，输出符号，状态存储器的输入，输出网络，状态转换网络，状态存储器，状态存储器的输出和状态存储器的初始输出。

In the redevelopment of CAPP system,the in-out of special symbols,such as roughness and tolerance,are usually be dealt troublesomely with the character editor program in Windows OS,which create the needed TrueType fonts in advance and statically.It's unextendable and unflexible limit prevents the popularization of CAPP system.

CAPP二次开发过程中特殊符号处理方案比较在专用CAPP系统中，由于整个CAPP系统都是由软件企业自行开发的，对特殊符号的处理有一整套解决方案，可以直接处理。

Where else will you need to use the typeface going to be used and for what?

还有哪些地方需要使用这些符号，使用这些符号的作用是什么？

The symbol information contains new data types that GDB does not yet know how to read. 0xnn is the symbol type of the uncomprehended information, in hexadecimal.

符号信息包含 GDB 不知道如何读取的新的数据类型。0xnn 是不可识别的信息的符号类型，十六进制格式。

A process of uniquely identifying the symbols defined in a given ''.

一种用附加符号的办法来唯一地标识由一段程序所定义的符号的过程。

A process of uniquely identifying the symbols defined in a given section of a program segment by appending another symbol.

一种用附加符号的办法来唯一地标识由一段程序所定义的符号的过程。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。