华东理工大学信息科学与工程学院计算机科学与工程系
- 作品数：566 被引量：2,435H指数：22
- 相关作者：虞慧群邵志清范贵生宋国新帅典勋更多>>
- 相关机构：清华大学信息科学技术学院智能技术与系统国家重点实验室清华大学信息科学技术学院上海交通大学电子信息与电气工程学院更多>>
- 发文基金：国家自然科学基金上海市教育发展基金会“曙光计划”项目上海市自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信经济管理更多>>
- 基于带连续变量的Statecharts的嵌入式系统模型
- 随着嵌入式系统复杂度的增加，使用传统的离散事件的建模工具已经无法满足人们日益增长的需求。提出了一种带连续变量的Statecharts的建模方法和其Statechart项的表示形式，同时给出了其操作语义。最后以一个逃生控制...
- 黄骏虎虞慧群
- 关键词：可视化语言嵌入式系统建模方法
- 一种云存储数据完整性验证方法被引量：14
- 2013年
- 随着网络技术的迅速发展,基于云计算的应用已经渗透到社会的各个领域。云存储数据完整性技术是云计算的重要内容。然而,目前还缺乏对云存储数据完整性进行有效验证和分析的方法。提出了一种云存储数据完整性验证方法,该方法结合可恢复性证明(PoR)和MD5的优势,利用数据分块、随机抽样和周期性验证技术及时验证出数据是否被损坏。具体实现及分析结果表明,该方法能有效地验证云存储数据的完整性,有助于提高云计算的安全性。
- 于洋洋虞慧群范贵生
- 关键词：数据完整性MD5
- 服务可用性系统的软件在线升级设计被引量：1
- 2005年
- 提出一种基于服务可用性系统的软件在线升级设计思路,并阐述了基于该设计思路而设计实现的软件在线升级流程以及其中的一些关键技术。该软件升级过程使得系统在维护过程中的软件维护可以在系统在线或者不间断提供服务的条件下执行。
- 苏雪宋国新
- 关键词：服务可用性
- 一种基于AOcontPN的信息物理系统建模方法被引量：1
- 2013年
- 信息物理系统(CPS)是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法。依据CPS需求分析,将一些普遍存在的物理连续过程抽取出来,作为一个功能性的方面连续Petri网,织入到基本Petri网中。这样不仅解决了CPS系统中连续过程的行为分析、复用等问题,也使得整个系统可以使用离散系统的形式化方法来验证。
- 钱之琳虞慧群
- 关键词：CPS连续PETRI网
- 一种Verilog的操作语义被引量：1
- 2005年
- 用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型。分别用二元组和四元组描述Verilog非并发和并发成分的状态,刻画了不同语句的状态转换规则,并用实例描述了并发程序的执行过程,证明了该操作语义模型的正确性。
- 董鑫宋国新
- 关键词：VERILOG形式化语义操作语义并发
- 一种改进的功能点分析方法被引量：8
- 2007年
- 功能点分析是一种广泛使用的软件功能规模度量方法,它不依赖于实现语言,度量结果也可以在不同的开发过程之间进行比较。该文针对功能点分析方法中功能要素复杂度等级划分的缺点和不足,提出了模糊功能点分析方法。该方法能更准确地估算出功能点数量,具有很强的实际可操作性。
- 顾勋梅宋国新邵志清
- 基于FCM和BP神经网络的棉麻纤维识别方法研究被引量：8
- 2013年
- 提出一种基于模糊c均值(FCM)和BP神经网络的棉麻纤维识别方法。首先,根据纤维横向和纵向截面形态的不同,提取6个特征参数,然后运用模糊c均值算法将样本聚类成3类,再将聚类后的数据作为BP神经网络的输入进行训练和预测,最后进行仿真实验。结果表明,将两种算法结合起来用于纤维的识别具有明显优势,是值得推广的纤维识别方法。
- 殷士勇王文中
- 关键词：FCM模糊聚类BP神经网络纤维识别
- 分布式实时系统设计的一种扩展方法被引量：1
- 2002年
- 介绍了分布式实时系统设计的一种扩展方法。在转化设计的基础上 ,支持系统的扩展及系统规范的改变。新的系统需求规范使用轨迹逻辑 ( Trace logic)描述系统轨迹 ,用 DCI( Durationcalculus implementable)描述其对时间的要求 ,在原有的系统设计规范的基础上应用一组标准的扩展规则得到新的设计规范。系统设计的正确性可由扩展过程本身得以保证。
- 屠梅红虞慧群
- 关键词：分布式实时系统
- 基于改进型关联算法的门票分析系统设计与实现
- 2006年
- 提出了一种加权的关联规则CWA priori算法,在数据挖掘过程中,充分利用决策属性在挖掘中的作用,清洗掉数据源中无价值或价值较小的记录,从而达到节省程序运行时间和空间的目的。给出了CWA priori算法的描述,开发设计了基于该算法的A S-M in ing门票分析系统,该系统在项目单位正常运行使用。实践证明:发现的知识模式对公司的门票销售决策具有一定的实用参考价值,同时在节省程序运行资源方面也取得了良好的效果。
- 张有根吴庆涛邵志清
- 关键词：数据挖掘关联规则权函数
- 软件过程支持系统EProcessV2.0的研究与实现
- 2002年
- 软件过程是软件研究中的新兴领域 ,它是提高软件生产率、保证软件质量的重要方法。本文介绍软件过程支持系统 EProcess V2 .0 ,探讨系统中过程建模技术 ,引入 APRML建模语言及其实施机制。同时介绍了 EProcess V2 .0的各个组成部分及其在 J2 EE模式下的具体实现 ,旨在为软件组织提供一种可视化、灵活方便。
- 彭乐张有仁张华陆建梁
