“核心电子器件、高端通用芯片及基础软件产品”国家科技重大专项(2010ZX01042-001-001-05)

作品数：9被引量：88H指数：4
导出分析报告
相关作者：张敏许舒人蔡克冯登国王永炎更多>>
相关机构：中国科学院软件研究所中国科学院研究生院国家工程研究中心更多>>
相关期刊：《计算机工程与设计》《中国科学技术大学学报》《计算机学报》《计算机研究与发展》更多>>
相关主题：MAPREDUCE密文检索HADOOP平台可视化数据挖掘平台更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于PVS的数据库安全策略形式化分析方法被引量：1
《中国科学技术大学学报》2013年第7期591-598,共8页李昊 张敏 王榕 
核高基重大专项(2010ZX01042-001-001-05);国家自然科学基金重点项目(91118006);中国高技术研究发展(863)计划(2011AA0123824001)资助
基于安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级的重要性,提出了新的基于PVS的数据库安全策略模型分析方法,该方法结合了PVS函数式语言的特点,通过一系列算法和流程展示了模块化的系统状态、安全属性、操作规则的...
关键词：形式化方法 数据库管理系统 PVS定理证明 
基于MapReduce的数据挖掘平台设计与实现被引量：45
《计算机工程与设计》2013年第2期495-501,共7页黄斌 许舒人 蒲卫 
国家科技重大专项核高基基金项目(2010ZX01042-001-001-05);国家科技支撑计划基金项目(2012BAH05F02;2011BAH15B03)
MapReduce编程模型的简单性和高性价比使得其适用于海量数据的并行处理。然而,MapReduce欠缺对多数据源、组件复用以及数据可视化支持,这些缺点使用户在运用MapReduce框架进行数据挖掘时暴露出开发效率低下,重复开发等问题。提出了一种...
关键词：MapReduce编程模型 数据挖掘 HADOOP平台 模型驱动 可视化 
FlowS:一种MapReduce数据流公平调度方法被引量：4
《计算机科学》2012年第9期157-161,174,共6页李奇原 刘杰 叶丹 许舒人 
国家自然科学基金项目(61170074);国家科技重大核高基项目(2010ZX01042-001-001-05);国家科技支撑计划(2011BAH15B05;2012BAH05F02)资助
MapReduce Job的调度机制一直是学术研究的热点。在分析MapReduce数据流调度模型的基础上,提出一种面向MapReduce数据流的公平调度方法FlowS。该方法采用数据流池来分配资源以保证MapReduce数据流的隔离性,并且采用数据流池动态构建算...
关键词：MapReduce数据流 资源管理 公平调度方法 
面向多租户的门户资源管理框架被引量：3
《计算机工程与设计》2012年第8期3016-3022,共7页高蕾 杨燕 钟华 于谨维 
国家863高技术研究发展计划基金项目(2011AA040504);国家973重点基础研究发展规划基金项目(2009CB320704);国家科技重大专项核高基项目(2010ZX01042-001-001-05)
为了提高企业信息门户中间件平台的资源利用率,提出了一个面向多租户架构的资源管理框架。针对门户应用场景中资源的特点,在建立资源模型的基础上,通过元数据描述租户与资源的映射关系,并针对不同类型的资源,提供相应的资源共享和隔离...
关键词：多租户 资源管理框架 资源模型 资源共享 虚拟门户 
基于单断言的安全的密文区间检索被引量：14
《计算机学报》2011年第11期2093-2103,共11页蔡克 张敏 冯登国 
核高基重大专项课题(2010ZX01042-001-001-05);中国科学院知识创新工程领域前沿项目-云计算安全支撑系统(YYYJ-1013)资助
为解决数据外包所带来的敏感数据的数据安全问题,数据所有者更多地选择外包敏感数据的密文.而外包密文的形式,为数据所有者对这些数据的使用带来了不便,如数据所有者无法对密文数据进行区间检索等.目前的密文区间检索方案中,为实现密文...
关键词：密文检索 区间检索 区间索引 区间陷门 
面向实时定位系统的位置区域索引被引量：4
《计算机研究与发展》2011年第10期1908-1917,共10页郭超 李坤 王永炎 刘胜航 王宏安 
"核高基"国家科技重大专项基金项目(2010ZX01042-001-001-05);国家"八六三"高技术研究发展计划基金项目(2008AA04A105)
在移动应用领域中,移动对象实时位置的区域查询在整个系统的分析、决策、预测等方面具有重要的作用.采用射频识别技术进行定位识别的实时定位系统具有对象分布区域化、不同子区域对象分布密度不均匀等特点.基于这些特点,提出了一种新的...
关键词：位置索引 区域查询 射频识别技术 实时定位系统 R树 网格 
一种面向空间数据库矢量数据的授权模型与实现方法被引量：5
《计算机研究与发展》2011年第8期1524-1533,共10页张德胜 冯登国 陈驰 
国家自然科学基金项目(61003228);"核高基"国家科技重大专项(2010ZX01042-001-001-05)
空间数据库的广泛应用给人们的生活带来极大便利的同时,也带来了严重的安全威胁.空间应用要求授权系统支持灵活的细粒度授权策略以及否定策略,提供高效的授权实现技术.针对这些安全需求,提出一种基于谓词的矢量数据授权模型,并依据空间...
关键词：空间数据库 矢量数据 否定授权 空间谓词 谓词改写 
一种面向对象追踪的RFID实时数据管理系统被引量：1
《计算机研究与发展》2011年第S3期362-369,共8页骆小芳 罗雄飞 刘洋 王永炎 
国家"八六三"高技术研究发展计划基金项目(2008AA04A105);"核高基"国家科技重大专项基金项目(2010ZX01042-001-001-05)
近年来,RFID技术在供应链管理、零售、物流和资产安全管理等领域广泛使用,为物品实时跟踪追溯提供了新的途径.设计并实现了一种面向对象追踪的RFID实时数据管理系统,支持海量RFID时空信息的实时管理,其中包含内存数据管理、历史数据管...
关键词：RFID 对象追踪 时空信息 实时数据管理 历史数据管理 
云计算数据安全支撑平台架构研究被引量：11
《计算机研究与发展》2011年第S3期261-267,共7页张大朋 蔡克 张敏 徐震 
"核高基"国家科技重大专项基金项目(2010ZX01042-001-001-05);中国科学院知识创新工程领域前沿项目(YYYJ-1013)
由于云服务提供商拥有对数据的优先访问权,用户数据的机密性和完整性很难得到保证.针对此问题构建了一种使用加密机制保护云数据安全的体系结构.使用密文检索和完整性验证来保证云用户数据的可用性和完整性,为云计算系统中海量数据提供...
关键词：云数据安全 密文检索 完整性验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部