SDL 的一阶谓词表示法及其应用

SDL 是 CCITT 推荐的一种用于描适时实系统软件的功能和行为的标准化语言.它有两种具体语法形式,图形表示法 SDL/GR 和本文表示法 SDL/PR.本文提出 SDL 的一阶谓词表示法,称之为 SDL/FOP.它可以用于 SDL/GR 输入后的内部表示形式.本文还给出一些例子,描述如何运用谓词演算构造处理 SDL/FOP 的工具.     

SDL语言的测试数据选择标准

本文提出了一种新的方法:运用数据流分析技术,来选择测试路径和测试数据.这种技术类似于编译优化所用的方法.目前常用的只通过检查程序的控制流来产生路径选择标准是有欠缺的.本文提出的方法着眼于程序中变量以及状态的定义和引用,并对常用的路径选择其它标准加以比较.本文采用基本的 SDL/GR 语言为模型,来阐述这种新的分析方法.     

程控数字交换机局间信号系统的SDL/GR格式化描述方法

简洁、准确和直观地描述局间信号系统的工作过程,将有助于局间信号设备的研究、分析、设计和实现。本文提出基于 CCITT SDL 语言基础上的信号系统格式化描述方法,并给出了一个程控市话汇接局在国内网中各种接口条件下的局间信号 SDL/GR 状态图。     

基于SDL的PPP协议软件形式化开发

介绍了形式化描述技术及其SDL语言,并以PPP协议为例,研究了协议的形式化开发的整个过程.重点研究了如何利用SDL语言抽象出PPP协议的系统、块、进程和过程并对其进行形式化描述.     

SDL软件设计技术研究

研究了SDL语言及SDL系统的基本结构,分析了如何运用SDL进行协议软件的开发,给出了SDL与嵌入式操作系统VxWorks进行集成应用的方案。SDL语言是CCITT推荐的规格与描述性语言,描述实时、交互式和分布式系统的行为。研究结果对SDL在电信领域的应用有一定的参考价值。     

基于XQA查询代数的去除相关性方法

介绍了一种用于支持复杂XML数据查询优化的XML查询代数XQA以及用于实现XQuery语言的中间语言FXQL,进而提出了一种基于XQA代数的去除相关性方法(de-correlation),通过查询重写引入连接运算的方法,使得人们有可能更多地利用高性能的连接算法来提高查询效率.在扩展了广义表结构的XDM数据模型的基础上,这种查询重写通过FXQL语言的程序变换方法来实现,易于与各种函数式语言编译优化技术相互结合.实验结果证明了该方法的有效性.     

通信规程模拟的新方法

本文介绍一种通信规程模拟的新方法.这种方法的特点是通过功能说明和描述语言 SDL 到通用模拟语言 GPSS 的翻译,直接将通信规程和通信网的描述文件转换成模拟程序.本文以对 ISDN(综合业务数字网)的 D 信道规程 I.451的模拟为例,说明运用 SDL 语言来描述通信规程的方法,并介绍将 SDL 翻译成 GPSS 的主要原理和技术.     

中学英语教学刍议

在中学英语教学中,要正确认识语言知识与语言运用能力的辩证关系,以高素质的教师为中间媒介,促进学生在掌握语言知识的前提下,向语言运用能力转化。同时,要克服听说读写脱节的问题,加强听说读写技能各个环节的训练,发挥最大的整体效应。     

SDL语言的SAVE功能的测试

CCITT SDL语言的SAVE功能可以简化过程来表示,但是使软件测试更为困难.本文分析了SAVE功能的性质,并且提出了测试SAVE功能的方法.     

用GT3开发客户端图形界面

简要介绍了GW SDL与W SDL的关系,并通过实例的方式详细介绍了如何用Java2W SDL——在GT3编程环境下,通过修改Java接口程序生成W SDL程序,实现客户端图形界面的方法;以及在GT3编程环境下如何简化Java2W SDL实现图形界面的方法.实例证明,该方法将会告诉编程者如何用GT3开发客户端图形界面,并在编程过程中大大减少工作量.     

Sign Language Synthesis in Multi-function Perception Machine

ＳｉｇｎＬａｎｇｕａｇｅＳｙｎｔｈｅｓｉｓｉｎＭｕｌｔｉ┐ｆｕｎｃｔｉｏｎＰｅｒｃｅｐｔｉｏｎＭａｃｈｉｎｅＸＵＬｉｎＧＡＯＷｅｎ（徐琳）（高文）（Ｄｅｐｔ．ｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＥｎｇｉｎｅｅｒｉｎｇ，ＨａｒｂｉｎＩｎｓｔｉｔｕｔ...     

论声调语言和语调语言

世界上的语言有成千上万种 ,但总的可以为两类 :声调语言和语调语言。故此以汉语和英语为例论述了两者之间的区别 ,指出声调语言和语调语言是汉、英两个语音系统主要的区别之一 ,因而中国人在学习英语时 ,要注意这个区别。     

英语网络语言对汉语网络语言的影响

英语网络语言对汉语网络语言产生了一定的影响。目前,许多国内学者的研究主要针对汉语网络语言的特点、成因、影响等方面展开,但是,对英汉语网络语言的对比研究较少。研究发现两者有许多相似之处,2种语言均使用缩略、语码混用、谐音、火星文。由于英、汉语言是2种不同的语言,所以2种网络语言有时还用在特定的语言环境中。