移动IPv6的快速切换的代数验证

利用π演算理论分析移动通信系统,可以严格而规范地描述其协议过程,并给予代数验证。文章基于π演算理论来分析移动IPv6的快速切换机制。首先建立了切换的π演算模型,然后通过推导,证明了模型的一致性。这将为移动IPv6的快速切换的研究提供一定的参考和分析价值。

802.11MAC层切换过程的代数验证

8 0 2 .1 1MAC层的切换过程是其协议的一个重要组成部分 ,它影响着网络的动态拓扑结构。利用π演算理论来进行分析 ,可以严格而规范地描述其切换过程。在本文中 ,首先建立了切换的π演算模型 ,然后通过推导 ,证明了模型的一致性。这将为 80 2 .1 1MAC层的研究提供一定的参考和分析价值。

形式规范语言数据求精过程的代数验证方法

软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。规范语言的求精过程可分为数据求精和过程求精。从面向模型的规范语言 (如VDM ,Z)出发 ,提出一种严格定义的类型代数理论和一组基于抽象代数的规则来验证数据求精过程 ,解决了形式规范语言在数据转换过程中的语言一致性问题。

线路坐标的通用计算及代数系统验证

基于各类道路线型曲率呈线性变化的共同特性,给出了线元上任意点坐标方位角的统一计算公式,进而提出了适用于所有道路线型平面测设计算的中桩坐标、边桩坐标的数值积分通用公式,且在M icorsft Excel中得以实现。并对数值积分公式给出了相应的计算机代数系统验证方法。实例计算结果表明通用公式正确有效。