成果/Result
- 基于双向GRU-CRF的中文包装产品实体识别被引量：11收藏
- 作者：李一斌 张欢欢
- 机构：华东理工大学信息科学与工程学院
- 来源：《华东理工大学学报（自然科学版）》 2019
- 关键词：命名实体识别 双向GRU网络 CRF模型 包装产品 深度学习
- 摘要：为了实现包装行业的信息自动抽取,需要对文本中的包装产品进行命名实体识别工作。设计了一种基于双向 GRU-CRF的中文包装产品实体识别方法。以预训练的领域词向量为输入,通过双向GRU网络对上下文语义信息进行建模,并使用输出...
- 下载全文在线阅读
- 基于RoBERTa和对抗训练的中文医疗命名实体识别被引量：10收藏
- 作者：郭瑞 张欢欢
- 机构：华东理工大学信息科学与工程学院
- 来源：《华东理工大学学报（自然科学版）》 2023
- 关键词：医疗命名实体识别 RoBERTa-wwm-ext-large 对抗训练 双向长短期记忆网络 条件随机场
- 摘要：BERT(Bidirectional Encoder Representations from Transformers)和神经网络模型相结合的方法目前已被广泛应用于中文医疗命名实体识别领域。但BERT在中文中是以字为粒...
- 下载全文在线阅读
- HTML 5 Canvas技术在工程流程图中的研究与应用被引量：9收藏
- 作者：成舟 邵志清 张欢欢 胡芳槐
- 机构：华东理工大学信息科学与工程学院
- 来源：《华东理工大学学报（自然科学版）》 2015
- 关键词：流程图 元信息 HTML 5 模板
- 摘要：基于HTML 5Canvas技术研究并实现了一个新型在线流程图协作绘制平台,其优势主要有:数据集中存储在云端,方便共享与协作;可自由定制任务节点的元信息,为节点增加绑定附件的功能;支持创建流程图模板,使用户可以"一次绘制...
- 下载全文在线阅读
- 不恢复余数阵列除法器的形式化描述和验证方法被引量：7收藏
- 作者：张欢欢 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《计算机科学》 2007
- 关键词：重写 归纳 除法器 描述 验证
- 摘要：本文使用重写技术对不恢复余数阵列除法器进行了形式化描述并结合归纳法对该除法器的正确性进行了验证,整个工作是建立在串行加法器的描述和验证基础上的。不恢复余数阵列除法器的运算和控制有一定的复杂度,适合用大规模集成电路实现。本...
- 下载全文在线阅读
- 基于重写归纳技术的串行加法器的描述和验证被引量：3收藏
- 作者：张欢欢 邵志清 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2003
- 关键词：重写归纳技术 串行加法器 验证 硬件电路 逻辑位 门电路 逻辑功能
- 摘要：在用重写系统描述逻辑位、门电路、位串和自然数的基础上,对半加器、全加器和串行加法器等基本硬件电路的逻辑功能进行了刻画,并用基于重写归纳的推理技术证明了所有描述的正确性,为用重写技术正确描述和验证复杂硬件电路奠定了基础。最...
- 下载全文在线阅读
- 基于幂表的并行加法器的归纳验证被引量：3收藏
- 作者：张欢欢 邵志清 宋国新
- 机构：华东理工大学计算机技术研究所
- 来源：《电子学报》 2003
- 关键词：重写 归纳 加法器 描述 验证
- 摘要：介绍了基于幂表和重写规则的并行加法器的功能描述 ,直接使用重写归纳证明技术验证了这些描述的正确性 ,为重写技术用于描述和验证更加复杂的硬件电路奠定了基础 .
- 下载全文在线阅读
- 基于区域标记的动态分代垃圾收集算法被引量：2收藏
- 作者：郑磊 张欢欢 李建华
- 机构：华东理工大学信息科学与工程学院
- 来源：《华东理工大学学报（自然科学版）》 2011
- 关键词：垃圾收集 分代 区域标记 虚拟机
- 摘要：提出了一种基于区域标记的动态分代垃圾收集算法。通过动态分代技术更好地处理了占位垃圾问题,通过在年轻分代中采用区域标记技术,提高了空间利用率和代码的局部性。仿真实验结果表明,基于区域标记的动态分代垃圾收集算法在一定程度上提...
- 下载全文在线阅读
- 中文重叠关系抽取的动态分层级联标记模型被引量：2收藏
- 作者：张利 张欢欢 袁玉波
- 机构：华东理工大学信息科学与工程学院;上海大数据与互联网受众工程技术研究中心
- 来源：《华东理工大学学报（自然科学版）》 2024
- 关键词：文本挖掘 中文重叠关系抽取 动态字词融合 预训练语言模型 gated机制 局部自注意力机制
- 摘要：构建了动态分层级联标记中文重叠关系抽取(RWG-LSA)模型:首先基于预训练语言模型和gated机制构建了动态字词融合特征学习模型(RWG),有效避免了主体标记模块的特征缺失和无法并行计算等问题;其次引入动态权局部自注意...
- 下载全文在线阅读
- 用于施工进度优化的VNS-CRO混合算法被引量：1收藏
- 作者：蒋宇一 邵志清 蔡宁 张欢欢
- 机构：华东理工大学信息科学与工程学院;上海嘉定交通发展集团有限公司
- 来源：《江苏大学学报（自然科学版）》 2016
- 关键词：施工进度优化 建筑信息模型 变邻域搜索方法 化学反应优化算法 异构资源系统
- 摘要：针对现有研究中忽略施工任务分包资源系统异构的问题,结合建筑信息模型技术与异构环境下任务调度理论,提出变邻域搜索-化学反应混合优化算法,实现了对异构资源环境下道路施工进度计划任务调度与分包的优化.该算法在有向无环图模型与异...
- 下载全文在线阅读
- 基于极端学习机的人脸特征深度稀疏自编码方法被引量：1收藏
- 作者：张欢欢 洪敏 袁玉波
- 机构：华东理工大学信息科学与工程学院
- 来源：《计算机应用》 2018
- 关键词：人脸图像 极端学习机 自编码器 截断式核范数正则化 稀疏特征
- 摘要：针对输入人脸特征的不准确性导致识别系统识别率不高的问题,提出了一种有效的基于极端学习机(ELM)的人脸特征深度稀疏自编码(DSAE)方法。首先,利用截断式核范数构造损失函数,通过最小化损失函数提取人脸图像的稀疏特征;其次...
- 下载全文在线阅读
- 基于提示学习的生成式医疗对话理解方法被引量：1收藏
- 作者：柳俊 阮彤 张欢欢
- 机构：华东理工大学信息科学与工程学院
- 来源：《计算机科学》 2024
- 关键词：提示学习 自然语言理解 医疗对话系统 生成式模型 两阶段训练
- 摘要：任务型对话系统中的对话理解模块的目标是将用户输入的自然语言转换成结构化的形式,但在面向诊断的医疗对话系统中,现有方法存在如下问题:1)无法支持精准医疗所需的信息粒度,如给出某一症状的严重程度;2)难以同时满足医疗领域中多...
- 下载全文在线阅读
- 区域医疗健康平台中检验检查指标的标准化算法被引量：1收藏
- 作者：张佳影 王祺 张知行 阮彤 张欢欢 何萍
- 机构：华东理工大学信息科学与工程学院;上海申康医院发展中心
- 来源：《计算机研究与发展》 2019
- 关键词：区域医疗健康平台 检验检查指标 标准化 聚类 分类
- 摘要：由于没有完整可用的指标同义词库以进行指标映射,各家医院关于同一检验检查指标的不同称谓,已严重影响到了区域间医疗信息的互联共享,因而需要对检验检查指标进行标准化处理.这可以看作是一个实体对齐问题,但指标只有相应的取值和取值...
- 下载全文在线阅读
- 基于FeaVer的MINIX3验证和改进被引量：1收藏
- 作者：全嘉辉 张欢欢
- 机构：华东理工大学信息科学与工程学院
- 来源：《计算机工程》 2010
- 关键词：形式化验证 模型检测 MINIX 3操作系统 文件系统
- 摘要：使用FeaVer对MINIX3文件系统源代码进行形式化验证,并找到其中的错误代码。在验证的过程中引入测试用具的概念,它的特点是高效性和可复用性。在验证结果的基础上对原来的验证模型进行修改,并建立新的模型。经验证新模型符合...
- 下载全文在线阅读
- 基于并行混合神经网络模型的短文本情感分析被引量：0收藏
- 作者：陈洁 邵志清 张欢欢 费佳慧
- 机构：华东理工大学信息科学与工程学院
- 来源：《计算机应用》 2019
- 关键词：卷积神经网络 特征融合 双向门限循环单元 注意力机制 短文本情感分析
- 摘要：针对传统的卷积神经网络(CNN)在进行情感分析任务时会忽略词的上下文语义以及CNN在最大池化操作时会丢失大量特征信息,从而限制模型的文本分类性能这两大问题,提出一种并行混合神经网络模型CA-BGA。首先,采用特征融合的方...
- 下载全文在线阅读
- 一种基于扩展模式集的中国人名识别方法被引量：0收藏
- 作者：栾伟锋 张欢欢
- 机构：华东理工大学信息科学与工程学院
- 来源：《华东理工大学学报（自然科学版）》 2018
- 关键词：中国人名 非完整形式中国人名 角色标注 人名识别模式集
- 摘要：由于中国人名形式复杂多样,且存在简称、别名等不规范形式,针对传统的中国人名识别方法对诸如人名简称或别名这类非完整形式中国人名识别尚不完善的问题,提出了一种基于扩展模式集的中国人名识别方法,通过扩展人名识别模式集,提高对于...
- 下载全文在线阅读
- FFT处理机的形式化模型及正确性验证被引量：0收藏
- 作者：张欢欢 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《计算机工程与应用》 2007
- 关键词：重写 形式化 描速 验证 归纳 快速傅里叶变换处理机
- 摘要：快速傅立叶变换的应用领域非常广泛,其硬件实现方法多种多样,验证这些电路的正确性具有很强的实用价值。传统的电路正确性验证的方法是模拟,这种方法的主要缺点是随着参与运算的点数的增加,穷尽模拟全部输入情况所耗费的时间越来越长,...
- 下载全文在线阅读
- 基2的流水式快速傅里叶变换处理机的形式化模型被引量：0收藏
- 作者：张欢欢 宋国新 邵志清
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2007
- 关键词：重写 形式化 描述 验证 归纳 快速傅里叶变换处理机
- 摘要：快速傅里叶变换(FFT)的应用领域非常广泛,其硬件实现方法多种多样。传统的电路正确性验证的方法是模拟,这种方法的主要缺点是不能穷尽模拟全部输入情况,而形式化方法使用纯数学手段证明电路具有某些属性,从而证明其正确性。所以用...
- 下载全文在线阅读
- 基于启发式规则的SPARQL本体查询被引量：0收藏
- 作者：谭立威 邵志清 张欢欢 蒋宇一 胡芳槐
- 机构：华东理工大学信息科学与工程学院
- 来源：《华东理工大学学报（自然科学版）》 2016
- 关键词：自然语言问句 依存分析树 三元组映射 SPARQL查询
- 摘要：提出了基于启发式规则的SPARQL查询。用语言技术平台(LTP)解析出问句的依存分析树(DPT),然后对问句集的依存分析树进行统计和分析,总结出用于查询三元组抽取的启发式规则,利用这些规则去掉无意义的查询三元组,合并和重...
- 下载全文在线阅读
