论文部分内容阅读
对两种通信软件描述语言ＦＤＬ和ＳＥＱＤ进行了简要介绍，给出它们基本对应关系的一致性定义，用状态树的概念对ＦＤＬ和ＳＥＱＤ之间的一致生检验方法进行了形式化分析与描述。
两种通信软件描述语言间一致性检验的定义及分析
【摘 要】
：
对两种通信软件描述语言ＦＤＬ和ＳＥＱＤ进行了简要介绍，给出它们基本对应关系的一致性定义，用状态树的概念对ＦＤＬ和ＳＥＱＤ之间的一致生检验方法进行了形式化分析与描述。
【机 构】
：
北京邮电大学计算机科学与技术学院
【出 处】
：
北京邮电大学学报
【发表日期】
：
2000年3期
其他文献
中华上下五千年,留下了许多文化瑰宝,其中之一便是中国古诗词。古诗词作为各朝各代流行性很强的一种文学语言形式,其在中国几千年历史中对儿童以及汉语言初学者有着很重要的
提出一种新型的固定无线接入系统入机操作界面，使用Ｉｎｔｒａｎｅｔ技术，通过以太网接口实现控制台操作的网络化，并保证操作的安全和可靠，系统结构的灵活性和功能的可扩充性使得本文提出的控制台
本文分析了ＡＰＳ协议在ＳＤＨ中与在全光网络中的区别，提出了描述和实现ＡＰＳ协议的一种新的方法，利用这种方法来表述和实现协议简单、而又完善，并且非常利于系统协议的升级。
以PHIGS为基准,结合体视投影的特点推出了对应于体视投影的观察方向变换和观察映射变换的变换矩阵,并对体视观察空间及其变换进行了分析和研究.
The geochemical features of rare earth elements (REEs) in the North and South sewage discharge channels of Tianjin were studied. The results show that concentra
借鉴了国外Twitter的采集方法,目前,国内微博信息的采集方法主要为网络爬虫采集和基于新浪微博开放平台API文档采集。但普通网络爬虫不具备登录功能,而新浪微博开放平台API有
社会主义新农村建设作为我国现代化进程中的战略任务，是我国政府的一项重要使命。它的宗旨、任务和目标，都体现了政治正义的价值诉求。政治正义也对推进这一伟大事业提出了具体
提出了一种基于受限平均输出能量 (CMOE)准则的用于多径 CDMA信道的盲多用户检测器 .与以前提出的盲多用户检测器相比 ,它充分利用了两个子空间的特性和结构 :所需用户的扩频