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

华东师范大学学报（自然科学版） 2013年第3期 26-36,53页

作者：张召申凯文宫学庆华东师范大学软件学院上海市高可信计算重点实验室上海200062

产品和用户之间的信息匹配,是互联网广告投放中需要解决的关键问题.本文介绍了在信息匹配过程中所用到的几个关键的数据库查询技术,给出了它们的形式化定义和扩展型SQL表述,并且将重点放在了逆向序敏感查询上.同时,还描述了一个具体的... 详细信息

产品和用户之间的信息匹配,是互联网广告投放中需要解决的关键问题.本文介绍了在信息匹配过程中所用到的几个关键的数据库查询技术,给出了它们的形式化定义和扩展型SQL表述,并且将重点放在了逆向序敏感查询上.同时,还描述了一个具体的例子来对这几种查询方法进行形象化的展示.最后,对这几种查询进行了总结和展望.

关键词：广告投放序敏感查询逆向序查询

来源：评论

学校读者我要写书评

暂无评论

基于因果关系的列控系统模型约简方法

引用

同济大学学报（自然科学版） 2016年第11期44卷 1702-1708页

作者：周庭梁许婧陈小红赵时旻同济大学道路与交通工程教育部重点实验室上海201804 卡斯柯信号有限公司上海200071 华东师范大学上海市高可信计算重点实验室上海200062

在基于安全需求对验证问题进行投影的方法基础上,针对投影出的验证子问题,提出了基于因果关系的变量约简方法,定义了环境变量间的因果关系,归纳出基本的因果关系组合,并提炼出变量约简规则,通过变量约减减少了验证问题的状态空间.采用... 详细信息

在基于安全需求对验证问题进行投影的方法基础上,针对投影出的验证子问题,提出了基于因果关系的变量约简方法,定义了环境变量间的因果关系,归纳出基本的因果关系组合,并提炼出变量约简规则,通过变量约减减少了验证问题的状态空间.采用国内某地铁线路的相关数据进行建模和验证,结果表明,该方法能够有效降低系统验证复杂度.

关键词：需求验证变量约简因果关系列车运行控制系统

来源：评论

学校读者我要写书评

暂无评论

基于GPGPU的大整数矩阵行列式快速准确计算方法

引用

计算机工程 2018年第3期44卷 47-54页

作者：魏渐俊陈良育华东师范大学上海高可信计算重点实验室上海200062

传统计算数值矩阵行列式的方法多数基于串行计算,存在初等变换频繁、计算缓慢等问题。为此,提出基于通用计算图形处理器(GPGPU)的计算方法,以快速准确解决大整数矩阵行列式计算问题。在众核环境下利用GPGPU和模方法并行求解整数矩阵行列... 详细信息

传统计算数值矩阵行列式的方法多数基于串行计算,存在初等变换频繁、计算缓慢等问题。为此,提出基于通用计算图形处理器(GPGPU)的计算方法,以快速准确解决大整数矩阵行列式计算问题。在众核环境下利用GPGPU和模方法并行求解整数矩阵行列式,以加速计算过程并避免浮点运算误差,同时运用中国剩余定理得到准确计算结果。实验结果表明,与常用Maple、NTL等计算软件相比,该方法计算速度快,消耗内存少,可解决计算过程中内存膨胀的问题,对于高阶整数矩阵行列式优势较为明显。

关键词：通用计算图形处理器行列式高性能计算并行算法模方法

来源：评论

学校读者我要写书评

暂无评论

互模拟准局部验证算法的扩展与实现

引用

软件学报 2018年第6期29卷 1517-1526页

作者：郑晓琳邓玉欣付辰雷国庆上海市高可信计算重点实验室(华东师范大学) 上海200062 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

互模拟是并发系统分析和验证的一个重要概念.主要扩展了一种由Du和Deng提出的准局部算法,使其更加适用于一般的标记迁移系统.用Java实现扩展后的准局部算法与Fernandez和Mounier提出的局部算法.以VLTS为实验数据基准进行大量的实验,发... 详细信息

互模拟是并发系统分析和验证的一个重要概念.主要扩展了一种由Du和Deng提出的准局部算法,使其更加适用于一般的标记迁移系统.用Java实现扩展后的准局部算法与Fernandez和Mounier提出的局部算法.以VLTS为实验数据基准进行大量的实验,发现在大多数情况下,前者的性能比后者更好.同时,修改了算法使其能够验证模拟关系.最后,用Java实现对标记迁移系统进行转换,使算法同时可以验证弱互模拟关系.

关键词：互模拟标记迁移系统扩展

来源：评论

学校读者我要写书评

暂无评论

面向无穷数据的形式模型综述

引用

软件学报 2016年第3期27卷 682-690页

作者：宋富吴志林上海市高可信计算重点实验室(华东师范大学) 上海200062 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

无穷数据广泛存在于计算机程序和数据库系统中.受到形式验证与数据库两方面应用需求的推动,面向无穷数据的形式模型已经成为理论计算机科学的研究热点之一.对面向无穷数据的形式模型(逻辑与自动机)进行了相对全面而详细的总结.主要按照... 详细信息

无穷数据广泛存在于计算机程序和数据库系统中.受到形式验证与数据库两方面应用需求的推动,面向无穷数据的形式模型已经成为理论计算机科学的研究热点之一.对面向无穷数据的形式模型(逻辑与自动机)进行了相对全面而详细的总结.主要按照不同自动机模型对无穷数据的处理方式加以组织,并关注相关判定问题,即:自动机的非空性问题、语言包含问题以及逻辑的可满足性问题的可判定性与复杂性.

关键词：无穷数据自动机逻辑非空性语言包含可满足性可判定性复杂性

来源：评论

学校读者我要写书评

暂无评论

对称逻辑公式在经典逻辑度量空间中的分布

引用

电子学报 2011年第2期39卷 419-423页

作者：胡明娣王国俊陕西师范大学数学研究所陕西西安710062 上海市高可信计算重点实验室华东师范大学上海200062

将密码学中对称布尔函数的概念引入到计量逻辑学理论之中,定义了对称逻辑公式和准对称逻辑公式.指出二值逻辑公式与布尔函数既密切相关,又有重要区别.证明了n元对称公式占全体n元逻辑公式的比例随n的增大而趋向于零,然而全体对称公式的... 详细信息

将密码学中对称布尔函数的概念引入到计量逻辑学理论之中,定义了对称逻辑公式和准对称逻辑公式.指出二值逻辑公式与布尔函数既密切相关,又有重要区别.证明了n元对称公式占全体n元逻辑公式的比例随n的增大而趋向于零,然而全体对称公式的真度之集却在[0,1]中稠密.最后从拓扑学的观点证明了全体对称公式之集在经典逻辑度量空间中无处稠密.

关键词：对称逻辑公式真度稠密经典逻辑度量空间无处稠密

来源：评论

学校读者我要写书评

暂无评论

FDSS:基于HDFS的海量音乐特征数据存储系统

引用

计算机研究与发展 2011年第S2期48卷 752-756页

作者：范远超徐辰于政周敏奇王晓玲华东师范大学软件学院上海市高可信计算重点实验室上海200062

随着互联网上音乐数目的迅速增长,传统的单机和小规模分布式平台已经不能满足海量音乐特征数据管理的需要；Hadoop分布式文件系统(HDFS)具有可扩展性、高可用性、容错性的优势,为海量音乐特征数据提供了有效的管理平台.提出了海量音乐... 详细信息

随着互联网上音乐数目的迅速增长,传统的单机和小规模分布式平台已经不能满足海量音乐特征数据管理的需要；Hadoop分布式文件系统(HDFS)具有可扩展性、高可用性、容错性的优势,为海量音乐特征数据提供了有效的管理平台.提出了海量音乐特征数据存储系统FDSS:基于HDFS平台和MapReduce框架,设计了音乐特征数据的存储结构,实现了海量音乐特征数据的存储和读取；结合格雷码为音乐特征数据建立索引,优化了数据分布和快速读取；引入分布式内存缓存Memcached存储频繁访问的数据,优化了数据读取时间.系统演示了对海量级音乐特征数据的分布式存储和对指定音乐特征数据的快速读取功能.

关键词： HDFS MapReduce 音乐特征数据格雷码 Memcached

来源：评论

学校读者我要写书评

暂无评论

室内移动对象管理的原型系统

引用

计算机研究与发展 2011年第S2期48卷 735-739页

作者：何向南周遥张一桢金澈清周傲英华东师范大学软件学院上海市高可信计算重点实验室上海200062

随着室内环境越来越复杂,室内定位技术成为了研究的热点,并有着广泛的应用需求.系统是基于.Net框架设计和实现的一个面向室内位置服务的定位和查询处理原型系统.原型系统架构主要分为模型层、移动物体管理层和显示层.原型系统建立了保... 详细信息

随着室内环境越来越复杂,室内定位技术成为了研究的热点,并有着广泛的应用需求.系统是基于.Net框架设计和实现的一个面向室内位置服务的定位和查询处理原型系统.原型系统架构主要分为模型层、移动物体管理层和显示层.原型系统建立了保持室内环境属性和连通性的图模型,实现了基于WIFI的指纹识别室内定位算法,以及满足用户自定义条件的路径查询.详细介绍了该系统中各部分的实现方法,展示了原型系统的功能和用户界面.该原型系统为进一步的理论研究和算法应用奠定了基础.

关键词：移动对象室内对象管理指纹识别算法原型系统

来源：评论

学校读者我要写书评

暂无评论

基于OWL的软件工程数据建模

引用

计算机研究与发展 2009年第S2期46卷 589-596页

作者：曹居易石玲宫学庆周傲英华东师范大学软件学院上海200062 上海市高可信计算重点实验室上海200062

网络本体语言(Web ontology language,OWL)是语义网技术的一个重要组成部分,适合于对复杂的数据进行语义描述和建模.在软件系统的开发过程中通常会产生大量结构复杂、语义丰富的数据,而建立一个灵活的语义模型是对各类软件工程数据进行... 详细信息

网络本体语言(Web ontology language,OWL)是语义网技术的一个重要组成部分,适合于对复杂的数据进行语义描述和建模.在软件系统的开发过程中通常会产生大量结构复杂、语义丰富的数据,而建立一个灵活的语义模型是对各类软件工程数据进行统一管理的基础.从设计和实现海量软件工程数据管理平台的需求出发,提出了一种基于OWL的软件工程数据描述模型.该模型不仅能够对源代码、需求、测试、版本和缺陷数据进行描述,同时还能对这些数据之问的语义关联进行描述.通过案例分析对模型的有效性进行了讨论.

关键词：软件工程数据数据建模网络本体语言

来源：评论

学校读者我要写书评

暂无评论

FDSS:基于HDFS的海量音乐特征数据存储系统

引用

计算机研究与发展 2011年第S3期48卷 374-378页

作者：范远超徐辰于政周敏奇王晓玲华东师范大学软件学院上海市高可信计算重点实验室上海200062

随着互联网上音乐数目的迅速增长,传统的单机和小规模分布式平台已经不能满足海量音乐特征数据管理的需要;Hadoop分布式文件系统(HDFS)具有可扩展性、高可用性、容错性的优势,为海量音乐特征数据提供了有效的管理平台.提出了海量音乐特... 详细信息

随着互联网上音乐数目的迅速增长,传统的单机和小规模分布式平台已经不能满足海量音乐特征数据管理的需要;Hadoop分布式文件系统(HDFS)具有可扩展性、高可用性、容错性的优势,为海量音乐特征数据提供了有效的管理平台.提出了海量音乐特征数据存储系统FDSS:基于HDFS平台和MapReduce框架,设计了音乐特征数据的存储结构,实现了海量音乐特征数据的存储和读取;结合格雷码为音乐特征数据建立索引,优化了数据分布和快速读取;引入分布式内存缓存Memcached存储频繁访问的数据,优化了数据读取时间.系统演示了对海量级音乐特征数据的分布式存储和对指定音乐特征数据的快速读取功能.

关键词： HDFS MapReduce 音乐特征数据格雷码 Memcached

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：