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

软件学报 2016年第7期27卷 1700-1714页

作者：章志刚金澈清王晓玲周傲英华东师范大学计算机科学与软件工程学院数据科学与工程研究院上海200062

重要位置是指人们在日常生活中的主要活动地点,比如居住地和工作地.智能手机的不断发展与普及为人们的日常生活带来了极大的便利.除了通话、上网等传统应用之外,手机连接基站自动生成的日志记录也是用于用户行为模式挖掘的重要数据来源... 详细信息

重要位置是指人们在日常生活中的主要活动地点,比如居住地和工作地.智能手机的不断发展与普及为人们的日常生活带来了极大的便利.除了通话、上网等传统应用之外,手机连接基站自动生成的日志记录也是用于用户行为模式挖掘的重要数据来源,例如重要位置发现.然而,相关工作面临着诸多挑战,包括轨迹数据规模庞大、位置精度低以及手机用户的多样性.为此,提出了一个通用解决框架以提高轨迹数据可用性.该框架包含一个基于状态的过滤模块,提高了数据的可用性,以及一个重要位置挖掘模块.基于此框架设计了两种分布式挖掘算法:GPMA(grid-based parallel mining algorithm)和SPMA(station-based parallel mining algorithm).进一步地,为提高挖掘结果的准确性和精确度,从3个方面进行优化:(1)使用多元数据的融合技术,提高结果的准确性;(2)提出了无工作地人群的发现算法;(3)提出了夜间工作人群的发现算法.理论分析和实验结果表明,所提算法具有较高的执行效率和可扩展性,并具有更高的精度.

关键词：低质轨迹挖掘重要位置数据修正

来源：评论

学校读者我要写书评

暂无评论

基于函数依赖与条件约束的数据修复方法

引用

软件学报 2016年第7期27卷 1671-1684页

作者：金澈清刘辉平周傲英华东师范大学计算机科学与软件工程学院数据科学与工程研究院上海200062

随着经济与信息技术的发展,在许多应用中均产生大量数据.然而,受硬件设备、人工操作、多源数据集成等诸多因素的影响,在这些应用之中往往存在较为严重的数据质量问题,特别是不一致性问题,从而无法有效管理数据.因此,首要的任务就是开发... 详细信息

随着经济与信息技术的发展,在许多应用中均产生大量数据.然而,受硬件设备、人工操作、多源数据集成等诸多因素的影响,在这些应用之中往往存在较为严重的数据质量问题,特别是不一致性问题,从而无法有效管理数据.因此,首要的任务就是开发新型数据清洗技术来提升数据质量,以支持后续的数据管理与分析.现有工作主要研究基于函数依赖的数据修复技术,即以函数依赖来描述数据一致性约束,通过变更数据库中部分元组的属性值(而非增加/删除元组)来使得整个数据库遵循函数依赖集合.从一致性约束描述的角度来看,函数依赖并非是唯一的表达方式,还存在其他表达方式,例如硬约束、数量约束、等值约束、非等值约束等.然而,随着一致性约束种类的增加,其处理难度也远比仅有函数依赖的场景要困难.考虑以函数依赖与其他一致性约束共同表述数据库的一致性约束,并在此基础上设计数据修复算法,从而提升数据质量.实验结果表明,所提方法的执行效率较高.

关键词：数据质量数据修复函数依赖条件约束等价类

来源：评论

学校读者我要写书评

暂无评论

基于移动轨迹数据的商圈消费者规模分析

引用

华东师范大学学报（自然科学版） 2017年第4期 97-113,138页

作者：刘志刘辉平赵大鹏王晓玲华东师范大学计算机科学与软件工程学院数据科学与工程研究院上海200062

随着城市化的推进以及大数据技术的不断发展,智慧商圈成为智慧城市建设的重要组成部分.智慧商圈的热门程度、消费者的规模、消费层次等因素成为智慧商圈建设的关注热点.然而,传统的消费者规模的统计,还是基于传统的问卷调查或者抽样等,... 详细信息

随着城市化的推进以及大数据技术的不断发展,智慧商圈成为智慧城市建设的重要组成部分.智慧商圈的热门程度、消费者的规模、消费层次等因素成为智慧商圈建设的关注热点.然而,传统的消费者规模的统计,还是基于传统的问卷调查或者抽样等,这些方法不仅成本昂贵而且效率低下.但随着数据挖掘技术的发展,使得通过分析用户行为轨迹来确定商圈消费者规模成为可能.本文提出了一种基于轨迹数据分析的商圈消费者规模分析方法.本文的主要工作包括:①在轨迹数据中,如何确定商圈的边界这是一个首要的问题,基于此,才能确定一位消费者是在商圈内活动,还是在商圈外面.本文提出了根据商圈内基站点的位置分布,运用k-Nearest Neighbor(kNN)分类算法,对该商圈的范围进行圈定的方法.②由于轨迹数据的不确定性特点,确定一个用户与商圈的关系也是一个难题.本文利用计算不规则多边形面积的方法计算基站点的权重值,结合时间阈值分析该区域内每天的消费者规模.③最后,鉴于轨迹数据的海量性,本文提出了一个大数据计算框架BPDA(Business-Circle Parallel Distributed Algorithm),基于Hadoop大数据处理平台和Kafka分布式消息系统,实现了基于移动轨迹数据的商圈消费者规模分析系统,并使用中山公园商圈基站数据,展示了本文所提方法的可行性.

关键词：移动轨迹数据消费者规模分析 kNN分类算法商圈轮廓

来源：评论

学校读者我要写书评

暂无评论

无人机信息安全研究综述

引用

计算机学报 2019年第5期42卷 1076-1094页

作者：何道敬杜晓乔银荣朱耀康樊强罗旺华东师范大学计算机科学与软件工程学院上海200062 南瑞集团公司(国网电力科学研究院) 南京211106

随着科技的进步和制造成本的不断降低,无人机已经从军用领域开始走进工业生产和人们的日常生活.如今,无人机已经广泛应用于影视拍摄、农业监测、电力巡检、个人航拍、气象监测、森林火灾探测、交通控制、货物运输及应急救援等领域.然而... 详细信息

随着科技的进步和制造成本的不断降低,无人机已经从军用领域开始走进工业生产和人们的日常生活.如今,无人机已经广泛应用于影视拍摄、农业监测、电力巡检、个人航拍、气象监测、森林火灾探测、交通控制、货物运输及应急救援等领域.然而,无人机在给我们的生产生活带来各种便利的同时,其所面临的安全问题也逐渐暴露出来.该文首先介绍了当前无人机的发展现状,然后介绍了无人机的组成结构和应用,之后分别从保密性、完整性和可用性方面系统地阐述了当前无人机所面临的信息安全威胁.接着,该文着重从传感器、通信、软件和网络四个方面对无人机所面临的安全威胁、现有安全防护措施以及国内外的研究现状进行了详细的阐述和分析.其中,结合当前国内外最新的研究成果和我们实验室的研究和实验,重点对针对无人机的卫星导航信号的欺骗攻击和针对无人机通讯安全的攻击及其应对措施进行了阐述和分析.最后,对无人机的安全和管理的未来研究方向进行了展望.

关键词：无人机安全公共安全无人机捕获 GPS欺骗无线电劫持

来源：评论

学校读者我要写书评

暂无评论

基于Event-B的航天器内存管理系统形式化验证

引用

软件学报 2017年第5期28卷 1204-1220页

作者：乔磊杨孟飞谭彦亮蒲戈光杨桦北京控制工程研究所北京100190 中国空间技术研究院北京100094 华东师范大学计算机科学与软件工程学院上海200062

内存管理系统位于操作系统内核的最底层,为上层提供内存分配和回收机制.在航天器这类安全攸关的关键系统中,其可靠性和安全性至关重要,必须要考虑到强实时性、有限空间限制、高分配效率以及各种边界条件约束.因此,系统通常采用较为复杂... 详细信息

内存管理系统位于操作系统内核的最底层,为上层提供内存分配和回收机制.在航天器这类安全攸关的关键系统中,其可靠性和安全性至关重要,必须要考虑到强实时性、有限空间限制、高分配效率以及各种边界条件约束.因此,系统通常采用较为复杂的数据结构和算法来管理内存空间,同时需要采用非常严格的形式化方法来保证航天器这类安全攸关系统的高可信性.对复杂内存管理系统的形式化验证也会比之前的验证工作带来更多难题,主要体现在:内存管理模块中的复杂数据结构的形式化描述,操作的规范语义,行为的建模,内部函数的规范及断言定义与循环不变式的定义,实时性验证等方面.针对这些问题,深入分析实际的航天器操作系统内存管理系统的特性;探索基于分层迭代的语义描述与验证的一般性方法与理论,并应用这些理论方法来验证一个具有实际应用的航天嵌入式操作系统的内存管理系统.该研究成果有望直接应用于我国新一代的航天器系统.

关键词：航天器操作系统内存管理形式化验证

来源：评论

学校读者我要写书评

暂无评论

OceanBase数据库监控系统

引用

计算机应用 2016年第A01期36卷 237-239页

作者：王雷钱招明郭进伟张蓉周敏奇高明钱卫宁华东师范大学计算机科学与软件工程学院上海200062 华东师范大学数据科学与工程研究院上海200062

针对目前Oceanbase数据库监控方面薄弱的问题,基于OceanBase的系统架构以及参考其集群部署,并借助其提供的系统接口,提出一套适用于OceanBase在系统监控、系统预警以及故障定位等方面的可执行方案,以此实现了OceanBase监控系统OBDMS。首... 详细信息

针对目前Oceanbase数据库监控方面薄弱的问题,基于OceanBase的系统架构以及参考其集群部署,并借助其提供的系统接口,提出一套适用于OceanBase在系统监控、系统预警以及故障定位等方面的可执行方案,以此实现了OceanBase监控系统OBDMS。首先,调研OceanBase在系统架构及集群部署等方面的特点;其次,根据OceanBase提供的系统接口以及系统监控、预警和故障定位等目标,构建OBDMS的系统架构;最后,利用OBDMS的系统架构并结合分布式系统的原理,实现了OBDMS。通过分析对比、实验结果表明:只需在每个监控节点上部署监控代理,OBDMS就能自动收集各个节点上的监控信息,节省了运维时间;并且通过一个月的运行以及压力测试,OBDMS各模块均运行正常,具有较高的可靠性。因此,OBDMS具备部署简单、节省运维时间、可靠稳定等特点。

关键词：数据库监控系统 OceanBase 分布式数据库故障定位系统预警

来源：评论

学校读者我要写书评

暂无评论

深度强化学习的攻防与安全性分析综述

引用

自动化学报 2022年第1期48卷 21-39页

作者：陈晋音章燕王雪柯蔡鸿斌王珏纪守领浙江工业大学信息工程学院浙江工业大学网络安全研究院华东师范大学软件工程学院浙江大学计算机科学与技术学院

深度强化学习是人工智能领域新兴技术之一,它将深度学习强大的特征提取能力与强化学习的决策能力相结合,实现从感知输入到决策输出的端到端框架,具有较强的学习能力且应用广泛.然而,已有研究表明深度强化学习存在安全漏洞,容易受到对抗... 详细信息

深度强化学习是人工智能领域新兴技术之一,它将深度学习强大的特征提取能力与强化学习的决策能力相结合,实现从感知输入到决策输出的端到端框架,具有较强的学习能力且应用广泛.然而,已有研究表明深度强化学习存在安全漏洞,容易受到对抗样本攻击.为提高深度强化学习的鲁棒性、实现系统的安全应用,本文针对已有的研究工作,较全面地综述了深度强化学习方法、对抗攻击、防御方法与安全性分析,并总结深度强化学习安全领域存在的开放问题以及未来发展的趋势,旨在为从事相关安全研究与工程应用提供基础.

关键词：深度强化学习对抗攻击防御策略攻击安全性

来源：评论

学校读者我要写书评

暂无评论

基于密度图多目标追踪的时空数据可视化

引用

图学学报 2024年第6期45卷 1289-1300页

作者：宋思程陈辰李晨辉王长波华东师范大学计算机科学与技术学院上海200062 华东师范大学上海智能教育研究院上海200062 华东师范大学软件工程学院上海200062

时空数据追踪的可视化问题已经受到了广泛的关注,其研究重点在于展示数据的动态细节,并确保轨迹与观测结果的一致性。为此,提出了一种融合深度学习与传统追踪技术的模型,用于执行追踪任务,从而提高可视化的速度和准确度。首先,生成一个... 详细信息

时空数据追踪的可视化问题已经受到了广泛的关注,其研究重点在于展示数据的动态细节,并确保轨迹与观测结果的一致性。为此,提出了一种融合深度学习与传统追踪技术的模型,用于执行追踪任务,从而提高可视化的速度和准确度。首先,生成一个高质量的柏林噪声数据集并在该数据集上训练了一个多目标追踪模型。其次,提出了双阶段、多模型的深度学习框架来增强对动态场景的分析深度。最后,为了能够连续地展现详尽的追踪信息,提出了一种可以增强追踪信息的视觉效果结合轨迹和矢量场的可视化解决方案。在不同的案例中展示了该方法的有用性和鲁棒性,并从多个方面进行了量化评估和比较。结果表明该方法可以帮助用户在不同场景中理解多目标追踪信息。

关键词：照数据可视化深度学习时空数据多目标跟踪

来源：评论

学校读者我要写书评

暂无评论

基于SysML的嵌入式软件系统建模与验证方法研究

引用

计算机工程 2019年第1期45卷 1-8页

作者：仵林博陈小红彭艳红聂长海中国工程物理研究院计算机应用研究所四川绵阳621999 华东师范大学计算机科学与软件工程学院上海200062 南京大学计算机科学与技术系南京210023

嵌入式软件系统由于广泛采用分布式异构网络,使得软件系统复杂性呈现几何增长,因此需要在系统设计的论证阶段,对系统需求和设计方案进行正确性和充分性验证,进而发现系统性设计缺陷,避免可能引发或导致的严重系统性问题。为此,提出一种... 详细信息

嵌入式软件系统由于广泛采用分布式异构网络,使得软件系统复杂性呈现几何增长,因此需要在系统设计的论证阶段,对系统需求和设计方案进行正确性和充分性验证,进而发现系统性设计缺陷,避免可能引发或导致的严重系统性问题。为此,提出一种基于SysML的嵌入式软件系统结构与行为需求建模方法。通过对嵌入式软件系统的结构和逻辑行为进行层次化建模,并利用Modelica离散与连续融合的仿真特点,在系统需求论证阶段,基于建立的仿真模型对系统关键功能指标进行仿真,结果表明,该方法对系统需求论证具有可行性。

关键词： SysML模型系统建模 Modelica仿真系统结构嵌入式系统

来源：评论

学校读者我要写书评

暂无评论

Crypt-JDBC模型:洋葱加密算法的优化改进

引用

计算机科学与探索 2017年第8期11卷 1246-1257页

作者：陈鹤田秀霞袁培森金澈清华东师范大学计算机科学与软件工程学院数据科学与工程研究院上海200062 上海电力学院计算机科学与技术学院上海200090 南京农业大学信息科技学院南京210095

CryptDB是一种典型的密文存储技术,它根据运算操作语义使用洋葱加密算法将SQL语句改写到不同的洋葱密文列,从而仅暴露数据的部分属性即可执行查询任务。针对洋葱加密算法的不足之处提出了一种名为Crypt-JDBC的改进模型:(1)鉴于洋葱层数... 详细信息

CryptDB是一种典型的密文存储技术,它根据运算操作语义使用洋葱加密算法将SQL语句改写到不同的洋葱密文列,从而仅暴露数据的部分属性即可执行查询任务。针对洋葱加密算法的不足之处提出了一种名为Crypt-JDBC的改进模型:(1)鉴于洋葱层数多,且相邻层功能差异大,新模型把洋葱列分为主列与辅助列,并压缩洋葱层的改进方法(主列使用双向算法可还原明文,辅助列使用单向算法提供属性,保证安全性);(2)鉴于等值连接算法复杂低效,新模型通过简化一个关键模块(差异性转换)来降低复杂度;(3)鉴于列名的明文、密文名称对应性弱,新模型重新设计了明密文列名称的对应关系,减少了上下文信息,加强了密钥整体性。实现了Crypt-JDBC模型,用JDBC替换中间件软件MySQL-Proxy。实验结果表明,该模型具有较高的执行效率。

关键词： CryptDB 加密数据库 Crypt-JDBC模型洋葱加密算法密文数据库

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：