基于无线传感器网络的管道检测精确定位

为了对大范围的工业管道检测装置进行精确定位,采用无线传感器网络,在工业管道外布置磁传感器模块来测量管道检测装置的磁信号.每个磁传感器模块由磁传感单元、处理单元、收发单元、电源单元等功能模块组成.磁传感器模块的测量数据由无线传感器网络传送到处理中心.处理中心依据无线传感器网络发回的磁信号数据,由磁定位算法计算得到管道检测装置所处的精确位置,从而实现管道检测位置的精确定位.     

融合纹理和形状特征的高分辨率遥感影像道路提取

提出一种结合纹理和形状特征提取道路信息的方法。首先利用灰度共生矩阵提取纹理特征,并将其应用于最大似然分类中提取面状道路,然后利用形态学方法分割道路与其相连地物,最后利用提出的3个形状指数(凹度、精密度、偏心角)有效地识别和区分了道路与非道路地物,并最终实现了提纯道路的目的。实验结果证明,该方法可以准确地提取主干道路网,剔除非道路地物的影响。     

基于反射的语义构件描述模型

针对构件语义描述不丰富、构件的扩展性和适应性较差的问题,提出一种基于反射的语义构件模型。该模型在传统构件模型的基础上,引入本体及反射技术,使得构件语义描述丰富,并能根据系统要求及运行环境的变化,对构件进行动态修改。同时,该模型支持自动组装和推理。通过移动应用场景对该模型进行验证,结果表明,该模型的自适应性得到较高提升。     

面向Oracle 11g的语义查询集成平台

在VOEditor本体可视化编辑器的基础上,结合本体的相关知识,采用Oracle 11g和其他推理引擎的语义技术,开发一个基于语义的信息查询集成平台原型系统,介绍其体系结构、主要查询机制、实现技术及初步使用情况。结果表明,该系统能对知识库进行不同程度的推理查询,并能支持大型的语义应用。     

地理信息数据变化检测系统的研究与实现

针对地理信息数据变化的需求,提出一种对地理信息数据进行变化检测的地理信息系统设计方案。探讨变化检测系统的设计思想、功能及系统架构,运用ArcObjects, ArcSDE及Oracle数据库等相关技术进行实现,检测出不同时期地理数据之间的变化信息。实例应用结果表明,该系统对地理信息数据变化的检测具有较高的准确性。     

基于改进遗传算法的TD-SCDMA扇区优化

获得满意的覆盖是TD-SCDMA标准网络规划的重点,为此,在遗传算法的基础上提出基于PCCPCH RSCP覆盖和PCCPCH C/I覆盖的改进遗传算法。采用符合网络多扇区多参数性质的二进制矩阵式编码,为加快收敛速度,给出基于块的交叉方法,同时为防止过早的局部收敛,对适应度函数进行尺度变换。实验结果表明,该算法可以快速收敛到目标解,PCCPCH RSCP覆盖比例和PCCPCH C/I覆盖比例均有不同程度的提升。     

基于信息向量机的神经活动分类和译码研究

利用信息向量机(IVM)算法对来自脑皮层的少量运动神经元激发率进行分类,识别出神经状态,用该神经状态指导神经元激发率的译码。将IVM算法与支持向量机算法、相关向量机算法进行实验比较,结果证明,IVM算法的神经活动分类和译码性能最优,运行时间最短。     

行为时态逻辑TLA定理系统证明及公平性研究

行为时态逻辑TLA(temporal logic of actions)能够在一种语言中同时表达模型程序与逻辑规则,是目前模型检测技术中一个较新的研究方向.为了理解行为时态逻辑与传统时态逻辑之间的理论联系,研究了时态逻辑的语义和定理系统,并根据行为时态逻辑TLA的自身特征指出了TLA中的行为属于时态逻辑T4系统.在此基础上严格的证明了TIA的定理系统及TLA中强公平性蕴涵弱公平性的重要性质,讨论了强公平性与弱公平性等价的条件.最后以实例说明了如何确定动作的强弱公平性,进而建立系统的TLA模型.     

基于击键压力和时间匹配的异常检测方法

为了有效利用用户的生物特征进行入侵者身份识别,提出了一种基于用户击键特征进行异常检测的新方法.该方法根据人们在击键时所产生的按键压力和时间间隔的惟一性,利用正态分布的特性控制模式库生成方式,构造出能够描述每个用户独有特征的击键特征向量库,然后利用模式匹配算法对新登陆用户进行检测.相关实验验证了该方法具有较高的用户识别能力.     

基于802.11i的EAP-TLS认证机制的安全分析

为了有效解决无线网安全认证的问题,分析了无线网的新一代安全标准IEEES02.11i的RSNA建立过程.通过对关键步骤EAP-TLS实体认证机制的研究,指出EAP-TLS认证协议在使用过程中由于配置不当而导致的安全漏洞,以及数据帧没有加密可能受到的DoS攻击,并从降低攻击的发生和协议的改进方面提出了基于隧道的认证新方案.