双向迁移概率PS-粗糙集模型及应用

在粗糙集基础上,既考虑集合X的动态特性,又考虑知识库中的统计信息,构建了概率近似空间上的双向迁移PS-粗糙集模型,讨论了PS-粗糙集的性质及相关定理,证明了PS-粗糙集是S-粗糙集和Z.Pawlak粗糙集的进一步扩展,S-粗糙集和Z.Pawlak粗糙集是PS-粗糙集的特例。与S-粗糙集相比,PS-粗糙集的动态集合X*的近似精度得到相对提高,从而提高了决策精度。通过实例验证了PS-粗糙集的有效性。

内P_ρ-集合与元素迁移概率特征-应用

在P-集合与元素迁移的随机性基础上,给出了元素迁移概率与内Pρ-集合XpF()的概念,讨论了XPF()与XF的关系和内Pρ-集合XPF()的随机特性,得到XPF()与元素迁移概率关系定理、集合X的内Pρ-集合族与内P-集合族不可辨识定理,最后给出应用。

鄂尔多斯周边地震带间和带内地震的迁移概率

应用马尔可夫链和地震发生率统计关系,建立了鄂尔多斯周边地震带、带间和汾渭地震带各盆地间地震的相对时空转移概率模型,定量地给出了未来2——5年地震带间和盆地间至少发生一次或一次以上不同震级阈地震的相对概率。

劳动力迁移的选择性与迁出地人力资本形成

考察了劳动力迁移对欠发达地区人力资本投资的影响,结合迁移本身所表现出来的特点,把劳动力迁移的选择性特征和劳动力的异质性引入一个人力资本投资模型,研究了劳动力迁出地区人力资本的内生决定,并分析了劳动力迁移有利于欠发达地区经济增长,进而促进地区间经济收敛的条件。

青海及邻区强震迁移活动规律分析

通过分析,研究了青海及邻区Ms 6．8强震在不同地震带之间的迁移规律;6级地震在各个地震带内部不同地段的迁移特征及不同时段。强震集聚区在各个地震带的相互迁移规律和循环特征。研究结果表明,强震存在北东方向的迁移规律。同一个地震带内存在沿规模宏大的主活动断裂自西向东或者由东向西的迁移规律。利用马尔科夫过程讨论了其迁移概率。

单向变异S-粗集的概率特征

利用单向变异S-粗集的结构,给出元素迁移的概率特征:属性集α的下近似概率特征,属性集α的上近似概率特征,利用这些结果,给出单向变异S-粗集的概率特征,提出单向变异S-粗集的随机结构与随机定理.单向变异S-粗集的结构是单向变异S-粗集的随机结构的特例,单向变异S-粗集的随机结构是单向变异S-粗集结构的一般形式.

内P-集合的概率特征

利用P-集合的结构,给出元素迁移的概率特征:属性集α的内P-集合概率特征,利用这个结果,给出内P-集合的概率特征,提出内P-集合的随机结构与随机定理。普通集合的结构是内P-集合的随机结构的特例,内P-集合的随机结构是普通集合结构的一般形式。

双向变异S-粗集的概率特征

利用变异S-粗集理论和属性迁移的随机性,给出双向变异S-粗集的依概率生成;讨论了双向变异S-粗集的概率特性.

单向变异S-粗集对偶的概率特征

利用单向变异S-粗集对偶的结构,给出属性迁移的概率特征:属性集α的下近似概率特征,属性集α的上近似概率特征,利用这些结果,给出单向变异S-粗集对偶的概率特征,提出单向变异S-粗集对偶的随机结构与随机定理.单向变异S-粗集对偶的结构是单向变异S-粗集对偶的随机结构的特例,单向变异S-粗集对偶的随机结构是单向变异S-粗集对偶结构的一般形式.

基于概率模型检验的Web服务系统可靠性分析

为了实现对Web服务系统进行可靠性分析,采用概率模型检验技术对其行为模型进行形式化验证是一种有效方法.但该方法需要对服务系统的分布式特征进行建模,因此利用分布式日志收集系统Flume NG实时收集Web服务器日志并对其进行预处理操作,针对日志采集频率问题采用Kafka进行日志缓存,通过Storm分析日志数据并构造用于描述服务可靠性的概率迁移矩阵.采用概率标签迁移系统PLTS描述服务行为模型,采用概率计算树逻辑PCTL描述服务系统需求性质,集成概率模型检验器PRISM支持自动化定量验证和分析,从而实现基于概率模型检验的Web服务可靠性分析.最后通过案例研究和验证数据分析证明所提方法的有效性和可行性.

基于组件自动机的概率连续行为的形式化模型

信息物理融合系统是由具有离散性的信息系统和具有连续性的物理系统通过端口进行数据、控制信号的通信组合而成。采用形式化方法对信息物理融合系统进行描述和验证,对于提高系统的正确性、可靠性和安全性具有重要的意义。信息物理融合系统的系统特性与组件交互自动机的建模思想相吻合。在现有的组件交互自动机的基础之上,提出了一种新的组件交互自动机——概率混成组件交互自动机,并给出了相关的定义及其进行组合的算法。概率混成组件交互机与之前的组件自动机相比,引入了状态迁移的不确定性以及状态内部的连续动态性,既能够描述系统状态上的不确定状态迁移,又能够对状态内部的连续行为特性进行刻画,便于对信息物理融合系统内部的不确定性和连续性进行很好地描述。

树形传感网络中一种不等概率标记追踪策略

文章的主要创新是改进了日志与标记与策略中所有节点都采用相等的标记概的不足。提出了一种非等概率标记、日志与迁移(unequal probability marking logging and migration,UPLM)策略。在文章提出的策略中,每一个节点依据其距离基站的距离不同而采用不的标记概率,对于远基站区域的节点采用大的标记概率,而对于近基站区域的节点采用小的标记概率。远基站区域较大概率的标记被迁移到更远的剩余存储容量大的节点存放,从而增大的网络的标记量,也就是提高了安全。而对于近基站区域的节点采用较小的标记概率,以减少近基站区域节点存储容量与能量的不足,从而使得整个网络的安全,帮助与存储需求等性能得到了提高。通过大量的实验结果表明,对于一般的树形无线传感器网络,文章提出的UPLM策略存储的标记量是等概率策略的1.12倍到1.28倍,存储容量有效利用率是其它策略的1.15-1.26倍。

概率系统差分隐私研究综述

尽管大数据分析在许多领域展现出巨大价值,但目前大数据的发展仍然面临着诸多问题,隐私保护便是公认的关键问题之一.在大数据背景下,数据间存在着复杂的关联性.为防止攻击者利用先验知识获取隐私,Dwork提出了差分隐私概念.近年来,差分隐私受到了广泛关注,成为有望解决数据隐私问题的一个重要研究方向.值得注意的是,在诸如执行MapReduce计算的Airavat等系统中,差分隐私技术仅用于构件层面.显然,保护单个构件的隐私并不意味着保护了整个系统的隐私.为此,国内外许多学者从系统层面研究了隐私保护.文章在简要回顾传统差分隐私提出的背景、定义及理论方面的进展后,从形式化方法的视角,综述概率系统差分隐私的最新研究进展和研究方向,以期促进该领域的进一步研究.

基于随机游走过程的多点地质统计学建模方法

在分析国内外建模方法现状及其特点的基础上,提出了一种用于河流相储层模拟的新方法,即基于随机游走过程的多点地质统计学方法(RMPS)。首先提出了7个方向迁移概率计算及4个方向河道源头搜索的随机游走过程的改进,实现了高曲率回旋河道和网状河等模拟以及各种类型河流相的主流线预测。其次在预测河道主流线的基础上,利用它对多点地质统计学的数据事件选择性进行约束,从而提高了数据事件选择的合理性,可以获得更加准确的河道地质模型。通过对GoogleEarth取得的现代河流卫星图片模拟结果表明,RMPS比多点地质统计学方法更好地再现了河道的形态。敏感性分析结果表明,该方法具有一定的稳定性。

云平台中多宿主等待队列动态预测调度算法

由于云平台中多宿主数据流在调度过程中容易发生阻塞和负载失衡,为此,提出一种等待队列动态预测调度算法。首先对请求包流入队的情况进行预测,搜索出请求包流存在的可用等待队列,并得到每个等待队列中的最大请求包数量预测边界,比较确定当前时刻入队的请求包流。然后通过负载情况确定当前等待队列的忙闲,再根据马氏迁移概率预测出最佳迁移队列,从而完成请求任务的迁移,使云服务任务能够得到及时有效的处理。为了准确判断等待队列的忙闲状态,采用流量等级作为判定依据。最后为了使任务迁移适应云平台的分布式集群架构,在预测调度时加入了对虚拟机状态的衡量。通过对最大输入率、负载均衡性,以及响应延时的仿真,验证了等待队列预测调度算法能够快速有效的处理云平台中多宿主请求数据包流,并且具有良好的响应延时和负载均衡性,避免发生调度阻塞。

基于自回避随机游动方法的曲流河河道的建模研究

研究了游动者在给定约束条件下的一种基于网格的自回避随机游动算法的实现,并利用该算法实现了对曲流河河道形态的建模。影响游动者迁移的约束条件有游动主方向,格点的吸引因素、排斥因素。在网格区域中完成一次随机游动之后,记录游动者经过的格点,通过样条插值对连接格点的路径进行曲线拟合,将拟合后的曲线加宽并光滑处理,实现对自然界中曲流河河道的模拟,该系统利用OpenGL图形库在C开发环境进行了实现。利用该算法,还可实现海岸线等自然界具有蜿蜒曲折的形态物体的在条件限定情况下的建模。

行人的集团行为对通道交通的影响

【目的】研究在行人通道中,行人结队行走对交通拥堵的影响,避免突发事件的发生。【方法】基于偏向随机行走格子气模型,提出行人通道中行人结队行走的偏向随机行走格子气模型。结队人群在通道中的行走规则与单个人行走时一样,行进的方向是一致的,行进过程中不能后退。每个集团的人群由n1×n2个人组成,占据n1×n2个格点。考虑向左、向右、向上和向下行走的4种人群。【结果】在行人交通流中出现从自由相到堵塞相的相变现象,且相变的临界密度与行人集团的尺度有很大的关系。【结论】相变的临界密度取决于行人集团的尺度,行人集团的尺度和迁移系数影响阻塞相变。

基于改进细菌觅食算法的配电网重构

提出一种改进细菌觅食算法,能使配电网重构计算更加实际有效,通过IEEE33和IEEE69节点系统的仿真计算,结果表明所提方法在全局寻优和收敛速度上有较好能力,适用于当前配电网结构复杂,计算量大的特点。

基于构件软件的可靠性评估模型

当今的软件规模越来越大、结构越来越复杂。软件开发摆脱了过去那种从零开始的做法,而趋向于基于构件的开发。因此,基于构件的软件可靠性评估问题越来越重要。当前已经有很多基于构件的软件可靠性模型,它们主要可分为3类:基于状态的模型,基于路径的模型和基于构件概率迁移图的模型。将来研究工作的重点和方向是建立一个通用的模型。

基于云计算的负载均衡方法研究

针对虚拟机层和物理机层之间存在的链式负载关系,建立了双层控制的负载均衡框架,对负载度和相对负载均衡度进行建模,引入了综合权值和迁移概率的计算,提出了任务调度算法和动态迁移算法.实验结果表明该方法在实现了物理机和虚拟机层的负载均衡的同时,提高了资源利用率.