基于DVB-RCS(Digital Video Broadcasting and Return Channel via Satellite)卫星无线接入技术标准的宽带卫星通信技术已成为目前研究的热点。现有的DVB-RCS标准以物理层规范为主,其中的无线资源管理技术等重要的宽带无线接入功能的定...基于DVB-RCS(Digital Video Broadcasting and Return Channel via Satellite)卫星无线接入技术标准的宽带卫星通信技术已成为目前研究的热点。现有的DVB-RCS标准以物理层规范为主,其中的无线资源管理技术等重要的宽带无线接入功能的定义缺乏系统性,缺少具有可实现性的无线资源管理体系的描述,尚不能构成一个较完整的卫星宽带无线接入体系结构。针对宽带卫星通信的无线资源管理技术,提出一种基于DVB-RCS的宽带卫星无线资源管理体系结构,给出其主要功能模块设计及关键技术分析,并就可能的实现方法和进一步研究方向进行讨论。展开更多
With the development of message service in telecom networks as well as the Internet,multiple message service formats have been emerging,including Short Message Service (SMS),Multimedia Messaging Service (MMS),Mobile E...With the development of message service in telecom networks as well as the Internet,multiple message service formats have been emerging,including Short Message Service (SMS),Multimedia Messaging Service (MMS),Mobile Email Message (MEM) and Instant Message (IM).Based on the latest research achievements of OMA CPM Organization and GSMA RCS Organization,the message service evolution may have two phases:Integration and convergence,with corresponding overall framework realization methods.展开更多
The Spatio-Temporal Consistency Language(STeC)is a high-level modeling language that deals natively with spatio-temporal behaviour,i.e.,behaviour relating to certain locations and time.Such restriction by both locatio...The Spatio-Temporal Consistency Language(STeC)is a high-level modeling language that deals natively with spatio-temporal behaviour,i.e.,behaviour relating to certain locations and time.Such restriction by both locations and time is of first importance for some types of real-time systems.CCSL is a formal specification language based on logical clocks.It is used to describe some crucial safety properties for real-time systems,due to its powerful expressiveness of logical and chronometric time constraints.We consider a novel verification framework combining STeC and CCSL,with the advantages of addressing spatio-temporal consistency of system behaviour and easily expressing some crucial time constraints.We propose a theory combining these two languages and a method verifying CCSL properties in STeC models.We adopt UPPAAL as the model checking tool and give a simple example to illustrate how to carry out verification in our framework.展开更多
文摘基于DVB-RCS(Digital Video Broadcasting and Return Channel via Satellite)卫星无线接入技术标准的宽带卫星通信技术已成为目前研究的热点。现有的DVB-RCS标准以物理层规范为主,其中的无线资源管理技术等重要的宽带无线接入功能的定义缺乏系统性,缺少具有可实现性的无线资源管理体系的描述,尚不能构成一个较完整的卫星宽带无线接入体系结构。针对宽带卫星通信的无线资源管理技术,提出一种基于DVB-RCS的宽带卫星无线资源管理体系结构,给出其主要功能模块设计及关键技术分析,并就可能的实现方法和进一步研究方向进行讨论。
文摘With the development of message service in telecom networks as well as the Internet,multiple message service formats have been emerging,including Short Message Service (SMS),Multimedia Messaging Service (MMS),Mobile Email Message (MEM) and Instant Message (IM).Based on the latest research achievements of OMA CPM Organization and GSMA RCS Organization,the message service evolution may have two phases:Integration and convergence,with corresponding overall framework realization methods.
基金This work was supported by the National Natural Science Foundation of China(Grant Nos.61370100,61321064)Shanghai Knowledge Service Platform Project(ZF1213)+1 种基金Shanghai Municipal Science and Technology Commission Project(14511100400)Defense Industrial Technology Development Program JCKY(2016212B004-2).
文摘The Spatio-Temporal Consistency Language(STeC)is a high-level modeling language that deals natively with spatio-temporal behaviour,i.e.,behaviour relating to certain locations and time.Such restriction by both locations and time is of first importance for some types of real-time systems.CCSL is a formal specification language based on logical clocks.It is used to describe some crucial safety properties for real-time systems,due to its powerful expressiveness of logical and chronometric time constraints.We consider a novel verification framework combining STeC and CCSL,with the advantages of addressing spatio-temporal consistency of system behaviour and easily expressing some crucial time constraints.We propose a theory combining these two languages and a method verifying CCSL properties in STeC models.We adopt UPPAAL as the model checking tool and give a simple example to illustrate how to carry out verification in our framework.
