上海市教育发展基金会“曙光计划”项目(07SG32)
- 作品数:36 被引量:227H指数:8
- 相关作者:虞慧群范贵生杨年华韩建民陈丽琼更多>>
- 相关机构:华东理工大学上海市计算机软件评测重点实验室浙江师范大学更多>>
- 发文基金:上海市教育发展基金会“曙光计划”项目国家自然科学基金上海市浦江人才计划项目更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种基于最优个体保存策略的服务组合优化选取方法被引量:4
- 2010年
- 提出了一种基于遗传算法的Web服务选取方法,使得组合形成的增值服务不仅能完成预定义任务,还能满足用户的特定需求。该方法采用动态适应度函数,提高了服务组合的适应度,通过计算个体间服务质量的海明距离和实施最优个体保存策略,提高了服务组合的质量。实验结果证明了该方法的有效性。
- 虞才珠邵志清
- 关键词:WEB服务组合遗传算法
- 基于能量感知的无线传感器网络拓扑演化被引量:3
- 2010年
- 针对无线传感器网络中能源效率的问题,引入复杂网络理论的研究方法,提出基于能量感知无线传感器网络拓扑动态演化模型。在建模过程中考虑到无线传感器网络拓扑变化与节点的度数和剩余能量密切相关,而且网络中节点和链路是有增有减的动态行为,利用连续场理论推导出此模型具有无标度的特征,无标度网络对于节点的随机故障具有较高的鲁棒性。数值计算与实验仿真结果显示,算法可以有效地改善整个网络的结点均衡能耗。
- 罗小娟虞慧群
- 关键词:无线传感器网络能量感知复杂网络拓扑演化
- 基于扩展ITCPN的UML状态图建模
- 2011年
- 在ITCPN(Interval Timed Colored Petri Nets)模型的基础上引入变迁条件函数和变迁数据操作函数,实现对UML状态图中数据计算的建模;利用抑止弧对迁移的优先级进行建模;同时借助抑止弧实现了对UML状态图中子状态之间"或"语义的建模。
- 杨年华虞慧群陆旻
- 关键词:UML状态图PETRI网
- 一个Peer-to-Peer环境下综合信誉计算模型被引量:1
- 2010年
- 为了有效地评估P2P网络中节点的信誉,提出了一种基于激励与惩罚机制的信誉计算模型。该信誉模型的计算数据源包括节点的直接交易经历和其他节点的推荐数据,推荐数据包括推荐节点与目标节点的直接交易经历以及它们在交易前曾经查询的数据。通过赋予这些数据不同的权重,使用相对的激励与惩罚机制综合计算节点的信誉。实验结果表明:该模型不仅可以遏制恶意节点,而且可以保证较高的交易成功率。
- 孙华虞慧群杨年华
- 关键词:P2P惩罚
- 基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证被引量:2
- 2010年
- 结合着色Petri网和时延Petri网,提出了一种适合于复杂嵌入式系统建模方法。该方法在库所中表示数据、控制信息和时间戳,在变迁中引入时延、控制函数与变迁函数,利用抑制弧简化模型。该方法可以对复杂的嵌入式系统进行建模,还可以利用现有的Petri网技术分析系统性质。通过实际案例展示了该方法的应用和可行性。
- 杨年华虞慧群
- 关键词:PETRI网嵌入式系统
- 基于安全进程代数的信息流安全模型的分析与验证
- 2012年
- 基于信息流的安全模型相对于基于访问控制的安全模型就刻画安全的性质而言更为本质。在安全进程代数统一框架下描述并形式化定义6种信息流安全模型,并且基于迹语义分析其逻辑蕴含关系,进一步对基于安全进程代数的6种信息流安全模型给出验证算法,并开发出验证工具,最后通过实例说明了该验证工具的使用。
- 王精明虞慧群
- 云计算技术的应用及发展趋势综述被引量:26
- 2011年
- 云计算是当前信息产业的热点领域,具有广阔的应用前景。从定义、特征和模型3个方面,介绍了云计算的基本概念,对云计算的虚拟化、资源管理、安全性、分布式编程、数据存储等核心技术和云计算标准进行综述,并对分析主流的云计算技术应用及发展趋势进行分析。
- 虞慧群范贵生
- 关键词:云计算云安全
- 开放系统中基于信任度和上下文的访问控制模型
- 2009年
- 开放系统中,访问控制机制不仅要能处理数量庞大且身份无法预先确定的用户的访问请求,而且能充分反映用户访问请求时上下文环境信息。本文提出了一种基于信任度和上下文的访问控制模型TC-RBAC,并给出了用户信任度计算方法。通过信任度为未知身份用户分配合适角色,上下文约束实现了对不同的访问请求上下文信息做出不同授权决策,从而满足开放环境下访问控制的设计要求。
- 冷春霞虞慧群韩建民
- 关键词:信任度上下文角色访问控制开放系统
- 基于Elman神经网络的交通流量预测方法被引量:15
- 2011年
- 交通流诱导系统是智能交通系统领域中一项重要的研究内容,而交通流量的预测问题则是交通流诱导系统的核心问题。因此,能够实时准确地预测交通流量成为诱导系统是否能够有效实现的关键问题。根据交通流的特性,分析交通数据采集过程中错误数据产生的原因,提出相应的处理方法,并在此基础上采用Elman神经网络对智能交通系统的流量预测进行建模。该系统采用C#并结合Matlab进行开发,通过Elman神经网络算法实现流量的预测,并采用图表的方式直观地显示预测结果。应用结果表明:该方法可以有效地对交通流量进行预测,且预测精度可以满足实际交通诱导的需要。
- 刘宁陈昱颋虞慧群范贵生
- 关键词:智能交通系统交通流量预测ELMAN神经网络可靠性
- 基于广义随机着色Petri网的Web服务组合模型被引量:3
- 2012年
- 给出了广义随机着色Petri网(GSCPN)和基于GSCPN的Web服务模型,实现了Web服务QoS和数据的表示,并给出了基于GSCPN的服务组合运算方法。用模型的层次化方法来降低模型的复杂性,一定程度上减轻了模型状态爆炸问题。分析了组合运算的性质,探讨了模型的性质和QoS分析方法。
- 杨年华虞慧群郭新顺
- 关键词:PETRI网WEB服务