SDL形式语义定义现状及其改进

ＳＤＬ语言自身的形工化描述对该语言的不断发展,完善将发挥重要的核心,而ＳＤＬ－９２的形式语义已无法分满足应用需要,本文分析了现有形式语义定义的基本方法,指出其存在的主要不足,并针对ＳＤＬ形式语义的定义方法提出一种基于ＳＤＬ未来发展方向的语义义框架。     

SDL语言中的面向对象概念

介绍ＳＤＬ语言最新版本中的面向对象语言机制,探讨与此相关的概念及其使用方法。在分析类型与实例在系统规范中的区别和联系的基础上,举例说明类型的定义和使用方法,介绍了在面向对象框架下类型的一般化和专门化概念,最后指出ＳＤＬ语言中面向对象概念的不足之处并提出了相关的改进思想。     

面向对象语言BDOL及其支撑环境

本文介绍一种面向对象语言ＢＤＯＬ，它既是系统规范设计语言，又是系统实现编程语言，ＢＯＤＬ语言支持多种面向对象程序设计语言，如Ｃ＋＋、Ｓｍａｌｌｔａｌｋ、ＣＬＯＳ等的混合编程，从而使语言表达能力增强，更加灵活，同时也能达到更有效的软件复用。     

IT图书推荐书目(二)

《ＡＤＳＬ／ＶＤＳＬ原理（翻译版）》 该书是一本系统介绍ＡＤＳＬ／ＶＤＳＬ原理的教材，从ＡＤＳＬ／ＶＤＳＬ的基本原理入手， 对ＡＤＳＬ／ＶＤＳＬ的发展前景、技术特性、运行环境以及ＡＤＳＬ／ＶＤＳＬ在ＷＡＮ中的具体应用作了深入浅出的阐述。第一章介绍了ＡＤＳＬ技术的入门与发展背景；第二章至第五章介绍了ＡＤＳＬ技术的运行环境和基本通信概念，包括双绞线环境、环路分析、功率谱密度和串音模型、串音环境下ＤＳＬ的理论容量；第六章和第七章则分别介绍了ＤＳＬ 技术的调制基础以及ＡＤＳＬ的调制规范；第八章从实用角度介…     

无线接入网业务的先锋──LMDS

介绍了ＬＭＤＳ（本地多点分配业务）的定义及其所承载的业务,讨论了ＬＭＤＳ系统的优势与局限,ＬＭＤＳ的网络组成,ＬＭＤＳ设备以及ＬＭＤＳ在中国的发展情况。     

Hammer 10000 IP DSLAM设备的特点

大容量电信级ｘＤＳＬ宽带ＩＰ接入设备———Ｈａｍｍｅｒ１００００ＩＰＤＳＬＡＭＡＤＳＬ／ＶＤＳＬ与传统的ＩＰＤＳＬＡＭ设备相比具有以下优势。(１)采用纯以太网内核技术 ,支持ＡＤＳＬ组播Ｈａｍｍｅｒ１００００ＩＰＤＳＬＡＭ采用专利技术在ＡＤＳＬ接口板上完全终结ＡＴＭ特性 ,并采用以太网交换架构 ,具有３０Ｇ的背板带宽和全线速Ｌ２／Ｌ３交换能力 ,保证所有端口具有线速转发能力 ,更重要的是解决了困扰已久的在ＡＤ ＳＬ线路上难以开展宽带视频组播业务的难题。同时 ,在线路调制方式上遵循ＡＤＳＬ国际标准 ,能与目前市场…     

无线接入网业务的先锋—LMDS

介绍了ＬＭＤＳ（本地多分配业务）的定义及其所承载的业务,了ＬＭＤＳ系统的优势和局限,ＬＭＤＳ的网络组成,ＬＭＤＳ设备以及ＬＭＤＳ在中国的发展情况。     

XDSL

ＸＤＳＬ是各种类型数字用户线（ＤＳＬ：ＤｉｇｉｔａｌＳｕｂｓｃｒｉｂｅｒＬｉｎｅ）的总称。根据信号传输速率和距离的不同,以及上行信道和下行信道（上传和下载）对称性（速率）的不同,ＸＤＳＬ可分为ＡＤＳＬ、ＲＡＤＳＬ、ＶＤＳＬ、ＳＤＳＬ、ＩＤＳＬ和ＨＤＳＬ等。例如ＡＤＳＬ使用了电话线中从没使用过的频率,并采用了相应的调制技术,在模拟线路中能加入和获取较高的数字数据,因而实现了高速率的传输。从理论上讲,在普通电话线（一对双绞铜线）上能传输高达６０Ｍｂｉｔ／ｓ的通信速率。XDSL     

单线对高比特率数字用户环路信道及噪声模型分析

对数字用户环路（ＤＳＬ）的研究已进入单线对ＨＤＳＬ（ＨＤＳＬ２）的阶段。一个实用的ＨＤＳＬ２系统２要能成倍的提高ＨＤＳＬ的传送速率，同时应保持对ＩＳＤＮ、Ｔ１、ＨＤＳＬ、ＡＤＳＬ线路的频谱兼容性，文章对基于回波消除（ＥＣ）的ＨＤＳＬ２及频分复用（ＦＤＭ）的ＨＤＳＬ２这两种可选择的方案进行了研究，分析了它们的噪声背景及相应的信道容量，指明了设计ＨＤＳＬ２系统的技术难点及研究方向。     

MAPEⅡ：面向多主体的软件开发工具

本文介绍了一个面向多主体的开发工具ＭＡＰＥⅡ、ＭＡＰＥⅡ提供了主体通信语言ＳＡＣＬ,主体描述语言ＡＤＬ,通用主体模板和主体服务器以方便开发多主体系统。系统用Ｊａｖａ编写,并支持基于Ｉｎｔｅｒｎｅｔ的分布式计算。主体可以由通用主体模板和用户编制的功能模块通过系统提供的接口协议和主体描述语言ＡＤＬ方便地构成,并以Ｓ ＡＣＬ为通信语言与中的其他主体一起协同工作。     

一个SDL集成环境IES

随着SDL的日趋完善,对SDL集成环境的需求更加迫切。本文先就国外在此方面的研究作一概述,然后着重介绍我们建立的SDL集成环境IES的原理和实现方法,并描述了SDL的应用前景。     

SDL语言SAVE功能的等价变换

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

基于SDL协议的QoS实现方案

简单数据链路协议（SDL）作为一种新型的IP over技术，其简单性和低开销更能适应高速传输链路的要求，并提供下一代光分组交换网所需要的操作维护管理功能，如何提供服务质量保证（QoS）是IP传输中的核心技术之一，文章介绍了IETF提出的两种实现QoS的业务模型；集成业务模型和差分业务模型，以及SDL；提出了一种基于SDL链路协议上的Diffserv over MPLS的QoS实现方案。     

多主体系统中的动态服务匹配

本文研究了多主体系统的服务匹配问题,分析了目前服务描述语言CDL、SDL和LARKS等存在的不足,并结合Web服务、语义Web服务和Grid服务等特点,提出了一种带语义、继承以及支持协商机制的主体服务描述语言SDLSIN.在SDLSIN的基础上,本文重点研究了多主体系统中的动态服务匹配,提出了四种类型的服务匹配算法.最后,介绍了SDLSIN和服务匹配算法在多主体环境MAGE中的实现方法.     

基于本体的IEC 61850语义信息模型一致性校验

针对IEC 61850互操作过程中出现的模型不匹配问题以及对静态测试列举测试条目较少的缺点,提出基于本体的语义信息模型一致性静态测试方法。基于本体技术对变电站相关知识进行语义建模,可对变电站自动化系统中所包含的知识语义进行有效的描述和传输交换。在基于本体语义测试方法的基础上,设计了一套模型验证工具并详细阐述。     

基于SDL的通信协议开发平台

SDL当前已经普遍应用在通信协议开发中,介绍了一个基于SDL的通信协议开发平台框架和平台中对SDL关键元素的实现方法,通过这个平台提高了通信协议开发中从SDL描述到代码开发的效率和代码的可维护性。     

Failure analysis defect location on a real case 55 nm memory using dynamic power supply emulation

Static and dynamic techniques for defect location are well established in the failure analysis flow of a failing integrated circuit. When a circuit shows an overconsumption on power supply, the useful static techniques are laser stimulation (OBIRCH, TIVA, LIVA, etc.) or photoemission. When the electrical signature is a soft fail, a functional fault or a timing issue the analyst will use dynamic techniques like dynamic laser mapping (SDL, xVM, LVI, etc.), dynamic photoemission or internal probing (Ebeam, TRE, LVP, etc.) by applying a looping test sequence which emulates the fail.In this paper we will present a real case analysis on a circuit showing a static signature (over consumption) and also a functional fault. Both static and dynamic location techniques have been used for the defect location, plus a non conventional approach by applying a clocked power supply sequence to the circuit. A comparison is done between the different signatures and we show that dynamic power supply emulation can bring some additional information on the defect location which is not detected with the conventional static/dynamic approach.     

A simple data link (SDL) protocol for next generation packet network

The simple data link (SDL) is a new framing protocol for variable/fixed length packets over a general-purpose point-to-point communications channel. SDL extends the HEC-like framing mechanism used in ATM to variable-length data. Its low implementation complexity makes it particularly suitable for high-speed transport links in wavelength channels and dark fiber applications. SDL is a very attractive alternative to conventional solutions such as ATM and PPP-over-SONET (POS) for high data rate environments. SDL has also been designed to facilitate many OAM&P functions needed in next generation multiservice optical packet networks including multiprotocol encapsulation, virtual links, quality-of-service (QoS) differentiation, link management, and control. We describe framing and data link synchronization procedures in SDL, and evaluate its performance over octet and bit synchronous transport facilities.