虞慧群
- 作品数：175 被引量：651H指数：13
- 供职机构：华东理工大学信息科学与工程学院计算机科学与工程系更多>>
- 发文基金：国家自然科学基金上海市教育发展基金会“曙光计划”项目上海市浦江人才计划项目更多>>
- 相关领域：自动化与计算机技术文化科学机械工程交通运输工程更多>>
- 融合定向自注意机制的代码完成方法被引量：1
- 2020年
- 智能代码完成是现代智能软件开发中的重要组成部分,但对于动态类型编程语言来说可能具有挑战性.基于学习大型代码库有助于促进动态类型编程语言的代码完成.然而,即使具有注意机制的标准神经语言模型同样丢失了代码的时间顺序信息和代码之间的远程依赖关系.本文使用抽象语法树将源代码转换为单词序列,受到程序源代码结构顺序信息以及定向自注意网络的启发,本文提出使用定向自注意机制来捕捉源代码的时间顺序信息以及代码上下文的远程依赖关系,更好地用于进行代码完成.两个基准数据集上的实验证明了本文的定向自注意机制对代码完成任务的有效性.
- 虞慧群黄家杰范贵生刁旭炀
- 关键词：抽象语法树
- 基于扩展ITCPN的UML状态图建模
- 2011年
- 在ITCPN(Interval Timed Colored Petri Nets)模型的基础上引入变迁条件函数和变迁数据操作函数,实现对UML状态图中数据计算的建模;利用抑止弧对迁移的优先级进行建模;同时借助抑止弧实现了对UML状态图中子状态之间"或"语义的建模。
- 杨年华虞慧群陆旻
- 关键词：UML状态图PETRI网
- 分布式实时系统的一种转化设计方法被引量：2
- 2001年
- 介绍了实时分布式系统的一种转化设计方法。系统的形式化需求规范用时段演算 DC( Duration Calculus)描述 ,系统的设计用规范语言 SL( Specification Language)表示。一组标准的转换规则可将系统从形式化需求规范转化为设计规范。系统设计的正确性可由转换过程本身得以保证。
- 屠梅红虞慧群
- 关键词：分布式实时系统时段演算设计规范
- 基于控制周期特征式的线性混合自动机验证
- 2000年
- 提出了一种基于归纳法思想的验证方法 ,通过控制周期上特性的描述 ,发现了基于控制周期特征式的线性混合自动机验证方法。这一方法采用定理证明过程来得出归纳证明的结构 ;采用模型检查方法来得出归纳证明的奠基和迭代步。这一方法同时兼顾了模型检查和定理证明的特点 ,用此定理证明更高的自动化程度解决了单用模型检查不能解决的问题 ,得出了对著名案例 GasBurner问题中的参数 3non- leakking≥ 76的最优范围。
- 潘国强虞慧群宋国新邵志清
- 关键词：定理证明
- 嵌入式系统设计的一种协同仿真方法被引量：5
- 2001年
- 提出了一种基于 C+ +平台的嵌入式系统设计的协同仿真方法。嵌入式系统的软件成分由 C+ +实现 ,硬件成分由 Verilog刻划。该方法的基本思路是将 Verilog模块转化为 C+ +程序 ,然后将软件成分与转化后的硬件成分连接 。
- 姜伟华虞慧群应华吴元捷
- 关键词：嵌入式系统协同设计VERILOGC++计算机控制系统系统设计
- 线性混合系统符号模型验证中的参数分析方法被引量：1
- 2000年
- 说明了 HYTECH工具中所采用的参数分析方法对系统描述能力的限制 ;提出了分离参数变量和系统状态变量的符号模型检查算法 ,并对用 HYTECH不能分析的 Fischer互斥算法的时钟偏移的界进行了分析。
- 潘国强虞慧群宋国新邵志清
- 关键词：混合自动机
- 以工程创新能力培养为核心的软件工程本科人才培养体系被引量：14
- 2018年
- 针对软件工程专业面临的挑战和机遇,以培养工程意识、工程兴趣、工程能力和创新精神等为核心,对软件工程专业的人才培养规格、理论教学体系、实践教学体系、教学方式方法进行设计说明,建立面向全体专业学生、符合专业规范和学校特色的软件工程本科专业人才培养体系。
- 郭卫斌虞慧群李建华罗勇军
- 关键词：软件工程
- 仿生蚊子追踪算法被引量：9
- 2014年
- 旅行商问题(Traveling Salesman Problem,TSP)是NP完全问题中最为著名的问题,它易于陈述而难于求解,至今尚未找到准确有效的求解大规模TSP问题的方法.文中提出了能求出TSP有效近似最优解的新的蚊子追踪(Mosquito Host-Seeking,MHS)算法,证明了蚊子的目标追踪行为和MHS数学模型的一致性、蚊子追踪算法的收敛性,并通过理论证明确定了MHS算法中各参数的选择范围.蚊子追踪算法是一个全新的仿生算法.文中以TSP问题为载体,详细提出了蚊子追踪算法的动机、生物学模型、数学模型、算法、理论基础(数学证明)及大量实验结果.从理论和实验两方面证明了蚊子追踪算法能够求出TSP问题理论上的优化解.
- 冯翔张进文虞慧群
- 关键词：仿生算法旅行商问题
- 大数据分析与隐私保护被引量：4
- 2014年
- 大数据为商业创新和社区服务带来了巨大利益。然而,由于大数据分析技术挖掘出的信息可能超出人们想象,隐私问题备受关注。介绍大数据分析方法及支撑架构,剖析大数据的安全与隐私保护相关技术,并提出一种基于云存储的大数据隐私保护方案。
- 虞慧群裴新范贵生
- 关键词：隐私保护云计算
- MRPII系统开发的一种形式化方法被引量：1
- 1998年
- 研究了ＭＲＰＩ系统开发的形式化方法。使用形式化语言ＲＳＬ定义ＭＲＰＩ系统的规范和精化关系。以库存管理子模块为例，详细介绍了将形式化方法ＲＡＩＳＥ应用于ＭＲＰＩＩ系统的规范、精化、验证和实现。
- 虞慧群宋国新邵志清
- 关键词：MRPII系统RAISE软件工程
