基于UPPAAL的TD-SCDMA随机接入过程的形式化建模与分析

来源 :2004年全国理论计算机科学学术年会 | 被引量 : 0次 | 上传用户:davesd
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对于第三代移动通信系统,目前国际上主要有三种不同的技术标准:CDMA2000,WCDMA,TD-SCDMA.其中TD-SCDMA无线传输技术是由我国提出的第三代移动通信标准.尽管TD-SCDMA的无线传输方案使得通信网络空中接口的整体能力得到了提升,当多个移动终端同时请求接入基站时,如何提高接入效率仍然是一个关键性技术.TD-SCD-MA的随机接入过程是由数据链路层支持的移动终端接入规则.通过随机延迟,该过程降低了接入碰撞的概率,进而提高接入效率.通过对TD-SCDMA协议的随机接入过程的形式化描述,本文给出了其基于时间自动机的系统模型。利用实时模型检测工具UPPAAL的系统验证和仿真,我们讨论和分析了影响整个系统接入性能的三个因素:移动终端的个数,最大随机延迟重试次数和随机延迟的时间设定。
其他文献
随着软件体系结构研究的发展,对软件系统结构的设计和说明也具有越来越重要的意义.目前,出现了一些体系结构描述语言ADL(ArchitectureDescriptionLanguage),这些语言具有很强
目的 药师利用专业知识,对1例使用华法林的慢性阻塞性肺疾病急性加重期伴慢性房颤老年患者进行药学服务.方法 药师根据患者病情、用药史、药物相互作用,给医师提出用药建议,
期刊
@@
目的评价瑞格列奈、门冬胰岛素30或预混重组人胰岛素30R治疗对二甲双胍单药失效的2型糖尿病患者的经济学效果。方法选择确诊为2型糖尿病患者并经盐酸二甲双胍单药治疗后糖化
[病例] 患者,女性,24岁,未婚未育,2013年11月26日因全身皮肤弥漫性潮红,伴瘙痒3d入住我院.患者曾于2013年10月29日至11月5日因原发性癫痫入住我院.考虑患者为育龄期女性,首选
期刊
@@
对软件复用和软件构件的研究始于20世纪60年代后期,30年来人们一直关心的两个问题是:(1)如何有效地表示可复用软件构件?(2)如何在已有的大量构件中找到所需的构件?关于此两问
会议
随着科学技术的日新月异,互连网的发展越来越完善,它已经成为人类生活不可缺少的组成部分.由于Java语言有可移植性和编译后程序代码很小等特点,使Java成为网上最流行的编程语
在当前的药学生本科课程设置中,重化学轻医学的现象十分普遍.这种培养模式不仅不利于药学生知识体系的全面构建和完善,甚至会影响到其毕业后的求职和工作.而通过增加医学类必
期刊
@@
·适用范围: 可广泛用于石油、化工、冶金、煤矿、油田、纺织、机械、印刷、塑料、食品、码头、装卸、给排水、粮油加工等各类行业交流异步电动机拖动设备。如:抽油机、液体
按照通常的观点,软件由程序和文档两部分构成,文档的检测涉及太多的非技术的因素,而目前在软件测试性计算的文献中多把程序测试性和软件测试性当作同一概念,借用此观点,这里
会议
在计算机软件开发领域,多年的经验积累得出这样的结论:在软件过程中软件测试占有最大百分比的技术工作量.并且伴随着软件功能的极度提高和软件规模的扩大,这种趋势还在加剧.
会议