|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | 一种基于逻辑Petri网建模的档案归并流程健壮性验证方法显示文摘针对档案归并流程动态建模容易引发流程逻辑混乱,造成归并流程无法正确执行的问题,提出一种基于逻辑Petri网建模的档案归并流程合理性验证方法。将流程健壮性转化为路径可达问题,给出了一种基于路径规约的健壮性判定方法。设计了档案归并流程健壮性判定算法,给出了判定实例,该方法避免传统Petri网方法进行可达判定时面临的状态空间爆炸问题,提高档案归并流程健壮性判定的效率。 | 王标 王萃 | 2022 | 电子技术(上海)2022，51，1： | 1 |
| 2 | 标注Petri网中的最小初始标识估计显示文摘为获得制造系统初始化时的最小资源以实现最优资源分配,利用标注Petri网对系统进行建模,并研究标注Petri网的最小初始标识估计问题。给定一个标注Petri网,在不可观测变迁组成无环子网的情况下,基于动态规划提出一种新的最小初始标识估计算法。在观察到给定的标注序列后,放宽不可观测变迁发生个数的限制,并根据该算法构建节点的演化过程。当出现相同的发生数向量时,仅保留当前极小的初始标识估计,并通过节点的演化过程对极小初始标识估计的托肯总数进行对比。为验证算法的有效性,给出一个制造系统的标注Petri网模型实例,最终得到的最小初始标识为[1000]~T,且对应的变迁发生序列为t_1t_3t_4t_6,满足给定标注Petri网的结构要求。实验结果表明,与传统基于动态规划的算法相比,该算法获得的最小初始标识估计具有更小的托肯总数。 | 徐淑琳 周广瑞 岳昊 | 2021 | 计算机工程2021，47，4： | 1 |
| 3 | 基于关系依赖模型的微服务流程演化分析显示文摘微服务技术的快速发展为企业系统集成和网络化业务协同提供了技术支持,软件服务系统中的流程需要不断演化以适应业务变化的需求,而现有的研究多从单一维度评估服务流程演化的影响.提出包括流程层和服务层在内的服务系统双层依赖关系模型DoubleDM,从服务演化和流程演化两个方面分析服务系统演化问题.针对服务层演化,基于服务间的依赖关系分析服务变更的影响范围,给出了服务依赖关系表达、依赖关系演化影响范围及求解和相应算法;针对流程演化的不同类型,给出了流程依赖基础上的流程化简处理步骤和算法.最后给出了微服务系统中流程演化的实现逻辑,并以微服务系统处理供应链销售流程为例进行了分析. | 郑伟波 李志超 刘纪遵 刘士军 | 2022 | 南京大学学报(自然科学版)2022，58，2： | 0 |
| 4 | 基于可预测适合度的选择性模型修复显示文摘由于信息系统记录的行为不断变化,因此事件日志与给定模型之间往往存在偏差.事件日志可能产生2种不同类型的偏差,且每种偏差在偏差总数中的占比是不确定的.已有方法采用固定方式修复日志中非迭代偏差和自循环产生的迭代偏差,或在理想适合度被设定为1的前提下选择执行不同的修复方式,因而很难保证适合度与精度始终在合理范围.针对这一问题,提出一种修复方法可根据迭代可观测偏差总成本预测配置优化后的适合度,并在其满足给定阈值的情况下对所有偏差进行整体配置.当预测适合度不满足给定阈值时,进一步通过最优对齐发现事件日志与过程模型之间的变体,并根据每个变体的实际情况使用配置优化或者自循环插入的方式修复可观测偏差.仿真实验中对不同数据集进行了验证,结果表明:在始终保证适合度合理的前提下所提出方法能够最大程度地改善精度. | 张力雯 方贤文 邵叱风 王丽丽 | 2022 | 计算机研究与发展2022，59，11： | 0 |
| 5 | 基于辅助驾驶的方向红绿灯识别对称算法研究显示文摘笔者提出基于Androidauto的汽车辅助方向红绿灯识别算法,对当前红绿灯识别算法的优缺点进行分析,通过对获取图像颜色分析提出方向红绿灯图片获取方式,并对噪音图片采取向量数据采集样本的方法排除噪音。同时,分析对称算法时间复杂度和空间复杂度,在程序中采用防止内存重复占用等策略比较算法,为推动汽车辅助驾驶的方向红绿灯辅助判断和降低路口交通事故概率等提供技术支撑。 | 孙立强 | 2021 | 信息与电脑2021，33，14： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员