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

华东理工大学学报（自然科学版） 2015年第6期41卷 815-820,870页

作者：鲁成程虞慧群范贵生裴新华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

密文策略的属性基加密(Ciphertext-Policy Attribute-Based Encryption,CP-ABE)是一种可靠的方法,它既能实现数据机密性,又能实现细粒度的访问控制。但CP-ABE只支持单授权系统模型,不适合云存储的多授权。通过引入角色和规则的概念,提... 详细信息

密文策略的属性基加密(Ciphertext-Policy Attribute-Based Encryption,CP-ABE)是一种可靠的方法,它既能实现数据机密性,又能实现细粒度的访问控制。但CP-ABE只支持单授权系统模型,不适合云存储的多授权。通过引入角色和规则的概念,提出了一种多授权系统模型的改进方法,并改进标准CP-ABE方法以形成MACP-ABE方案。该方案能支持改进的多授权系统,实现细粒度的访问控制。此外,MACP-ABE方法可支持用户的属性撤销,从而实现动态属性管理。实验结果表明该方法可以有效地减少整体计算开销。

关键词：多授权系统模型 CP-ABE 属性撤销 MACP-ABE

来源：评论

学校读者我要写书评

暂无评论

基于社区发现及主题分析的微博用户推荐

引用

华东理工大学学报（自然科学版） 2014年第6期40卷 763-768页

作者：余紫丹虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

在现行的几种好友推荐机制基础上,考虑社交网络的信任传播因素,设计了一种推荐模型。提出一种先基于信任度发现社区,再通过主题分析计算用户相似度的两阶段推荐方法。旨在向用户推荐其感兴趣的潜在好友,帮助用户扩大其朋友圈,进而提高... 详细信息

在现行的几种好友推荐机制基础上,考虑社交网络的信任传播因素,设计了一种推荐模型。提出一种先基于信任度发现社区,再通过主题分析计算用户相似度的两阶段推荐方法。旨在向用户推荐其感兴趣的潜在好友,帮助用户扩大其朋友圈,进而提高用户黏性。

关键词：微博社区发现主题分析好友推荐信任度

来源：评论

学校读者我要写书评

暂无评论

云计算中基于进化算法的任务调度策略

引用

华东理工大学学报（自然科学版） 2015年第4期41卷 556-562页

作者：李欢虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

任务调度是云计算的关键问题之一,它的调度策略与算法直接影响到云计算系统的性能与成本。通过研究基于粒子群算法和遗传算法的任务调度策略,提出了一种基于进化策略的PSOCM算法。该算法通过在粒子群算法中引入遗传算法的交叉变异策略... 详细信息

任务调度是云计算的关键问题之一,它的调度策略与算法直接影响到云计算系统的性能与成本。通过研究基于粒子群算法和遗传算法的任务调度策略,提出了一种基于进化策略的PSOCM算法。该算法通过在粒子群算法中引入遗传算法的交叉变异策略来提高粒子群算法的全局收敛效果,并且证明了PSO-CM算法是一种全局收敛算法。Matlab仿真实验表明,该算法能够达到全局收敛,且收敛速度和稳定性优于传统的调度算法。

关键词：云计算任务调度粒子群算法遗传算法全局收敛

来源：评论

学校读者我要写书评

暂无评论

基于安全灰箱演算的物联网移动性建模验证

引用

华东理工大学学报（自然科学版） 2015年第3期41卷 391-395,416页

作者：丛新宇虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

物联网的建模和验证是物联网研究的一个重要领域。由于集成了物理进程,物联网表现出传统软件系统所不具备的物理特性。这些性质作为物联网系统中必不可少的一部分,必须在物联网模型中进行描述。移动性作为一种物理属性,能够描述物联网... 详细信息

物联网的建模和验证是物联网研究的一个重要领域。由于集成了物理进程,物联网表现出传统软件系统所不具备的物理特性。这些性质作为物联网系统中必不可少的一部分,必须在物联网模型中进行描述。移动性作为一种物理属性,能够描述物联网中物理实体的移动以及信息的流动,本文对物联网的移动性进行研究,提出了一种基于安全灰箱演算的物联网模型,并且使用灰箱逻辑对其进行分析验证。该方法能够对物联网的移动性进行描述分析,适用于具有移动特征的物联网应用。以欧洲火车控制系统(ETCS)为例,验证了本文建模和验证方法的可行性。

关键词：物联网建模验证移动性安全灰箱演算

来源：评论

学校读者我要写书评

暂无评论

一种基于Petri网的服务组合流程分析方法

引用

华东理工大学学报（自然科学版） 2009年第1期35卷 112-118页

作者：范贵生虞慧群陈丽琼刘冬梅华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

虽然业务流程执行语言(BPEL)有很多特征使它适合组合流程的描述,但它缺乏形式化语义,从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程... 详细信息

虽然业务流程执行语言(BPEL)有很多特征使它适合组合流程的描述,但它缺乏形式化语义,从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程,描述组合流程的基本活动及它们之间关系,进而分析了组合流程结构上的合理性。通过实例网的构建,给出了流程可组合性的判定定理,并提出减少服务搜索空间的算法。最后,应用具体实例模拟组合流程的分析过程,展示了该方法的有效性。

关键词： BPEL 可组合性 Petri网建模验证

来源：评论

学校读者我要写书评

暂无评论

基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证

引用

华东理工大学学报（自然科学版） 2010年第3期36卷 411-417页

作者：杨年华虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

结合着色Petri网和时延Petri网,提出了一种适合于复杂嵌入式系统建模方法。该方法在库所中表示数据、控制信息和时间戳,在变迁中引入时延、控制函数与变迁函数,利用抑制弧简化模型。该方法可以对复杂的嵌入式系统进行建模,还可以利用现... 详细信息

结合着色Petri网和时延Petri网,提出了一种适合于复杂嵌入式系统建模方法。该方法在库所中表示数据、控制信息和时间戳,在变迁中引入时延、控制函数与变迁函数,利用抑制弧简化模型。该方法可以对复杂的嵌入式系统进行建模,还可以利用现有的Petri网技术分析系统性质。通过实际案例展示了该方法的应用和可行性。

关键词： Petri网抑制弧嵌入式系统建模验证

来源：评论

学校读者我要写书评

暂无评论

基于概率模型检验的云渲染任务调度定量验证

引用

软件学报 2020年第6期31卷 1839-1859页

作者：高洪皓缪淮扣刘浩宇许华虎于芷若上海大学计算中心上海200444 上海大学计算机工程与科学学院上海200444 上海大学信息化办公室上海200444 上海市计算机软件评测重点实验室上海201112

云渲染技术已被广泛应用于影视和动漫等行业.与传统的渲染农场和租赁市场模式不同,云渲染系统依托云计算基础设施提供多种软件服务进行渲染作业的方式,正逐渐成为新兴的计算模式.由于任务执行和资源操作等作业调度对于用户而言是透明的... 详细信息

云渲染技术已被广泛应用于影视和动漫等行业.与传统的渲染农场和租赁市场模式不同,云渲染系统依托云计算基础设施提供多种软件服务进行渲染作业的方式,正逐渐成为新兴的计算模式.由于任务执行和资源操作等作业调度对于用户而言是透明的,这要求云渲染系统应具备智能化以实现计算资源优化调度和多端任务管理,并对系统可靠性提出了更高要求.针对这一问题,提出了采用概率模型检验对云渲染系统任务调度进行定量评估.首先,考虑渲染服务失效等因素引发的随机系统异常和指令错误,如文件损坏和渲染任务超时等,提出了基于离散马尔可夫链(DTMC)的概率模型对云渲染系统的文件准备模块、资源请求模块、渲染任务执行模块进行形式化建模;其次,从服务质量属性角度提出了9类验证性质用于定义云渲染系统的可靠性,采用概率计算树逻辑(PCTL)描述检验性质公式并执行工具PRISM计算和验证渲染系统可靠性;最后,结合案例和实验证明了该方法的可行性和有效性,尤其是对改进前后云渲染系统进行定量检验,可用于指导如何进行失效恢复和任务切换.因此,该方法在一定程度上可提高云渲染系统的可靠性.

关键词：云渲染系统任务调度概率模型检验 PRISM定量验证可靠性分析

来源：评论

学校读者我要写书评

暂无评论

基于容器的云资源管理博弈模型

引用

华东理工大学学报（自然科学版） 2015年第1期41卷 89-96页

作者：徐昕虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

云联盟通过将隶属不同组织机构的云资源形成联盟解决单个云资源有限的问题。基于容器的虚拟化是近年来出现的一种更为轻量和便捷的虚拟化技术,可以替代Hypervisor抽象出的虚拟机。本文设计了一种适用于容器虚拟化云联盟的资源管理模型,... 详细信息

云联盟通过将隶属不同组织机构的云资源形成联盟解决单个云资源有限的问题。基于容器的虚拟化是近年来出现的一种更为轻量和便捷的虚拟化技术,可以替代Hypervisor抽象出的虚拟机。本文设计了一种适用于容器虚拟化云联盟的资源管理模型,并采用博弈论的方法,提出一种兼顾用户QoS约束和云平台资源利用率的资源分配方法。多组实验结果表明,该方法针对不同类型的服务都能有效地提高服务质量,同时有助于提高资源使用率。

关键词：云联盟容器博弈论 QoS约束资源利用率

来源：评论

学校读者我要写书评

暂无评论

xk-split:基于k-medoids的分裂式聚类算法

引用

华东理工大学学报（自然科学版） 2017年第6期43卷 849-854,862页

作者：陈逸斐虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件重点测评实验室上海201112

近年来互联网数据规模呈爆炸式增长,如何对大数据进行分析已成为热门话题。然而,采集的数据很难直接用于分析,需要进行一定程度的预处理,以提高大数据质量。通过使用分裂式的迭代过程,可以逐步将数据集分裂为子集,避免了传统聚类算法聚... 详细信息

近年来互联网数据规模呈爆炸式增长,如何对大数据进行分析已成为热门话题。然而,采集的数据很难直接用于分析,需要进行一定程度的预处理,以提高大数据质量。通过使用分裂式的迭代过程,可以逐步将数据集分裂为子集,避免了传统聚类算法聚类开始时需要确定集群数的限制,并降低了算法的时间复杂度。此外,通过基于阈值的噪声数据过滤,可以在迭代过程中剔除噪音数据,提升了聚类算法对脏数据的忍耐力。

关键词：数据挖掘聚类 k-means k-medoids 分裂

来源：评论

学校读者我要写书评

暂无评论

一种基于AOcontPN的信息物理系统建模方法

引用

华东理工大学学报（自然科学版） 2013年第2期39卷 217-221页

作者：钱之琳虞慧群华东理工大学计算机科学与工程系上海200237 上海市计算机软件评测重点实验室上海201112

信息物理系统(CPS)是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法。依据CPS需求分析,将一些普遍存在的物理连续过程抽取出来,... 详细信息

信息物理系统(CPS)是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法。依据CPS需求分析,将一些普遍存在的物理连续过程抽取出来,作为一个功能性的方面连续Petri网,织入到基本Petri网中。这样不仅解决了CPS系统中连续过程的行为分析、复用等问题,也使得整个系统可以使用离散系统的形式化方法来验证。

关键词： CPS 面向方面方法连续Petri网建模

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：