分布式系统有限状态机扩展模型及检查点准同步方法

    公开(公告)号:CN101572723B

    公开(公告)日:2012-01-04

    申请号:CN200910015947.9

    申请日:2009-06-02

    申请人: 山东大学

    IPC分类号: H04L29/08 H04L12/56

    摘要: 本发明公开了一种分布式系统有限状态机扩展模型及检查点准同步方法,它解决了分布式系统检查点建立过程其精确性和稳定性较差问题。其扩展模型为:它将分布式系统视为若干个进程的集合,有限状态机扩展模型则是由这些有限个进程组成的集合:P={P1,P2,…P0},Pi表示进程,i=1,2,…n;n≥2。准同步方法分为二个阶段,第一阶段由协调进程采集各进程信道信息,判别当前分布式系统状态是否是全局一致性状态,若是则各进程分别保存各自状态,算法结束;第二阶段为核实阶段,若不是一致性状态则确定丢失报文的进程,并由协调进程通知丢失报文的发送进程重发所失报文直到所有报文均被接收或由于超时所有进程非正常退出。

    一种精确实时微变化运动目标检测方法

    公开(公告)号:CN101571955B

    公开(公告)日:2011-08-24

    申请号:CN200910015949.8

    申请日:2009-06-02

    申请人: 山东大学

    IPC分类号: H04N5/14

    摘要: 本发明涉及一种精确实时微变化运动目标检测方法。它解决了目前无法精确、实时检测微变化运动目标的问题,在摄像机静止情况下,针对传统累积差分方法的不足,采用新的加权累积差分方法,通过权值设置实现在限定的累积帧数下既放大微小变化量又抑制检测出随机噪声点,满足运动目标检测对精确性和实时性的要求。其方法为:(1)图像采集模块首先利用摄像机获取场景中的景物视频,得到模拟图像;然后利用图像采集卡将模拟图像转化为数字图像,输入计算机处理器处理模块;(2)在计算机处理模块中首先对数字图像进行预处理以去除各种干扰信号;(3)对预处理后的图像序列进行运动检测,检测过程采用加权累积差分方法,检测完成后得到所求运动目标。

    分布式系统有限状态机扩展模型及检查点准同步方法

    公开(公告)号:CN101572723A

    公开(公告)日:2009-11-04

    申请号:CN200910015947.9

    申请日:2009-06-02

    申请人: 山东大学

    IPC分类号: H04L29/08 H04L12/56

    摘要: 本发明公开了一种分布式系统有限状态机扩展模型及检查点准同步方法,它解决了分布式系统检查点建立过程其精确性和稳定性较差问题。其扩展模型为:它将分布式系统视为若干个进程的集合,有限状态机扩展模型则是由这些有限个进程组成的集合:P={P1,P2,…Pn},Pi表示进程,i=1,2,…n;n≥2。准同步方法分为二个阶段,第一阶段由协调进程采集各进程信道信息,判别当前分布式系统状态是否是全局一致性状态,若是则各进程分别保存各自状态,算法结束;第二阶段为核实阶段,若不是一致性状态则确定丢失报文的进程,并由协调进程通知丢失报文的发送进程重发所失报文直到所有报文均被接收或由于超时所有进程非正常退出。

    一种精确实时微变化运动目标检测方法

    公开(公告)号:CN101571955A

    公开(公告)日:2009-11-04

    申请号:CN200910015949.8

    申请日:2009-06-02

    申请人: 山东大学

    IPC分类号: G06T7/20

    摘要: 本发明涉及一种精确实时微变化运动目标检测方法。它解决了目前无法精确、实时检测微变化运动目标的问题,在摄像机静止情况下,针对传统累积差分方法的不足,采用新的加权累积差分方法,通过权值设置实现在限定的累积帧数下既放大微小变化量又抑制检测出随机噪声点,满足运动目标检测对精确性和实时性的要求。其方法为:(1)图像采集模块首先利用摄像机获取场景中的景物视频,得到模拟图像;然后利用图像采集卡将模拟图像转化为数字图像,输入计算机处理器处理模块;(2)在计算机处理模块中首先对数字图像进行预处理以去除各种干扰信号;(3)对预处理后的图像序列进行运动检测,检测过程采用加权累积差分方法,检测完成后得到所求运动目标。