成果/Result
- 基于MLP&ST模型的空气质量预测被引量：13收藏
- 作者：郑红 程云辉 胡阳生 黄建华
- 机构：华东理工大学信息科学与工程学院
- 来源：《应用科学学报》 2022
- 关键词：空气质量预测 MLP&ST 空气质量指数
- 摘要：针对目前大多数模型均为对已监测区域的空气质量进行预测,而少有对未监测区域进行预测的问题,综合考虑气象因素、空间相关性和时间依赖性对空气质量的影响,提出了一种联合训练模型MLP&ST(MLP&spatial-tempora...
- 下载全文在线阅读
- 基于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)共识算法在可扩展性和安全性方面存在的不足,提出一种基于信任...
- 下载全文在线阅读
- 基于抽象语法树裁剪的智能合约漏洞检测研究被引量：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网分析工具箱,...
- 下载全文在线阅读
- 基于CPN的供应链合约的形式化验证被引量：1收藏
- 作者：郑红 钱诗慧 刘泽润 杜渂
- 机构：华东理工大学信息科学与工程学院;电信科学技术第一研究所
- 来源：《计算机科学》 2023
- 关键词：智能合约 形式化方法 模型检查 CPN 供应链
- 摘要：智能合约的安全性对于区块链在供应链领域的应用尤为重要。目前,大多数对智能合约的形式化验证工作集中于漏洞检测,对于如何在部署上链前生成安全的智能合约的关注仍然比较少,如何有效规范地将特定领域的属性安全地映射为智能合约代码存...
- 下载全文在线阅读
- 一种形式化的工作流网模型被引量：1收藏
- 作者：郑红 宋国新
- 机构：华东理工大学计算机科学与工程系
- 来源：《华东理工大学学报（自然科学版）》 2007
- 关键词：工作流 工作流管理系统 Petri网 形式化 建模
- 摘要：提出基于Petri网的形式化的工作流网模型,用Petri分析技术对工作流业务流程的动态行为进行了描述和分析,并给出了详细的建模算法。
- 下载全文在线阅读
- 基于动态授权的信任度证明机制被引量：1收藏
- 作者：黄建华 夏旭 李忠诚 李建华 郑红
- 机构：华东理工大学信息科学与工程学院
- 来源：《软件学报》 2019
- 关键词：区块链 比特币 共识机制 信任证明 信任度
- 摘要：提出一种基于动态授权的信任证明机制(proof of trust,简称 PoT),并在该机制的基础上修正了现有区块生成策略中存在的诸如权益粉碎攻击和贿赂攻击等问题.PoT 将网络中的节点分为矿工节点和基本权益代表(sta...
- 下载全文在线阅读
- 基于自适应零行列式策略的区块链矿池合作演化方法被引量：1收藏
- 作者：范丽 郑红 黄建华 李忠诚 江亚慧
- 机构：华东理工大学信息科学与工程学院
- 来源：《计算机应用》 2019
- 关键词：比特币 时序差分增强算法 自适应策略方法 零行列式策略 决策过程
- 摘要：矿工加入矿池是目前比特币挖矿最常见的方式。然而,比特币系统中存在矿池互相渗透攻击的现象,这将导致被攻击矿池的矿工收益减少,发起攻击的矿池算力降低,从而造成比特币系统的整体算力减小。针对矿池之间互相攻击,不合作挖矿的问题,...
- 下载全文在线阅读
- 基于Petri网局部性的极大冲突集枚举算法被引量：1收藏
- 作者：潘理 郑红 刘显明 杨勃
- 机构：湖南理工学院信息与通信工程学院;华东理工大学信息科学与工程学院;江西省电力公司信息通信分公司
- 来源：《电子学报》 2016
- 关键词：Petri网 冲突集问题 NP(Non-deterministic Polynomial)完全性 极大冲突集枚举算法
- 摘要：冲突是Petri网研究的重要主题.目前Petri网冲突研究主要集中于冲突建模和冲突消解策略,而对冲突问题本身的计算复杂性却很少关注.提出Petri网的冲突集问题,并证明冲突集问题是NP(Non-deterministic...
- 下载全文在线阅读
- 基于工作流网的游戏作弊检测系统建模被引量：1收藏
- 作者：郑红 叶成 邓文轩
- 机构：华东理工大学信息科学与工程学院
- 来源：《计算机工程与科学》 2018
- 关键词：游戏作弊检测 工作流网 流程树
- 摘要：近年来,游戏产业发展迅速。游戏不再局限于娱乐消遣,并且已经发展成为一种职业。与此同时,作弊技术对游戏产业的发展危害巨大,提出一种基于工作流网的作弊检测模型,用工作流网对作弊行为进行建模,利用流程树将工作流网转变为流程树,...
- 下载全文在线阅读
- 基于矩阵的工作流逻辑网模型的化简及验证被引量：0收藏
- 作者：郑红 邓文轩 邓晓 卢兴见
- 机构：华东理工大学信息科学与工程学院
- 来源：《计算机科学》 2018
- 关键词：工作流 关联矩阵 化简 银行选址
- 摘要：在分析工作流时,Petri网是一种有效的建模工具,但在处理复杂的工作流时,其易引发"状态空间爆炸"问题。工作流逻辑作为工作流路径的逻辑框架,可实现对工作流网的进一步抽象。为了对规模较大的工作流的畅通性进行验证,利用Pet...
- 下载全文在线阅读
- 基于多模型融合的流失用户预测方法被引量：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序列的非周期自相关...
- 下载全文在线阅读
- Galois环上的不完全指数和及其在Z_p^2导出Kerdock序列上的应用被引量：0收藏
- 作者：孙霓刚 郑红 吕猛
- 机构：常州大学信息科学与工程学院;华东理工大学计算机科学与工程系
- 来源：《计算机科学》 2013
- 关键词：Galois环 不完全指数和 Kerdock序列 非周期自相关性 部分周期分布
- 摘要：给出了Galois环上不完全指数和的上界,并在此基础上对Zp2导出的p元Kerdock序列的非周期自相关性进行了研究,给出了序列非周期自相关性的上界,其中p为任意奇素数。结果表明,该类序列具有极低的非周期自相关性,在密码...
- 下载全文在线阅读
- 混合语义时间Petri网的特征条件及时间性质被引量：0收藏
- 作者：潘理 郑红 杨勃 周新民
- 机构：湖南理工学院信息与通信工程学院;湖南理工学院复杂系统优化与控制湖南省普通高等学校重点实验室;华东理工大学信息科学与工程学院;湖南商学院计算机与信息工程学院
- 来源：《计算机科学》 2014
- 关键词：时间Petri网 混合语义模型 特征条件 时间互模拟
- 摘要：针对时间Petri网现有强、弱语义模型在调度分析上存在的缺陷以及凝练调度一致性问题和调度时限性问题,提出混合语义模型解决方案,并给出混合语义模型的特征条件,比较混合语义模型与强、弱语义模型的时间互模拟能力,证明混合语义模...
- 下载全文在线阅读
- 基于对象角色的应用系统的建模被引量：0收藏
- 作者：郑红 范开元 杨根兴
- 机构：华东理工大学计算机科学与工程系;河南焦作师范高等专科学校计算机系;上海市计算机软件评测重点实验室
- 来源：《计算机应用与软件》 2006
- 关键词：面向对象 面向对象角色 模型
- 摘要：面向对象角色分析方法OO ram(Ob ject-O riented Role Analysis and Modeling)是一种新的面向对象软件开发方法。介绍了它的建模思想和步骤,并与其它面向对象的方法进行了比较。最后...
- 下载全文在线阅读
- Aspect-Oriented design Method for Embedded Systems Based on Timed Statecharts被引量：0收藏
- 作者：文欣秀 虞慧群 郑红
- 机构：Department of Computer Science and Engineering;Shanghai Key Laboratory of Computer Software Evaluating and Testing
- 来源：《China Communications》 2013
- 关键词：embedded systems model check-ing timed statecharts computation tree logic
- 摘要：The formal modelling and verification method has become an effective way of improving the reliability and corr...
- 下载全文在线阅读
- 基于智能家居系统的上下文感知调度算法（英文）被引量：0收藏
- 作者：郑红 潘理 王靖虓
- 机构：E China Univ Sci & Technol;Hunan Inst Sci & Technol
- 来源：《China Communications》 2013
- 关键词：智能家居系统 环境感知 调度算法 信息系统 应用程序 上下文 生活空间 调度策略
- 摘要：The main idea of pervasive computing is to make computing exist everywhere in the physical world.The smart hom...
- 下载全文在线阅读
- 基于Petri网的IPv4到IPv6协议转换分析被引量：0收藏
- 作者：符海波 郑红 罗笑南
- 机构：华东理工大学信息科学与工程学院;上海市计算机软件评测重点实验室;中山大学信息学科学与技术学院
- 来源：《计算机应用与软件》 2011
- 关键词：Petri网 协议转换 可达图
- 摘要：应用Petri网原理分析IPv4-IPv6协议转换,并结合实际的系统和详细转换流程图,建立Petri网模型。通过此Petri网模型的有界性、可达性及活性等动态特性,证明此转换模型功能和安全上的可行性。
- 下载全文在线阅读
- Context-Aware Scheduling Algorithm in Smart Home System被引量：0收藏
- 作者：郑红 潘理 王靖虓
- 机构：Department of Computer Science and Engineering;Department of Information and Communication Engineering
- 来源：《China Communications》 2013
- 关键词：pervasive computing smart-home reasoning scheduling correlation
- 摘要：The main idea of pervasive computing is to make computing exist everywhere in the physical world.The smart hom...
- 下载全文在线阅读
