1) minimized stable label transition graph of symbolic state
最简稳定符号状态迁移图
2) Symbolic transition graph
符号迁移图
1.
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.
为刻画和验证无穷值域上的传值进程，Ｈｅｎｎｅｓｓｙ和Ｌｉｎ先后提出符号迁移图（ＳＴＧ）和带赋值符号迁移图（ＳＴＧＡ）作为传值进程的语义表示模型，并给出了相应的强互模拟算法。
3) state migration diagram
状态迁移图
4) timed symbolic transition graph
时间符号迁移图
5) symbol transference
符号迁移
1.
Because of the dual management of symbol table and symbol library, symbol transference will not be a problem, More over, it makes more direct and more efficient to implement some common function in GIS.
文中提出一个新的符号管理方案 ,通过对符号表和符号库的双重管理 ,解决了符号迁移问题 ,同时也使得GIS中一些常用功能的实现变的直接、高效 ,最后还就该方案同现有的一些GIS系统的符号管理方案作了比较分析 ,进一步说明了它的全面性和实用
6) stable diagram
稳定状态图
补充资料：氦稳定同位素状态图
分子式： 3He
CAS号：
性质：状态图与4He基本相似，但没有λ点。液态3He在常压下高于0.003K不显示超流动特性，温度接近0靠K都不会固化。30MPa下，冷却液态3He才会出现固态。3He在不同压力下生成的晶体有体心立方(bcc)，六方致密堆积(hcp)和面心立方(fcc)三种构型。温度高于λ点液态4He为正常液体，称4He Ⅰ，低于λ点温度能转变为超流动性液体，称4HeⅡ。它有一个古怪的性质，“冷爬”，利用这种超流特性可把4He中的3He分离出来。He Ⅰ-HeⅡ和固氦的三态共存温度为1.774K，压力2.9293MPa。
CAS号：
性质：状态图与4He基本相似，但没有λ点。液态3He在常压下高于0.003K不显示超流动特性，温度接近0靠K都不会固化。30MPa下，冷却液态3He才会出现固态。3He在不同压力下生成的晶体有体心立方(bcc)，六方致密堆积(hcp)和面心立方(fcc)三种构型。温度高于λ点液态4He为正常液体，称4He Ⅰ，低于λ点温度能转变为超流动性液体，称4HeⅡ。它有一个古怪的性质，“冷爬”，利用这种超流特性可把4He中的3He分离出来。He Ⅰ-HeⅡ和固氦的三态共存温度为1.774K，压力2.9293MPa。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条