【摘 要】
：
由于 3G协议规范的复杂性 ,3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些
【机 构】
：
南京邮电学院通信工程系,南京邮电学院通信工程系,南京邮电学院教务处 江苏南京210003,江苏南京210003,江苏南京210003
论文部分内容阅读
由于 3G协议规范的复杂性 ,3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点 ,探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序 ,实现新产品与新标准的同步推出
Due to the complexity of the 3G protocol specification, the 3GPP methodological guidelines encourage the use of standard formal languages for UMTS product design, development and testing. The paper briefly describes the basic concepts and features of the UMTS architecture and some formal languages used in the specification description, and discusses the application of these formal languages in the development of UMTS. Developing UMTS Using Formal Languages Simplifies and Improves Test Procedures, Simultaneous Release of New Products and New Standards
其他文献
在移动通信中 ,移动性建模技术可以广泛用于移动性管理、无线资源管理、移动切换、话务分析等不同方面。文中首先提出移动性建模的基本假设 ,并建立一般的移动性模型 ;在此基
进藏方式很多,喜欢寻求冒险刺激的人大多会选择自驾前往。这次川藏行是由别克新款高档全能中型SUV-昂科威陪伴,操控性能强劲,通过性高,川藏路途险恶,充分保障了驾驶的安全。
摘要[目的]为小麦抗逆育种奠定基础。[方法]结合沧麦12小麦品种的育种经验，阐述沧麦12的育种方法、特征特性和栽培技术。[结果]沧麦12节水、抗寒、抗病、丰产稳产，遗传背景丰富，适宜河北省黑龙港流域冬麦区种植。2013年通过河北省品种审定委员会审定通过，并申请国家植物品种权保护，公告号为CNA010879E。[结论]沧麦12的抗旱耐盐等抗逆性状与丰产性及产量潜力等性状有效结合起来。 关键词沧麦1
现代教育技术辅助地理教学具有形象、生动、动态、直观的优势,能有效激发学生的学习兴趣,帮助教师解决传统教学手段无法达成的目标。
Modern educational technology-assist
针对无线信道的特性和多种无线终端并存的现实 ,探讨了在时变无线网络中向多种客户终端传送视频流的关键技术 ,介绍了分级视频编码和逐级加密技术的综合运用 ,并给出了一种新
统一战线在我国革命和建设事业中有着特殊的重要地位和作用，这是基于中国的历史和国情决定的。无论是在新民主主义时期、社会主义时期、还是在社会主义现代化建设的过程中，统一
随着科学技术的快速发展，互联网新媒体已经不可避免地影响和改变人们的观念、生活方式等等。人类传统交往方式逐渐淡化，取而代之的是网络人际交往。网络是把“双刃剑”，在给人们
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
《玻璃纤维与矿物棉全书》已经拜读。本书既反映了我国玻璃纤维及矿棉行业在几代专家和科技人员倾尽心血的努力下取得科技成果 ,也介绍了国外最新动态。本书的确是当前国内外