摘要：在MANET匿名通信中,使用加密等技术防止攻击者通过消息内容进行匿名攻击,并采用MIX输出策略防范攻击者根据通信模式进行的匿名攻击。基于概率模型检测方法,该文分析几种典型的MIX输出策略在MANET中的应用。结果显示,这几种策略无法防范统计暴露攻击等被动攻击,且防范攻击的能力、平均时延和开销等性能会受到移动性的影响。该文提出同步发送的MIX输出策略,能更好地防御匿名攻击,具有延迟低、受节点移动影响小的特点。

摘要：本文分析了旋转编码器工作原理,设计了一种高精度抗抖动四倍频电路。它主要由鉴相电路、脉冲加减计数电路、抗干扰电路、抗抖动电路和四倍频电路组成。电路采用Altera公司生产的FPGA,利用VHDL语言设计,具有计数频率高、可同时对多个编码器信号进行记数的优点。QuartusⅡ7.2的仿真结果表明,该电路准确可靠,定位精度明显提高,能有效地消除抖动的影响。

摘要：针对传统Agent协商策略学习能力不足,不能满足现代电子商务环境需要的问题,采用Q-强化学习理论对Agent的双边协商策略加以改进,提出基于Q-强化学习的Agent双边协商策略,并设计实现该策略的算法。通过与时间协商策略比较,证明改进后的Agent协商策略在协商时间、算法效率上优于未经学习的时间策略,能够增强电子商务系统的在线学习能力,缩短协商时间,提高协商效率。

摘要：以自动煮糖控制系统的中文GUI控制平台的设计与实现为例,讨论了嵌入式系统中文环境的现状,阐述了如何在嵌入式Linux系统平台上利用QTE(QT/embedded)实现GUI控制平台,并构建出符合应用要求的中文环境,从而大大拓宽了嵌入式系统在煮糖工业中的应用。

摘要：融合各个方面的犯罪证据成为计算机取证研究的一个主要内容。针对静态取证缺乏及时性、不连续性和不充分性等缺陷,提出了一个基于D-S证据理论的动态入侵取证模型,并给出实现的方法。介绍了反馈机制和证据链模块的设计,验证了收集证据的高效性及收集过程的及时性和能动性。

摘要：提出一种基于扩展WSDL变异的Web服务测试方法,并设计算法,自动产生变异后的WSDL文件。为了产生Web服务的接口变异,该测试方法在扩展WSDL文档中应用变异算子,从而能够测试出WSDL文档中的定义错误以及Web服务中的逻辑错误。最后通过一个实例验证了该方法的有效性。

摘要：提出了一种发动机失火检测的新方法。通过分析发动机排气压力波动与发动机工况之间的映射关系,设计出基于排气压力波的发动机失火检测实验系统;模拟发动机失火故障,通过监测排气压力波动态特性的变化实现失火检测。实验结果表明:利用排气压力波检测失火故障的方法准确可靠、直观、便捷,为汽车发动机性能监测和不解体故障诊断提供了一条新的途径。

摘要：在分析了现有分布式数据挖掘算法的运行机制和P2P技术具有无中心、不同步等特点的基础上,通过扩展经典K-mean算法的迭代过程,设计了一种能够用于P2P网络的分布式数据挖掘算法。该算法只需要在直接相连的节点间传递数据,并且能使每个节点上的数据按照全局聚类的结果聚合。最后用模拟实验验证了该算法的有效性。

摘要：在研究低功耗自适应集簇分层型路由协议的基础上,从路由安全的攻防角度入手,分析现有各种路由攻击手段的原理、特点及危害,提出一种基于身份认证的密钥协商安全防范密钥管理对策,同时利用秘密共享技术防范关键点攻击,为无线传感器网络安全路由的设计与实现提供一个可行的方案。

摘要：模型检验方法在有线网安全协议的分析和设计方面取得了巨大成功。无线传感器网络对安全协议同样具有严格的要求;与有线网相比,无线传感器网络在通信环境和网络节点等方面都更为脆弱,为相应的安全协议的分析和设计提出了挑战。提出了一种适用于无线传感器网络的安全协议形式化建模分析方法。它充分借鉴了传统有线网络安全协议的建模方法,在其基础上充分考察了无线传感器网络的通信环境以及网络节点,建立起一个全面并且直观的安全协议运行模型。以***等人提出的SPINS安全协议为例,应用模型检验工具SPIN对其认证性和机密性等安全需求进行了分析验证,发现了该协议存在的漏洞。实例分析证实了模型检验方法在分析无线传感器网络安全协议时的有效性,从而推进了其在安全协议分析方面的应用范围。