一种基于Petri网的时间工作流模型的研究与验证 被引量：8

1

作者 李丹 陈启璋 刘强 《计算机工程》 CAS CSCD 北大核心 2007年第7期78-80,共3页

时间管理是工作流管理软件的重要部分,针对目前工作流系统对时间管理的需求,通过对传统Petri网扩展时间信息来描述时间模型,提出了一种静态验证方法,对模型进行基本验证和任务间的依赖约束验证;实例分析表明,该方法在减少工作量的同时... 时间管理是工作流管理软件的重要部分,针对目前工作流系统对时间管理的需求,通过对传统Petri网扩展时间信息来描述时间模型,提出了一种静态验证方法,对模型进行基本验证和任务间的依赖约束验证;实例分析表明,该方法在减少工作量的同时提高了验证的有效性。 展开更多

关键词 工作流 时间模型 时序依赖 静态验证

下载PDF 职称材料

基于残差连接长短期记忆网络的时间序列修复模型 被引量：6

2

作者 钱斌 郑楷洪 +4 位作者 陈子鹏 肖勇 李森 叶纯壮 马千里 《计算机应用》 CSCD 北大核心 2021年第1期243-248,共6页

传统的时间序列缺失修复方法通常假设数据由线性动态系统产生,然而时间序列更多地表现为非线性。为此,提出了基于残差连接长短期记忆(LSTM)网络的时间序列修复模型,称为RSI-LSTM,用来有效捕获时间序列的非线性动态特性,并且挖掘缺失数... 传统的时间序列缺失修复方法通常假设数据由线性动态系统产生,然而时间序列更多地表现为非线性。为此,提出了基于残差连接长短期记忆(LSTM)网络的时间序列修复模型,称为RSI-LSTM,用来有效捕获时间序列的非线性动态特性,并且挖掘缺失数据和最近的非缺失数据之间的潜在关联。具体来说,就是采用LSTM网络对时间序列的非线性动态特性进行建模,同时引入残差连接来挖掘历史值与缺失值的联系,从而提升模型的修复能力。首先使用RSI-LSTM对单变量日供电量数据集的缺失数据进行修复,然后在第九届电工数学建模竞赛A题的电力负荷数据集上,引入气象因素作为RSI-LSTM的多变量输入,以提升模型对时间序列缺失值的修复效果。此外,使用了两个通用的多变量时间序列数据集以验证模型的缺失修复能力。实验结果表明,在单变量和多变量数据集上,RSI-LSTM的缺失值修复效果均优于LSTM,得到的均方误差(MSE)总体下降了10%。 展开更多

关键词 缺失数据修复 长短期记忆网络 残差连接 时间序列 时序依赖

下载PDF 职称材料

工作流模型可调度性验证与分析方法 被引量：3

3

作者 李建强 范玉顺 《机械工程学报》 EI CAS CSCD 北大核心 2004年第4期93-98,共6页

实施工作流管理是支持复杂产品的设计、制造及销售等高度复杂工作流程高效运作的有效手段,而从理论上验证和分析相应工作流模型的正确性及合理性对工作流管理系统的成功实施有着重要的意义。在讨论了工作流模型在时间层次上需要考虑的... 实施工作流管理是支持复杂产品的设计、制造及销售等高度复杂工作流程高效运作的有效手段,而从理论上验证和分析相应工作流模型的正确性及合理性对工作流管理系统的成功实施有着重要的意义。在讨论了工作流模型在时间层次上需要考虑的各种时间约束的基础上,通过扩展时间信息到只描述过程逻辑的工作流网中来,给出了时控工作流网的概念。进而在给出了从一种包含时间信息的有向网络图到时控工作流网的模型映射方法之后,对基于时控工作流网的工作流模型可调度性验证与综合进行了详细的讨论。最后用一实例验证了其有效性。 展开更多

关键词 工作流模型 时序依赖 时间约束 模型验证 PETRI网 可调度性 制造业

下载PDF 职称材料

移动云计算环境下基于任务依赖的计算迁移研究 被引量：3

4

作者 郑利阳 刘茜萍 《计算机应用与软件》 北大核心 2019年第7期1-7,82,共8页

移动终端硬件的资源受限问题可以通过将本地计算任务迁移至云端来缓解。然而,相比远程云端,某些实时要求较高的复杂应用更适合迁移至微云。这类应用中各任务之间的依赖关系也会对迁移方案产生较大影响。结合任务之间的依赖关系及微云的... 移动终端硬件的资源受限问题可以通过将本地计算任务迁移至云端来缓解。然而,相比远程云端,某些实时要求较高的复杂应用更适合迁移至微云。这类应用中各任务之间的依赖关系也会对迁移方案产生较大影响。结合任务之间的依赖关系及微云的特点,基于遗传算法思想提出一种计算迁移方法。根据不同微云处理不同类型任务时的能力,将微云进行类型划分。根据移动应用中不同任务之间时序与数据的双重依赖关系,结合能耗和响应时间的考量,设计一个计算迁移算法,以获取具有较优效用值的迁移方案。通过仿真验证了该方法的可行性和有效性。 展开更多

关键词 移动云计算 计算迁移 微云 数据依赖 时序依赖

下载PDF 职称材料

低碳时变城配送车辆路径-发车调度集成优化 被引量：3

5

作者 周林 《计算机工程与应用》 CSCD 北大核心 2019年第8期264-270,共7页

针对交通拥挤环境下日益增长的城市配送需求,通过分析时序依赖对成本和碳排放的影响,引入车辆在节点等待和离散调度策略,研究基于时序依赖的低碳城市配送车辆路径与离散调度问题。为求解该问题,设计基于遗传算法与局部搜索相结合的混合... 针对交通拥挤环境下日益增长的城市配送需求,通过分析时序依赖对成本和碳排放的影响,引入车辆在节点等待和离散调度策略,研究基于时序依赖的低碳城市配送车辆路径与离散调度问题。为求解该问题,设计基于遗传算法与局部搜索相结合的混合进化搜索算法对模型求解,用积极的局部搜索机制替代随机的变异操作,并通过可行解构造算法、变概率交叉和多种局部搜索策略来提高算法求解质量和求解效率。通过对比仿真实验对算法和模型的有效性进行了验证。 展开更多

关键词 时序依赖 车辆路径-发车调度 碳排放 混合进化算法

下载PDF 职称材料

基于时滞特征的时序依赖情节发现 被引量：1

6

作者 顾佩月 刘峥 +1 位作者 李云 李涛 《计算机应用》 CSCD 北大核心 2019年第2期421-428,共8页

对于事件序列中的时序依赖发现,传统的频繁情节发现方法一方面使用时间窗口机制挖掘事件之间简单的关联依赖,另一方面无法有效处理事件的交叉时序关联。针对以上问题,提出了时滞情节发现的概念,在频繁情节发现的基础上,设计了一种基于... 对于事件序列中的时序依赖发现,传统的频繁情节发现方法一方面使用时间窗口机制挖掘事件之间简单的关联依赖,另一方面无法有效处理事件的交叉时序关联。针对以上问题,提出了时滞情节发现的概念,在频繁情节发现的基础上,设计了一种基于相邻事件匹配集(AEM)的时滞情节发现算法。首先,引入时滞的概率统计模型进行事件序列匹配,避免预先设定时间窗口,处理可能存在的交叉关联;然后,将时滞挖掘转化为最优化问题,使用迭代的方式得到时滞情节之间的时间间隔分布;最后,利用假设检验区分串行时滞情节和并行时滞情节。理论分析与实验结果表明,与目前最新的时滞挖掘方法迭代最近事件(ICE)算法相比,基于AEM的时滞情节发现算法模拟的时滞分布与真实时滞分布的平均KL距离为0. 056,缩短了20. 68%。基于AEM的时滞情节发现算法通过时滞的概率统计模型衡量事件多种匹配情况的可能性,获得一对多的相邻事件匹配集,比ICE算法中的一对一匹配更加有效地模拟了实际情况。 展开更多

关键词 时序依赖 事件序列 频繁情节 时滞 概率统计模型

下载PDF 职称材料

云环境下基于数据依赖的工作流调度

7

作者 薛伟祥 刘茜萍 《南京邮电大学学报（自然科学版）》 北大核心 2018年第6期103-110,共8页

云环境下的工作流调度问题已然成为当下研究热点,对具有数据依赖和时序依赖的工作流而言,通过合理调度实现工作流数据传输总量和完成时间的优化是一个具有挑战的研究课题。为此,文中提出了基于数据依赖的工作流调度方法。以进程代数的... 云环境下的工作流调度问题已然成为当下研究热点,对具有数据依赖和时序依赖的工作流而言,通过合理调度实现工作流数据传输总量和完成时间的优化是一个具有挑战的研究课题。为此,文中提出了基于数据依赖的工作流调度方法。以进程代数的形式对工作流进行建模,在计算工作流各通路数据传输量的基础上进行主任务集与非主任务集的划分并为主任务集确定主服务器,进而根据各任务最早起始时间和结束时间将其调度至动态更新的服务器空闲时段中,以实现对工作流的数据传输量及完成时间的综合优化,该调度方法的可行性和有效性最终通过一个具体的实例进行了演示。 展开更多

关键词 云环境 数据依赖 时序依赖 工作流调度 主任务集

下载PDF 职称材料

基于时序依赖表达的工作流过程模型

8

作者 杜英军 郭景峰 王春雷 《燕山大学学报》 CAS 2006年第2期162-167,共6页

时间管理是日益复杂的业务处理环境对工作流管理系统提出的新的要求。本文在对工作流过程控制结构描述的基础上,定义了活动的时序依赖图,并在全面描述活动各种属性的同时分析活动时序依赖的内在决定因素。从而建立了一种以时序依赖的定... 时间管理是日益复杂的业务处理环境对工作流管理系统提出的新的要求。本文在对工作流过程控制结构描述的基础上,定义了活动的时序依赖图,并在全面描述活动各种属性的同时分析活动时序依赖的内在决定因素。从而建立了一种以时序依赖的定义为核心的完整的过程模型。 展开更多

关键词 过程模型 控制流 时序依赖 内在因素

下载PDF 职称材料

支持短时交通流量预测的概率图模型构建与推理

9

作者 吴杰 岳昆 +1 位作者 刘惟一 赵小明 《小型微型计算机系统》 CSCD 北大核心 2011年第11期2320-2325,共6页

短时交通流量预测,是交通系统信息化和智能化交通运输管理技术领域研究的关键问题.目前的方法对历史数据具有较高的依赖程度,或者具有较高的计算成本,或者不能有效反映实际中较复杂的交通网络及各结点之间的相互关系、以及依赖的不确定... 短时交通流量预测,是交通系统信息化和智能化交通运输管理技术领域研究的关键问题.目前的方法对历史数据具有较高的依赖程度,或者具有较高的计算成本,或者不能有效反映实际中较复杂的交通网络及各结点之间的相互关系、以及依赖的不确定性,或者多种模型的组合使得预测方法较复杂.贝叶斯网是一种重要的概率图模型,本文以交通网络结构为基础,利用概率图模型在不确定性知识表示和推理方面的良好性质,考虑路口交通流量及其预测的时序依赖特征,构建了带有时序条件依赖关系的交通贝叶斯网.进而针对短时交通流量预测的实时性和高效性要求,提出了基于Gibbs采样的交通贝叶斯网近似概率推理算法,并进行交通流量的短时预测.实验结果表明,本文提出的交通贝叶斯网构建、近似推理以及相应的短时交通流量的预测方法,具有高效性、准确性和可用性. 展开更多

关键词 短时交通流量预测 概率图模型 贝叶斯网 时序依赖 近似推理

下载PDF 职称材料

中文分词与命名实体识别的联合学习 被引量：9

10

作者 黄晓辉 乔立升 +2 位作者 余文涛 李京 薛寒 《国防科技大学学报》 EI CAS CSCD 北大核心 2021年第1期86-94,共9页

将卷积结构引入循环神经网络,从而构建卷积循环神经网络。以此为基础,研究构建了面向中文分词与实体识别联合学习的序列标注模型。该模型依托卷积循环神经网络构建特征编码层,实现中文字序列局部空间特征和长距离时序依赖特征的联合提取... 将卷积结构引入循环神经网络,从而构建卷积循环神经网络。以此为基础,研究构建了面向中文分词与实体识别联合学习的序列标注模型。该模型依托卷积循环神经网络构建特征编码层,实现中文字序列局部空间特征和长距离时序依赖特征的联合提取;依托改进的循环神经网络构建标签解码层,实现标签序列长距离时序依赖的有效建模;依托统一的分词与实体识别序列标注模式实现分词信息与实体信息的联合学习,避免传统流水线法的误差传播问题。在人民日报语料和微软标注语料上的实验结果显示,该框架较传统统计模型和神经网络模型有显著的性能提升,尤其是在识别字数较多的命名实体时,其效果明显优于其他方法。 展开更多

关键词 卷积循环神经网络 局部空间特征 时序依赖特征 分词与实体识别

下载PDF 职称材料

多尺度时序依赖的校园公共区域人流量预测 被引量：8

11

作者 谢贵才 段磊 +2 位作者 蒋为鹏 肖珊 徐一凡 《软件学报》 EI CSCD 北大核心 2021年第3期831-844,共14页

校园公共区域人流量预测对于维护校园安全、提升校园管理水平有重大意义.尤其在疫情防控下,高校复学对公共区域的人流量预测和控制提出了更高的要求.以高校食堂为例,通过预测就餐人数,有助于食堂防疫人员合理调度和安排,既降低了人群聚... 校园公共区域人流量预测对于维护校园安全、提升校园管理水平有重大意义.尤其在疫情防控下,高校复学对公共区域的人流量预测和控制提出了更高的要求.以高校食堂为例,通过预测就餐人数,有助于食堂防疫人员合理调度和安排,既降低了人群聚集的潜在风险,也可以针对食堂人流量分布情况提供分时分批服务.然而,由于校园管理需求,如节假日和教学安排等因素,使得校园公共区域人流量预测问题颇具挑战性.为此,提出一种基于深度学习的多尺度时序卷积网络MSCNN(multi-scale temporal patterns convolution neural networks),实现人流量时序数据中短时依赖、长时周期模式的获取和多尺度时序模式特征的重标定,以对任意时段人流量进行预测.通过在真实校园环境数据集以及公开数据集上的实验,验证了MSCNN模型的有效性和执行效率. 展开更多

关键词 公共区域人流量预测 多尺度时序依赖 卷积神经网络 多组件融合

下载PDF 职称材料

时空域稀疏条件下基于雷达回波时序依赖关系的目标检测

12

作者 张力文 潘剑 +4 位作者 张右承 陈元培 马喆 黄旭辉 孙科武 《雷达学报（中英文）》 EI CSCD 北大核心 2023年第2期356-375,共20页

该文基于低慢小目标探测的地面预警雷达实测回波数据,系统性地提出了一种数据驱动式的目标检测方法框架,解决了两个关键问题:(1)针对当前数据驱动式的目标检测方法未能充分利用特征表示学习来发挥优势的问题,提出了回波时序依赖关系的... 该文基于低慢小目标探测的地面预警雷达实测回波数据,系统性地提出了一种数据驱动式的目标检测方法框架,解决了两个关键问题:(1)针对当前数据驱动式的目标检测方法未能充分利用特征表示学习来发挥优势的问题,提出了回波时序依赖关系的表示学习方法,并给出无监督和有监督学习的两种实现方式;(2)低慢小目标在雷达探测范围中呈现稀疏性,目标-杂波数目的极度不均衡致使网络判决面严重向杂波倾斜。因此,该文提出利用异常值检测方法中的样本均衡思想,有效缓解了检测模型的判决偏移问题。最后基于实测数据对所提方法框架的各组成部分进行了消融实验,实验结果充分验证了回波时序性特征表示学习和样本均衡策略的有效性。在实测序贯验证条件下,两种检测方法均取得了优于多种CFAR方法的综合检测性能。 展开更多

关键词 雷达目标检测 时序依赖关系 回波表示学习 循环神经网络 样本均衡策略

下载PDF 职称材料

融合STDP规则的忆阻联想记忆电路

13

作者 杨乐 徐晏阳 +1 位作者 丁芝侠 李赛 《武汉大学学报（理学版）》 CAS CSCD 北大核心 2023年第6期819-826,共8页

脉冲时序依赖可塑性规则和联想记忆规则共同描述了神经元突触的可塑性,对生物的学习和遗忘有重要的影响。现有的脉冲时序依赖可塑性规则与忆阻器结合的相关研究,仅实现了联想记忆的学习功能。基于此,融合脉冲时序依赖可塑性规则设计了... 脉冲时序依赖可塑性规则和联想记忆规则共同描述了神经元突触的可塑性,对生物的学习和遗忘有重要的影响。现有的脉冲时序依赖可塑性规则与忆阻器结合的相关研究,仅实现了联想记忆的学习功能。基于此,融合脉冲时序依赖可塑性规则设计了一种新的忆阻联想记忆电路。首先,分析脉冲时序依赖可塑性规则和联想记忆规则之间的联系;接着,设计一种具备延时功能的模块,融合两种规则;进一步,结合模块设计了一种忆阻联想记忆电路,实现了学习和三种遗忘功能;最后,通过PSPICE仿真验证了学习和三种遗忘功能,以及所提出方案的有效性。 展开更多

关键词 忆阻器 联想记忆电路 脉冲时序依赖可塑性规则

原文传递

基于忆阻器突触的脉冲神经网络综述

14

作者 但永平 魏金彤 王志达 《微纳电子与智能制造》 2023年第4期18-28,共11页

忆阻器是一种具有非易失性、类突触可塑性和多值性的新型存储器件,能够模拟生物神经元和突触的功能,实现神经形态计算的存算一体化。脉冲神经网络是一种基于生物神经系统信息处理机制的第三代人工神经网络,具有高效性、并行性、稀疏性... 忆阻器是一种具有非易失性、类突触可塑性和多值性的新型存储器件,能够模拟生物神经元和突触的功能,实现神经形态计算的存算一体化。脉冲神经网络是一种基于生物神经系统信息处理机制的第三代人工神经网络,具有高效性、并行性、稀疏性和自适应性的特点,能够处理复杂的时空信号。利用忆阻器构建的脉冲神经网络是神经形态计算的一个重要研究方向,已经在图像处理、语音识别、自然语言处理、机器学习等领域实现突破性的进展。本文总结忆阻器脉冲神经网络的基本原理、主要应用和存在的挑战,并对其未来的发展趋势和研究方向进行展望。 展开更多

关键词 忆阻器 脉冲神经网络 脉冲时序依赖可塑性规则 忆阻器阵列

下载PDF 职称材料

面向多源传感事件序列的时序依赖关联挖掘方法 被引量：3

15

作者 何逸茹 刘晨 杨中国 《小型微型计算机系统》 CSCD 北大核心 2021年第11期2307-2312,共6页

随着物联网的发展,工业设备上安装了大量的传感器,用来监控工业设备的状态.为了提高设备的可靠性,需要通过对多源传感数据的分析,来预测设备的故障,以便安排预测性维护.工业设备之间的相互作用往往具有传递性,存在复杂的时序依赖关系.... 随着物联网的发展,工业设备上安装了大量的传感器,用来监控工业设备的状态.为了提高设备的可靠性,需要通过对多源传感数据的分析,来预测设备的故障,以便安排预测性维护.工业设备之间的相互作用往往具有传递性,存在复杂的时序依赖关系.因此本文旨在挖掘传感器异常事件之间复杂的时序依赖关系,找到设备故障的根本原因,从而避免故障再次发生.本文通过识别多源传感器事件的频繁共现模式,提出一种新的时序依赖关联挖掘算法“GFE-mining”,挖掘事件之间复杂的时序依赖关系,形成异常预测模型.并通过实验来证明该方法的有效性. 展开更多

关键词 预测性维护 问题溯源 频繁共现模式 时序依赖关系

下载PDF 职称材料

IBM新一代神经形态芯片的设计理念

16

作者 李建中 《阴山学刊（自然科学版）》 2012年第1期5-9,共5页

芯片以脉冲激发神经网络算法为原型设计,遵循生物神经元的脉冲时序依赖可塑性学习规则。它具有256个神经元,64K(256×256)个2进制突触,神经元承担运算,相当于CPU,突触由SRAM组成,相当于神经网络的连接权重矩阵。CPU与SRAM高度整合,... 芯片以脉冲激发神经网络算法为原型设计,遵循生物神经元的脉冲时序依赖可塑性学习规则。它具有256个神经元,64K(256×256)个2进制突触,神经元承担运算,相当于CPU,突触由SRAM组成,相当于神经网络的连接权重矩阵。CPU与SRAM高度整合,省略了通信总线。芯片的核心电路面积仅0.0025mm2。芯片不需要编程,通过配置参数可以执行多种神经网络算法。芯片的研发依赖于这几个方面:生物神经元的学习规律;由此导出的神经网络算法;CMOS材料和工艺;SRAM和CPU的电路设计。 展开更多

关键词 IBM 神经形态芯片 脉冲激发神经网络 脉冲时序依赖可塑性 SRAM CPU

原文传递

基于Seq2Seq技术的电力系统暂态稳定评估方法 被引量：8

17

作者 章昊 田宏强 +2 位作者 王磊 许斌 段治丰 《电网与清洁能源》 北大核心 2021年第4期23-31,共9页

电力系统暂态稳定的评估识别有助于电网运营商制定系统扰动和故障后的纠正控制措施。引入深度学习思想,提出了一种基于Seq2Seq技术的电力系统暂态稳定评估方法。首先,梳理电力系统暂态稳定评估指标;然后以GRU为神经元,引入注意力机制,... 电力系统暂态稳定的评估识别有助于电网运营商制定系统扰动和故障后的纠正控制措施。引入深度学习思想,提出了一种基于Seq2Seq技术的电力系统暂态稳定评估方法。首先,梳理电力系统暂态稳定评估指标;然后以GRU为神经元,引入注意力机制,建立暂态稳定评估模型。算例验证表明:所提方法能够深入学习到样本数据中的时序性依赖特征,有效抓取特征细节,从而显著提升评估准确率。 展开更多

关键词 电力系统暂态稳定 Seq2Seq技术 GRU 注意力机制 时序性依赖特征

下载PDF 职称材料