马丽
- 作品数：14 被引量：29H指数：3
- 供职机构：北京航空航天大学更多>>
- 发文基金：国家自然科学基金教育部留学回国人员科研启动基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一种视频分割中阴影的自适应检测及消除方法
- 本发明公开了视频对象分割中一种阴影的自适应检测及消除方法，包括如下步骤：首先，采用累计帧差大致检测出运动变化区域，通过静止指数构建运动模板；然后，统计亮度信息建立背景模型并结合运动模板进行更新，采用背景差分及Sobel算...
- 祝世平马丽
- 一种RBAC的描述逻辑表示方法被引量：8
- 2010年
- 基于角色的访问控制(RBAC)通过角色来控制用户对资源的访问,极大地简化了安全管理。虽然对RBAC的研究比较成熟,但由于RBAC目前缺乏形式化的表示,使得RBAC中的一些概念和性质存在不同的理解。描述逻辑(DL)是一种基于对象的知识表示的形式化系统,它是一阶逻辑的一个可判定的子集,具有合适定义的语义,并且具有很强的表示能力。为了给出RBAC的形式化方法,以描述逻辑为工具,RBAC96模型为基础,提出了RBAC的描述逻辑DLRBAC。用描述逻辑的符号给出了RBAC中主要的元素和关系的形式化定义,并证明了这种描述逻辑表示对于RBAC模型的忠实性。所提出的RBAC形式化模型可以作为进一步研究RBAC的理论基础。
- 马丽马世龙眭跃飞伊胜伟
- 关键词：访问控制角色权限描述逻辑角色继承
- 一种采用Snake轮廓模型的视频对象跟踪分割方法
- 一种采用Snake轮廓模型的视频对象跟踪分割方法，采用时空融合的方式，在时域通过分段帧间形心矢量预测的方式进行Snake轮廓粗定位，然后在空域采用改进后的Snake贪婪方法由初始轮廓演变得到视频对象的精确轮廓。具体地，在...
- 祝世平马丽
- 文献传递
- 基于模式和时空相关性的运动估计快速算法被引量：7
- 2007年
- H-264标准中的多尺寸块运动估计，在显著提高编码性能的同时，大大增加了其计算量，使得H-264实时编码器的实现面临巨大挑战．本文充分利用视频图像的时空相关性和多尺寸块间的运动相似性，根据运动向量的中心偏置特性，提出了一种运动估计快速算法．该算法通过有效地预测搜索起点，自适应选择搜索模式以及采用二级终止搜索策略等方式，在编码性能相当的情况下，运动估计的速度比全搜索算法提高了95～247倍，比H.264推荐的快速算法提高了4．1～6．3倍．
- 宋建斌李波李炜马丽
- 关键词：视频压缩搜索模式
- 一种基于Fisher线性判别的动背景下视频对象的提取方法
- 一种基于Fisher线性判别的动背景下视频对象的提取方法，包括如下步骤：首先将第K帧(即当前帧)分成若干8×8子块，通过第K帧与第K-1帧进行块匹配运动估计求得第K帧的运动向量场；然后选取第K帧中可能的背景像素块作为特征...
- 祝世平马丽
- 一种基于Fisher线性判别的动背景下视频对象的提取方法
- 一种基于Fisher线性判别的动背景下视频对象的提取方法，包括如下步骤：首先将第K帧(即当前帧)分成若干8×8子块，通过第K帧与第K-1帧进行块匹配运动估计求得第K帧的运动向量场；然后选取第K帧中可能的背景像素块作为特征...
- 祝世平马丽
- 文献传递
- 诗人之死-西尔维亚•普拉斯死亡主题研究
- 马丽
- 关键词：SUICIDE
- 基于时域定区间记忆补偿的视频对象分割算法被引量：2
- 2010年
- 提出了一种新的基于时域定区间记忆补偿的视频对象分割算法。首先,使用对称帧帧差累计法及帧差图像的四阶矩检测出初始运动变化区域;然后,对检测出的初始运动变化区域通过时域定区间记忆补偿法进行补偿,并进一步整合形成全局运动记忆母板,在空域使用Sobel边缘检测算子较为精确地检测得到当前帧中所有边缘;最后,进行时空融合,从而提取出完整精细的运动对象轮廓并通过填充得到运动对象模板。实验证明了本文算法的正确性和快速性。
- 祝世平马丽侯仰拴
- 关键词：SOBEL视频分割
- 基于描述逻辑DL_(RBAC)的RBAC形式化模型
- 2010年
- 提出了一种新的基于描述逻辑的形式化表示方法,将组成基于角色的访问控制(RBAC,Role-Based Access Control)模型的集合和关系分别用描述逻辑中的概念和角色表示,并且在基本的描述逻辑语言上引入了可以表示角色的复合关系和包含关系的符号,从而形式化表示出了RBAC与角色继承有关的一些关键性质和约束条件,如角色层次关系(RH,Role Hierarchy)传递性、用户角色分配关系(UA,User-Role Assignment)的继承性和权限角色分配关系(PA,Permission-Role Assignment)的继承性,以及RBAC中的静态职权分离约束和动态职权分离约束等.通过形式化地表示RBAC的继承关系及约束条件,利用描述逻辑本身的推理机制可以限制不符合访问控制策略的继承关系产生.
- 马丽马世龙眭跃飞
- 关键词：访问控制描述逻辑
- 基于时域定区间记忆补偿的视频对象分割方法
- 本发明公开了一种基于时域定区间记忆补偿的视频对象分割方法，步骤如下：首先，使用对称帧帧差累计法及帧差图像的四阶矩检测出初始运动变化区域；然后采用时域定区间记忆补偿法对检测出的初始运动变化区域进行补偿，并进一步整合形成全局...
- 祝世平马丽侯仰拴
