网格中一种小世界网络的分布式构造方法

如何有效地进行资源定位是影响网格和对等网性能的重要因素,已有的一些资源查找算法引入了小世界原理来提高定位效率和降低网络负载,但没有较好解决小世界网络的构造问题.在Kleinberg小世界模型的基础上,提出了一个小世界网络的构造方法SSWCP(Scalable Small World Construction Protocol),并给出了该方法的数学分析和实现.该方法是分布式的,不必拥有全局知识,每个结点只需维护局部视图,即可使资源定位具有小世界特征所带来的优化的时间复杂度.分析和实验结果表明,该方法具有良好的扩展性,可以提高资源查找的效率.     

智能型动态图像追踪自控车

去年十月份Toyota Lexus的2007年最新车款LeXUS LS 460和Lexus LS 460L 在美国市场上市,两部车子都装置了Toyota最新发展的"高级停车导引系统(Advanced Parking Guidance System)",这个系统是使用一个向后的摄像头和停车声纳传感器侦测周边状况,驾驶人靠在一个停车位旁边,按个按钮,踩煞车以控制速度,系统便会自动接手控制电动动力方向盘,完成路边停车的动作.除此之外,在目前最常应用于工厂自动化系统之中的自动导引车辆(Automatic Guided Vehicle,AGV)系统,可按照程序所下的命令及导引路线进行、停止、转弯,并能和搬运系统作连结;AGV是一种物料搬运设备,能在固定位置自动进行货物的装载,并自动行走到另一位置,以完成货物的卸载的全自动运输设备.     

满足可靠性约束的冗余服务池多目标优化策略

针对服务组合中冗余服务池开销较大、服务响应时间较长的问题,提出一种多目标优化策略,在满足可靠性约束的前提下,优化服务池配置、降低冗余服务池开销和缩短服务响应时间。首先分析了在两种不同容错策略下,满足服务组合特性的服务池多个优化目标;然后采用基因多目标优化算法进行优化,全局采用非支配排序策略,局部采用随机漫步搜索策略。仿真实验通过与现有的研究方法进行对比,优化效果较好,表明该方法可用于优化冗余服务池配置。     

基于Hadoop的校园云计算系统

针对传统的海量数据处理方法硬件成本太高,并行程序编写困难的缺点,在云计算理论的基础上设计了一个用于处理海量数据的校园云计算系统.此云计算系统是在Hadoop分布式计算框架的基础上采用Map-Reduce编程模型实现对海量数据的并行处理,有效解决了成本问题,降低了并行编程的难度.     

一种基于复合混沌系统变参数图像加密新算法

基于变参数的复合混沌系统,提出了一种图像加密新算法．首先,根据一维Logistic映射选择自身的系统参数,并结合三维混沌系统,构造一种非线性耦合函数来对明文进行置乱．其次,根据明文信息和混沌序列,对每一次置乱后的像素点进行像素灰度变换．这样,算法便具有密码学所需的置乱、随机等特性．仿真实验和安全性分析表明,该加密算法加密效果良好,密钥空间较大,并有良好的统计特性,可以有效地抵御穷举攻击、差分攻击以及选择明文攻击等．     

格上基于身份的授权函数线性同态签名方案

为解决远程不可信环境下外包计算的可验证问题,结合基于身份的签名、同态签名和函数签名提出格上基于身份的授权函数线性同态签名方案.该方案可以同时实现对计算结果和云服务器计算行为的验证,并避免使用公钥证书的缺点;在标准模型下基于小整数解问题证明该方案满足弱适应性选择身份、选择消息和选择函数攻击下的不可伪造性.理论分析表明,与现有方案相比,所提出的方案更高效、更安全.     

公平交换协议形式逻辑

在深入分析公平交换协议现有研究和各项安全属性的基础上,由于信任逻辑方法难以分析乐观公平交换协议的公平性和时限性,提出一种公平交换协议形式化模型和推理逻辑.新模型将信道错误转化为攻击行为,将参与者分为诚实与不诚实两类,并将这些威胁归结为两类入侵者.基于模型检查思想,新逻辑将协议定义为Kripke结构的演化系统,将参与者看作异步环境中的通信进程,定义了时间算子控制实体行为的转换.同时,新逻辑继承了信任逻辑简单、实用的优点.以一个典型协议为例,采用逻辑结合模型检查的方法,演示了分析协议的过程.发现并改进了协议实例的安全缺陷.案例分析表明,新逻辑能够分析公平交换协议的公平性和时限性.     

采用动态投票机制的数据网格副本一致性维护

针对网格动态性引起副本数据一致性维护困难的问题,根据网格的动态特性建立了网格系统模型和副本一致性维护模型;提出了适用于低在线率情况的动态投票机制,并在此基础上给出了一种副本数据一致性维护算法,从全局有序性和读一致性等方面证明了该算法的正确性.最后通过模拟实验对副本数取值及可扩展性等方面进行分析,探讨了网格动态性对数据一致性维护的影响.     

基于动态均衡分析的网格资源宏观调价策略

针对现有网格资源调价研究中多采用静态均衡分析而未考虑动态均衡分析和宏观干预调价的问题，提出一种基于动态均衡分析的宏观调价策略。先结合网格特点建立改进的非线性非均衡调价模型，然后对该模型进行动态性和稳定性分析，并根据分析结果提出宏观调价策略。通过实验验证了模型均衡点的存在性和稳定性，以及调价策略的正确性。     

基于灰色预测的分布式系统动态故障检测服务

针对已有故障检测服务不能有效满足分布式系统需求问题,设计了一种适用于分布式系统的动态故障检测服务.根据分布式系统的特点,在定义分布式系统模型的基础上,提出了动态故障检测服务架构.结合心跳策略和灰色预测方法,设计了一种动态心跳机制,并给出了预测模型和动态预测策略,提出了基于该动态心跳机制的分布式系统的故障检测算法.最后,仿真实验验证了该算法的正确性和有效性.