搜索筛选:
搜索耗时1.1964秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[学位论文] 作者:施小纯,,
来源: 年份:2004
模型检测技术是最近二十年来最成功的自动验证技术之一,目前已经被广泛地应用于有穷状态系统(包括电路设计和通信协议)的分析与验证。由于这一技术是基于对状念空间的穷尽搜索......
[会议论文] 作者:施小纯,张海旸,
来源:2004年全国理论计算机科学学术年会 年份:2004
对于第三代移动通信系统,目前国际上主要有三种不同的技术标准:CDMA2000,WCDMA,TD-SCDMA.其中TD-SCDMA无线传输技术是由我国提出的第三代移动通信标准.尽管TD-SCDMA的无线传输方案使得通信网络空中接口的整体能力得到了提升,当多个移动终端同时请求接入基站时,......
[会议论文] 作者:施小纯[1]张海旸[2],
来源:2004年全国理论计算机科学学术年会 年份:2004
对于第三代移动通信系统,目前国际上主要有三种不同的技术标准:CDMA2000,WCDMA,TD-SCDMA.其中TD-SCDMA无线传输技术是由我国提出的第三代移动通信标准.尽管TD-SCDMA的无线传...
相关搜索: