国家重点基础研究发展计划(2007CB311100)
- 作品数：170 被引量：1,443H指数：17
- 相关作者：沈昌祥张勇东方娟郭莉李锦涛更多>>
- 相关机构：北京工业大学中国科学院中国科学院研究生院更多>>
- 发文基金：国家重点基础研究发展计划国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信理学自然科学总论更多>>
- DesktopToGo:基于应用层虚拟化的可迁移个人计算被引量：2
- 2009年
- 在任意计算机上重现用户的个性化计算环境。基于应用层虚拟化技术,在高速移动存储设备上保存用户的配置信息。在运行时,通过系统调用包裹技术截获这些资源的访问,再定向到移动存储设备上,在不影响性能和可靠性的前提下重现用户的个人计算环境。给出了该系统的原型实现及性能测试。测试结果表明:应用层虚拟化技术运行的开销只占用系统开销的0.5%。
- 洪亮张悠慧王春露王小玲
- 关键词：操作系统
- 可信应用环境的安全性验证方法被引量：1
- 2011年
- 针对可信应用环境的安全性验证问题,利用通信顺序进程描述系统应具有的无干扰属性,基于强制访问控制机制对系统中的软件包进行标记,并对系统应用流程建模。将该模型输入FDR2中进行实验,结果证明,系统应用在运行过程中达到安全可信状态,可以屏蔽环境中其他应用非预期的干扰。
- 陈亚莎胡俊沈昌祥
- 关键词：无干扰通信顺序进程形式化描述形式化验证可信计算
- 新闻视频结构化浏览与标注系统被引量：5
- 2009年
- 阐述一种新颖的新闻视频结构化浏览和标注系统。应用基于时空切片分析的新闻主播检测方法和基于颜色直方图的镜头分割方法实现新闻视频的结构化。通过自动语音识别技术和特定语义概念模型的建立实现了对主播场景的文本信息标注和对新闻故事镜头的语义概念标注。该系统有利于用户根据个人爱好进行新闻视频的浏览和编辑,有效实现新闻视频的索引和浏览。
- 刘安安李锦涛张勇东唐胜杨兆选吴佳鹏
- 关键词：新闻时空切片语义概念自动语音识别
- 一种基于身份信息无可信中心无随机预言的群签名被引量：2
- 2009年
- 本文提出了一种标准模型下基于身份的无可信中心的群签名方案,解决了群签名的前向安全性,并分析了新方案的正确性和安全性.分析结果表明,合法的群成员可以代表群得到有效群签名,仲裁者可以打开签名,且可以判断群管理者是否伪装成合法的群成员.本文还利用对时间段信息的管理实现了该签名的前向安全性,以抵抗密钥泄漏等情况.
- 蔡永泉刘岩
- 关键词：双线性映射
- 基于相邻帧特征相似性的快速关键词检出方法
- 2012年
- 针对关键词检出系统中计算观察概率效率较低的问题,在最近邻近似方法的基础上,提出一种基于相邻帧特征相似性的方法。依据相邻帧之间的高相似性,利用产生前一帧特征矢量的若干个最大的混合分量,有效预测当前帧所使用的最大高斯混合分量,从而快速计算观察概率。实验结果表明,与基线系统相比,该方法在保持识别性能的前提下,识别时间可降低29.3%。
- 袁浩李海洋郑铁然韩纪庆
- 关键词：语音识别关键词检出隐马尔科夫模型
- 基于操作系统容器虚拟化技术的JBS模型的研究被引量：3
- 2010年
- 本文提出一种基于操作系统容器虚拟化技术的日志备份系统(Journaling Backup System,JBS)模型,该模型可用于软件审查,入侵检测,分析和系统恢复等方面。JBS模型主要的功能为监测软件交互过程并生成事务日志和对系统资源进行隔离。本文基于Linux-Vserver平台实现虚拟化容器技术,支持不同硬件平台,经过一系列系统调用测试,基于JBS模型的虚拟化容器所产生的系统调用数量远低本地系统,实验证明本文提出的JBS模型,降低了需要被监测系统调用的数量,提高系统监测性能。
- 吴革李健赖英旭
- 关键词：虚拟化应用程序
- 基于空间上下文的目标图像检索被引量：11
- 2008年
- 提出了一种空间上下文描述与匹配方法,有效地提高了基于视觉关键词的图像检索中目标对象的可区分性.首先通过定义具有仿射协变性的空间邻域,得到自适应的多层空间上下文描述;然后提出模糊堆土机距离度量方法计算空间上下文相似性,以减少区块特征聚类错误对空间关系匹配的影响.在预处理阶段,基于熵值和自相似度进行噪声区块过滤.与已有方法相比,该方法的平均检索精度相对提高了10.8%.
- 高科林守勋张勇东唐胜
- 基于统一计算设备架构的并行串匹配算法被引量：4
- 2009年
- BF算法是串匹配算法经典算法之一,但并不适合GPU这种并行体系结构。提出了基于统一计算设备架构(CUDA)架构的解决方案,通过对需要处理的数据增加一定比例的冗余信息,设计了适合CUDA计算数据的独立性特点的并行BF算法。实验结果表明,基于CUDA架构的并行串匹配算法比同等CPU算法获得约10倍的加速比。此外还对该算法性能的影响因子做了分析。
- 唐定车刘任任谭建龙
- 关键词：统一计算设备架构串匹配算法
- 基于Windows终端信息过滤的网络访问控制研究被引量：2
- 2011年
- 为防范终端从网络中获取不良信息,分析了常见的网络访问控制和信息过滤方法,建立了基于终端信息过滤的网络访问控制模型。该模型通过综合分析URL地址/关键字I、P地址和协议等信息来识别不良网站,通过分析网页文本关键词识别不良网页。基于Windows网络过滤驱动技术,开发了一款Windows终端网络信息过滤和访问控制软件。该软件拦截Win-dows终端的网络访问数据流,应用建立的网络访问控制模型,实现了对不良网站和网页的访问控制。
- 凌波柳景超张志祥
- 关键词：网络访问控制信息过滤网页过滤终端安全
- 基于模型检验的软件可信分析模型被引量：1
- 2012年
- 随着软件在关键领域的应用日趋普遍,由于软件复杂性导致的各种问题层出不穷,为保证软件的可信性,探索软件可信的自动化分析与验证方法,文中基于模型检验方法提出了一种软件可信分析模型。该模型使用有限状态机(FSA)描述软件的非可信行为属性,使用下推自动机(PDA)描述软件运行中的行为和已知非可信行为,构建已知非可信行为库DPDA。基于模型检验方法自动验证软件是否存在可疑行为,并检查可疑行为是否为非可信行为库中的已知非可信行为。本模型能快速地对软件进行自动化可信分析,有效缓解一般模型检验过程中的状态爆炸问题,为软件可信的自动化验证与评估提供依据。
- 韩葆蔡勉
- 关键词：有限状态机
