不同网络负载的Ad Hoc网络路由协议性能分析

通过实验对一种表驱动路由协议(DSDV)以及其中两种按需式路由协议(DSR和AODV)协议的性能进行比较和分析.利用NS-2仿真软件,设计了基于不同网络负载的多组仿真模型,并根据模型进行仿真.之后从分组投递率、时延和路由负荷三个性能指标参数对仿真结果进行了比较.实验结果表明:按需式路由协议DSR和AODV要优于基于表驱动的路由协议DSDV;在两种按需式路由协议之间,随着不同网络负载的加重,AODV协议比DSR协议的性能优势越来越明显.同时分析了造成不同协议之间性能差距的原因,针对AODV协议提出了今后的改进方向.     

和与积数迷的符号化模型检测

和与积是一个著名的数迷问题.采用公告逻辑对该问题进行建模,将其Kripke模型符号化表示为多智能体有限状态程序,并在其上采用一种基于局部命题解释系统语义的知识逻辑符号化模型检测算法计算该问题的所有解.在时态逻辑模型检测器NuSMV基础上扩展实现了本文算法,然后在相同实验平台上用动态认知建模工具DEMO对该问题进行求解.实验表明,我们的算法不仅结果正确,而且在运行效率上与DEMO相比占有绝对优势.     

层次化移动P2P覆盖网络模型的研究与设计

随着P2P技术的迅猛发展、需求与应用的不断拓展、用户数量的急剧增加以及交互方式的日益多样化,P2P系统开始具有高度动态性和复杂性的特征,成为一个典型的复杂网络,其网络拓扑已被证实具有复杂网络的诸多特性。本文从拓扑特征的角度出发,基于复杂网络理论提出了移动P2P覆盖网络模型,将节点按其性能分为稳定节点和移动节点两大类,将稳定节点通过结构化覆盖网络组成可扩展的广域P2P社区,将移动节点通过非结构化覆盖网络组成局域网。这种层次化的覆盖网络避免了剧烈的网络波动,适应了实际网络的动态性变化。仿真结果表明,该模型有较短的平均查询耗时,并可以根据带宽情况调节路由查询的参数,从而获得适当的路由效率。     

基于并行遗传蚁群混合算法的网格资源调度研究

合理的资源调度算法可以在很大程度上提高网格系统的有效利用率。在网格环境中,用户希望自己的任务尽可能快地得到完成,而网格环境则希望尽可能充分地利用所有资源。针对这种情况,本文提出了基于并行遗传蚁群混合算法的网格资源调度,具有较小的时间复杂度和良好的调整性能。实验证明了其正确性与实用性。     

基于扩充环境演算的虚拟组织建模与分析

针对开放网络环境下,开发安全可靠的虚拟组织系统的分析建模与体系结构设计的复杂性问题,提出一种基于组织管理理论的环境演算设计分析方法,给出其语法和语义,以电子机构模型为例,建立它到所设计环境演算的映射规则,并以一个具体的案例,说明该方法的可用性,该演算文法特点是结合多主体组织管理理论的部门、角色、政策、演员等概念,因而更易于与其它系统高层领域概念分析模型建立关联,有利于系统概念模型到设计模型的平滑过渡.     

基于混合遗传与禁忌搜索的网格任务调度的研究

网格技术将所有可用于共享的资源（例如,计算机、存储设备、软件、数据库等）通过网络连接起来,并将它们转化成一种标准的计算能力。为各种复杂的计算任务提供资源,因此网格任务在各种资源之间的调度成为了一个关键的问题。本文通过对遗传算法与禁忌搜索算法的分析,提出了一种混合遗传算法与禁忌搜索算法的策略,把禁忌搜索算法独有的记忆思想引入到遗传算法的搜索过程中,通过把禁忌搜索算法作为遗传算法的变异算子的方法,提高了网格任务调度的有效性。最后,使用网格模拟器,对算法的性能进行了测试,并比较了轻重负载情况下,经典遗传算法和本算法调度方案的性能差异。     

统一混沌系统反馈同步及在保密通信中的应用

基于非线性系统的状态线性化理论,设计了一种新的统一混沌系统同步控制器,实现了加密信息信号准确的恢复.首先通过坐标变换,将驱动系统和响应系统分别转化为类规范型系统,然后对两个类规范型系统构造误差方程.根据线性系统极点配置方法设计反馈控制器,从而实现两个混沌系统全部状态同步.进而,在发送端用多个混沌信号对信息信号进行掩盖后传送出去,在接收端对混沌掩盖信号进行解密从而恢复出信息信号.最后进行数字仿真,仿真结果验证了该方法的有效性.     

基于QoS的分布式接纳控制算法

随着人们对移动自组网(ad hoc网络)研究的深入,服务质量(QoS)已经成为了当前的研究热点之一.为了在ad hoc特殊的网络中提供对QoS的支持,必须设计一种针对流的高效的接纳控制算法.通过分析无线信道的特点,提出了估算本地可用带宽和流可用带宽的方法,同时对流的带宽耗费进行了推导,解决了实现接纳控制必须解决的关键问题,提出了一种基于QoS的分布式接纳控制算法.仿真实验证明,接纳控制算法应用到传统的路由协议(比如AODV)中,性能将会大大提高,并且更适合于实时业务的传输.     

策略驱动的自配置系统形式化建模及分析验证

使计算机系统具有自主配置的能力,可以解决复杂系统面临配置管理难度高和强度大的问题。本文针对策略驱动的自配置系统的配置问题,提出采用CPN建模技术对该类系统进行建模、分析与验证,保证系统自配置过程的正确性;分析了策略驱动自配置系统的基本结构,构造出该类系统的CPN模型,引入CTL的扩展--ASK-CTL描述系统配置过程中具备的性质;最后用CPN Tools2．2．0进行仿真与验证。     

一种哈希表快速查找的改进方法

哈希表由于其速度快的优点在数据查询中有着广泛的应用。本文在结合冲突解决机制和数据元素被查找的先验概率的基础上,提出了一种提高哈希表查找效率的优化方法,并对该方法在链地址法处理哈希冲突的情况下进行了理论分析,与原哈希表方法相比,该方法降低了冲突时执行查询的查找长度,从而使查询响应时间更短。最后对该方法进行行了实例验证,实验结果表明,新方法是有效并且简便的。