论文部分内容阅读
提出直接用基本Abstract State Machine定义Specification and Description Language静态语义的形式方法,其主要特点是: 语法域中的元素统一解释为语法值;转换规则定义为ASM规则;映射规则定义为一系列称为t-函数的映射函数形式.
一种用基本ASM定义SDL静态语义的方法
【摘 要】
：
提出直接用基本Abstract State Machine定义Specification and Description Language静态语义的形式方法,其主要特点是: 语法域中的元素统一解释为语法值;转换规则定义为ASM
【机 构】
：
北京邮电大学计算机科学与技术学院
【出 处】
：
北京邮电大学学报
【发表日期】
：
2004年1期
【基金项目】
：
信息产业部国际电信联盟标准化对口项目
其他文献
介绍了以七铧犁加垄沟深松部件组成的深松机具。该机具作业加深了耕作层，打破了犁底层，并实现了间隔深松，建立起上虚下实，虚实并存的耕层构造，经多点四间对比试验，取得了显著的增产
理化性质及危险特性：无色柱状结晶有潮解性有毒溶于酒精和甘油加热至３００开始分解，产生氧气受热，撞击或磨擦等有分解并剧烈燃烧的危险与有机物、碳素，硫磺，金属粉末，铵盐类，油脂类混合有
对网络数据传输的安全保护评估，能够有效防止网络攻击危害，提高网络运行安全性。对网络数据传输的安全保护，需要确定原子攻击信息素分配方式，从而快速生成整体攻击图，完成网络数据
本文主要通过对中国数据的计量研究收入、收入不平等分配与储蓄率的相关关系。得出结论，即随着收入的提高，收入对储蓄率的贡献明显变小，而我国目前所处的阶段，收入不平等分配对收