IEEE802.16中的无线Mesh网络研究

1980年3月13日,IEEE批准了一个新的的工程802.IEEE802由LAN/MANStandard Committee(LMSC)负责.就无线通信而言,802 WG定义了802.11WLAN,802.15WPAN和802.16WMAN.与以前的无线技术一样,随着通信实体的距离的增大,数据的传输速率随之降低.对新的应用层业务而言,无论距离多远,都必须要保障高的数据率.要克服链路速率的限制,必须密集地布置无线网路设备.WMN有助于克服当前的无线通信系统对有线主干网络的依赖,因为它们价格便宜并能保证新的无线应用.概括了WMN的发展历程和最新的发展动态,并指出了进一步的发展方向.  

基于Spi演算的Kerberos认证协议形式化研究

网络安全已成为世人关注的问题，安全协议的形式化验证显得越来越重要，基于Spi演算的验证是一种很好的模型检测方法。我们介绍了Spi演算并扩展了两个基本原语，描述和验证Kerberos协议的认证性，同时指出了该协议的不足之处，最后分析了基于Spi演算的形式化研究的今后发展方向。  

公路隧道射流风机通风效果优化研究

以公路隧道射流风机通风效果为研究对象，综合分析影响射流风机纵向通风效果的各项因素，利用计算流体动力学（CFD）理论，对射流风机的安装高度、风机轴线与隧道轴线之间的夹角进行优化仿真分析。以1120型风机为例通过隧道三维建模技术Solidworks进行效果优化仿真，得到最优安装高度及夹角，达到了公路隧道射流风机通风效果的优化。仿真结果表明射流风机的安装高度与射流角度对通风效果的影响趋势呈抛物线特征，存在一个最优的射流风机安装高度和风机轴线与隧道轴线的夹角，为公路隧道通风设计提供了科学依据。  

多阈值分割中一种有效的分等级方法

本文根据最大熵原则和贝叶斯公式，提出了一种针对图像多阈值分割的有效的分等级方法。在该方法中，不用假定图像直方图分布为高斯分布。为了确定最佳的阈值，有五种条件概率分布式供选择。实验证明：我们提出的方法是有效的，在速度方面也有很大改善。  

基于类pi演算的电子支付协议安全性形式化研究*

设计一个满足安全需求的协议非常困难，并且极易出错，因此利用形式化方法来检验安全协议引起了人们极大的关注。使用了类pi演算来验证电子支付协议的认证性和匿名性。  

滨海湿地信息提取方法比较研究

以江苏省典型滨海湿地为研究对象,利用2005年5月26日的Landsat7 ETM+图像数据,在湿地特征及其遥感图像表征分析的基础上,逐步提高湿地信息的提取精度,通过对多光谱遥感图像特征向量的分析,总结出一些湿地信息提取的规则和方法。在滨海湿地光谱特征分析的基础上,对研究区的图像进行了非监督分类,利用湿地的光谱相应特征、纹理特征、主成分变换、归一化差异水体指数等特征和相应的知识规则,得到用于优化分类的知识规则,采用分层分类的方法对非监督分类的结果进行了优化,从而使提取结果的精度较原来有了很大程度的提高。还利用给予数据挖掘的分层分类法进行分类比较,通过建立误差矩阵和对比各种分类方法的分类精度,总结出一套分类精度较高的针对该研究区的湿地信息提取方法。  

多高层钢结构节点计算机辅助设计MTSNode系统

结构辅助设计ＣＡＤ是一门随着计算机技术迅猛发展而蓬勃兴起的技术。近２０年来，国内外在结构辅助设计ＣＡＤ软件方面进行了大量的开发尝试与商业化运作，并且成功地推出了一批优秀的软件工具。目前，结构辅助设计ＣＡＤ软件已经成为结构工程师完成工程设计，提高设计效率与准确性不可或缺的工具。 一般地，建筑结构ＣＡＤ系统基本上可分为三个部分，即前处理、结构分析与设计和后处理。系统的基本组成又可分成若干个不同功能的部分。每个功能部分又由一些模块组成。 ＭＴＳＮｏｄｅ属于多、高层钢结构分析与设计软件后处理中的一部分，也…  

PLC在辊合机上的应用

本文介绍了一种对设备进行分组分时控制的方法，使用PLC控制两台变频器分别拖动两组6台需单独调速的电动机，实现分组分时工作。  

鼠标输入密码一法

学习计算机语言有很多方法,最重要的还是多多编程,一些小程序有时也会产生意想不到的效果。例如笔者想出用鼠标来输入密码的方法:启动VB6.0,新建标准EXE,将Form的AutoRedraw属性设为True,Borderstyle属性设为0,添加以下代码: API函数声明