规范描述语言

作品数：15被引量：29H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：陈发堂张德民张乃孝陈慧熊光泽更多>>
相关机构：重庆邮电大学电子科技大学南京邮电大学北京交通大学更多>>
相关期刊：《电信科学》《福建电脑》《电子技术应用》《电力系统保护与控制》更多>>
相关基金：国家科技重大专项国家自然科学基金国防科技技术预先研究基金国家电网公司科技项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
动态可配置网络爬虫系统的形式化研究被引量：2
《福建电脑》2022年第8期1-4,共4页刘业 吴建平 
国家自然科学基金项目(No.61872191)资助。
为了在动态可配置网络爬虫系统开发的初期发现问题,对其进行形式化研究是十分必要的。本文通过SDL对爬虫系统进行形式化建模,并使用仿真的MSC运行结果来对爬虫系统可能出错的情况、可达性以及一致性等性质进行了分析。使用Telelogic TA...
关键词：形式化 规范描述语言 网络爬虫 消息顺序图 
基于IEC61850的继电保护功能时序可视化研究与实现被引量：6
《电力系统保护与控制》2016年第22期182-186,共5页陈德辉 杨志宏 高翔 
国家电网公司科技项目"继电保护远程监控及故障诊断技术研究与应用"
IEC61850标准的应用推动了继电保护信息可视化程度的提升。从实际需求出发,探讨了在继电保护功能时序可视化中应用规范描述语言(Specification and Description Language,SDL)的可行性。提出了将各功能元件等效为不同状态,将不同元件之...
关键词：智能变电站 继电保护 功能时序可视化 IEC61850 规范描述语言 可扩展的有限状态机 
SDL定时器性能分析及改进方法
《军事通信技术》2015年第3期73-76,共4页邹仕祥 张曙光 
定时器是保证通信协议正常运行的基本要素之一,SDL提供了一整套定时器实现方法。测试表明,系统容量大时,SDL提供的定时器方法效率较低。文章深入研究了SDL定时器实现方法,分析了其性能,提出了基于多链表的定时器实现方法,通过修改库文件...
关键词：定时器 规范描述语言框图 多链表 
TD-LTE系统接入层安全性实现与测试
《现代电信科技》2015年第2期22-27,共6页张德民 赵中璇 
国家科技重大专项项目"TD-LTE射频一致性测试仪表开发";项目编号:2011ZX03001-002
可靠的高性能安全性算法是LTE高速数据传输的重要保障,接入层的安全性由PDCP子层来实现。介绍了在开发TD-LTE射频一致性测试仪的PDCP子层的过程中安全性流程的设计、加密和完整性保护算法的实现,然后采用规范描述语言(SDL)和树表描述语...
关键词：TD-LTE 安全性算法 规范描述语言 树表描述语言 
LTE系统中RLC层发送过程与接收过程的详细研究及测试被引量：1
《广东通信技术》2013年第2期74-79,共6页陈发堂 朱明 
通过分析云计算时代的数据中心业务发展需求以及传统网络架构存在的问题,提出了基于FabricPath技术的新一代数据中心网络方案,同时对基于FabricPath技术的新一代数据中心网络方案进行了详尽的研究与设计,包括FabricPath技术的实现机制、...
关键词：长期演进 无线链路控制 非确认模式 确认模式 规范描述语言 树表结合表示法 
系统网络端MAC层测试研究
《广东通信技术》2012年第7期34-37,64,共5页张德民 高继珂 
国家科技重大专项项目(2009ZX03002-009)
协议一致性测试方式的选择对MAC协议实现过程是非常重要的,在设计TD-LTE(时分-长期演进)MAC层协议实现的基础上运用了一种SDL(规范描述语言)+TTCN(树表结合表示法)的测试方式对其随机接入过程多种情况进行测试,最后用ARM芯片集成项目代...
关键词：一致性测试 演进型分组系统媒体接入控制 随机接入 规范描述语言 树表结合表示法 
LTE系统中RLC非确认模式的设计与测试
《广东通信技术》2012年第6期49-53,共5页陈发堂 庹勤 
国家科技重大专项项目"TD-LTE无线综合测试仪表开发"(No.2009ZX03002-009);国家科技重大专项;TD-LTE射频一致性测试仪表(No.2011ZX03001-003-01)
RLC(Radio Link Control,无线链路控制)子层协议是LTE(Long termevolution,长期演进)的重要组成部分,它提供的数据传输功能在LTE系统中有着十分重要的作用。本文主要介绍了非确认模式发送与接收过程的设计,以及非确认模式滑动窗口机制,...
关键词：长期演进 无线链路控制 非确认模式 规范描述语言 树表结合表示法 
TD-LTE接入层安全性设计与实现被引量：2
《电子技术应用》2012年第4期137-140,共4页陈发堂 李静 韩宁 
国家科技重大专项资助项目(2009ZX03002009)
在研发时分-长期演进(TD-LTE)无线终端综合测试仪时,一致性测试有着非常重要的作用。基于此,选用规范描述语言(SDL)与树表描述语言TTCN(Tree Tabular Combine Notation)对接入层安全性的设计进行了仿真测试,提出了一种基于SDL+TTCN的测...
关键词：一致性测试 接入层安全性 规范描述语言 树表描述语言 
TD-LTE系统移动性管理实体测试研究被引量：4
《光通信研究》2011年第4期57-61,共5页李小文 肖垒 宋海贝 
国家科技重大专项基金资助项目(2009ZX03002-009)
在对协议进行实现的过程中,协议一致性测试非常重要。在研制时分-长期演进(TD-LTE)无线终端综合测试仪的过程中,必须依照协议规范进行设计。基于此,文章选用规范描述语言(SDL)与树表描述语言(TTCN)对演进型分组系统移动性管理(EMM)的实...
关键词：一致性测试 演进型分组系统移动性管理 协议栈 规范描述语言 树表描述语言 
SDT在嵌入式软件开发中的应用被引量：1
《无线电通信技术》2008年第5期52-55,58,共5页王宏波 
结合工程实践,介绍了规范描述语言SDL及其开发工具SDT的特点和使用方法,详细介绍了使用SDT进行软件开发的一般过程及开发过程中各阶段需要完成的具体任务,重点叙述了概要设计阶段软件的模块组成,代码编写阶段SDL与C语言混合编程方法,仿...
关键词：规范描述语言 SDL开发工具 VXWORKS 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部