成果/Result
- 基于MLP&ST模型的空气质量预测被引量：13收藏
- 作者：郑红 程云辉 胡阳生 黄建华
- 机构：华东理工大学信息科学与工程学院
- 来源：《应用科学学报》 2022
- 关键词：空气质量预测 MLP&ST 空气质量指数
- 摘要：针对目前大多数模型均为对已监测区域的空气质量进行预测,而少有对未监测区域进行预测的问题,综合考虑气象因素、空间相关性和时间依赖性对空气质量的影响,提出了一种联合训练模型MLP&ST(MLP&spatial-tempora...
- 下载全文在线阅读
- 基于ARM的嵌入式视频监控系统的设计与实现被引量：12收藏
- 作者：杨建国 蔡立志 郑红
- 机构：华东理工大学计算机科学与工程系;上海计算机软件技术开发中心
- 来源：《计算机应用与软件》 2018
- 关键词：嵌入式系统 视频传输 视频监控
- 摘要：随着现代通信带宽的日益提高,图像处理技术在计算机技术领域的成熟,人们对视频的实时传输和采集提出了速度越快、成本越低的需求。以ARM和嵌入式Linux系统为实验环境,通过V4L2进行视频采集,运用x264进行视频压缩,根据...
- 下载全文在线阅读
- 基于Stacking集成学习的流失用户预测方法被引量：11收藏
- 作者：郑红 叶成 金永红 程云辉
- 机构：华东理工大学信息科学与工程学院;上海师范大学商学院
- 来源：《应用科学学报》 2020
- 关键词：Stacking集成学习 用户流失预测 自助采样法 机器学习
- 摘要：利用机器学习算法对商业活动中普遍存在的客户流失问题进行预测.借鉴了Bagging的自助采样法思想,提出了一种基于自助采样法的Stacking集成方法.首先对数据集进行多次采样并加入属性扰动,然后使用所得数据子集训练基分类...
- 下载全文在线阅读
- Web服务运行时的监控和性能数据动态采集被引量：11收藏
- 作者：张海腾 邵志清 郑红
- 机构：华东理工大学计算机科学与工程系
- 来源：《计算机集成制造系统》 2011
- 关键词：业务流程执行语言 运行时监控 性能 面向方面编程 Web服务
- 摘要：为保证Web服务业务流程及时、准确地获得所调用服务的性能状况,提出了一种轻量级的Web服务运行时的监控和性能数据动态采集框架。该框架采用面向方面的编程,将方面代码植入业务流程执行语言的Web服务消息调用处,以收集服务实例...
- 下载全文在线阅读
- CORBA规范的形式化描述及分析被引量：10收藏
- 作者：郑红 李师贤
- 机构：华东理工大学计算机科学与工程系;中山大学计算机科学系
- 来源：《电子与信息学报》 2004
- 关键词：CORBA CORBA规范 Petri网
- 摘要：CORBA为构建大规模分布式应用程序提供了一套公共对象服务规范,其规范主要以IDL语言编写,只提供对象的静态行为描述。提出并应用扩展有色Petri网对CORBA对象进行形式化模拟和分析,结果表明扩展有色Petri网模型不...
- 下载全文在线阅读
- 基于多尺度LSTM预测模型研究被引量：10收藏
- 作者：邱俊杰 郑红 程云辉
- 机构：华东理工大学信息科学与工程学院
- 来源：《系统仿真学报》 2022
- 关键词：故障预测与健康管理 剩余寿命 双向长短期记忆网络 自训练权重 注意力机制 融合算法
- 摘要：航空发动机剩余寿命(remaining useful life,RUL)预测是设备故障预测与健康管理(prognostics and health management,PHM)的核心问题。针对发动机数据维度高、滞后性强...
- 下载全文在线阅读
- 基于信任度匹配的改进PBFT共识算法被引量：7收藏
- 作者：季钰翔 黄建华 王喆 郑红 唐瑞琮
- 机构：华东理工大学信息科学与工程学院;香港DAEX区块链有限公司
- 来源：《计算机科学》 2021
- 关键词：区块链 共识算法 拜占庭容错 信任度 邻居匹配 投票计数
- 摘要：共识算法是去中心化的区块链系统实现数据状态一致的关键。针对传统的实用拜占庭容错(Practical Byzantine Fault Tolerance,PBFT)共识算法在可扩展性和安全性方面存在的不足,提出一种基于信任...
- 下载全文在线阅读
- CORBA工作流时间Petri网建模与分析被引量：4收藏
- 作者：郑红 明仲
- 机构：华东理工大学信息科学与工程学院;深圳大学计算机与软件学院
- 来源：《深圳大学学报（理工版）》 2009
- 关键词：CORBA系统 工作流 时间Petri网
- 摘要：基于时间Petri网和工作流分析技术,引入时间工作流网概念,建立CORBA系统中由一组受时间约束的子工作流协作组成的工作流的时间工作流网模型,并基于该模型分析时间工作流网模型的有效性,验证了模型与系统需求规范的一致性.
- 下载全文在线阅读
- 基于抽象语法树裁剪的智能合约漏洞检测研究被引量：4收藏
- 作者：刘泽润 郑红 邱俊杰
- 机构：华东理工大学信息科学与工程学院
- 来源：《计算机科学》 2023
- 关键词：区块链 智能合约 漏洞检测 抽象语法树 深度学习
- 摘要：随着区块链技术的发展,智能合约在不同领域都得到了广泛的应用,以太坊成为了最大的智能合约平台。同时,频发的智能合约漏洞造成了巨大的经济损失,智能合约漏洞检测成为了研究焦点,而以往的智能合约漏洞检测工具不能很好地利用合约源代...
- 下载全文在线阅读
- 融合Transformer的剩余使用寿命预测模型被引量：3收藏
- 作者：郑红 刘文 邱俊杰 余金浩
- 机构：华东理工大学信息科学与工程学院
- 来源：《应用科学学报》 2024
- 关键词：剩余使用寿命 故障预测与健康管理 双向长短期记忆网络 Transformer
- 摘要：剩余使用寿命(remaining useful life,RUL)预测对大型设备的故障预测与健康管理十分重要。然而,一些设备监测数据具有维度高、规模大、强耦合、参数时变等非线性特征,这些特征会导致RUL预测的准确性较低。...
- 下载全文在线阅读
- 基于双区块链的PKI模型被引量：3收藏
- 作者：王诚 郑红 黄建华 钱诗慧
- 机构：华东理工大学信息科学与工程学院
- 来源：《应用科学学报》 2022
- 关键词：公钥基础设施 证书颁发机构 区块链 智能合约
- 摘要：公钥基础设施(public key infrastructure,PKI)体系为实施电子商务、电子政务、办公自动化等提供了非常重要的安全服务。该文以区块链和智能合约为基础构建了证书颁发机构(certificate aut...
- 下载全文在线阅读
- 电子商务系统主体行为的描述与分析被引量：3收藏
- 作者：郑红 邵志清 杨根兴
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2007
- 关键词：电子商务 主体行为 Petri网
- 摘要：电子商务系统的主体行为对整个交易的安全非常重要。本文应用标注Petri网模拟技术,建立了电子商务系统中主体行为模型,解决了主体的责任分析、证据收集等与安全性有关的问题。
- 下载全文在线阅读
- 一种改进近端优化的多目标流QoS调度策略被引量：2收藏
- 作者：刘星彤 郑红 黄建华
- 机构：华东理工大学计算机科学与工程系
- 来源：《应用科学学报》 2024
- 关键词：深度强化学习 服务质量 路由优化 软件定义网络 在线调度
- 摘要：软件定义网络可以搭载灵活的流调度策略来提升网络服务系统的服务质量,但随着业务流量复杂度的提升,现有的流调度算法会因场景匹配度的下降而导致性能受到影响。为此提出一种基于深度强化学习的智能路由策略。该策略通过软件定义网络收集...
- 下载全文在线阅读
- 基于CPN的智能合约交易顺序依赖漏洞的验证被引量：2收藏
- 作者：郑红 刘泽润 黄建华 钱诗慧
- 机构：华东理工大学信息科学与工程学院
- 来源：《系统仿真学报》 2022
- 关键词：区块链 智能合约 着色Petri网 形式化验证 交易顺序依赖漏洞
- 摘要：智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以decode悬赏合约为对象,分析合约中潜在...
- 下载全文在线阅读
- 基于Matlab的时间Petri网工具箱被引量：2收藏
- 作者：潘理 刘显明 郑红 张远来
- 机构：湖南理工学院信息与通信工程学院;江西省电力公司信息通信中心;华东理工大学计算机科学与工程系;泰豪软件股份有限公司电力事业部
- 来源：《系统仿真学报》 2011
- 关键词：时间Petri网 Matlab 时间分析 工具箱
- 摘要：要解决实际系统,尤其是大型复杂实时系统的建模、模拟、分析和验证等问题,友好、有效的工具支持是必不可少的。充分利用Matlab强大的矩阵运算和丰富的数据分析能力,研制基于Matlab平台的可视化时间Petri网分析工具箱,...
- 下载全文在线阅读
- 一种形式化的工作流网模型被引量：1收藏
- 作者：郑红 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2007
- 关键词：工作流 工作流管理系统 Petri网 形式化 建模
- 摘要：提出基于Petri网的形式化的工作流网模型,用Petri分析技术对工作流业务流程的动态行为进行了描述和分析,并给出了详细的建模算法。
- 下载全文在线阅读
- 基于CPN的供应链合约的形式化验证被引量：1收藏
- 作者：郑红 钱诗慧 刘泽润 杜渂
- 机构：华东理工大学信息科学与工程学院;电信科学技术第一研究所
- 来源：《计算机科学》 2023
- 关键词：智能合约 形式化方法 模型检查 CPN 供应链
- 摘要：智能合约的安全性对于区块链在供应链领域的应用尤为重要。目前,大多数对智能合约的形式化验证工作集中于漏洞检测,对于如何在部署上链前生成安全的智能合约的关注仍然比较少,如何有效规范地将特定领域的属性安全地映射为智能合约代码存...
- 下载全文在线阅读
- 基于自适应零行列式策略的区块链矿池合作演化方法被引量：1收藏
- 作者：范丽 郑红 黄建华 李忠诚 江亚慧
- 机构：华东理工大学信息科学与工程学院
- 来源：《计算机应用》 2019
- 关键词：比特币 时序差分增强算法 自适应策略方法 零行列式策略 决策过程
- 摘要：矿工加入矿池是目前比特币挖矿最常见的方式。然而,比特币系统中存在矿池互相渗透攻击的现象,这将导致被攻击矿池的矿工收益减少,发起攻击的矿池算力降低,从而造成比特币系统的整体算力减小。针对矿池之间互相攻击,不合作挖矿的问题,...
- 下载全文在线阅读
- 基于Petri网局部性的极大冲突集枚举算法被引量：1收藏
- 作者：潘理 郑红 刘显明 杨勃
- 机构：湖南理工学院信息与通信工程学院;华东理工大学信息科学与工程学院;江西省电力公司信息通信分公司
- 来源：《电子学报》 2016
- 关键词：Petri网 冲突集问题 NP(Non-deterministic Polynomial)完全性 极大冲突集枚举算法
- 摘要：冲突是Petri网研究的重要主题.目前Petri网冲突研究主要集中于冲突建模和冲突消解策略,而对冲突问题本身的计算复杂性却很少关注.提出Petri网的冲突集问题,并证明冲突集问题是NP(Non-deterministic...
- 下载全文在线阅读
- 基于工作流网的游戏作弊检测系统建模被引量：1收藏
- 作者：郑红 叶成 邓文轩
- 机构：华东理工大学信息科学与工程学院
- 来源：《计算机工程与科学》 2018
- 关键词：游戏作弊检测 工作流网 流程树
- 摘要：近年来,游戏产业发展迅速。游戏不再局限于娱乐消遣,并且已经发展成为一种职业。与此同时,作弊技术对游戏产业的发展危害巨大,提出一种基于工作流网的作弊检测模型,用工作流网对作弊行为进行建模,利用流程树将工作流网转变为流程树,...
- 下载全文在线阅读
- 基于动态授权的信任度证明机制被引量：1收藏
- 作者：黄建华 夏旭 李忠诚 李建华 郑红
- 机构：华东理工大学信息科学与工程学院
- 来源：《软件学报》 2019
- 关键词：区块链 比特币 共识机制 信任证明 信任度
- 摘要：提出一种基于动态授权的信任证明机制(proof of trust,简称 PoT),并在该机制的基础上修正了现有区块生成策略中存在的诸如权益粉碎攻击和贿赂攻击等问题.PoT 将网络中的节点分为矿工节点和基本权益代表(sta...
- 下载全文在线阅读
- 基于多通道图神经网络和CNN-BiLSTM的漏洞检测方法被引量：1收藏
- 作者：李鹏威 郑红 单蓉胜
- 机构：华东理工大学信息科学与工程学院;上海交通大学网络空间安全学院
- 来源：《华东理工大学学报(自然科学版)》 2025
- 关键词：漏洞检测 图神经网络 特征融合 中心性分析 深度学习
- 摘要：针对当前基于深度学习的漏洞检测方法大多仅考虑代码序列语义或代码结构语义的问题,本文提出了基于多通道图神经网络(MCGNN)和卷积神经网络-双向长短期记忆网络(CNNBiLSTM)的漏洞检测模型MCGCBVul。该方法通过...
- 下载全文在线阅读
- 一种标签融合驱动的中文医疗实体关系抽取方法被引量：0收藏
- 作者：陈闯 张维彦 阮彤 郑红
- 机构：华东理工大学信息科学与工程学院
- 来源：《华东理工大学学报(自然科学版)》 2025
- 关键词：医疗文本 实体关系抽取 标签融合 双向抽取 三元组过滤模型
- 摘要：医疗实体关系抽取是推动医疗信息化建设的关键步骤,旨在从医疗文本中抽取结构化的三元组信息。针对现有方法对实体类型标签和关系标签利用不充分的问题,提出了一种标签融合驱动的中文医疗实体关系抽取框架。首先,将实体关系抽取任务拆分...
- 下载全文在线阅读
- 水下目标的多尺度上下文感知检测模型被引量：0收藏
- 作者：王峻韬 郑红 陆元军 徐贤 吴丽娟
- 机构：华东理工大学信息科学与工程学院;印孚瑟斯技术(中国)有限公司杭州分公司
- 来源：《华东理工大学学报(自然科学版)》 2026
- 关键词：水下目标检测 深度学习 注意力机制 下采样 特征提取
- 摘要：针对传统模型无法有效处理水下复杂环境噪声、目标尺度变化大、且无法平衡模型大小和精度的问题,本文提出了MSCA-UODA(Multi-scale Context-Aware Underwater Object detect...
- 下载全文在线阅读
- 融合建模的图神经网络会话推荐模型被引量：0收藏
- 作者：杜佳宇 郑红 郭津延 罗俞建 李鹏威 单蓉胜
- 机构：华东理工大学信息科学与工程学院;上海交通大学网络空间安全学院
- 来源：《华东理工大学学报(自然科学版)》 2025
- 关键词：会话推荐 门控图神经网络 图注意力机制 结构化关系 非结构化关系
- 摘要：针对传统会话推荐算法仅依赖显式信息而忽视会话间潜在交互关系的问题,本文提出了一种基于门控和图注意力机制的融合建模模型IM-GGN(Integrated Modeling Gated Graph Network),它对物品...
- 下载全文在线阅读
- 基于双尺度自适应令牌注意力的交通流量预测被引量：0收藏
- 作者：郭津延 郑红 杜佳宇 罗俞建 李鹏威 单蓉胜
- 机构：华东理工大学信息科学与工程学院;上海交通大学网络空间安全学院
- 来源：《华东理工大学学报(自然科学版)》 2025
- 关键词：智能交通 交通流预测 注意力机制 Transformer 深度学习
- 摘要：针对现有交通流量预测方法存在计算复杂度高、实时性差以及局部与全局特征整合不足等缺点,本文提出了一种基于双尺度自适应令牌注意力的交通流量预测模型。该模型结合双尺度自适应令牌注意力机制提取复杂时空特征:通过双尺度可学习池化得...
- 下载全文在线阅读
- 基于多模型融合的流失用户预测方法被引量：0收藏
- 作者：叶成 郑红 程云辉
- 机构：华东理工大学信息科学与工程学院
- 来源：《计算机工程与科学》 2019
- 关键词：Stacking集成学习 用户流失预测 Bootstrap Sampling 机器学习
- 摘要：准确的用户流失预测能力有助于企业提高用户保持率、增加用户数量和增加盈利。现有的流失用户预测模型大多为单一模型或是多个模型的简单融合,没有充分发挥多模型集成的优势。借鉴了随机森林的Bootstrap Sampling的思想...
- 下载全文在线阅读
- 环Z_p^l导出Kerdock-code序列的部分周期性质被引量：0收藏
- 作者：孙霓刚 胡磊 郑红
- 机构：常州大学信息科学与工程学院;中国科学院信息工程研究所信息安全国家重点实验室;华东理工大学计算机科学与工程系
- 来源：《电子学报》 2014
- 关键词：Kerdock-code序列 Galois环上的不完全指数和 非周期相关性 部分周期分布 r-样式
- 摘要：对环Zpl导出的多元Kerdock-code序列的部分周期性质进行了研究,这里p为任意奇素数,l为任意正整数.利用特征为pl的Galois环上不完全指数和的非平凡上界,对上述p元Kerdock-code序列的非周期自相关...
- 下载全文在线阅读
- 基于对象角色的应用系统的建模被引量：0收藏
- 作者：郑红 范开元 杨根兴
- 机构：华东理工大学计算机科学与工程系;河南焦作师范高等专科学校计算机系;上海市计算机软件评测重点实验室
- 来源：《计算机应用与软件》 2006
- 关键词：面向对象 面向对象角色 模型
- 摘要：面向对象角色分析方法OO ram(Ob ject-O riented Role Analysis and Modeling)是一种新的面向对象软件开发方法。介绍了它的建模思想和步骤,并与其它面向对象的方法进行了比较。最后...
- 下载全文在线阅读
- Galois环上的不完全指数和及其在Z_p^2导出Kerdock序列上的应用被引量：0收藏
- 作者：孙霓刚 郑红 吕猛
- 机构：常州大学信息科学与工程学院;华东理工大学计算机科学与工程系
- 来源：《计算机科学》 2013
- 关键词：Galois环 不完全指数和 Kerdock序列 非周期自相关性 部分周期分布
- 摘要：给出了Galois环上不完全指数和的上界,并在此基础上对Zp2导出的p元Kerdock序列的非周期自相关性进行了研究,给出了序列非周期自相关性的上界,其中p为任意奇素数。结果表明,该类序列具有极低的非周期自相关性,在密码...
- 下载全文在线阅读
