郑红

作品数:42被引量:136H指数:7
导出分析报告
供职机构:华东理工大学信息科学与工程学院更多>>
发文主题:PETRI网区块链软件工程合约CORBA更多>>
发文领域:自动化与计算机技术文化科学电子电信环境科学与工程更多>>
发文期刊:《计算机教育》《系统仿真学报》《计算机工程与应用》《电子学报》更多>>
所获基金:国家自然科学基金教育部科学技术研究重点项目上海市“科技创新行动计划”湖南省自然科学基金更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-10
视图:
排序:
融合Transformer的剩余使用寿命预测模型
《应用科学学报》2024年第5期847-856,共10页郑红 刘文 邱俊杰 余金浩 
国家重点研发计划(No.2021YFC2701800,No.2021YFC2701801)资助。
剩余使用寿命(remaining useful life,RUL)预测对大型设备的故障预测与健康管理十分重要。然而,一些设备监测数据具有维度高、规模大、强耦合、参数时变等非线性特征,这些特征会导致RUL预测的准确性较低。为此引入Transformer解码器,并...
关键词:剩余使用寿命 故障预测与健康管理 双向长短期记忆网络 TRANSFORMER 
基于深度学习的甲骨文字识别系统设计
《湖南理工学院学报(自然科学版)》2024年第3期25-29,共5页王峻韬 李辰浩 郑红 
甲骨文作为中国最古老的成熟文字系统,对其识别和学习一直备受各方关注.由于甲骨文字内容多变、拓片噪声多等原因,很少有完整的系统可以对甲骨文字进行识别与学习.将深度学习技术应用于甲骨文字图片识别与学习,可以有效缓解该问题.针对...
关键词:甲骨文字识别 残差网络 文字识别 深度学习 
一种改进近端优化的多目标流QoS调度策略
《应用科学学报》2024年第3期499-512,共14页刘星彤 郑红 黄建华 
上海市信息化发展(大数据发展)专项(No.201901043)资助。
软件定义网络可以搭载灵活的流调度策略来提升网络服务系统的服务质量,但随着业务流量复杂度的提升,现有的流调度算法会因场景匹配度的下降而导致性能受到影响。为此提出一种基于深度强化学习的智能路由策略。该策略通过软件定义网络收...
关键词:深度强化学习 服务质量 路由优化 软件定义网络 在线调度 
基于元数据的网络数据资产目录设计与应用被引量:1
《湖南理工学院学报(自然科学版)》2023年第4期30-34,共5页吴丽娟 郭津延 单蓉胜 郑红 
随着企业业务的不断发展,各行各业产生的数据越来越复杂,不仅表现在数据规模的增长,也表现在数据异构化的出现.以网络安全公司为例,公司在使用网络基础设施和数据库时产生的日志数据不仅规模量大,而且存储的数据字段差异性大,若没有一...
关键词:数据资产 元数据 数据治理 目录设计 
基于CPN的供应链合约的形式化验证被引量:1
《计算机科学》2023年第S01期707-713,共7页郑红 钱诗慧 刘泽润 杜渂 
2019年度上海市信息化发展(大数据发展)专项资金项目(201901043)。
智能合约的安全性对于区块链在供应链领域的应用尤为重要。目前,大多数对智能合约的形式化验证工作集中于漏洞检测,对于如何在部署上链前生成安全的智能合约的关注仍然比较少,如何有效规范地将特定领域的属性安全地映射为智能合约代码...
关键词:智能合约 形式化方法 模型检查 CPN 供应链 
基于抽象语法树裁剪的智能合约漏洞检测研究被引量:3
《计算机科学》2023年第4期317-322,共6页刘泽润 郑红 邱俊杰 
国家自然科学基金(61472139);产学研项目:区块链关键技术研究(H300-41819)。
随着区块链技术的发展,智能合约在不同领域都得到了广泛的应用,以太坊成为了最大的智能合约平台。同时,频发的智能合约漏洞造成了巨大的经济损失,智能合约漏洞检测成为了研究焦点,而以往的智能合约漏洞检测工具不能很好地利用合约源代...
关键词:区块链 智能合约 漏洞检测 抽象语法树 深度学习 
基于多尺度LSTM预测模型研究被引量:5
《系统仿真学报》2022年第7期1593-1604,共12页邱俊杰 郑红 程云辉 
上海市信息化发展(大数据发展)专项资金(201901043)。
航空发动机剩余寿命(remaining useful life,RUL)预测是设备故障预测与健康管理(prognostics and health management,PHM)的核心问题。针对发动机数据维度高、滞后性强和复杂度高等挑战,提出了一种基于自训练权重的多尺度注意力双向长...
关键词:故障预测与健康管理 剩余寿命 双向长短期记忆网络 自训练权重 注意力机制 融合算法 
基于CPN的智能合约交易顺序依赖漏洞的验证被引量:2
《系统仿真学报》2022年第7期1629-1638,共10页郑红 刘泽润 黄建华 钱诗慧 
国家自然科学基金(61472139);产学研项目:区块链关键技术研究(H300-41819)。
智能合约的形式化验证工作主要集中在编程语言层面的漏洞研究,而交易顺序依赖作为区块链层面的漏洞更不易被检测。基于着色Petri网对智能合约中潜在的交易顺序依赖漏洞进行形式化验证。以Decode悬赏合约为对象,分析合约中潜在的漏洞,自...
关键词:区块链 智能合约 着色PETRI网 形式化验证 交易顺序依赖漏洞 
基于双区块链的PKI模型被引量:3
《应用科学学报》2022年第3期528-538,共11页王诚 郑红 黄建华 钱诗慧 
上海市信息化发展(大数据发展)专项(No.201901043)资助
公钥基础设施(public key infrastructure,PKI)体系为实施电子商务、电子政务、办公自动化等提供了非常重要的安全服务。该文以区块链和智能合约为基础构建了证书颁发机构(certificate authority,CA),提出基于双区块链的分布式PKI模型,...
关键词:公钥基础设施 证书颁发机构 区块链 智能合约 
基于MLP&ST模型的空气质量预测被引量:9
《应用科学学报》2022年第2期302-315,共14页郑红 程云辉 胡阳生 黄建华 
国家重大新药创制项目(No.2019ZX09201004)资助
针对目前大多数模型均为对已监测区域的空气质量进行预测,而少有对未监测区域进行预测的问题,综合考虑气象因素、空间相关性和时间依赖性对空气质量的影响,提出了一种联合训练模型MLP&ST(MLP&spatial-temporal),模拟预测北京市未监测区...
关键词:空气质量预测 MLP&ST 空气质量指数 
检索报告 对象比较 聚类工具 使用帮助 返回顶部