刘关俊
- 作品数：21 被引量：51H指数：5
- 供职机构：同济大学电子与信息工程学院计算机科学与技术系更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划上海市科学技术委员会基础研究重点项目更多>>
- 相关领域：自动化与计算机技术理学电子电信更多>>
- 改进的哲学家进餐问题无饥饿解的Petri网模型被引量：4
- 2007年
- 哲学家进餐问题是计算机科学中反映同步与并发的经典示例,活性与无饥饿是求解此问题的基本要求。基于两个许可卡轮转的策略,已经给出了一个无饥饿解的Petri网模型。此模型中可能出现两种情况:一个哲学家正在进餐时,另一张许可卡也轮转到他手中,但此卡只能在进餐后传下去;当两个相邻的哲学家都持有许可卡,并都希望进餐时,被竞争的那根筷子不能确定分配给谁。针对这两种情况,对原模型作了修改,提高了系统的效率。
- 刘关俊吴哲辉
- 关键词：哲学家进餐问题PETRI网
- 稳定有界Petri网的进程表达式被引量：6
- 2011年
- 文献[1]证明一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式,然而没有给出基本子进程的求解方法。定义了一类有界Petri网———稳定有界Petri网,并给出其基本子进程的求解算法,进而利用有限自动机的语言表达式的求解方法来求解稳定有界Petri网的进程表达式。另外,还给出了由符合一定条件的S-网的进程表达式来构造其同步合成网的进程表达式的算法。
- 汪明新刘关俊闫春钢
- 关键词：有界PETRI网
- 改进的哲学家进餐问题无饥饿解的Petri网模型
- 哲学家进餐问题是计算机科学中反映同步与并发的经典示例,活性与无饥饿是求解此问题的基本要求.基于两个许可卡轮转的策略,已经给出了一个无饥饿解的Petri网模型.此模型中可能出现两种情况:一个哲学家正在进餐时,另一张许可卡也...
- 刘关俊吴哲辉
- 关键词：哲学家进餐问题PETRI网模型并发操作资源共享
- 文献传递
- 基于视觉特性的零树小波图像编码算法的改进
- 2004年
- 在深入研究尺度小波变换和嵌入式零树小波图像编码(EmbededZerotreeWavelet-EZW)算法的基础上,探讨了一种改进的零树小波图像编码算法。本文对最低频图像采用差值脉冲预测编码(differen tialpulsecodemodulation-DPCM)量化编码,而对高频子图采用基于视觉特性的零树编码。通过实验,该算法既能保持原有零树算法良好的压缩品质,而且也改善了图像的视觉质量。
- 陈黎静刘关俊乐晓波唐贤瑛
- 关键词：视觉特性
- 基于T-不变量的可重复向量的求解算法被引量：4
- 2007年
- 研究了Petri网中T-不变量与可重复向量之间的关系,并基于此关系给出一个求解可重复向量的新方法。首先定义了变迁扩充网的概念,证明一个网的可重复向量与其变迁扩充网的T-不变量之间存在一一对应关系,从而将一个网可重复向量的求解转换为其变迁扩充网T-不变量的求解上。在此方法中,如果利用FM-算法去求解T-不变量,则某些求解的步骤可以省略,从而得到一个类似于FM-算法的算法来求解可重复向量。此算法能够求出一组可重复向量,而任一可重复向量都可被这组可重复向量非负有理系数线性表出。
- 刘关俊蒋昌俊吴哲辉
- 关键词：PETRI网可重复向量
- Petri网本原可重复向量的求解算法及实现被引量：6
- 2009年
- Petri网本原可重复向量是一个重要结构性质.本文定义了网N的可重复向量表出集pre-SPRV(N),证明一个网的本原可重复向量集是唯一的,并且给出它的一个求解算法.算法首先求出网N变迁扩充网的所有极小T-不变量,由此求得N的一个可重复向量表出集,然后依次考察其中的每一个向量,将其中的多余向量去掉,得出网N的本原可重复向量集.最后算法被实现并用于实例以展示算法性能,相关算法的程序实现可以作为已有Petri网分析工具的一个组件.
- 岳昊吴哲辉刘关俊
- 关键词：PETRI网
- 资源独立工作流可满足性的最小增量模式回溯
- 2023年
- 工作流可满足性是业务安全规划的基本问题,正在面临高资源配比(资源数n显著大于步骤数k)造成的性能挑战.在资源独立约束下,其最高效求解途径是模式空间上的增量回溯法IPB.为克服结点真实性验证的性能瓶颈,它增量计算模式k指派(二部)图及其(左完备)匹配,分别需要O(kn)和O(k^(2))时间.利用父子模式的原子差异增量计算完全指派图,只需O(n)时间,特别是其实际性能,将随模式块规模增长迅速提高.但该图的O(kn)规模导致了同样的增量匹配时间.进而引入完备k核心匹配概念,证明其存在性等价于左完备匹配,且其增量计算时间为O(k^(2)).由此,建立了时间复杂度更低的最小增量模式回溯法.在含互斥和两种全局值势约束而授权比例约为1/4的扩展公开实例集上进行实验,结果表明:当n/k=10(及n/k=100),而k变化时,该方法较IPB有平均超过2(及5)倍、最低1.5(及2.9)倍的性能优势;当k=18(及k=36),而n/k=2~4096(及n/k=2~2048)时,该方法有平均超过2.6(及3.6)倍优势;而较2021年Minizinc挑战赛的冠军求解器Google OR-Tools CP-SAT,该方法最低有超过3倍优势.
- 翟治年卢亚辉刘关俊雷景生向坚吴茗蔚
- 关键词：工作流授权资源分配
- 排序学习研究进展与展望被引量：8
- 2018年
- 排序学习利用机器学习技术去训练排序模型以解决排序问题,是信息检索与机器学习交叉领域的一个新兴研究热点.越来越多的排序学习方法已经应用于实际系统中,如搜索引擎和推荐系统等.本文概括了排序学习的研究进展,并进行展望.首先,阐述了排序学习问题.然后,对排序学习方法进行了分类,并重点分析了依据训练排序模型时所采用的不同机器学习技术的排序学习方法类别.本文还介绍了一些代表性的标准排序学习数据集,对排序学习方法在若干领域的成功应用进行了总结,并归纳了一些排序学习方法软件包.最后,对排序学习的未来发展趋势和挑战进行了展望和探讨.
- 李金忠刘关俊闫春钢闫春钢
- 关键词：神经网络支持向量机进化算法
- 基于petri网的队列算法的改进及其在linux进程队列中的应用
- 文章在对无固定容量队列算法深入研究后,对其进行了改进,并将改进的队列结构用于linux进程队列中.实验证明,新型队列比普通队列效率提高了不少.
- 陈黎静刘关俊
- 关键词：PETRI网等待队列队列算法
- 文献传递
- 基于WFT-net验证合理性的动态数据精炼策略
- 2021年
- 带有数据表的工作流网(WFT-net)用于验证业务流程的合理性,包括正确的行为逻辑和满足的数据需求。在某些情况下,静态数据精炼策略存在无法反映流程中所有可能执行路径的情况,这会导致检测正确率不理想等问题。为此,文中提出了一种新的动态数据精炼策略。首先,提出了在流程运行当前状态下评估与被写数据元素相关联的数据表和谓词状态的方法,捕捉数据流状态的实时变化,全面反映流程执行所有可达的状态,避免执行路径的丢失。此外,当流程执行陷入会导致数据流状态无限更新的循环时,通过适当调整赋值精炼规则的方式,来避免状态的无限延伸。然后,基于所有可能执行路径来检测流程的合理性。最后,在不同业务流程实例上的实验结果表明,该动态数据精炼策略能够有效提高合理性检测的正确率。
- 陶小燕闫春钢闫春钢
- 关键词：PETRI网
