王蕾

作品数:18被引量:116H指数:5
导出分析报告
供职机构:中国科学院沈阳计算技术研究所更多>>
发文主题:查询语句操作数操作符节目流数据查询更多>>
发文领域:自动化与计算机技术电子电信经济管理理学更多>>
发文期刊:《计算机工程与应用》《计算机系统应用》《计算机应用与软件》《计算机研究与发展》更多>>
所获基金:国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家科技重大专项更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-10
视图:
排序:
设备拆装混合现实系统中的拆装逻辑设计被引量:1
《计算机系统应用》2020年第7期89-94,共6页王蕾 郭向坤 李姝 
国家科技重大专项(2019ZX04014001-004);2019年度沈阳市高层次人才创新创业团队专项(2019-SYRCCX-C-08)。
针对机械部件在拆装过程中存在设备投资大、损耗程度高、危险性大、拆装效率低等问题,本文采用混合现实技术,设计出一套虚拟拆装系统.其中,拆装逻辑是拆装系统的核心,拆装系统的通用性取决于拆装逻辑的设计.为了解决虚拟拆装系统通用性...
关键词:混合现实 虚拟拆装 拆装逻辑 图遍历 
基于稀疏框架的静态污点分析优化技术被引量:8
《计算机研究与发展》2019年第3期480-495,共16页王蕾 何冬杰 李炼 冯晓兵 
国家自然科学基金项目(61521092;61432016);国家重点研发计划项目(2017YFB0202002)~~
当前,隐私数据保护是信息系统安全的重要研究挑战,对应用程序进行隐私泄露检测是隐私泄露保护的有效方案.污点分析技术可以有效地对应用程序进行保密性和完整性的安全检测,提前报告出潜在的隐私泄露风险.然而,当前高敏感度的静态污点分...
关键词:隐私泄露检测 静态程序分析 污点分析 程序优化 安卓 
面向Android应用隐私泄露检测的多源污点分析技术被引量:10
《软件学报》2019年第2期211-230,共20页王蕾 周卿 何冬杰 李炼 冯晓兵 
国家重点研发计划(2017YFB0202002);国家自然科学基金(61521092;61432016)~~
当前,静态污点分析检测Android应用隐私泄露存在误报率较高的问题,这给检测人员和用户带来很大的不便.针对这一问题,提出了一种多源绑定发生的污点分析技术.该技术可以精确地判断污点分析结果中多组源是否可以在一次执行中绑定发生,用...
关键词:程序分析 污点分析 软件安全 静态分析 ANDROID 
一种面向数据仓库周期性查询的增量优化方法被引量:2
《软件学报》2017年第8期2126-2147,共22页康炎丽 李丰 王蕾 
国家高技术研究发展计划(863)(2015AA011505);国家自然科学基金(61303053;61402445;61402303;61521092)~~
大数据蕴含着巨大的价值.分析类查询是获取数据价值的一种重要手段.为及时把握分析结果的变化,查询需要周期性地重复.为此,将不可避免地引入对旧数据的重复分析.目前,以重用历史数据的中间结果、优化冗余计算为核心思路的增量分析技术,...
关键词:数据仓库 周期性查询 增量优化 中间结果重用 
污点分析技术的原理和实践应用被引量:48
《软件学报》2017年第4期860-882,共23页王蕾 李丰 李炼 冯晓兵 
国家自然科学基金(61303053;61402303)~~
信息流分析可以有效保证计算机系统中信息的保密性和完整性,污点分析作为其实践,被广泛用于软件系统的安全保障技术领域.对近些年来面向解决应用程序安全问题的污点分析技术进行综述:首先,总结了污点分析的基本原理以及在应用中的通用技...
关键词:污点分析 信息流分析 软件安全 静态分析与动态分析 ANDROID WEB 
数据中心三维运行平台被引量:4
《计算机系统应用》2017年第3期260-263,共4页王蕾 廉东本 王俊霖 
国家水体污染控制与治理科技重大专项(2012ZX07505004)
三维运行平台主要为实现一个面向中小型数据中心的简单易用的管理系统来协助数据中心管理人员实现对数据中心的集中管理.用户在通过相关的授权认证后进入平台系统,完成对平台的通用功能的操作,具体包括可视化管理和可视化展示两个部分,...
关键词:三维运行平台 数据中心 UNITY3D 虚拟现实 三维可视化技术 
异构架构下基于放松重用距离的多平台数据布局优化被引量:3
《软件学报》2016年第8期2168-2184,共17页刘颖 黄磊 吕方 崔慧敏 王蕾 冯晓兵 
国家自然科学基金(61202055,61402445);国家高技术研究发展计划(863)(2015AA011505)~~
异构架构迅速发展,依靠编译器来挖掘应用程序的数据局部性、充分发挥加速设备片上cache的硬件优势,是十分重要的.然而,传统的重用距离在异构背景下面临平台差异性挑战,缺乏统一的计算框架.为了更好地刻画和优化异构程序的局部性,建立了...
关键词:OPENCL 数据布局 重用距离 
基于顶点加权的介度中心近似算法研究
《计算机研究与发展》2016年第7期1631-1640,共10页王敏 王蕾 冯晓兵 曹宝香 
国家"八六三"高技术研究发展计划基金项目(2015AA011505);国家自然科学基金项目(61402445;61303053;61202055;61221062)~~
介度中心(betweenness centrality,BC)是衡量网络节点重要程度的一个广泛使用的指标,最快的介度中心算法需要计算n次单源最短路径,时间复杂度是O(V×E).介度中心算法的瓶颈就在于计算量太大,导致运行时间太长,无法在实际中应用,因此需...
关键词:介度中心算法 计算量 影响力 顶点加权 近似 
介度中心和PageRank算法应用场景分析
《计算机工程》2015年第12期299-304,共6页王敏 曹宝香 王蕾 冯晓兵 
国家"973"计划基金资助项目(2011CB302504);国家"863"计划基金资助项目(2012AA010902;2015AA011505);国家自然科学基金资助项目(61402445)
在复杂网络中,一般按照需求选取合适的关键点发现算法,常用的关键点发现算法分别是介度中心算法和PageRank算法。为了在特定应用场景下选取合适的关键点发现算法,选择7种不同类型网络下的16个真实数据集,分析比较介度中心算法和PageRan...
关键词:关键点 介度中心算法 PAGERANK算法 差异 领域 应用场景 
异构并行编程模型研究与进展被引量:13
《软件学报》2014年第7期1459-1475,共17页刘颖 吕方 王蕾 陈莉 崔慧敏 冯晓兵 
国家自然科学基金(61202055);国家高技术研究发展计划(863)(2012AA010902);国家重点基础研究发展计划(973)(2011CB302504)
近年来,异构系统硬件飞速发展.为了解决相应的编程和执行效率问题,异构并行编程模型已被广泛使用和研究.从异构并行编程接口与编译/运行时支持系统两个角度总结了异构并行编程模型最新的研究成果,它们为异构架构和上层应用带来的技术挑...
关键词:异构并行编程模型 异构系统 GPU 编程接口 编译 运行时系统 
检索报告 对象比较 聚类工具 使用帮助 返回顶部