检索结果-内蒙古大学图书馆

软件学报 2017年第3期28卷 476-489页

作者：王嘉豪蔡鹏钱卫宁周傲英华东师范大学计算机科学与软件工程学院上海200062 广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004

互联网、社交、购物、金融等各类应用直接面临海量用户的高并发访问,传统的单点数据库逐渐成为这些应用系统的瓶颈,而众多互联网应用能够良好运行的主要原因是使用了基于集群环境的数据管理系统作支撑.与传统数据库系统相比,基于集群环... 详细信息

互联网、社交、购物、金融等各类应用直接面临海量用户的高并发访问,传统的单点数据库逐渐成为这些应用系统的瓶颈,而众多互联网应用能够良好运行的主要原因是使用了基于集群环境的数据管理系统作支撑.与传统数据库系统相比,基于集群环境的数据库系统具有更好的扩展性和可用性,而日志复制是保证这些特性的核心组件.传统的主备架构的日志复制在异常情况下对未决事务日志处理不佳,导致数据副本之间存在不一致的风险.另外,分布式系统领域的一致性算法缺乏对事务一致性的处理,而且在选主时存在活锁、多主和频繁选主的问题,无法直接适用于事务日志复制.提出了一种集群环境下的事务日志复制策略和恢复机制,能够有效处理未提交日志,提供了强弱两种读一致性,并且提出一种轻量级的选主算法,可以避免出现以上的选主问题.在开源Ocean Base分布式数据库系统中实现了上述机制,并使用基准测试工具对系统进行测试,通过一系列实验验证了系统的扩展性和可用性.

关键词：日志复制故障恢复一致性可用性数据库系统

来源：评论

学校读者我要写书评

暂无评论

在线/离线密文策略属性基可搜索加密

引用

计算机研究与发展 2016年第10期53卷 2365-2375页

作者：陈冬冬曹珍富董晓蕾上海市高可信计算重点实验室(华东师范大学计算机科学与软件工程学院) 上海200062

在云计算环境中,越来越多的手机用户通过移动网路来共享自己的数据文件.但是由于云不是完全可信的,所以会出现一些安全隐私上的问题,针对这些问题,随之提出了各种基于属性基加密的解决方案.然而,其中大部分的工作要么是在加解密阶段存... 详细信息

在云计算环境中,越来越多的手机用户通过移动网路来共享自己的数据文件.但是由于云不是完全可信的,所以会出现一些安全隐私上的问题,针对这些问题,随之提出了各种基于属性基加密的解决方案.然而,其中大部分的工作要么是在加解密阶段存在大量的在线计算成本,要么是不支持加密数据的关键字搜索功能.而且大多的属性基加密机制会对数据共享、信息查询、数据细粒度管理等方面的效率性产生影响.为了解决这些问题带来的挑战,提出了一种新的密码学原语:在线/离线密文策略属性基可搜索加密方案(online/offline ciphertext-policy attribute-based searchable encryption scheme,OOCP-ABSE).通过利用现有的在线/离线属性加密技术和属性基加密的外包解密技术,构造出高效的OO-CP-ABSE方案,使得数据拥有者端的在线计算代价最小化,同时使得数据用户端的解密计算代价最低;还给出了在云计算环境下,OO-CP-ABSE方案在移动设备上的应用;最后,给出了OO-CP-ABSE方案的安全性分析(数据机密性、关键字隐私安全、搜索可控性、陷门安全性)以及同现有其他方案的效率比较.

关键词：云计算安全和隐私在线/离线密文策略属性基加密关键字搜索移动设备

来源：评论

学校读者我要写书评

暂无评论

面向DaaS保护隐私的模糊关键字查询

引用

计算机学报 2016年第2期39卷 414-428页

作者：李晋国田秀霞周傲英上海电力学院计算机科学与技术学院上海200090 上海市高可信计算重点实验室上海200062 华东师范大学计算机科学与软件工程学院上海200062

由于在数据库服务(Database as a Service,DaaS)模式下,数据库服务提供者是半可信的(Honest-But-Curious),因此,为了保证外包数据的机密性和安全可查询,数据拥有者通常采用特定的加密技术加密外包数据,如采用可搜索加密技术、同态加密... 详细信息

由于在数据库服务(Database as a Service,DaaS)模式下,数据库服务提供者是半可信的(Honest-But-Curious),因此,为了保证外包数据的机密性和安全可查询,数据拥有者通常采用特定的加密技术加密外包数据,如采用可搜索加密技术、同态加密技术等实现外包加密数据上的安全查询.然而,且当前提出的大多数方法都基于关键字精确匹配查询,即使存在少量针对加密数据上的模糊查询,也在查询效率、存储开销和安全性方面存在一定的局限性,不适用于DaaS数据库服务模式.文中首次提出了融合具有高编码效率的Huffman编码和具有数据存储优势的布鲁姆过滤器,并结合现有的安全加密方法,实现了DaaS模式下保护隐私的模糊关键字查询处理.一方面,基于Huffman编码的树型索引提供了较高的查找效率;另一方面,基于布鲁姆过滤器的模糊关键字集合实现了较小的存储开销.安全分析、性能分析以及真实论文集上的实验结果进一步验证了文中查询算法的安全性、存储开销和查询效率.

关键词： DaaS 模糊查询数据安全哈弗曼编码布鲁姆过滤器云计算

来源：评论

学校读者我要写书评

暂无评论

“人工智能与未来教育”笔谈(上)

引用

华东师范大学学报（教育科学版） 2017年第4期35卷 15-18页

作者：朱永新徐子望鲁白褚君浩蒲戈光邹昊吴晓如苏州大学中国教育学会上海外国语大学西外外国语学校清华大学医学院中国科学院华东师范大学信息科学技术学院华东师范大学计算机科学与软件工程学院上海市高可信计算重点实验室硅谷Abundy科技公司科大讯飞

人工智能正以超出人们预想的速度发展。2017年＂两会＂首次将人工智能写入政府工作报告,人工智能发展上升为国家战略。人工智能如何引领各行各业发展趋势？在教育领域将产生怎样的影响？将给未来教育带来怎样的挑战和机遇？由华东师范... 详细信息

人工智能正以超出人们预想的速度发展。2017年＂两会＂首次将人工智能写入政府工作报告,人工智能发展上升为国家战略。人工智能如何引领各行各业发展趋势？在教育领域将产生怎样的影响？将给未来教育带来怎样的挑战和机遇？由华东师范大学、中国教育三十人论坛联合主办,

关键词：人工智能未来教育学习中心政府工作报告华东师范大学国家战略智能发展发展趋势

来源：评论

学校读者我要写书评

暂无评论

基于大数据平台的极地海冰遥感应用示范

基于大数据平台的极地海冰遥感应用示范

引用

2017中国极地科学学术年会

作者：王宇航张贤赵慧梁继民计算机科学与软件工程学院华东师范大学计算机科学与软件工程学院华东师范大学上海高可信计算重点实验室生命科学技术学院西安电子科技大学

在日地空间物理研究中，极光是唯一可以通过肉眼观测到的极区地球物理现象，合理的极光分类对研究各类极光现象与磁层动力学过程之间的关系尤为重要。随着我国极区高空大气物理观测系统研究的发展与进步，不仅实现了极光的持续、系统的... 详细信息

在日地空间物理研究中，极光是唯一可以通过肉眼观测到的极区地球物理现象，合理的极光分类对研究各类极光现象与磁层动力学过程之间的关系尤为重要。随着我国极区高空大气物理观测系统研究的发展与进步，不仅实现了极光的持续、系统的观测，而且生成的图像信噪比高、成像时间分辨率高，为自动分析极光形态积累了高质量的大数据。面向自动极光形态分析，采用新兴的大数据管理与分析新技术，优化已有基于数据档案模型建立的极光数据库，集成极光大数据管理与分析服务，对于促进我国极地科学考察具有重要的科学价值和意义。

关键词：极光大数据极光形态分类数据管理数据服务框架

来源：评论

学校读者我要写书评

暂无评论

面向复杂随机系统的启发式统计模型检测方法

引用

计算机应用研究 2016年第10期33卷 3036-3040页

作者：何佳张敏郭延楠吕悦华东师范大学上海市高可信计算重点实验室上海200062 华东师范大学计算机科学与软件工程学院上海200062

统计模型检测是一种高效的验证技术,常用于复杂的随机系统验证,如分布式算法等,而在超长路径上对性质进行验证时,其验证效率会急剧降低。为解决这个问题,提出一种启发式的统计模型检测算法。在对路径进行验证时,会查找帮助剪枝的最短前... 详细信息

统计模型检测是一种高效的验证技术,常用于复杂的随机系统验证,如分布式算法等,而在超长路径上对性质进行验证时,其验证效率会急剧降低。为解决这个问题,提出一种启发式的统计模型检测算法。在对路径进行验证时,会查找帮助剪枝的最短前缀;在后续抽样时,利用前缀信息直接判定路径是否满足给定性质,避免进入费时的路径验证阶段。在与PRISM的比较中,它的路径验证次数相对更少,且平均抽样路径长度更短。因此统计模型检测技术可应用于超长路径上的性质验证。

关键词：统计模型检测复杂随机系统超长路径最短前缀启发式算法 PRISM

来源：评论

学校读者我要写书评

暂无评论

数据世系管理技术研究综述

引用

计算机学报 2010年第3期33卷 373-389页

作者：高明金澈清王晓玲田秀霞周傲英复旦大学计算机科学技术学院上海市智能信息处理重点实验室上海200433 华东师范大学软件学院上海市高可信计算重点实验室上海200062 上海电力学院计算机与信息工程学院上海200090

世系描述了数据产生、并随时间推移而演变的整个过程,它的应用领域很广,包括数据质量评价、数据核查、数据恢复和数据引用等.数据世系大致可分为不同数据源之间的数据演化过程和同一数据源内部的数据演化过程,即模式级和实例级数据演化... 详细信息

世系描述了数据产生、并随时间推移而演变的整个过程,它的应用领域很广,包括数据质量评价、数据核查、数据恢复和数据引用等.数据世系大致可分为不同数据源之间的数据演化过程和同一数据源内部的数据演化过程,即模式级和实例级数据演化过程.文中以模式级和实例级数据世系的表示、查询为主线综述数据世系的研究进展.模式级世系部分主要介绍了查询重写和模式映射的世系追踪技术,实例级世系部分则从关系型数据、XML数据、流数据三方面总结了新近的研究进展.文中还综述了跟踪不确定性数据及其演化过程的研究进展.最后,列举了数据世系管理的应用,并讨论了世系分析研究面临的挑战及未来的研究方向.

关键词：数据世系世系半环数据集成数据空间不确定数据

来源：评论

学校读者我要写书评

暂无评论

多变元Sylvester结式与多余因子

引用

中国科学：数学 2010年第7期40卷 649-660页

作者：赵世忠符红光华东师范大学上海市高可信计算重点实验室上海200062 电子科技大学计算机科学与工程学院成都610054 中国科学院成都计算机应用研究所成都610041

经典的Sylvester结式方法是代数几何的一种基本消元方法,但它一次只能处理1个变元2个方程的多项式系统.本文将Sylvester结式扩展到n个变元n+1个方程的多项式系统,并且证明了新的多变元的Sylvester结式包含在原多项式系统的理想中.同时,... 详细信息

经典的Sylvester结式方法是代数几何的一种基本消元方法,但它一次只能处理1个变元2个方程的多项式系统.本文将Sylvester结式扩展到n个变元n+1个方程的多项式系统,并且证明了新的多变元的Sylvester结式包含在原多项式系统的理想中.同时,给出了一种去掉其部分多余因子的方法.

关键词：多变元Sylvester矩阵多变元Sylvester结式多余因子

来源：评论

学校读者我要写书评

暂无评论

不确定性数据管理技术研究综述

引用

计算机学报 2009年第1期32卷 1-16页

作者：周傲英金澈清王国仁李建中华东师范大学软件学院上海市高可信计算重点实验室上海200062 东北大学信息科学与工程学院沈阳110004 哈尔滨工业大学计算机科学与技术学院哈尔滨150001

随着数据采集和处理技术的进步,人们对数据的不确定性的认识也逐步深入.在诸如经济、军事、物流、金融、电信等领域的具体应用中,数据的不确定性普遍存在.不确定性数据的表现形式多种多样,它们可以以关系型数据、半结构化数据、流数据... 详细信息

随着数据采集和处理技术的进步,人们对数据的不确定性的认识也逐步深入.在诸如经济、军事、物流、金融、电信等领域的具体应用中,数据的不确定性普遍存在.不确定性数据的表现形式多种多样,它们可以以关系型数据、半结构化数据、流数据或移动对象数据等形式出现.目前,根据应用特点与数据形式差异,研究者已经提出了多种针对不确定数据的数据模型.这些不确定性数据模型的核心思想都源自于可能世界模型.可能世界模型从一个或多个不确定的数据源演化出诸多确定的数据库实例,称为可能世界实例,而且所有实例的概率之和等于1.尽管可以首先分别为各个实例计算查询结果,然后合并中间结果以生成最终查询结果,但由于可能世界实例的数量远大于不确定性数据库的规模,这种方法并不可行.因此,必须运用排序、剪枝等启发式技术设计新型算法,以提高效率.文中介绍了不确定性数据管理技术的概念、特点与挑战,综述了数据模型、数据预处理与集成、存储与索引、查询处理等方面的工作.

关键词：不确定性数据可能世界模型数据集成世系不确定数据流

来源：评论

学校读者我要写书评

暂无评论

Dixon结式的三类多余因子

引用

中国科学（A辑） 2008年第8期38卷 949-960页

作者：赵世忠符红光上海市高可信计算重点实验室华东师范大学上海200062 电子科技大学计算机科学与工程学院成都610054 中国科学院成都计算机应用研究所成都610041

Dixon结式是一种基本消元方法,它在自动控制、机器人等高技术领域中有着重要应用.但是由于结式方法可能产生多余因子,因此多余因子的产生机理一直是一大难题.本文通过将Dixon结式表示成原多项式系统的线性组合,发现了Dixon结式的部分多... 详细信息

Dixon结式是一种基本消元方法,它在自动控制、机器人等高技术领域中有着重要应用.但是由于结式方法可能产生多余因子,因此多余因子的产生机理一直是一大难题.本文通过将Dixon结式表示成原多项式系统的线性组合,发现了Dixon结式的部分多余因子,并且证明了其可由Dixon导出多项式的多余因子和Dixon矩阵的多余因子以及导出多项式回代产生的多余因子三大部分组成.

关键词： Dixon结式 Dixon矩阵多余因子

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：