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

本文介绍了我们在几何知识对象的识别,形式化,结构化和规范化方面的工作,目的是进行语义表示和知识管理。 我们根据几何知识在几何文献中的积累和表示方式对几何知识进行分类,通过调整一阶逻辑的语言来对几何知识

采用模型驱动的FPGA设计方法是目前较为安全可靠的一种方法.但是,基于模型驱动的FPGA设计需要证明FPGA设计模型和生成Verilog/VHDL代码的一致性;同时,芯片设计的正确性、可靠性和安全性也

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

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

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

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

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

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

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

热管理器的优化分析与设计,李胜,吴静怡,本文建立了热管理器设计计算模型,分析了换热系数、气流通道截面积、换热面积密度、管束排列形式等结构参数对热管理器控温性能的