SDL语言SAVE功能的等价变换

本文提出ＣＣＩＴＴ在ＳＤＬ基本集中定义的ＳＡＶＥ概念是可导出的新观点，并通过形式化地定义适合ＳＤＬ的扩展有限状态自动机（ＥＦＳＭ）模型，导出了一个消除ＳＡＶＥ的变换算法，同时证明了该算法保持了变换前后ＥＦＳＭ的等价性。

SDL语言的等价变换及工具实现

在分析ＳＤＬ语言文法的基础上，构造了ＳＤＬ／ＦＯＰ的文法形式，并在ＳＤＬ／ＦＯＰ的定义中保持了ＳＤＬ语言各种语法成分的相互关系，从而证明了ＳＤＬ语言与离散形式的ＳＤＬ／ＦＯＰ是等价的，最后给出了ＳＤＬ／ＰＲ到ＳＤＬ／ＦＯＰ转换系统的实现算法。

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

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

一种基于SQL变换的分布式空间查询优化算法

基于新一代GIS技术体系的空间数据的分布特点,提出了一种新的应用于分布式空间查询处理的混合启发式优化算法（HHOA）。该算法参考了传统的基于关系代数变换的启发式优化算法,同时为了克服单调采用直接连接或者半连接的弊端,引入了直接连接和半连接相混合的策略,实现更高的查询执行效率。实例研究表明,尤其是在涉及空间连接的查询前提下,该算法能够有效支持分布式空间查询的处理。

试论科技英语翻译的“叙事与美学”原则——评“动态对等”之意义与不足

本文从一个全新的角度指出翻译理论中应遵循的一条原则:翻译应具叙事功能和美学功能。结合科技英文翻译实际客观地评价了奈达的"动态对等"理论,指出了不足之处,并说明了美学功能在科技英语翻译中的重要性。

语言、文化与翻译

语言是人们进行交流的工具,是文化的载体;文化是一个社会的整个生活方式,一个民族的全部活动方式;翻译是两种文化沟通的桥梁,是人们进行交流的方法之一;文化转换与翻译等值是翻译工作者应当注意的首要问题。

XYZ系统在电信领域中的应用

最近几年，在软件工程界内部有一种趋势，这就是开发以面向具体领域的ＣＡＳＥ环境．作为这样的一种ＣＡＳＥ工具，ＸＹＺ系统是由一时序逻辑语言ＸＹＺ／Ｅ和一组基于该语言的工具集构成．在ＸＹＺ系统中有很多的工具，它们被用来满足不同的需要．众所周知，ＳＤＬ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｎｄｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是电信领域中的一个国际标准语言，而且有关基于该语言的环境已在开发，但是有关该语言的验证工作，特别是利用有关时序逻辑语言进行验证的工作还不多．作为一种尝试，本文将利用ＸＹＺ系统中的一个子系统ＸＹＺ／ＶＥＲＩ，对ＳＤＬ所描述的有关电信领域中的例子进行验证．