公共文化服务平台

国家自然科学基金(61173048): 作品数：11 被引量：33H指数：4; 相关作者：虞慧群范贵生于洋洋李欢吴桂平更多>>; 相关机构：华东理工大学上海市计算机软件评测重点实验室上海应用技术学院更多>>; 发文基金：国家自然科学基金中央高校基本科研业务费专项资金上海市科委重大科技攻关项目更多>>; 相关领域：自动化与计算机技术电子电信机械工程更多>>

一种云存储数据完整性验证方法被引量：13: 2013年; 随着网络技术的迅速发展,基于云计算的应用已经渗透到社会的各个领域。云存储数据完整性技术是云计算的重要内容。然而,目前还缺乏对云存储数据完整性进行有效验证和分析的方法。提出了一种云存储数据完整性验证方法,该方法结合可恢复性证明(PoR)和MD5的优势,利用数据分块、随机抽样和周期性验证技术及时验证出数据是否被损坏。具体实现及分析结果表明,该方法能有效地验证云存储数据的完整性,有助于提高云计算的安全性。; 于洋洋虞慧群范贵生; 关键词：数据完整性 MD5

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

A Logical Characterization for Linear Higher-Order Processes: 2015年; Modal logic characterization in a higher-order setting is usually not a trivial task because higher-order process-passing is quite different from first-order name-passing. We study the logical characterization of higherorder processes constrained by linearity. Linearity respects resource-sensitiveness and does not allow processes to duplicate themselves arbitrarily. We provide a modal logic that characterizes linear higher-order processes,particularly the bisimulation called local bisimulation over them. More importantly, the logic has modalities for higher-order actions downscaled to resembling first-order ones in Hennessy-Milner logic, based on a formulation exploiting the linearity of processes.; 徐贤龙环; 关键词：BISIMULATION LINEARITY HIGHER-ORDER

基于副本分布策略的MapReduce性能优化技术被引量：1: 2013年; 集群中的节点由于其硬件配置不同导致其性能不同,使得集群环境成为异构环境。然而,在以Hadoop为代表的MapReduce实现中并没有充分考虑到环境的异构性,致使过多的Map任务需要从其他节点传输输入数据块,从而影响MapReduce在异构环境中的性能。提出了一种基于节点性能的数据块副本分布策略,使副本的分布与节点性能相适应,同时将可靠性、创建的传输开销及数据块间性能的平衡纳入考虑。结果表明:该策略在异构环境中能有效提升输入数据在本地的Map任务比例,并缩短MapReduce任务的完成时间。; 钱孟远虞慧群; 关键词：分布式文件系统 MAPREDUCE 异构环境

一种基于RSSI距离比的传感器节点定位算法被引量：4: 2013年; 随着无线传感器网络的应用与发展,WSN作为一种全新的信息获取和处理技术已得到广泛应用。如何对传感器网络节点进行快速、精确的定位,已成为WSN系统急需解决的问题。为此,提出了一种基于RSSI距离比的MDS定位算法。该算法巧用RSSI距离比,结合Euclidean测距技术计算节点间距离矩阵,运用MDS算法建立相应的全局坐标系统。根据已知锚节点物理位置,通过坐标变换(旋转与平移)最终确定未知节点的物理位置。实验结果表明:该方法能有效地提高定位的精度,对开发高精度定位系统具有重要的参考价值。; 吴桂平虞慧群范贵生; 关键词：MDS RSSI测距

基于效用的云计算容错策略和模型被引量：3: 2014年; 云计算近年来已成为一种被广泛接受的计算模式.随着云计算在商业、交通、卫生等领域应用的不断推进,云应用系统的可靠性问题引起了人们的特别关注.然而,云应用系统的结构和行为特征复杂,如何保障系统的可靠性是一项极具挑战性的课题.本文研究云计算的容错模型和策略,通过构建可扩展的云计算容错模型,以刻画云计算的运行机理、组件故障行为、云应用间合作和竞争特性.依据云计算的故障及资源服务特征,提出云计算的故障迁移和恢复方案.围绕容错涉及的时间和价格,依次计算云计算组件和云应用的效用,进一步分析各云应用的利益.通过求解模型的Nash均衡,以优化整体云计算的容错效用.最后,利用模型检查技术验证容错模型和容错处理的正确性.本文研究对于揭示云计算的结构和行为特征、建立云计算容错设计理论、提高云计算容错的效用具有理论意义和应用价值.; 范贵生虞慧群陈丽琼刘冬梅; 关键词：云计算容错 PETRI网博弈

云计算安全模型与管理被引量：5: 2013年; 安全问题是云计算应用最受关注的问题之一,云计算的资源虚拟化、分布性和动态性等特性使得云安全成为具有挑战性的课题。从云计算的结构特征分析出发,对云计算安全模型的结构和构件进行了剖析,从预防、监控、响应等3个阶段阐述了云安全管理模式,并对云数据安全策略的粘性管理机制进行分析。; 虞慧群范贵生; 关键词：云计算安全管理

基于社区发现及主题分析的微博用户推荐被引量：1: 2014年; 在现行的几种好友推荐机制基础上,考虑社交网络的信任传播因素,设计了一种推荐模型。提出一种先基于信任度发现社区,再通过主题分析计算用户相似度的两阶段推荐方法。旨在向用户推荐其感兴趣的潜在好友,帮助用户扩大其朋友圈,进而提高用户黏性。; 余紫丹虞慧群; 关键词：主题分析信任度

一种特征转移和域自适应的异质缺陷预测方法被引量：1: 2022年; 软件缺陷预测是软件工程领域中的一个研究热点.跨项目缺陷预测(Cross-Project Defect Prediction, CPDP)采用源项目的缺陷数据来预测目标项目的缺陷倾向性.然而,源项目和目标项目的特征可能会有所不同.因此,研究人员提出了异质缺陷预测(Heterogeneous Defect Prediction, HDP).为了提高HDP模型的性能,本文提出了一种基于特征迁移和域自适应的异质缺陷预测(Feature Transfer and Domain Adaptation, FTDA)方法.首先,FTDA使用基于相关性的特征选择算法从源项目的特征集中选择最优的特征子集.随后,使用欧氏距离进行匹配特征,并为每个目标项目选择最合适的源项目.再次,使用TCA算法解决不同项目之间的分布差异问题.最后,使用SMOTETomek算法处理类不平衡问题.为了验证FTDA方法的有效性,本文对AEEEM,PROMISE,NASA和Relink数据集中的24个项目进行了实证研究.实证研究表明,FTDA显著提高了异质缺陷预测的性能.; 黄燕徐贤虞慧群杨星光

基于PLC控制器的炼钢加热炉压力系统设计: 2013年; 本文根据炼钢加热炉的生产工艺流程和压力控制系统的自动控制策略,在仔细研究炼钢炉实际生产情况和查阅相关文献资料的基础上,以冶金企业的炼钢加热炉控制系统为研究对象,基于PLC控制器设计了炼钢加热炉压力控制系统。通过理论论证及实际应用分析,该炼钢加热炉压力控制系统实现了对炼钢加热炉压力的实时精确控制,对提高炼钢加热炉的炼钢生产效率,节约炼钢生产成本具有重要的理论意义及实践价值。; 刘洁虞慧群; 关键词：PLC控制器

国家自然科学基金(61173048)

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

国家自然科学基金(61173048)

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈