基于局部二元图的视频对象阴影检测方法

针对在视频对象分割时,运动投影常被误分为视频对象,给出一种新的视频阴影检测方法,该算法基于在灰度图像中阴影区域和背景相应位置具有相同纹理这一事实,其中利用自适应高斯混合模型进行背景建模,利用局部二元图(local binary patterns,LBP)来表征纹理。首先,进行基于自适应高斯混合模型的背景提取,获得包含运动投影的前景分割,分割时加入了LBP纹理相似性判断,减少了分割出的目标内的孔洞提高了分割的精确度。然后利用阴影区域和已获取背景相应位置的LBP纹理相似性,可较好的对视频阴影进行检测。通过实验,获得了不错的阴影检测实验结果,可较好地应用于运动目标检测分割及跟踪等领域。     

基于自动机理论的UML活动图模型检验方法

UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。     

Petri网模型参数化可达图研究

Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题,在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可达图构造方法。同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。     

UML类图到CPN转化方法的研究

UML（Unified Modeling Language）作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析、验证。而CPN（Coloured Petri Nets）作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。     

幂律思考系列文章3——无标度网络中几个有争议的命题

利用无标度网络的定义和分类,以及无标度网络度指数的定义,研究了3个有争议的命题:是否所有无标度网络都是稀疏的,从无标度网络随机抽样所得的子网络是否无标度,阿波罗尼斯网络度指数要不要加1。分析了产生争议的根源,给出了正确的解答。     

LEARNING CAUSAL GRAPHS OF NONLINEAR STRUCTURAL VECTOR AUTOREGRESSIVE MODEL USING INFORMATION THEORY CRITERIA

Detection and clarification of cause-effect relationships among variables is an important problem in time series analysis. Traditional causality inference methods have a salient limitation that the model must be linear and with Gaussian noise. Although additive model regression can effectively infer the nonlinear causal relationships of additive nonlinear time series, it suffers from the limitation that contemporaneous causal relationships of variables must be linear and not always valid to test conditional independence relations. This paper provides a nonparametric method that employs both mutual information and conditional mutual information to identify causal structure of a class of nonlinear time series models, which extends the additive nonlinear times series to nonlinear structural vector autoregressive models. An algorithm is developed to learn the contemporaneous and the lagged causal relationships of variables. Simulations demonstrate the effectiveness of the nroosed method.     

基于图论算法的微博好友圈及消息发布方案研究

以微博用户为顶点,建立用户关注关系的顶点赋权有向图模型,把寻找微博中的最大好友圈问题转化为有向图的最大有向完全子图问题,而选择发布某消息的用户数最少的方案问题转化为寻找有向图的最小支配集问题.采取用户间关注关系0-1矩阵及好友关系的无向图,应用启发式着色算法求解无向图中的最大完全子图,计算出最大好友圈.根据消息传播关联的0-1矩阵,应用有向图的最小支配集的优化算法,求解最小支配集,得出了发布某消息的用户数最少的方案.     

基于Voronoi图的物流园区腹地的界定

为了更加科学合理的确定物流园区的规模,提出了在物流园区规划建设的前期应先行界定物流园区腹地的理念.针对引力模型、势能模型和断裂点模型等传统腹地界定方法所存在的划分过程缺乏精确连续性的缺陷,引入了计算几何中的Voronoi图理论对物流园区的腹地进行了界定,并运用GIS软件中的Voronoi图生成工具,结合成都市物流园区规划的实例进行了理论模型的应用.结果证明基于GIS软件运用该方法的操作较为简便,具有较高的应用价值.     

线型图和格图的3-彩虹控制数

对线型图和格图的3-彩虹控制数进行研究,通过归纳假设的思想给出线型图的3-彩虹控制数,用构造的方法找到格图的3-彩虹控制数的上界.     

两种不同结构的混合流体局部行波对流斑图

通过流体力学基本方程组的二维数值模拟,探讨了长高比?=20的矩形腔体中有较强Soret效应的混合流体对流中的局部行波的形成及含有缺陷的局部行波的动力学特性.当分离比?=?0.60时,在分叉曲线的鞍结分叉点附近相对Rayleigh数为r=1.926~2.074的范围内,出现了无缺陷局部行波.然后,随r逐渐增加,系统由无缺陷局部行波过渡到含有缺陷的局部行波并在r=2.075~2.224的范围内形成稳定的含有缺陷的局部行波.局部行波对流的宽度随r增加而增加,并在r=2.075处随着对流斑图的转变突然加宽.再随r增加,含有缺陷的局部行波失去稳定,对流控制整个腔体并演化成有缺陷的行波.有缺陷的局部行波是我们发现的新型对流结构.有缺陷的局部行波的形成依赖于局部行波的对流宽度.在具有缺陷的局部行波存在范围内,这种缺陷出现的周期随r增大而增加.