动态SVDD算法及其应用

针对当前SVDD算法由于过大的优化规模导致检测计算时间过长的问题,提出了动态SVDD算法.通过分析在进行检测工作时新加入检测对象对正域边界的影响,提出:采用核方法形成的边界可近似替代折线所形成的边界.这样,加入新检测对象后,新的边界就只与新的样本点和之前的边界有关,从而可以大大减小优化规模,提高检测的效率.     

时间自动机的LTL性质模型检测研究

为了增强模型检测工具的检测能力,拓宽模型检测技术的应用范围,对基于时间自动机的LTL性质模型检测进行了研究,对自动机的状态空间的存储方式和状态空间的展开过程进行了分析,讨论了LTL性质模型检测工具的检测流程和检测算法的实现策略对工具检测性能的影响,针对制约模型工具的检测能力和检测效率的因素,采取了一些相应的优化改进策略.采用了BDD(二叉决策图)共享存储技术和位编码压缩存储,较有效地减小了空间消耗,缓解了模型检测中状态爆炸引起的内存空间不足问题.与DTSpin等著名的模型检测工具进行了实验比较,取得了较好的实验结果.     

模糊控制在磁悬浮球系统实时控制中的应用

在磁悬浮球系统中采用PID控制时,动态性能较差,控制效果不理想.为了获得控制效果较好的控制器,根据模糊控制原理,设计磁悬浮模糊控制器.根据PID实时控制中的经验,确定模糊控制器的输入输出变量模糊化范围,建立合理的模糊规则表.在Matlab/Simulink中组建实时控制模块,并分别对磁悬浮球系统在无干扰和有干扰下进行实时控制.对控制效果进行分析讨论,证明模糊控制器具有良好的鲁棒性和在非线性系统控制中的有效性.     

基于人工免疫的网络安全态势评估模型

本文将人工免疫原理应用到网络安全态势评估的研究中.通过对入侵检测模型中有关自体、非自体、抗原的形式化描述,建立了抗体细胞的演化机制、动态免疫记忆、免疫监视等免疫机制.依据人体免疫系统抗体浓度的变化与病原体入侵强度的对应关系,建立了网络安全态势实时定量计算模型.     

基于范畴论的多TBox整合研究

在语义Web环境下,单一和分散的知识库会引发数据的冗余和不一致性,且严重影响知识库智能化查询,降低知识库中数据的重用性和可操作性.文中提出一种基于范畴论的多TBox整合方法来整合知识库,旨在解决上述者类问题.此方法具有高度抽象性和强大表达能力的范畴论是多知识库整合的理想工具.将TBox作为操作对象,范畴论中"态射"功能可实现TBox的映射,"外推"功能可实现TBox的整合,最后通过实验验证方法的可行性和有效性,实验结果基本符合要求.     

移动自组网中非完全信息节点风险评估

移动自组网是一种无中心、自组织以及多跳的无线网络,能否有效可靠地对通信节点进行风险评估是保障节点高质量通信的重要因素.当前基于可信度或是信誉的评估方法对评估样本都有特殊的要求,对评估对象提出种种假设,无法辨别间接样本的恶意推荐问题,在实际移动自组网中各个节点尤其是恶意节点对外暴漏的信息往往偏少,样本数量有限,无法明确判断其状态,大部分是非完全信息,从而导致评估结果缺乏客观性与可靠性.文中提出采用灰色系统理论描述通信节点非完全信息状态,根据灰类白化以及灰色聚类思想进行节点风险评估.方案针对自组网络通信需求对节点行为进行多关键属性划分,采用味集群方法收集原始样本,避免恶意推荐;将难以用数值精确刻画的关键属性以白化权函数量化,引入灰聚类的概念和计算方法,将实体的通信风险水平定义为实体关键属性值序列针对各评估灰类的聚类评估值,从而得到该实体通信风险水平的相对参考值.分析与实际计算表明该方法是一种适合移动自组网中非完全信息节点风险评估的有效方法.     

数字信号处理器中高性能可重构加法器设计

设计一款适用于高性能数字信号处理器的16位加法器。该加法器结合条件进位选择和条件“和”选择加法器的特点,支持可重构,可以进行2个16位数据或者4个8位数据的加法运算,同时对其进位链进行优化。相对于传统的条件进位选择加法器,在典型工作条件下,采用0.18μm工艺库标准单元,其延时降低46%,功耗降低5%。     

光纤Mesh网络动态组播业务疏导算法

针对当前低速组播业务请求与光网络高速波长传输容量的问题,基于光网络组播业务疏导模型,提出动态组播业务疏导算法,将新的组播业务请求疏导到已建立的光组播树上,达到提高网络资源的利用率、降低组播业务连接阻塞概率的目的。仿真结果表明,该算法可有效地改善网络性能。     

MANET环境下的TCP Veno性能研究

采用NS2对运行在MANET环境下的TCP Veno的性能进行仿真测试,仿真结果表明,在有背景流、随机丢包且存在拥塞的 MANET网络中,TCP Veno的性能优于TCP Reno,且背景流越大、达到拥塞的时间越短、随机丢包越大,TCP Veno的优越性就越明显。但2种协议的兼容性较差,导致数据包的重传率增大。     

以太网交换机的源指定组播方案

针对边缘网中组播数据转发效率不高的问题,提出以太网交换机的源指定组播方案。在该方案中,交换机利用对IGMPv3报文的嗅探实现指定源的组播数据转发。描述控制流和数据流的运行机制,对该机制进行仿真分析。与IGMPv2嗅探方案的比较结果证明,该方案性能较高。