-
题名SDL语言SAVE功能的等价变换
被引量：1
- 1
-
-
作者
刘玉璋
杨放春
-
机构
北京邮电大学
-
出处
《通信学报》
EI
CSCD
北大核心
1994年第4期39-47,共9页
-
基金
国家自然科学基金
-
文摘
本文提出ＣＣＩＴＴ在ＳＤＬ基本集中定义的ＳＡＶＥ概念是可导出的新观点，并通过形式化地定义适合ＳＤＬ的扩展有限状态自动机（ＥＦＳＭ）模型，导出了一个消除ＳＡＶＥ的变换算法，同时证明了该算法保持了变换前后ＥＦＳＭ的等价性。
-
关键词
sdl语言
等价变换
SAVE
-
Keywords
sdl language, EFSM, equivalent transformation.
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名SDL语言的等价变换及工具实现
- 2
-
-
作者
刘玉璋
杨放春
-
机构
北京邮电大学程控交换技术与通信网国家实验室
-
出处
《高技术通讯》
CAS
CSCD
1995年第3期4-8,共5页
-
基金
国家自然科学基金
-
文摘
在分析ＳＤＬ语言文法的基础上，构造了ＳＤＬ／ＦＯＰ的文法形式，并在ＳＤＬ／ＦＯＰ的定义中保持了ＳＤＬ语言各种语法成分的相互关系，从而证明了ＳＤＬ语言与离散形式的ＳＤＬ／ＦＯＰ是等价的，最后给出了ＳＤＬ／ＰＲ到ＳＤＬ／ＦＯＰ转换系统的实现算法。
-
关键词
sdl语言
语言变换
软件工具
程序语言
-
Keywords
sdl language,language equivalent transformation
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于SQL变换的分布式空间查询优化算法
被引量：1
- 3
-
-
作者
黄舟
陈斌
方裕
彭霞
张珂
解学通
-
机构
北京大学遥感与地理信息系统研究所
-
出处
《高技术通讯》
CAS
CSCD
北大核心
2007年第10期1013-1018,共6页
-
基金
863计划（2002AA131020,2006AA12Z201）、国家自然科学基金（40501052）和2005年测绘基金资助项目.
-
文摘
基于新一代GIS技术体系的空间数据的分布特点,提出了一种新的应用于分布式空间查询处理的混合启发式优化算法（HHOA）。该算法参考了传统的基于关系代数变换的启发式优化算法,同时为了克服单调采用直接连接或者半连接的弊端,引入了直接连接和半连接相混合的策略,实现更高的查询执行效率。实例研究表明,尤其是在涉及空间连接的查询前提下,该算法能够有效支持分布式空间查询的处理。
-
关键词
新一代GIS
分布式空间查询
空间查询语言
等价变换
-
Keywords
next generation GIS, distributed spatial query, spatial query language （SQL）, equivalence transformation
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
-
题名XYZ系统在电信领域中的应用
被引量：3
- 4
-
-
作者
沈武威
唐稚松
-
机构
中国科学院软件研究所
-
出处
《软件学报》
EI
CSCD
北大核心
1996年第6期321-330,共10页
-
基金
国家自然科学基金
北京邮电大学程控交换机技术与通信网国家重点实验室资助
-
文摘
最近几年，在软件工程界内部有一种趋势，这就是开发以面向具体领域的ＣＡＳＥ环境．作为这样的一种ＣＡＳＥ工具，ＸＹＺ系统是由一时序逻辑语言ＸＹＺ／Ｅ和一组基于该语言的工具集构成．在ＸＹＺ系统中有很多的工具，它们被用来满足不同的需要．众所周知，ＳＤＬ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｎｄｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是电信领域中的一个国际标准语言，而且有关基于该语言的环境已在开发，但是有关该语言的验证工作，特别是利用有关时序逻辑语言进行验证的工作还不多．作为一种尝试，本文将利用ＸＹＺ系统中的一个子系统ＸＹＺ／ＶＥＲＩ，对ＳＤＬ所描述的有关电信领域中的例子进行验证．
-
关键词
电信
XYZ系统
程序验证
软件工程
-
Keywords
Temporal logic, telecommunication, sdl (specification and description language), XYZ, program verification, CASE tools, program transformation.
-
分类号
F62
[经济管理—产业经济]
-
