首页期刊导航|计算机集成制造系统
期刊信息/Journal information
计算机集成制造系统
计算机集成制造系统

杨海成

月刊

1006-5911

Bamt@onet.com.cn

010-68962468 68962479

100089

北京2413信箱34分箱

计算机集成制造系统/Journal Computer Integrated Manufacturing SystemsCSCD北大核心CSTPCDEI
查看更多>>本刊为国家级学术刊物，旨在交流国内外CIMS研究、开发和应用的信息，推动和促进中国CIMS的发展。主要报道国内外有关发展计算机集成制造系统的政策措施、重点、趋势、科研动态、科技成果、推广应用、产品开发和学术活动等内容。设有综述、论文、专家论坛、企业实践和动态信息等栏目。已成为全国中文核心期刊。中国科技论文统计与分析文献来源期刊。中国科学引文数据库来源期刊。美国《工程索引（EI）》检索文献源期刊。1999年度影响因子达到0.746,在中国科技论文与引文数据库1372种期刊中位居前列。
正式出版
收录年代

    基于Petri网的面向公共过程的协同业务过程验证方法

    汪煜祺莫启王佳能王佳...
    2854-2871页
    查看更多>>摘要：如何在保护隐私性的前提下高效地验证协同业务过程的正确性,是业务过程管理领域中一个重要的研究问题.为此,提出一种基于Petri网的面向公共过程的协同业务过程正确性验证方法.首先,采用Petri网对组织的私有过程和协同业务过程进行建模;然后,基于私有过程的控制流,定义了基本块结构(包含顺序、选择、并发、循环及同步链接结构)并提出对应抽取规则集;最后,将私有过程的控制流转换为通信进程代数(ACP),利用ACP进程的等式理论证明抽取前后模型的正确性一致.通过大量实验,并与现有典型验证方法进行对比分析,结果表明:相较于现有的方法,所提方法可以在保护组织隐私性的前提下极大地提高协同业务过程正确性的验证效率.

    协同业务过程私有过程公共过程抽取规则正确性验证

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    基于活动次序决策树的业务过程合规性检查方法

    杨立飞田银花刘子豪韩咚...
    2872-2883页
    查看更多>>摘要：针对现有方法判断轨迹合规情况效率较低的问题,提出了一种基于活动次序决策树检查业务过程合规性的方法,并对该树进行剪枝处理以提高检测效率.首先,访问事件日志中完全拟合的轨迹,按照活动次序分别记录下每个活动的可取值,构建一棵以活动次序为属性的决策树;然后,为了减小决策树的结构规模提高判断效率,在尽量保证准确率的同时,对决策树进行剪枝,并对测试集中轨迹的拟合情况进行判断;最后,分别以地震应急流程及真实事件案例为数据集进行仿真实验.相较基于字符串距离度量方法和经典对齐方法,该算法显著提高了业务过程合规性检查效率,基于真实事件案例实验结果,进一步说明了该方法在进行业务过程合规性检查时的可行性和优越性.

    合规性检查地震应急流程决策树事件日志剪枝

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    基于流程模型分解的分布式合规性检查方法

    沈晓林刘聪李会玲郑凯...
    2884-2896页
    查看更多>>摘要：合规性检查是流程挖掘领域的一项重要任务,旨在发现业务流程日志行为和模型行为之间的差异和共性.对齐(Alignment)是当前合规性检查的标准技术之一,能精确定位日志行为和模型行为之间的偏差.然而,随着事件日志规模和复杂程度的增长,对齐通常非常耗时且难以在合理的时间内返回结果.为此,提出一种基于流程模型分解的分布式合规性检查方法,首先,将各类流程模型统一转换为流程树模型,并利用流程树的结构特性将流程树分解为子树,以减少对齐方法的搜索空间;其次,在分布式平台Spark上计算轨迹和子模型的最优对齐,从而加快对齐的计算;最后,通过多个日志进行实验对比.所提方法均已在PM4PY和Spark分布式环境中实现,并且可以作为一种框架与其他合规性检查方法结合使用.通过公开日志数据集将所提方法与已有基于A*的对齐方法和托肯重演方法进行对比,实验结果表明所提方法可以提高业务流程合规性检查的计算效率.

    合规性检查流程树对齐分解分布式计算

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    基于混合链的协作业务流程的隐私保护和数据监管

    邹文涛李传艺葛季栋骆斌...
    2897-2912页
    查看更多>>摘要：协作业务流程可以在执行跨组织的业务目标时简化业务逻辑,提升协作效率.它有两个重要的管理目标:隐私保护和数据监管.协作者们通常会利用可信的第三方平台.然而这种中心化的协作会存在监管失效和隐私泄露的风险.因此,目前的研究转向了利用去中心化方式的区块链技术实现流程监管.目前的方法基于匿名身份和公开的数据,会造成数据泄露的风险.为此,提出一个基于混合链的协作业务流程管理新方法,在监管业务流程数据的基础上,设计了对流程数据的针对性隐私保护方案.公有链部分确保流程实例对外部用户的隐私性和可监管性,联盟链部分提供了对内部协作者的隐私保护和数据监管.当流程实例在联盟链上执行时,利用三次遍历全体协作者的双向传递机制隔离协作任务.通过在多个公开的业务流程数据上的仿真实验,对比了混合链方法与其他基于区块链的方法.实验结果表明,混合链方法能够保护隐私数据和监管流程数据,在执行效率上具备可用性.

    协作业务流程区块链隐私保护数据监管

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    一种面向无标记事件日志的案例识别方法

    王颖刘聪沈晓林高庆鑫...
    2913-2922页
    查看更多>>摘要：流程挖掘旨在从事件日志中提取有用信息,从而发现、监控和改进实际的业务流程.大部分流程挖掘技术依赖于标准化的事件日志,即事件日志中的每个事件对应于一个案例.然而,已有的流程挖掘技术无法处理案例属性缺失的事件日志,即无标记事件日志.针对这个领域难题,提出一种面向无标记事件日志的案例识别方法.该方法首先根据关联规则从无标记事件日志中挖掘活动间的依赖程度,从而挖掘活动间的依赖关系;其次,根据活动间的依赖关系,挖掘活动间可能的活动关系,即并发关系、互斥关系和循环关系;最后提出一种案例识别算法对无标记事件日志进行案例识别,得到带有标记的事件日志.所提无标记事件日志案例识别方法已在开源平台ProM工具中实现.基于仿真日志数据集和真实日志数据集,验证了所提方法的有效性,通过与当前领域内最优方法进行定量比较,进一步验证了所提方法的优势.

    流程挖掘Petri网无标记事件日志案例识别

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    工业互联网环境下位置感知的生产要素资源服务组合优化

    谢润彬康国胜刘建勋文一凭...
    2923-2935页
    查看更多>>摘要：工业互联网将工业系统与互联网技术相结合,通过与智能设备的配合显著提高生产效率、降低生产成本.在工业互联网环境下,一个生产过程通常由多个子任务组成,同时一个子任务的完成需要多个或多种生产要素资源.与互联网环境下的传统服务组合相比,工业应用下的服务组合更为复杂且具有挑战性.为解决工业互联网环境下生产要素资源的服务组合优化问题,本文定义了该问题的关键概念,并将其建模为一个多目标优化问题.其次,为得到最优的服务组合解,结合教学优化算法(TLBO)和禁忌搜索算法(TS)的优点,提出一种混合的多目标优化算法,称为TLBO-TS.最后,进行了一系列的扩展实验.实验结果验证了 TLBO-TS算法的优越性.

    工业互联网生产要素资源服务组合混合算法多目标优化

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    异步通信系统的合理性检测

    王帅代飞黄苾莫启...
    2936-2946页
    查看更多>>摘要：异步通信系统是一种并发分布式系统,由一组具有无界缓冲区的分布式组件通过异步通信构成.分析异步通信系统的核心问题是检测其合理性,即确保组成系统的分布式组件可以无错误地进行异步通信.然而,基于无界缓冲区的异步通信容易导致异步通信系统产生无穷状态空间,从而使得对无穷状态空间进行穷举分析是不可判定的.鉴于此,提出一种异步通信系统的合理性检测方法,用于分析具有无界缓冲区异步通信系统的合理性.首先,使用标号迁移系统建模分布式组件,并使用异步组合定义基于分布式组件的异步通信系统;其次,根据异步通信系统的特征,提出了三种合理性定义;然后,基于稳定性性质,提出了检测具有无界缓冲区异步通信系统合理性的充分条件;最后,使用进程分析工具实现了所提方法,实验结果表明了所提方法的有效性.

    异步通信系统无界缓冲区合理性稳定性标号迁移系统

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    基于CZ-BWT改进的LZW压缩算法在电力报文中的应用

    周航潘小辉孙佳炜腾力阳...
    2947-2953页
    查看更多>>摘要：随着电网远动信息数据量日益剧增,对有限的硬件存储和网络带宽带来严峻考验.通过对报文数据的无损压缩研究以缓解硬件设备压力,确保数据解压后能无损还原出压缩之前的数据显得尤为重要.针对IEC60870-5-104 报文特有结构及 LZW(Lempel-Ziv-Welch)的特点,提出基于截断 CZ-BWT(Burrows-Wheeler transform)改进的LZW报文压缩算法.首先对输入的IEC60870-5-104报文进行CZ-BWT转换作为预处理,增大报文内容的相关性;其次用LZW算法对转换后的数据进行压缩操作.实验结果表明,基于CZ-BWT改进的LZW算法的压缩率优于传统LZW算法.此外,在压缩和解压速度方面,相比于大部分的压缩算法而言,具有一定优势.

    数据压缩LZW算法远动信息规约无损压缩

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    基于静止轨道卫星的雷达反射率反演业务过程研究

    林慧超金正勇许小龙
    2954-2961页
    查看更多>>摘要：我国气象雷达分布存在着不均衡,不充分问题,在西南地区以及海上区域存在着很大的雷达组网覆盖盲区.而静止轨道气象卫星具有更大的观测范围以及高时空分辨率的多光谱观测结果,通过开展基于卫星数据的雷达反射率反演业务过程可以在一定程度上能够弥补雷达组网空缺的问题.但现有的反演业务过程在数据处理阶段很难在通道以及空间维度上有效的提取复杂的多通道卫星数据特征.针对上述问题,探究了基于静止轨道卫星的雷达反射率反演业务过程,首先通过ResNet提取卫星数据的高层次语义特征,然后使用空间注意力模块、通道注意力模块在空间、通道两个维度上聚合与雷达回波相关的特征,并消除非降水云团的干扰特征.最后,通过多指标的对比实验验证了本文研究在不同大小的回波反演精度上均有一定提升.

    业务过程雷达回波遥感深度学习葵花8号卫星

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    基于RC-LSTM的雷达回波外推方法

    王友宁白金明刘琦
    2962-2967页
    查看更多>>摘要：雷达回波外推是降水临近预报的重要手段,所用的方法分为数值预报与数据驱动预报.前者依托数学与物理模型,后者依托深度学习技术总结历史规律.尽管深度学习在气象预报中研究活跃,但实际应用仍面临挑战,尤其是精度问题.因此设计了一种雷达回波外推系统,应用所提出的残参卷积长短期记忆(RC-LSTM)模型,在使用规划采样的同时,为每一层堆叠的ConvLSTM单元添加了残差连接,使得模型在更深的同时保留原有小模型的学习能力,保证网络最大限度降低空间维度的历史信息损耗,从而提高长时效雷达回波外推的精度.

    气象业务降水临近预报残参卷积长短期记忆雷达回波外推

      原文链接:
    • NETL
    • NSTL
    • 万方数据