论文部分内容阅读
SDL语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用 ,而SDL- 92的形式语义已无法充分满足应用需要 ,本文分析了现有形式语义定义的基本方法 ,指出其存在的主要不足 ,并针对SDL形式语义的定义方法提出了一种基于SDL未来发展方向的语义定义框架。
SDL形式语义定义现状及其改进
【摘 要】
：
SDL语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用 ,而SDL- 92的形式语义已无法充分满足应用需要 ,本文分析了现有形式语义定义的基本方法 ,指出其存在的主要不足 ,并针对SDL形式语义的定义方法提出了一种基于SDL未来发展方向的语义定义框架。
【机 构】
：
北京邮电大学计算机科学与技术学院!北京100876,北京邮电大学计算机科学与技术学院!北京100876,北京邮电大学计算机科学与技术学院!北京100876
【出 处】
：
通信学报
【发表日期】
：
2000年04期
其他文献
钠氢交换子调节因子1(Na+/H+ exchanger regulating factor 1,NHERF 1)是由358个氨基酸组成的多功能连接蛋白.NHERF 1通过其PDZ-1、PDZ-2和EB结构域与多种蛋白质结合,对PDGF
经典理论认为哺乳动物的视神经完全损伤后不能有效再生,只有一些较低等的两栖类和鱼类视神经离断后能完全再生.近20多年来,人们发现哺乳动物视神经本身具有再生潜能,在适宜的
GATA-1在造血干细胞的谱系分化中起关键的调控作用，为红系和巨核系发育成熟必不可少，对肥大细胞系及嗜酸性粒细胞系发育也有一定的调控作用。GATA-1的转录活性受到多层次的精确
目的:在原有带有GST标签的pGEX-KG载体上添加His标签,构建双标签原核表达载体,以提高纯化后的融合蛋白的纯度.方法:双酶切pGEX-KG载体,将同样带有双酶切位点编码His标签的DNA
禽流感(avian influenza, AI)是由禽流感病毒(avian influenza virus, AIV)引起的一种禽类传染病.人禽流感(human avian influenza, HAI)是人接触AIV污染的排泄物或分泌物而
为明确海南菠萝心腐病菌烟草疫霉的生物学特性,研究不同培养基、温度、pH值和光照对病菌菌体生长和孢子囊产生的影响。结果表明,V8汁、胡萝卜两种培养基适宜菌丝生长,而V8汁
城市净水厂水处理工作的有序进行不仅关乎人民生命财产的安全，更对保证社会安全，促进国民经济健康稳定的发展具有重大的作用。因为良好的城市净水厂水处理工艺设计是保证城市净
皮质抑素(cortistatin,CST)是一种新的生长抑素家族神经内分泌多肽,广泛分布于中枢神经系统、内分泌器官及免疫系统中,能够与生长抑素受体、生长素受体及MrgX2受体结合,发挥
SpA是金黄色葡萄球菌的重要毒力因子,在金葡菌抗吞噬、诱导B细胞凋亡、引起葡萄球菌性肺炎、心内膜炎等方面发挥重要作用。SpA的表达由非常精细复杂的系统调控。对SpA致病和
基于SMP准则和佐武的平面应变条件，推导了摩擦材料的平面应变强度公式。通过引入粘结应力σ0，推导出适应于c-材料的平面应变强度公式。各种试验结果证明了所提强度公式是合理