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

华东师范大学学报（自然科学版） 2017年第1期 38-51,70页

作者：沈娉婷陈良育华东师范大学上海市高可信计算重点实验室上海200062

大量研究表明,Java软件系统是一种人工复杂网络,它的入度分布符合幂律,然而出度却是对数正态分布.现有的这些研究都仅仅以Java开发工具包,如JDK、log4j和Tomcat这一类软件系统为研究对象.除此之外,所分析的数据类型也很有限,只考虑了程... 详细信息

大量研究表明,Java软件系统是一种人工复杂网络,它的入度分布符合幂律,然而出度却是对数正态分布.现有的这些研究都仅仅以Java开发工具包,如JDK、log4j和Tomcat这一类软件系统为研究对象.除此之外,所分析的数据类型也很有限,只考虑了程序包与类的依赖关系,忽略了很多有用的数据类型,比如函数成员变量和函数临时变量.本文将这两类数据类型纳入了研究范畴,拓展了类依赖关系.不仅如此,本文也将研究粒度细化至函数层面,构建了函数依赖图.针对这两类依赖关系,本文提出了将系统转化为加权有向网络图的理论方法.全面的实验结果显示,本文所选取的10类Java应用系统,无论是出度还是入度绝大多数都符合幂律分布,由此证明了所提出的理论方法,验证了有向加权网络是否具有无标度特性在分析Java应用系统网络结构时是有效的.

关键词：复杂网络 Java应用系统幂律分布类依赖图函数依赖图

来源：评论

学校读者我要写书评

暂无评论

支持非等值连接的分布式数据流处理系统

引用

华东师范大学学报（自然科学版） 2017年第5期 11-19页

作者：陈明珠王晓桐房俊华张蓉华东师范大学计算机科学与软件工程学院上海高可信计算重点实验室上海200062

实时处理的分布式数据流系统在当今大数据时代扮演着越来越重要的角色.其中,连接查询是大数据分析处理中最为重要且开销较大的操作之一.然而,由于现实应用产生的数据普遍存在倾斜分布现象,加之数据流本身的无界性与不可预知性,给在分布... 详细信息

实时处理的分布式数据流系统在当今大数据时代扮演着越来越重要的角色.其中,连接查询是大数据分析处理中最为重要且开销较大的操作之一.然而,由于现实应用产生的数据普遍存在倾斜分布现象,加之数据流本身的无界性与不可预知性,给在分布式数据流系统上进行连接查询处理提出了严峻的挑战.目前工业界较为主流的数据流系统处理连接查询的通用性较低,没有提供专门针对连接操作的接口;学术界推出的数据流连接查询原型系统虽然提供了接口,但大多面向等值连接,或仅能支持部分theta连接,且存在资源开销大、负载均衡性能低等问题.本文对比分析三种典型数据流系统,将基于Join-Matrix的连接处理技术与Storm系统相结合,设计并实现了通用的、可支持任意连接查询的数据流处理系统.实验展示了本文设计的系统具有更加良好的吞吐量与资源优化表现.

关键词：数据流处理系统连接处理分布式计算

来源：评论

学校读者我要写书评

暂无评论

基于查询概率的位置隐私保护方法

引用

计算机应用 2017年第2期37卷 347-351,359页

作者：赵大鹏宋光旋靳远远王晓玲华东师范大学上海市高可信计算重点实验室上海200062

现有的隐私保护技术较少考虑到查询概率、map数据、信息点(POI)语义等边信息,攻击者可以将边信息与位置数据相结合推断出用户的隐私信息,为此提出一种新的方法 ARB来保护用户的位置隐私。该方法首先把空间划分为网格,根据历史查询数据... 详细信息

现有的隐私保护技术较少考虑到查询概率、map数据、信息点(POI)语义等边信息,攻击者可以将边信息与位置数据相结合推断出用户的隐私信息,为此提出一种新的方法 ARB来保护用户的位置隐私。该方法首先把空间划分为网格,根据历史查询数据计算出处于不同网格区域的用户提交查询的概率;然后结合相应单元格的查询概率来生成用户匿名区域,从而保护用户的位置隐私信息;最后采用位置信息熵作为隐私保护性能的度量指标。在真实数据集上与已有的两种方法进行对比来验证隐私保护方法的性能,结果显示该方法具体有较好的隐私保护效果和较低的时间复杂度。

关键词：基于位置的服务位置隐私边信息查询概率匿名

来源：评论

学校读者我要写书评

暂无评论

集群数据库系统的日志复制和故障恢复

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

不确定环境下智能大厦空调系统调度策略评估

引用

软件学报 2016年第3期27卷 655-669页

作者：陈铭松顾璠徐思远陈小红上海市高可信计算重点实验室(华东师范大学)

近年来,智能大厦的概念在国内外受到了高度的关注.相比于传统的建筑,智能大厦更加节能、舒适、易维护,已成为未来建筑的发展趋势.作为智能大厦空调通风系统的关键部分,空调系统及其调度策略决定了大厦整体的节能效果以及大厦中用户的舒... 详细信息

近年来,智能大厦的概念在国内外受到了高度的关注.相比于传统的建筑,智能大厦更加节能、舒适、易维护,已成为未来建筑的发展趋势.作为智能大厦空调通风系统的关键部分,空调系统及其调度策略决定了大厦整体的节能效果以及大厦中用户的舒适度.然而,由于智能大厦所处的环境具有许多不确定因素,极大地增加了空调系统调度策略设计与评估的复杂程度.因此,如何设计与评估不确定环境下空调系统的调度策略成为了智能大厦设计者面临的一大挑战.已有的方法主要针对智能大厦空调系统进行能耗与性能等方面的分析,但尚未有方法针对调度策略本身进行分析与评估.提出一种基于价格时间自动机的调度策略评估框架,支持对不确定环境下的智能大厦进行精确建模与定量评估.该框架使用UPPAAL-SMC作为属性查询引擎对模型进行随机模拟运行,根据模拟结果对不同调度策略下大厦的能耗及用户的舒适度进行定量分析.实验结果表明,该方法能够有效地帮助设计者进行策略的制定和选取.

关键词：不确定环境智能大厦价格时间自动机策略评估

来源：评论

学校读者我要写书评

暂无评论

基于隐语义模型的中医在线辅助诊疗系统

引用

计算机应用 2017年第A01期37卷 303-307页

作者：张颖纪文迪周毅萍王晓玲上海市高可信计算重点实验室(华东师范大学) 上海200000 上海中医药大学基础医学院上海200000

当前对中医学的怀疑关键在于其缺少科学数据的支撑,因此,把中医诊疗的过程数据化十分重要。针对该问题提出一种数据驱动的中医诊疗方法,基于对医案中病症和对应处方的隐语义分析,找出隐含病机,发现隐含病机与病症和药物间存在的关系,建... 详细信息

当前对中医学的怀疑关键在于其缺少科学数据的支撑,因此,把中医诊疗的过程数据化十分重要。针对该问题提出一种数据驱动的中医诊疗方法,基于对医案中病症和对应处方的隐语义分析,找出隐含病机,发现隐含病机与病症和药物间存在的关系,建立了一个基于传统中医医案挖掘的多内容隐含狄利克雷分布(LDA)模型。基于模型的结果,提出根据症状推荐药物的算法,并且建立了基于隐语义模型的中医在线辅助诊疗系统。通过实验评估推荐算法的有效性,在精度、召回率方面均好于基线方法。中医在线辅助诊疗系统能提供数据驱动的诊疗结果辅助中医师诊疗,帮助中医更准确、全面、智能地制定科学的治疗方案。

关键词：数据挖掘隐含狄利克雷分布隐语义模型推荐算法中医学

来源：评论

学校读者我要写书评

暂无评论

左侧带权凸二分图动态权值匹配

引用

计算机学报 2016年第11期39卷 2388-2402页

作者：祖佺张苗苗刘静同济大学软件学院上海201804 华东师范大学上海市高可信计算重点实验室上海200062

动态匹配问题是指在图结构变更的情况下求解某特定匹配,包括添加和删除图中顶点和边的更新操作以及计算匹配信息的查询操作.凸二分图是一类特殊二分图,在其顶点二划分(X,Y)中,Y顶点集为一个全序集,每个x∈X的邻点集在Y中形成一段连续区... 详细信息

动态匹配问题是指在图结构变更的情况下求解某特定匹配,包括添加和删除图中顶点和边的更新操作以及计算匹配信息的查询操作.凸二分图是一类特殊二分图,在其顶点二划分(X,Y)中,Y顶点集为一个全序集,每个x∈X的邻点集在Y中形成一段连续区间.已有的凸二分图动态基数匹配算法不能求解权值匹配,因而该文研究左侧顶点带权凸二分图中动态最大权值匹配问题.文中提出一种问题求解的框架:在更新操作中维护参与匹配的顶点集合,继而在查询操作中计算相应的匹配信息.文中基于交错路定义了可替换集,并证明可通过计算可替换集来维护参与匹配的顶点集;提出紧致子图的概念,证明可替换集的求解等价于紧致子图的求解,从而将传统的通过寻找交替路求解匹配的方法改进为通过寻找子图结构来求解匹配.文中利用凸二分图的凸性质将紧致子图的计算转化为查找该子图中最大或最小y顶点操作,进而结合隐性表征技术在增广平衡二叉查找树数据结构中快速求解,继而设计动态匹配算法在O(log^2|V|)平摊时间下维护更新操作,在最坏线性时间下维护查询操作.较之于已知最好的解决不带权凸二分图动态基数匹配问题的方法,该文提出的方法能在与之相同的时间复杂度下解决难度更高的左侧带权问题.

关键词：凸二分图动态匹配交错路紧致子图隐性表征平衡二叉查找树

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机研究与发展 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方案的安全性分析(数据机密性、关键字隐私安全、搜索可控性、陷门安全性)以及同现有其他方案的效率比较.

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

来源：评论

学校读者我要写书评

暂无评论

调强放疗中强度矩阵分解算法的研究

引用

计算机应用研究 2017年第3期34卷 683-688页

作者：齐东洲吴敏刘晓慧陈宏亮余彬和华东师范大学上海市高可信计算重点实验室上海200062 同济大学医学院上海200092 Elekta上海研发部上海200122 上海交通大学上海市信息系统实验室上海200240

强度矩阵分解作为调强放疗(IMRT)中的一个核心技术,是一个NP-hard问题。调强一般分为静态模式和动态模式两种。针对静态调强放疗,对总治疗时间主要依赖的四个参数:总机器跳数(TNMU)、子野个数(NS)、多叶准直器叶片移动速率和验证记录(V&... 详细信息

强度矩阵分解作为调强放疗(IMRT)中的一个核心技术,是一个NP-hard问题。调强一般分为静态模式和动态模式两种。针对静态调强放疗,对总治疗时间主要依赖的四个参数:总机器跳数(TNMU)、子野个数(NS)、多叶准直器叶片移动速率和验证记录(V&R)进行了研究,基于Xia&Verhey算法提出了一种高效的算法,能达到总治疗时间尽可能少的效果。经过随机与临床强度矩阵数据的大量测试,提出的算法与同类算法如Galvin算法、Bortfeld算法、Xia&Verhey算法、Siochi算法以及Luan算法相比,都能取得最小的总治疗时间,从而更具有实际可行性。

关键词：调强放疗强度矩阵子野总机器跳数多叶准直器

来源：评论

学校读者我要写书评

暂无评论

ProMiner:系统性质驱动的双向一致性检验框架

引用

软件学报 2016年第7期27卷 1757-1771页

作者：葛徐骏王玲徐立华郭建朱惠彪华东师范大学计算机科学技术系上海200241 上海市高可信计算重点实验室(华东师范大学) 上海200062

在模型驱动软件开发过程中,基于模型的测试方法往往用于检验软件代码针对软件模型的一致性以确保软件质量.然而,随着当今软件系统规模的不断扩大,相应的软件开发过程也变得越来越灵活,代码有时会先于模型被修改,以更忠实地体现系统功能... 详细信息

在模型驱动软件开发过程中,基于模型的测试方法往往用于检验软件代码针对软件模型的一致性以确保软件质量.然而,随着当今软件系统规模的不断扩大,相应的软件开发过程也变得越来越灵活,代码有时会先于模型被修改,以更忠实地体现系统功能和实现机制.传统的基于模型的测试方法只能检测代码之于模型的一致性而不能反作用于模型层面,模型的修改者只能人为地评估修改的正确性,大大降低了效率并增加了系统的潜在隐患.为此,对传统基于模型的测试方法的一致性检验进行了扩展,实现了一致性检验框架Pro Miner,通过抽取表达模型与代码的不一致的系统性质来自动定位模型中与实际运行系统不匹配的部分,并将其表示为可直接用于模型检测的线性时序逻辑(LTL)表达式,以支持软件模型和代码间双向的一致性检验.实验结果表明,Pro Miner可有效查找软件模型和代码间的不一致并生成可直接检测模型的系统性质,从而实现了自动化的模型与代码间的双向一致性检测,不仅提高了一致性检测的有效性,而且大大减少了人力开销.

关键词：一致性检验模型检测基于模型的测试线性时序逻辑

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：