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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种不确定数据流聚类算法

引用

软件学报 2010年第9期21卷 2173-2182页

作者：张晨金澈清周傲英复旦大学计算机科学技术学院上海市智能信息处理重点实验室上海200433 华东师范大学软件学院上海市高可信计算重点实验室上海200062

提出了EMicro算法,以解决不确定数据流上的聚类问题.与现有技术大多仅考虑元组间的距离不同,EMicro算法综合考虑了元组之间的距离与元组自身不确定性这两个因素,同时定义新标准来描述聚类结果质量.还提出了离群点处理机制,系统同时维护... 详细信息

提出了EMicro算法,以解决不确定数据流上的聚类问题.与现有技术大多仅考虑元组间的距离不同,EMicro算法综合考虑了元组之间的距离与元组自身不确定性这两个因素,同时定义新标准来描述聚类结果质量.还提出了离群点处理机制,系统同时维护两个缓冲区,分别存放正常的微簇与潜在的离群点微簇,以期得到理想的性能.实验结果表明,与现有工作相比,EMicro的效率更高,且效果良好.

关键词：不确定数据流聚类离群点

来源：评论

学校读者我要写书评

暂无评论

轨道交通控制软件中基于场景的需求分析方法

引用

计算机工程 2021年第8期47卷 284-293,300页

作者：闫倩倩缪炜恺华东师范大学上海市高可信计算重点实验室上海200062

针对轨道交通控制软件的形式化方法,在实际工程应用中存在形式化建模和系统级场景验证困难的问题。提出一种面向轨道交通领域的形式化建模和需求确认及验证方法。通过非形式化、半形式化到形式化规约三步演化过程,为形式化规约构建提供... 详细信息

针对轨道交通控制软件的形式化方法,在实际工程应用中存在形式化建模和系统级场景验证困难的问题。提出一种面向轨道交通领域的形式化建模和需求确认及验证方法。通过非形式化、半形式化到形式化规约三步演化过程,为形式化规约构建提供模板。在对需求的确认和验证中,根据形式化规范建立需求模型,导出相关图表,基于此检查领域专家关注的场景。同时制定场景描述规则,使场景可以在需求模型中正确执行。在此基础上,从特殊变量、效率、场景质量三方面对场景进行优化,更充分地验证需求的正确性。实验结果表明,对于典型车载控制软件,该方法较传统分析方法可多探测到10%的潜在缺陷,效率提升80%以上。

关键词：形式化方法需求规约需求确认和验证场景优化轨道交通控制软件

来源：评论

学校读者我要写书评

暂无评论

分布式结构下视频流的缓存优化分配(英文)

引用

哈尔滨理工大学学报 2011年第6期16卷 104-108,113页

作者：王江涛彭伟关冬亮华东师范大学软件学院上海高可信计算重点实验室上海200062

将代理缓存、补丁、和固定间隔组播结合起来用于分布式服务架构下的热点视频分发.在此架构下,我们假设从远端服务器到本地的代理服务和从本地的服务器到客户的路径上都具有组播能力.在以上提出的传输框架下,给出了使得远端服务器带宽使... 详细信息

将代理缓存、补丁、和固定间隔组播结合起来用于分布式服务架构下的热点视频分发.在此架构下,我们假设从远端服务器到本地的代理服务和从本地的服务器到客户的路径上都具有组播能力.在以上提出的传输框架下,给出了使得远端服务器带宽使用最小的封闭形式表达,该表达式用来确定在每个本地代理服务器上每个视频的缓存分配.

关键词：视频点播组播缓存多媒体通讯补丁

来源：评论

学校读者我要写书评

暂无评论

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的指纹识别室内定位算法,以及满足用户自定义条件的路径查询.详细介绍了该系统中各部分的实现方法,展示了原型系统的功能和用户界面.该原型系统为进一步的理论研究和算法应用奠定了基础.

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

来源：评论

学校读者我要写书评

暂无评论

软件动态正确性的形式化描述

引用

计算机研究与发展 2013年第3期50卷 626-635页

作者：马艳芳张敏陈仪香淮北师范大学计算机科学与技术学院安徽淮北235000 上海市高可信计算重点实验室(华东师范大学软件学院) 上海200062

软件正确性是一个逐渐改进的过程.通过不断地修改,软件越来越接近于正确.同时软件的执行依赖于环境.为了刻画软件的动态正确性并考虑环境的因素,以参数化互模拟为基础,利用极限的观点,建立软件动态正确性的形式化描述.首先建立参数化互... 详细信息

软件正确性是一个逐渐改进的过程.通过不断地修改,软件越来越接近于正确.同时软件的执行依赖于环境.为了刻画软件的动态正确性并考虑环境的因素,以参数化互模拟为基础,利用极限的观点,建立软件动态正确性的形式化描述.首先建立参数化互模拟的无限演化理论,给出参数化极限互模拟的定义,并给出几个特殊的参数化极限互模拟实例.其次,建立参数化互模拟极限,给出参数化互模拟极限的规约刻画.最后,证明参数化互模拟极限的唯一性、与参数化互模拟的相容性等代数性质.

关键词：软件正确性参数化互模拟形式化极限拓扑

来源：评论

学校读者我要写书评

暂无评论

基于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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：