基于Uppaal的移动IPv6协议的模型检测

采用形式化方法对移动IPv6协议系统建立了时间自动机模型,使用实时模型检测工具Uppaal对所建模型的关键性质：活性、移动性和平滑切换等进行了分析和检测. 检测结果证明,移动IPv6协议在切换时存在丢包现象. 通过分析丢包产生的原因,提出了移动IPv6实现平滑切换的理想时间约束条件,并在理想条件下重新验证了协议的性质. 结合模型在理想约束条件下的检测结果指出了提高移动IPv6移动性能的设想.     

幕墙大分格大变位时结构胶的优化设计方法

摘要：通过对硅酮结构密封胶基本力学性能的分析,以及对JGJ102--2003《玻璃幕墙工程技术规范》中关于结构胶宽度和厚度计算公式的解读,针对大分格幕墙系统可能产生大变位情况下硅酮结构密封胶的设计提出了优化方案,此类方案安全性更高,且能更好地节约成本、降低造价。