基于IPS的DNS协议解析引擎的设计

在对传统的网络安全技术进行研究的基础上,设计和实现了基于IPS的DNS协议解析引擎。阐述了DNS协议解析引擎的总体框架,建立了相关的模型。该引擎采用先进的NEL语言开发平台,实时地检测出异常流量,实现了实时、高性能的网络安全。     

移动商务价值形成机制的多智能体模拟

通过对价值链发展历程以及第三代移动商务价值链形成机理的分析,建立了表明资金流和信息流在价值链中流动规律的多智能体模型。在对移动商务活动中的各相关主体行为进行分析后,给出了参与主体的主要属性及交互行为,并基于多智能体建立了移动商务价值链模型并进行了验证和模拟运行。研究表明,在3G条件下,整个移动商务价值链的价值分配发生转变,内容服务提供商的价值获取比例逐渐加大,未来几年将是移动商务的内容服务发展期。     

基于二阶邻居事件触发智能体系统二分一致性

针对多智能体系统的二分一致性问题,本文利用分布式事件触发控制方法,对多智能体系统二分一致性进行研究。为了加速多智能体系统二分一致性的收敛速度,利用智能体自身及其一阶和二阶邻居信息,设计了二分一致性协议,并对无向连通或有向强连通的拓扑结构进行研究,当拓扑结构是结构平衡时,利用李雅普诺夫稳定性定理,证明了多智能体系统可以在给定事件触发条件下达到二分一致。为验证理论结果的有效性,利用Matlab软件进行数值仿真。仿真结果表明,在所设计的二分一致性协议下,多智能体系统的状态可以达到二分一致。该研究为多机器人系统的编队问题提供了理论基础。     

基于行为语言的智能交互代理

提出了基于行为语言的智能交互代理,利用关键词匹配技术获取用户需求关键信息,触发cplus2asp系统根据行为语言描述的知识及规则进行推理得出调控策略,实现智能人机交互。该智能交互代理的实现方法解决了传统智能交互引擎交互接口不友好、交互过程复杂等问题的局限性。实验结果验证了该方法的有效性。     

移动IP认证协议

在对移动IP协议的基本工作原理以及移动口协议存在的安全威胁进行分析的基础上，给出了移动IP认证协议的安全目标，并提出了一个安全移动口注册协议，对协议的安全性进行了详细分析．     

多智能体系统的群集行为研究综述

近些年来,多智能体系统的群集行为分析已成为复杂网络领域的一个研究热点.本文从个体内部动力系统与个体间的拓扑结构这两个因素出发,对多智能体系统的群集行为问题的发展现状进行概述,并对相应的分布式协议、收敛速度以及实现的条件做了介绍和分析.最后,结合目前的研究现状,讨论了群集行为未来的研究方向.     

二阶多智能体系统的优化一致性协议研究

收敛速度是衡量多智能体系统(MAS)一致性协议的重要指标,是影响系统动态性能的重要因素。将多跳式网络技术应用于多智能体系统的信息传递,使每个智能体获得自身的状态及其邻节点和邻节点的节点集的状态,由此构成的系统拓扑结构引入了虚拟连接网络。在此基础上运用线性系统理论与矩阵论,提出了二阶连续时间线性多智能体系统优化的一致性协议,并利用图的代数连通度性质说明了协议的有效性。数值仿真验证了该优化协议可使多智能体系统的状态快速达到一致,说明提出的协议具有较快的收敛速度。     

网络的移动管理协议——Proxy Mobile IPv6的信令开销分析

IETF提出了基于网络的移动管理协议PMIPv6,PMIPv6与现有的基于主机的移动管理协议不同,它的移动协议是在一些网络实体之间进行而不包括移动节点MN(mobile node).为了研究基于主机和基于网络的移动管理协议的不同特性,采用了分析模型的方法对PMIPv6及一些基于主机的移动管理协议的信令开销进行了分析,结...     

基于时滞状态导数反馈的一阶多智能体系统采样控制的一致性

在具有加权项的时滞状态导数反馈协议下,研究了一阶多智能体系统采样控制的一致性问题。针对多智能体系统很难保证信息连续传递的现实情况,应用时滞分解技术将一致性协议进行了分解,给出了基于采样数据的离散时间一致性协议。在离散时间一致性协议下,给出了一阶时滞多智能体系统渐近实现平均一致的充要条件。当一致性协议退化为较为简单的情况时,将系统渐近实现平均一致的充要条件简化为一个不等式组。最后,相关结论的有效性通过数值仿真被验证。     

移动支持协议可伸缩性研究

为对移动支持协议的可伸缩性进行研究,提出一个合适的网络模型,在此网络模型的基础上采用理论分析的方法分析使用各移动支持协议时关键节点的处理负担,并通过数值仿真的方法对只使用移动IP协议和引入层次移动时HA的处理负担以及采用M IP-RR、C IP和HAWAII等不同的微移动协议时GW的处理负担进行比较.结果表明,引入层次移动与只使用移动IP相比减少了HA的处理负担,增加了协议的可伸缩性;在不同的微移动协议中,使用显式删除旧路径的路径维护策略与频繁发送周期性的刷新报文相比具有较大的可伸缩性;使用路径更新报文发送到交叉MRA的路径更新方法与路径更新报文发送到GW相比具有较大的可伸缩性.     

基于智能体的OWL-S过程模型验证

为保证基于OWL-S的web服务组合的正确性和可靠性,对OWL-S过程模型进行时态和认知属性的验证.将原子过程视为单个服务作为Agent,将组合过程抽象为多智能体系统,把对OWL-S过程模型的验证转换成对多智能体系统的验证.提出了OWL-S语言的形式化模型OWL-S2FSM,设计从OWL-S2FSM到模型检测工具MCTK输入语言之间的转换算法,并应用MCTK对多智能体系统的规范进行验证.实验结果表明,该方法可以有效地验证多智能体系统的时态属性和认知属性.     

面向火灾逃生的群体行为分析与仿真

面向火灾逃生群体行为问题,提出了一种综合情绪与环境因素在内的行为决策模型。该模型利用各智能体的情绪和危险评估初始值,在从众意识与独立意识心理影响下,通过各智能体间行为交互,计算出每个智能体的综合分析值,与各阶段触发阈值比较后,最终做出行为决策。利用Unity3D三维虚拟现实引擎实现了决策模型的仿真验证。与现实中真人、真环境的消防安全演习相比,仿真系统具有安全性高、成本低、不受时间和空间限制等优点。     

移动主机的网络层认证

研究了基于互联网的移动计算网络的安全性问题,首先根据移动计算网络实际应用情况提出了基于网络层的安全协议设计要求,然后依据移动计算网络漫游协议的特点设计了适用于漫游主机及移动代理的双向认证协议,并对协议的性能进行了分析。     

移动终端浏览器的设计和实现

介绍了移动终端网络应用的现状及无线应用协议和WWW两种网络编程模式。在分析移动终端硬件平台特点的基础上,提出了一种移动终端浏览器δ-MTB,并详细描述其体系结构及主要组成部分,给出了设计实现方法。该设计以嵌入式操作系统为基础,具有灵活性、移植性和可扩展性等特点,并在PDA和智能电话等多种不同软、硬件平台的移动终端中得到了具体应用。     

基于Uppaal的移动IPv6协议的模型检测

采用形式化方法对移动IPv6协议系统建立了时间自动机模型,使用实时模型检测工具Uppaal对所建模型的关键性质：活性、移动性和平滑切换等进行了分析和检测. 检测结果证明,移动IPv6协议在切换时存在丢包现象. 通过分析丢包产生的原因,提出了移动IPv6实现平滑切换的理想时间约束条件,并在理想条件下重新验证了协议的性质. 结合模型在理想约束条件下的检测结果指出了提高移动IPv6移动性能的设想.     

智能学习引擎的研究

随着计算机和网络技术的飞速发展,基于网络架构的智能学习系统中知识规则的研究已经成为了一个重要的研究领域．针对智能学习系统提出了智能学习引擎的概念,介绍了智能学习引擎的设计方法．如何查找前序知识点和预测后续知识点,并结合了形式概念对具有偏序关系的知识点进行了研究．     

基于 KQML的多智能体系统建模与验证

为了保证 MAS相关属性的可满足性、有效性以及验证的高效性,提出了一种基于 KQML 通信语言的MAS建模以及能够实现自动验证相关规范的方法.设计并实现了 KQML 语言转化为完整描述状态转换关系的一组状态迁移七元组的算法,以及从七元组到多智能体模型检测工具 MCMAS输入语言ISPL的转化算法,从而实现多智能体系统的自动形式化建模,并用 MCMAS对多智能体系统规范的正确性进行验证.实验结果表明,所提出的算法不仅能够验证多智能体系统的时态规范,还能验证其特有的认知规范.     

移动IP微移动协议的改进与研究

为了解决众多移动主机能方便地接入网络的问题,对现有IP技术的微移动协议进行了分析,针对其依靠单个网关接入核心网的局限性,从增设多个外地网关代理和降低GFA负荷方面进行了改进,解决了原微移动协议的绝对依赖性和瓶颈问题.     

多智能体系统的自适应事件触发平均一致性

针对一阶多智能体系统的平均一致性问题,本文基于自适应事件的控制方法,研究了具有无向连通拓扑结构的一阶多智能体系统的平均一致性。为了确保平均一致性成立,并使系统的控制性能得到提高,分析了多智能体系统通信拓扑图的特性,设计了一种基于事件的自适应控制协议。该协议利用基于状态误差的自适应事件触发条件,使智能体之间的信息传递仅在触发条件成立的时刻进行。同时,基于Lyapunov稳定性理论,得到系统实现平均一致的充分条件,对固定拓扑和切换拓扑情形进行研究,通过Matlab软件进行仿真分析。仿真结果表明,在自适应事件触发控制下,系统的事件触发频率更快,使系统的控制性能得到提高,验证了理论结果的有效性。该研究为多机器人系统的协作问题提供了理论基础。     

基于NPlab的H.530协议分析

针对H.530协议本身的安全漏洞,利用网络通信设计工具NPlab对H.530协议进行了来自于四种不同模型检测器的分析,并对OFMC检测模型所分析出的重放攻击的攻击路径和攻击过程进行分析,发现了H.530协议是不安全的,它有可能遭受来自攻击者的重放攻击.H.530协议是描述H.323协议多媒体移动环境安全规程的协议,本文提出通过增加有效的身份标识对H.530协议进行改进,从而更好地为H.323协议的多媒体移动环境提供安全保障.