论文部分内容阅读
Ｓ Ｄ Ｌ 语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用。 Ｓ Ｄ Ｌ－ ９２的形式语义已无法充分满足应用需要，本文对 Ｓ Ｄ Ｌ 现有的静态语义定义方法进行了深入的分析，提出了一种基于抽象语法树和谓词演算的 Ｓ Ｄ Ｌ 静态语义定义方法。
SDL的静态语义定义框架
【摘 要】
：
Ｓ Ｄ Ｌ 语言自身的形式化描述对于该语言的不断发展、完善将发挥重要的核心作用。 Ｓ Ｄ Ｌ－ ９２的形式语义已无法充分满足应用需要，本文对 Ｓ Ｄ Ｌ 现有的静态语义定义方法进行了深入的分析，提出了一种基于抽象语法树和谓词演算的 Ｓ Ｄ Ｌ 静态语义定义方法。
【机 构】
：
北京邮电大学计算机科学与技术学院
【出 处】
：
通信学报
【发表日期】
：
1999年08期
其他文献
年,唐山市人民将隆重纪念抗震救灾30周年。30年前的7月28日,一场突如其来的大地震,将一座工业城市瞬间夷为平地。朝夕相处的亲朋横尸在残垣断壁之间,苦心经营多年的家园和财
自我国进入二十一世纪以来,我国通讯行业在不断的扩大规模,这些都得益于科技技术的不断创新与发展,但与之相伴的能源消耗也随之增多,我国所面临的资源匮乏等问题日益严峻.移
在研究复杂信息网络的资源分配问题时，网络资源提供者和用户之间对资源的使用存在不同的优化目标，导致对资源分配策略存在多种评价准则。为便于网络管理者进行分布式的资源管理和计费，采用对策论模型分析用户对资源的竞争和处理网络传输拥塞正日益受到广泛的重视。本文首先指出资源分配和计费管理的几个主要难点，比较了中心化与非中心化控制策略的差别，而后综述了采用对策论模型进行资源分配和管理的优点，重点讨论了在非中心化
动力学研究对于热解和气化系统的优化设计和良好的控制都是非常重要的。该文在综述国内外文献的基础上 ,建立一个全面的描述固定床高温热解系统的动力学模型 ,模型考虑了下列
2006年6月10日是国务院批准的中国第一个“文化遗产日”,围绕“文化遗产日”的主题,全国已先后开展了数百计次的纪念活动,作为建筑科技工作者,我们特从如下内容出发,也总结一
云南太阳热水器销售市场在全国占有举足轻重的地位 ,销售量之大、销售面之广在全国位居第一。这其中有得天独厚的地理环境因素 ,有云南省党政领导的重视 ,也有云南太阳能界共
在现今经济迅速增长的新情势下,人们对信息的需求量正逐渐加大,通信技术早已同人们的日常生活与工作高度融合,且伴随着社会的进步,通信工程的发展进程也得到了大幅度提升,越
目的 探讨切开复位重建带钢板内固定治疗有移位锁骨中段骨折的临床效果.方法 2005年5月-2007年5月,对63例锁骨中段骨折的患者,采用切开复位重建带钢板内固定进行治疗.63例均
质灾害是指由于地质作用(自然的、人为的或综合的)使地质环境产生突发的或渐进的破坏,并造成人类生命财产损失的现象或事件。虽然城市地质灾害具有一般地质灾害的特征,但由于