SDL语言及其在TD-PRS终端开发中的应用

SDL语言是CCITT推荐的规范与描述性语言,由ITU-T发展和标准化,被定义在兰皮书Z.100建议中,采用FSM的概念来描述对象.作为国际标准化的正式语言，它被用来规范描述实时系统，因此主要论述了规范描述语言SDL及其在TD-PRS终端开发中的应用。     

UML到SDL在地铁售票机系统中的应用

介绍了从统一建模语言(UML)到规范描述语言(SDL)的一种转化设计方法，并以地铁售票机系统的设计为例，介绍了具体的转化过程。售票机系统的需求规范用UML描述，系统的设计规范用SDL语言表示。     

SDL在数字系统设计中的应用

作为一种标准的形式语言，SDL已经被广泛地应用在软件设计中。为了进一步扩大其应用领域，进行了在硬件方面的应用探索，以逻辑门电路－－与门为例，以SDT为工具，说明了应用SDL进行特性描述和仿真／验证的方法，由于SDL支持面向对象技术，所以可以把各种常用逻辑电路或数字电路设计为SDL包。通过引用这些包，就能够描述和领导 具／验证复杂的数字系统了。实践证明，SDL在硬件方面的应用是可靠的，而且也是相当简便的。     

应用SDL仿真实现OSI参考模型的探讨

简单介绍了OSI参考模型及SDL语言之后，着重介绍了应用SDL仿真OSI参考模型的具体实现方法。随着SDL语言功能的增强和完善，这种方法在通信领域必将得到广泛的应用。     

SDL进程及SDL环境通信接口分析

简单介绍了SDL语言产生的背景和特点，对SDL的结构、通信、信号以及SDL状态等基本概念做了较详细的说明。这里着重论述了SDL进程和SDL环境的通信机理及实现方法，给出了一种SDL进程在Nucleus PLUS多任务系统上运行的接口实现方法。对于利用SDL软件进行实时通信协议设计具有很好的参考价值。     

SDL进程及SDL环境通信接口分析

简单介绍了SDL语言产生的背景和特点，对SDL的结构、通信、信号以及SDL状态等基本概念做 了较详细的说明。这里着重论述了SDL进程和SDL环境的通信机理及实现方法,给出了一种SDL进程在 Nucleus PLUS多任务系统上运行的接口实现方法。对于利用SDL软件进行实时通信协议设计具有很好的 参考价值。     

ITS专用短程通信的协议验证

针对专用短程通信(DSRC)协议的复杂性以及协议本身由自然语言承载、存在模糊性和二义性的特点,采用协议工程方法来保证协议的完整性、正确性、安全性、可移植性和标准化,并采用SDL对DSRC协议进行形式化描述,在此基础上提出了DSRC协议验证的步骤和实现方法,并对所开发的协议SDL模型进行验证,结果表明了协议的逻辑正确性．     

应用SDL仿真实现OSI参考模型的探讨

简单介绍了OSI参考模型及SDL语言之后,着重介绍了应用SDL仿真OSI参考模型的具体实现 方法.随着SDL语言功能的增强和完善,这种方法在通信领域乃至其它领域必将得到广泛的应用.     

应用软件的自动生成

本文叙述采用人工智能技术研制的基于知识、基于交互对话的面向管理信息系统的自动设计和程序自动生成环境AGE。AGE由自动设计系统ISADS和基于知识的程序生成器KBPG所组成,前者用于产生满足用户需求的设计描述,后者则把这种用SDL语言描述的设计转换为C语言程序。这两个系统已在VAX-11/750机上用C语言建立了实现模型。     

一种规则描述语言——NPRDL语言

提出了一种适用于汉语分析的规则描述语言，主要介绍了ＮＰＲＤ语言对象描述，书写规范、实现技术及其如何被应用于汉语分析，ＮＰＲＤＬ语言具有描述能力强，便于计算机算是和便于书写规则三大特点，它不仅可以描述汉语，还可以描述其他语言，具体实践应用中取得了很好的效果。     

下一代分组交换网的SDL协议

SDL协议是一种新型的数据链路装帧协议 ,主要针对点对点信道中不定长或定长的分组。它对ATM中的 HEC装帧机制予以扩展 ,将之用于不定长数据报。SDL实现容易 ,特别适合于在基于波分复用的高速光纤传送链路中应用。 SDL中也易于实现下一代多业务光纤分组网络所需的很多 OAM& P功能。在高数据速率的环境下 ,与 ATM和 POS相比 ,SDL是一种颇具吸引力的方案。主要阐述了 SDL的成帧、数据链路的同步过程及性能评估     

温室人工补光效果的研究及补光光源配置设计

用 40 0W的高压钠灯 (HPSL)和日光色镝灯 (SDL)两种光源对温室栽培生菜 (Lac tucasativaL .)的生长进行了补光效果测试 结果表明 ,在相同的光照强度下 ,对于光合作用强度的促进效果 ,钠灯比镝灯好 ,但差异不很大 钠灯和镝灯在空间的光照强度分布不一样 ,在相同功率下 ,钠灯所产生的光照强度总体上比镝灯强 根据作物生长对光照的要求和不同光源的光照强度分布特点 ,分别设计了钠灯和镝灯在温室中的合理配置方式 ,钠灯为 0 .1 2 6盏 /m2 ,镝灯为 0 .1 71盏 /m2     

电话会议系统中电话事件状态及状态转移设计

以一个电话会议汇接系统的设计开发为例，针对电话会议汇接系统的实时性、多任务的特点，运用有限状态机模型，从状态和状态转移的设计入手，结合面向对象程序语言编程，探讨此类系统的软件设计的思路和方法。     

用基本ASM定义SDL动态语义

提出了用基本ASM(Abstract State Machine)定义SDL(Specisification and Descripiton Language)动态语义的方法框架。由于SDL的复杂性，重点介绍了用ASM模拟SDL状态机交替工作方式，创建agent和procedure实例以及复合状态应用。该方法简化了当前用分布式ASM定义的SDL动态语义方法。     

SDL-2000动态语义定义方法

讨论了SDL-2000的建议Z．100的附件F中用分布式实时抽象状态机(ASM：Abstract State Machine)形式地定义SDL(Specisification and Descripiton Language)动态语义的方法。与基于通信顺序进程的方法相比，该方法能够更直接地定义SDL的动态语义，具有易于维护和可读性好等特点。     

简单数据链路协议的同步性能

简单数据链路协议 (SDL)是一种新的且具有实现简单和低开销特点的数据链路协议 ,其同步方式采用了帧头循环冗余码 (CRC)校验实现。互联网工作组 (IETF)建议给出了适用于互联网协议 (IP)数据包传输的多捕捉器的 SDL帧同步方案。采用状态转移方程的方法 ,对其同步平均持续时间、失步平均持续时间等主要性能进行了研究 ,并给出了数据分析结果。针对该方案失步平均持续时间过长的缺点 ,提出了一种改进的帧同步方案。理论分析和计算结果表明 ,此方案可以有效降低 SDL 帧同步的失步平均持续时间 ,改善了 SDL 帧同步系统的性能。