摘要：本文提出了将形式化方法引入无线传感器网络通信协议设计的观点,简要介绍了形式化设计方法,针对无线传感器网络的特点设计了简化路由协议,同时利用SDL语言工具对其进行设计与实现,协议的具体实现证明上述方法的应用对确保协议的逻辑正确性,缩短开发周期都起到了重要的作用。

摘要：鉴于潮流能水轮机叶轮叶片性能的好坏关系到叶轮的捕能效果,而叶片翼型的水动力性能是叶片设计的基础,基于CFD软件ANSYS CFX对部分翼型的水动力性能进行了分析。首先在不同湍流模型下对NACA2412翼型的部分水动力特性进行数值模拟并与试验值做对比分析;然后在SST湍流模型下,对NACA64421翼型在攻角为0°时,探讨了边界层网格对数值模拟结果的影响;并对其在攻角为-2°-20°情形下的水动力性能进行了数值模拟。结果表明,湍流模型的选用、边界层网格划分及近壁尺寸的选取对数值模拟结果的影响均较大,并通过数值模拟得到了NACA64421翼型的升力系数、阻力系数、最佳攻角、失速角等水动力性能参数,可为水轮机叶片设计时翼型的选取提供参考。

摘要：潮流能作为一种清洁无污染而且蕴藏丰富的可再生新能源,对其合理开发利用可以有效缓减能源短缺的问题。文中选用N A C A 644X X系列翼型,以得到较高捕能系数的水轮机为目标,基于叶素-动量(B EM)理论,给出了叶轮叶片设计的步骤,分别以翼型前缘和翼型最大厚度为基准设计出两种30 W的小型水平轴潮流能水轮机叶片;然后运用叶素理论和动量理论对叶轮捕能系数进行了理论计算,即运用C FD软件A N SY S C FX对设计出的叶轮模型捕能系数进行了数值模拟计算并与理论值进行了对比。结果表明以翼型前缘为基准设计出的叶片捕能效果更好,同时验证了叶素理论与动量理论的等效性以及运用叶素-动量理论进行叶片设计的有效性。

摘要：叶轮作为潮流能水轮机捕能的关键部件,其水动力性能以及结构性能会影响水轮机的捕能效果及其结构的安全性。本文以30 W的小型水平轴潮流能水轮机为例,分别基于单向流固耦合和双向流固耦合模型对在设计工况下的叶轮水动力性能与结构性能进行了稳态分析,对比研究了两种耦合模型所得到的叶轮捕能系数、叶轮表面压力分布等水动力性能和叶轮应力分布等结构性能,为进一步对叶轮结构优化提供参考依据。