The authors propose a new persistent transmission based real time Ethernet MAC protocol that provides a predictable upper bound for the delivery delay of real time frames. Moreover, it is compatible with the protocol ...The authors propose a new persistent transmission based real time Ethernet MAC protocol that provides a predictable upper bound for the delivery delay of real time frames. Moreover, it is compatible with the protocol used by the existing Ethernet controllers for conventional datagram traffic and thus standard Ethernet stations can be used in the system without any modification. The paper describes the protocol in detail and analyses the maximum delivery delay for real time traffic and the efficiency of the channel.展开更多
在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RA...在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RAISE的形式化方法,结合域的模型,在对RBC切换流程分析的基础上,构建状态转移图,得到切换协议的形式化模型,使用等价和推断的推理规则对模型的正确性和实时性进行推理验证,得到的结果表明,RBC切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。展开更多
This paper chiefly introduces the model of Video Conferencing System, H.323 standard of ITU- T and RTP/RTCP protocol, and realizes a WAN- Oriented Video Conferencing System—VCSW (Video Conferencing System on WAN). In...This paper chiefly introduces the model of Video Conferencing System, H.323 standard of ITU- T and RTP/RTCP protocol, and realizes a WAN- Oriented Video Conferencing System—VCSW (Video Conferencing System on WAN). In VCSW, RTP/RTCP pro- tocol is used for transporting media data and video conference on WAN can be established, so VCSW has abroad application scope. This paper stresses analyzing RTP/RTCP protocol, realizes it and modifies some details of it according to our device condition: re- duces some fields of RTP and RTCP header, removes some information managed by RTP/RTCP. Consequently in testing of lab, good effect is achieved.展开更多
介绍DRTD系统中无线列调语音业务的音频回放技术。DRTD系统有线通信基于SIP协议和R T P流进行音频传输,通过混音、加窗语音检测、缓存、格式转换、信令控制等处理流程,将音频流在无线空口上进行传输,并最终在移动终端上实现语音波形回放...介绍DRTD系统中无线列调语音业务的音频回放技术。DRTD系统有线通信基于SIP协议和R T P流进行音频传输,通过混音、加窗语音检测、缓存、格式转换、信令控制等处理流程,将音频流在无线空口上进行传输,并最终在移动终端上实现语音波形回放,从而桥接无线列调中的有线通信和无线通信,为DRTD系统的核心业务提供支撑。展开更多
实时传输协议(real-time transport protocol,RTP)用于视频数据流的实时传输和质量监测。针对可伸缩编码(scalable video coding,SVC)视频数据经过差错信道后出现质量增强层数据丢失的问题,根据RTP封装报头判断丢失的质量增强层位置,采...实时传输协议(real-time transport protocol,RTP)用于视频数据流的实时传输和质量监测。针对可伸缩编码(scalable video coding,SVC)视频数据经过差错信道后出现质量增强层数据丢失的问题,根据RTP封装报头判断丢失的质量增强层位置,采取丢弃或拷贝补偿方法实现差错隐藏。实验结果证明了差错隐藏算法的有效性和标准兼容性。展开更多
基金TheNationalNaturalScienceFoundationofChina (No .6 9984 0 0 3)
文摘The authors propose a new persistent transmission based real time Ethernet MAC protocol that provides a predictable upper bound for the delivery delay of real time frames. Moreover, it is compatible with the protocol used by the existing Ethernet controllers for conventional datagram traffic and thus standard Ethernet stations can be used in the system without any modification. The paper describes the protocol in detail and analyses the maximum delivery delay for real time traffic and the efficiency of the channel.
文摘在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RAISE的形式化方法,结合域的模型,在对RBC切换流程分析的基础上,构建状态转移图,得到切换协议的形式化模型,使用等价和推断的推理规则对模型的正确性和实时性进行推理验证,得到的结果表明,RBC切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。
基金Approval No. of the National Natural ScienceFund: 60573182
文摘This paper chiefly introduces the model of Video Conferencing System, H.323 standard of ITU- T and RTP/RTCP protocol, and realizes a WAN- Oriented Video Conferencing System—VCSW (Video Conferencing System on WAN). In VCSW, RTP/RTCP pro- tocol is used for transporting media data and video conference on WAN can be established, so VCSW has abroad application scope. This paper stresses analyzing RTP/RTCP protocol, realizes it and modifies some details of it according to our device condition: re- duces some fields of RTP and RTCP header, removes some information managed by RTP/RTCP. Consequently in testing of lab, good effect is achieved.
文摘介绍DRTD系统中无线列调语音业务的音频回放技术。DRTD系统有线通信基于SIP协议和R T P流进行音频传输,通过混音、加窗语音检测、缓存、格式转换、信令控制等处理流程,将音频流在无线空口上进行传输,并最终在移动终端上实现语音波形回放,从而桥接无线列调中的有线通信和无线通信,为DRTD系统的核心业务提供支撑。
文摘实时传输协议(real-time transport protocol,RTP)用于视频数据流的实时传输和质量监测。针对可伸缩编码(scalable video coding,SVC)视频数据经过差错信道后出现质量增强层数据丢失的问题,根据RTP封装报头判断丢失的质量增强层位置,采取丢弃或拷贝补偿方法实现差错隐藏。实验结果证明了差错隐藏算法的有效性和标准兼容性。
