网络协议的形式化分析与设计

火龙果软件工程技术中心 1、E-GPRS关键技术 1.1 8PSK调制技术相对于GPRS技术的单一调制方式GMSK(高斯最小频移键控),E-GPRS技术支持两种调制方式:GMSK和8PSK(8相相移

本文档详细的介绍了如何将matlb输出中的分式形式化为小数形式

统一建模语言（UnifiedModelingLanguage，UML）又称标准建模语言，是始于1997年的一个OMG标准，它是一个支持模型化和软件系统开发的图形化语言。本书是UML的入门书籍。

B语言与方法/（英）K.Lano著,鲍涌等译高等教育出版社出版日期：1998.7目录:第一章引言1．1形式化方法

本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成系统开发的方法。首先，介绍了B语言的发展历史及与其他语言的关系，然后，从集合、序列等基本数学符号表示到B语言的结构化机制，再到它所支持的大型

论文研究-反精确现象与形式化研究.pdf,  通过尝试给出软直方图估计模型中样本不完备度和模型粗糙度匹配关系的公式化定义,发现了一个反精确规则.该反精确规则给出的启示是,如果信息是不完备的,则一个较粗

近几年,随着移动用户的迅猛增长,用户对网络通信质量的要求越来越高,移动运营商也都大规模开展了以提高用户感知度为目标的网络优化工作,并提出了对各项主要指标的考核标准。2003年,伴随着CDMA网络的扩容

通过对网络数据包的协议分析，设计并实现了一个网络数据包的协议分析算法（PLD算法）

大量研究结果表明,复杂网络的可同步性与拓扑结构密切相关。 一些典型的复杂网络模型,例如随机网络,小世界网络,BA无标度网络等,具有完全不同的同步性。 本文研究了一种自相似模块结构的分层网络可同步性,重

移动通信网络的维护测试与优化分析