论文部分内容阅读
本文采用形式化描述语言SDL对目前仍占主流地位的GSM系统进行了系统、块、进程和过程等分层抽象并对其进行形式化描述。以其中的呼叫过程为例，研究了如何对GSM系统的SDL描述进行仿真、验证与实现，并结合MSC仿真跟踪图，证实设计的正确性。另外，论文还对利用SDL进行实时软件开发的特点进行了总结。
基于SDL的GSM系统设计与实现
【摘 要】
：
本文采用形式化描述语言SDL对目前仍占主流地位的GSM系统进行了系统、块、进程和过程等分层抽象并对其进行形式化描述。以其中的呼叫过程为例，研究了如何对GSM系统的SDL描述进
【机 构】
：
中国民航大学,电子信息工程学院,天津,300300
【出 处】
：
第十三届全国青年通信学术会议
【发表日期】
：
2008年期
其他文献
目前社会上出现显性的和隐性的两种文化漠视的现象。产生文化漠视的原因主要是不懂文化、文化教育不足和功利主义。消除文化漠视应当通过从人的内在提升文化意识和外部制约文
中国教育改革的成败在很大程度上取决于乡镇教育改革的成败，针对乡镇场域的教育文化研究至关重要。当前教育文化研究的盲点之一就是乡镇教育场域的缺失，这会导致研究者与决策者
历史上主要注释家对“格物”的解释都没有完全阐明其本义。本文运用文字训诂和。以经解经”的双重证据，证明“格物”的本义就是运用中国文化特有的取象比类的方法对事物进行分
以人为本的教育就是要将人作为教育的出发点和归宿，但现实的教育偏离了这一点，主要表现在教育科学化、培养有用的人、培养听话的人、培养吃苦的人等方面。教育要回到人本身，必须
在建设和谐校园中，学生非正式群体有着非常重要的作用。本文在剖析概念的基础上，从教学及管理的现实出发，着重就学生“非正式群体”对建设和谐校园的重要作用进行分析，并针对教学
我谨代表提议“举办中日邦交正常化40周年和沙飞诞辰100周年纪念活动”的日本沙飞研究会,向主办方和到场的各位表示衷心的感谢!沙飞在广东省汕头无线电台工作的时候,正值中国
童秉纲,著名力学家、教育家,1927年9月28日出生,江苏省张家港市人。1950年毕业于南京大学工学院机械工程系。1 953年,哈尔滨工业大学力学专业研究生毕业后留校任教,曾任讲师
本文首先介绍了1550nm光纤CATV传输系统的失真的主要来源，然后对系统每部分的失真先是从产生原因和原理上进行了阐述。之后对失真进行了定性和定量的详细分析。最后对光接收机
人类起源是教育起源研究的前提，人脑进化的基本线索是教育起源研究的核心要素，在人科系统演化的后期，大脑出现了不断扩大化的趋势。人属动物的脑体积不断扩大与骨盆尺寸和产道出
全球化是指世界上各民族以全球为空间展开的生存与发展的交往活动。教化是一个人完成由个别性向普遍性的提升的过程。民族认同，是每个民族中的个体使自己提升到民族的普遍的层
会议