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切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。展开更多
实时传输协议(real-time transport protocol,RTP)用于视频数据流的实时传输和质量监测。针对可伸缩编码(scalable video coding,SVC)视频数据经过差错信道后出现质量增强层数据丢失的问题,根据RTP封装报头判断丢失的质量增强层位置,采...实时传输协议(real-time transport protocol,RTP)用于视频数据流的实时传输和质量监测。针对可伸缩编码(scalable video coding,SVC)视频数据经过差错信道后出现质量增强层数据丢失的问题,根据RTP封装报头判断丢失的质量增强层位置,采取丢弃或拷贝补偿方法实现差错隐藏。实验结果证明了差错隐藏算法的有效性和标准兼容性。展开更多
阐述五轴机床的RTCP(Real-time Transport Control Protocol)和非RTCP功能原理,研究双转台五轴机床的编程及加工机制。通过实验研究五轴RTCP及非RTCP后处理关键参数定制方法,使用NX后处理构造器建立后处理程序。利用Ver⁃icut平台进行零...阐述五轴机床的RTCP(Real-time Transport Control Protocol)和非RTCP功能原理,研究双转台五轴机床的编程及加工机制。通过实验研究五轴RTCP及非RTCP后处理关键参数定制方法,使用NX后处理构造器建立后处理程序。利用Ver⁃icut平台进行零件仿真加工,分析和比较加工结果,验证所提出的后处理器的正确性。研究结果为相关从业人员提供参考。展开更多
基金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切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。
文摘实时传输协议(real-time transport protocol,RTP)用于视频数据流的实时传输和质量监测。针对可伸缩编码(scalable video coding,SVC)视频数据经过差错信道后出现质量增强层数据丢失的问题,根据RTP封装报头判断丢失的质量增强层位置,采取丢弃或拷贝补偿方法实现差错隐藏。实验结果证明了差错隐藏算法的有效性和标准兼容性。
文摘阐述五轴机床的RTCP(Real-time Transport Control Protocol)和非RTCP功能原理,研究双转台五轴机床的编程及加工机制。通过实验研究五轴RTCP及非RTCP后处理关键参数定制方法,使用NX后处理构造器建立后处理程序。利用Ver⁃icut平台进行零件仿真加工,分析和比较加工结果,验证所提出的后处理器的正确性。研究结果为相关从业人员提供参考。
