您的位置: 专家智库 > >

华东理工大学信息科学与工程学院计算机科学与工程系

作品数:570 被引量:2,468H指数:23
相关作者:虞慧群邵志清宋国新帅典勋郑红更多>>
相关机构:清华大学信息科学技术学院智能技术与系统国家重点实验室清华大学信息科学技术学院上海交通大学电子信息与电气工程学院更多>>
发文基金:国家自然科学基金上海市教育发展基金会“曙光计划”项目上海市自然科学基金更多>>
相关领域:自动化与计算机技术文化科学电子电信经济管理更多>>

文献类型

  • 526篇期刊文章
  • 42篇会议论文
  • 1篇科技成果

领域

  • 502篇自动化与计算...
  • 28篇文化科学
  • 23篇电子电信
  • 22篇经济管理
  • 14篇理学
  • 7篇机械工程
  • 5篇交通运输工程
  • 4篇天文地球
  • 3篇化学工程
  • 2篇轻工技术与工...
  • 2篇社会学
  • 1篇金属学及工艺
  • 1篇电气工程
  • 1篇建筑科学
  • 1篇环境科学与工...
  • 1篇医药卫生
  • 1篇一般工业技术
  • 1篇语言文字
  • 1篇自然科学总论

主题

  • 65篇网络
  • 31篇计算机
  • 26篇分布式
  • 26篇PETRI网
  • 19篇WEB服务
  • 18篇教学
  • 17篇形式化
  • 16篇神经网
  • 16篇神经网络
  • 15篇数据挖掘
  • 15篇面向对象
  • 13篇软件工程
  • 13篇签名
  • 13篇嵌入式
  • 13篇计算机网
  • 13篇计算机网络
  • 12篇嵌入式系统
  • 11篇代理
  • 11篇聚类
  • 10篇软件开发

机构

  • 569篇华东理工大学
  • 44篇上海市计算机...
  • 25篇上海交通大学
  • 22篇清华大学
  • 11篇复旦大学
  • 11篇上海应用技术...
  • 8篇华东师范大学
  • 8篇浙江大学
  • 8篇中国科学院软...
  • 7篇上海电机学院
  • 6篇南京大学
  • 6篇上海工程技术...
  • 6篇上海计算机软...
  • 5篇上海师范大学
  • 5篇焦作大学
  • 4篇中国科学院
  • 4篇上海新侨职业...
  • 4篇中国科学院研...
  • 4篇万达信息股份...
  • 3篇滁州学院

作者

  • 126篇虞慧群
  • 82篇邵志清
  • 58篇范贵生
  • 53篇宋国新
  • 40篇帅典勋
  • 33篇杨明福
  • 22篇高大启
  • 21篇郭卫斌
  • 19篇郑红
  • 17篇何高奇
  • 16篇阮彤
  • 16篇陈丽琼
  • 16篇李建华
  • 15篇顾春华
  • 15篇杨根兴
  • 14篇刘冬梅
  • 13篇程华
  • 13篇沈庆浩
  • 13篇沈备军
  • 11篇张有仁

传媒

  • 159篇华东理工大学...
  • 59篇计算机工程
  • 47篇计算机应用与...
  • 32篇计算机科学
  • 24篇计算机工程与...
  • 20篇微型电脑应用
  • 18篇计算机学报
  • 15篇软件学报
  • 13篇计算机教育
  • 10篇电子学报
  • 8篇计算机应用
  • 8篇计算机应用研...
  • 7篇系统仿真学报
  • 6篇计算机研究与...
  • 6篇小型微型计算...
  • 6篇计算机工程与...
  • 5篇计算机时代
  • 4篇通信学报
  • 4篇计算机工程与...
  • 4篇现代计算机

年份

  • 9篇2024
  • 5篇2023
  • 9篇2022
  • 4篇2021
  • 7篇2020
  • 11篇2019
  • 11篇2018
  • 12篇2017
  • 9篇2016
  • 9篇2015
  • 17篇2014
  • 14篇2013
  • 16篇2012
  • 32篇2011
  • 34篇2010
  • 28篇2009
  • 27篇2008
  • 34篇2007
  • 44篇2006
  • 40篇2005
570 条 记 录,以下是 1-10
排序方式:
基于带连续变量的Statecharts的嵌入式系统模型
随着嵌入式系统复杂度的增加,使用传统的离散事件的建模工具已经无法满足人们日益增长的需求。提出了一种带连续变量的Statecharts的建模方法和其Statechart项的表示形式,同时给出了其操作语义。最后以一个逃生控制...
黄骏虎虞慧群
关键词:可视化语言嵌入式系统建模方法
服务可用性系统的软件在线升级设计被引量:1
2005年
提出一种基于服务可用性系统的软件在线升级设计思路,并阐述了基于该设计思路而设计实现的软件在线升级流程以及其中的一些关键技术。该软件升级过程使得系统在维护过程中的软件维护可以在系统在线或者不间断提供服务的条件下执行。
苏雪宋国新
关键词:服务可用性
一种云存储数据完整性验证方法被引量:14
2013年
随着网络技术的迅速发展,基于云计算的应用已经渗透到社会的各个领域。云存储数据完整性技术是云计算的重要内容。然而,目前还缺乏对云存储数据完整性进行有效验证和分析的方法。提出了一种云存储数据完整性验证方法,该方法结合可恢复性证明(PoR)和MD5的优势,利用数据分块、随机抽样和周期性验证技术及时验证出数据是否被损坏。具体实现及分析结果表明,该方法能有效地验证云存储数据的完整性,有助于提高云计算的安全性。
于洋洋虞慧群范贵生
关键词:数据完整性MD5
一种Verilog的操作语义被引量:1
2005年
用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型。分别用二元组和四元组描述Verilog非并发和并发成分的状态,刻画了不同语句的状态转换规则,并用实例描述了并发程序的执行过程,证明了该操作语义模型的正确性。
董鑫宋国新
关键词:VERILOG形式化语义操作语义并发
一种基于AOcontPN的信息物理系统建模方法被引量:1
2013年
信息物理系统(CPS)是计算、控制和通信相融合的系统。现有的建模方法不能很好地实现其离散和连续混合的复杂行为。对此提出了一种基于面向方面连续Petri网的AOcontPN建模方法。依据CPS需求分析,将一些普遍存在的物理连续过程抽取出来,作为一个功能性的方面连续Petri网,织入到基本Petri网中。这样不仅解决了CPS系统中连续过程的行为分析、复用等问题,也使得整个系统可以使用离散系统的形式化方法来验证。
钱之琳虞慧群
关键词:CPS连续PETRI网
一种改进的功能点分析方法被引量: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模式下的具体实现 ,旨在为软件组织提供一种可视化、灵活方便。
彭乐张有仁张华陆建梁
共57页<12345678910>
聚类工具0