收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

SDL/GR中间语言的设计方法

杨放春  陈俊亮  
【摘要】:SDL/GR 是 CCITT 推荐的用于通信领域的国际标准化语言.本文在 SDL/GR中间语言的形式定义中引入代数系统的同构概念,进而给出一个系统化地设计SDL/GR 中间语言的方法,它保证中间语言与 SDL/GR 语义等价.目前,该中间语言已被用于 SDL/GR 图形输入与各类处理工具之间的接口.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 刘宇红,白伟;SDL语言及其在通信系统中的应用[J];通信技术;2002年12期
2 姚仲敏;SDL语言及其在通信系统中的应用[J];铁道通信信号;1996年02期
3 杨放春,陈俊亮;SESDL——个SDL语言的支撑环境[J];通信学报;1990年05期
4 贾凤君,宋怀波,郑建宏;SDL语言及其在TD-PRS终端开发中的应用[J];重庆邮电学院学报(自然科学版);2003年02期
5 刘玉璋,杨放春;SDL语言SAVE功能的等价变换[J];通信学报;1994年04期
6 刘玉璋,杨放春;SDL语言的等价变换及工具实现[J];高技术通讯;1995年03期
7 陈绍强,杨放春;基于SDL语言的软件维护工具SMS[J];高技术通讯;1995年01期
8 罗钢,陈俊亮;由SDL语言生成测试序列的方法及工具[J];通信学报;1988年05期
9 王洪学,郎彦,杨树峰;课件描述语言SDL及其应用[J];黑龙江大学自然科学学报;1993年03期
10 杨放春;陈俊亮;;SDL 的一阶谓词表示法及其应用[J];北京邮电大学学报;1989年03期
11 宋瑾钰,魏仰苏;基于SDL的PPP协议软件形式化开发[J];浙江理工大学学报;2005年03期
12 周冬晨;;路由协议的形式化描述[J];科技信息(学术研究);2008年36期
13 徐琳,高文;基于规则的汉语至汉语手语的变换[J];哈尔滨工业大学学报;1997年06期
14 赵宇虹,艾波;一种用基本ASM定义SDL静态语义的方法[J];北京邮电大学学报;2004年01期
15 罗一静 ,段红光;如何利用SDL开发TD-SCDMA高层信令[J];电子技术应用;2004年02期
16 沈武威,唐稚松;XYZ系统在电信领域中的应用[J];软件学报;1996年06期
17 赵宇虹,艾波;用基本ASM定义SDL动态语义[J];吉林大学学报(信息科学版);2002年02期
18 赵宇虹,艾波;SDL-2000动态语义定义方法[J];吉林大学学报(信息科学版);2002年03期
19 方立新;GSM移动通信中基站帧单元第三层软件的实现[J];电信快报;1995年12期
20 谭鹏;用SDL语言开发交换系统软件[J];无线电通信技术;1998年05期
中国重要会议论文全文数据库 前2条
1 王颖;张伟磊;艾波;;SDL-2000的新特性分析[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
2 王颖;张伟磊;艾波;;SDL的静态语义定义研究[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
中国硕士学位论文全文数据库 前6条
1 孙珊珊;对翻译等值性的语义学思考[D];四川师范大学;2001年
2 徐泓;WCDMA空中接口RLC层协议的研究与实现[D];中国人民解放军信息工程大学;2002年
3 黄波;GSM协议栈软件的研究和实现[D];湖南师范大学;2001年
4 程勇;基于场景和形式化方法的软件需求建模研究[D];合肥工业大学;2002年
5 唐军;GSM移动终端软件MMI部分的设计与实现[D];西北工业大学;2003年
6 和诚凯;IEEE 802.11协议无线局域网固件(firmware)的研究与开发[D];西安电子科技大学;2004年
中国重要报纸全文数据库 前5条
1 ;什么是编译器[N];中国计算机报;2002年
2 张大军(作者单位:中共中央党校);经济理论的创新之作[N];中国财经报;2002年
3 ;迷你型中日语音翻译器跨越中日语言障碍[N];计算机世界;2001年
4 ;网络课程制作系统新品秀[N];中国电脑教育报;2005年
5 巩秀兰 王彦军 山西省太岳山国有林管理局;浅析如何在Google地球上建立护林防火电子档案[N];科学导报;2011年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978