基于Prolog的安全协议在线自动化分析

基于串空间理论和约束消减方法,提出安全协议可达性分析模型;采用Prolog实现模型自动推理,利用XSB的Java接口实现基于Web的自动分析工具。     

基于备份路由的DSR协议改进

在按需路由协议DSR基础上,选择最少相交点路由,综合考虑带宽、延迟因素提出了DSRBACKUP路由协议。通过选取一条符合最低要求的较优路由作为备份,以此来减轻振荡对QoS保障造成的影响。经仿真分析,DSRBACKUP路由协议在合适的路由开销下,提高了QoS数据流性能的稳定性,达到预期效果。     

基于角色访问控制模型的空间特性扩展

基于角色的访问控制近年来得到了广泛的研究与发展。提出了一个引入空间特性的角色访问控制模型,在模型中对原有授权约束添加了空间特性,并提出了相应算法解决了空间授权约束和会话的状态转变问题。     

基于鲁棒波束形成的麦克风阵列系统

为了提高噪声消除的鲁棒性,传统的通用旁瓣消除器采用固定波束形成作为输出的系数约束自适应滤波器,采用CCAF的输出作为输入的标准约束自适应滤波器.此系统的跟踪性能随信号频率变化而改变,并且由于波束带宽的影响使得目标语音在低频发生畸变.采用优化波束形成方法来得到较宽的带宽,对输出进行后滤波处理来消除残余噪声.试验表明本方法可明显提高语音信噪比.     

引黄灌区农业面源污染影响因子敏感性评价

农田排水沟渠系统作为农田面源排放和下游受纳水体的过渡带,对于农田径流来说是汇,而对于下游受纳水体是源.氮、磷污染物在排水沟渠输送过程中的迁移特征是农业面源污染防治的核心内容之一.本研究在总结国内外有关研究成果的基础上,通过监测试验、数据拟合和敏感分析来确定水深、流速、水温、pH值、溶解氧浓度等五个主要因子对排水沟渠中氮...     

模糊自适应卡尔曼滤波算法在航位推算系统中的应用

针对实际的应用中车载航位推算系统的模型参数、噪声的统计特性不确定性,影响估计效果,提出了车载航位推算的模糊自适应卡尔曼滤波模型及其滤波算法;该方法通过监视理论残差与实际残差的比值是否接近1,应用模糊推理系统不断地调整量测噪声协方差的加权,对自适应卡尔曼滤波的量测噪声协方差进行递推修正,通过该算法来抑制噪声对精度的影响,进而提高系统的导航精度;仿真结果表明,这种算法能够有效地提高系统的精度,是一种比较理想的车载DR导航滤波方法。     

AGCluStream:一个基于Agent方法的双层流数据聚类算法

流数据聚类是数据挖掘研究中一个热点问题.基于Agent方法的流数据聚类算法AGCluStream采用双层结构,在线层采用格簇存储数据信息,利用Agent操作完成对数据的处理,离线层采用了结合时间框架的窗口分析技术.算法鲁棒性高,能够更好地适应流数据的动态特性,维护数据全局分布的完整性,时间开销适应流数据的高速性.     

嵌入式智能家电远程控制系统设计

设计一种基于嵌入式系统的电话智能遥控家用电器装置。该装置作为一种附件嵌入到电话机中,具有主人手机号码预存识别、密码保护、语音提示操作系统和家电智能控制等功能,实现了家用电器远程智能控制的目的。本文简单地分析本装置的国内需求状况和市场开发前景;提出该装置的具体硬件和软件设计方法。     

基于B/S模式的网络虚拟实验系统的设计与实现

利用.NET控件技术及C#编程语言,设计和实现一套基于B/S模式的网络服务器虚拟实验系统。基于该系统,学生不必进入真实的实验室,只需通过Web浏览器便可以完成具有自主性操作的在线服务器配置实验。本文介绍该虚拟实验系统的设计及应用过程。     

VID Join：Mapping Trajectories to Points of Interest to Support Location-Based Services

Variable influence duration (VID) join is a novel spatio-temporal join operation between a set T of trajectories and a set P of spatial points. Here, trajectories are traveling histories of moving obje...