叶剑虹 作品数:32 被引量:74 H指数:5 供职机构: 华侨大学计算机科学与技术学院 更多>> 发文基金: 国家自然科学基金 厦门市科技计划项目 四川省应用基础研究计划项目 更多>> 相关领域: 自动化与计算机技术 文化科学 更多>>
基于Petri网的工作流逻辑化简规则的矩阵表示 被引量:8 2006年 Petri网是一种很有效的模型描述语言,尤其适合描述工作流。给出了基于Petri网的工作流逻辑(WF_logic)化简规则,这里则借助矩阵及矩阵运算或矩阵上的初等变换来实现这些化简规则,进而用一个具体的实例进行了验证。 孟永刚 宋文 叶剑虹关键词:PETRI网 工作流 化简规则 不完备日志的过程挖掘算法 被引量:1 2017年 算法能够在日志不完备的情况下,首先构造初始依赖图,根据依赖图所需满足的消极边约束条件,直接删除禁止的边,对于消极路径约束,需要针对约束关系进行分类以删除因果值最小的边.对于积极边约束,可直接添加所需的边,但对于积极路径约束,还需进一步计算出权值最优的路径以添加到模型中.为使构造出的网结构更吻合原始模型,随后还通过绑定操作生成一个支持原有日志轨迹的因果网.算法通过对消极的约束关系分类,减少了对消极约束的处理,同时在积极约束上采用权值更新最优算法提高效率.绑定操作可以进一步帮助我们约束网模型的行为,减少非原始日志轨迹的生成.整个挖掘算法,比已有的算法在效率上有显著提升,同时新增了一些对复杂约束条件的处理能力. 易科 叶剑虹关键词:依赖图 日志 混合内容分发网络的流媒体监控系统研究与实现 被引量:2 2012年 介绍一种应用于视频监控系统的混合内容分发网络HyCDN.该网络结合了CDN和P2P的互补优势,将P2P扩展性强的优点结合到稳定的CDN架构中.混合网络的域间利用边缘服务器相对稳定的特点结合了P2P应用层组播的树型分发技术;混合网络域内的逻辑拓扑的构造则是糅合了P2P树状拓扑和随机拓扑的特点,改善了节点动态性引发的问题并降低终端用户观看视频的延迟.文章详细阐述了在混合网域间和域内的技术思路和处理流程以及缓冲区的管理技术.利用仿真实验对系统的有效性进行分析.实验表明,该网络既克服了树状拓扑结构中节点动态性带来的数据传输延迟大的缺点,又较随机拓扑结构减少了控制开销. 叶双 叶剑虹 刘传才关键词:CDN P2P 视频监控 基于TdPN的迷宫问题求解 被引量:1 2011年 在对传统迷宫求解算法的不足进行分析的基础上,提出一种新的基于时延Petri网求迷宫通路的算法(Algo-rithm of Maze problem based on TdPN,M-TdPN)。先将迷宫中冗余点填充为墙,再将简化后的迷宫转换成时延Petri网,利用Petri网的并发性,保证运行过程中每个参与活动的托肯个体都有自己的活动轨迹,最终出口库所中每个托肯上附着的全序时间线即为迷宫中通路。算法有效地提高了迷宫中可行路径的搜索效率。仿真结果表明,对多拐点、大规模的复杂迷宫的求解效果优于回溯法。 叶剑虹 叶双 宋文 孙世新关键词:时延PETRI网 并发 基于Petri网的柔性制造系统混惑检测与控制 2016年 已有的混惑检测算法需要多次遍历Petri网中的所有变迁寻找混惑,比较耗时,不适合应用在复杂的柔性制造系统中。为此提出了一种新的混惑检测算法,根据混惑的基本结构特征,首先排除一些从结构上就不可能构成混惑的库所和变迁;然后在最有可能出现混惑的库所和变迁中去寻找混惑,从而降低了检测混惑的时间复杂度;再采用抑止弧对系统中出现的混惑进行了一定的消解控制;最后通过一个柔性制造系统实例验证了所提出的混惑检测算法及控制策略的高效性和正确性。 龙章潮 叶剑虹 宋文关键词:PETRI网 柔性制造系统 基于增广Petri网的实时交通信号控制系统 被引量:7 2011年 利用带抑制弧/使能弧、自控网技术的增广Petri网设计了一种交叉路口实时交通信号控制系统,通过采集路面车流量信息实时改变每个信号灯周期内各相位时长,模型通过了正确性分析.并依据该模型开发了Java原型系统,实验表明该系统能有效缓解交叉口的交通滞留. 叶剑虹 叶双 宋文 孙世新关键词:PETRI网 交叉路口 相位 Petri网若干关键技术的研究及其应用 随着计算机软件的飞速发展,提高软件开发的效率已成为一个非常重要的问题。采用形式化开发方法,不仅可以极大地减少软件设计早期的错误,缩短开发的总体时间,而且有利于开发人员之间的沟通,提高软件的可靠性。Petri网是形式化软件... 叶剑虹关键词:PETRI网 软件开发 建模方法 YAWL到BPMN的映射研究 被引量:1 2011年 针对YAWL语言目前存在较多OR逻辑二义性的情况,提出将YAWL转换成BPMN语言.转换不仅可以解决YAWL在多实例、同步和取消等模式表达上存在的不足,转换后更为简洁的BPMN模型也有利于进一步性质分析.算法的最终实现已嵌入到最新的ProM5.2平台中. 叶双 叶剑虹 宋文 孙世新关键词:YAWL BPMN 以培养计算思维为核心的计算机通识教育改革探索 被引量:4 2018年 当今社会已进入到互联网+时代,大学对非计算机专业学生的计算机教学不仅是大学通识教育的一个重要组成部分,更是培养大学生成为复合型创新人才的基础性教育。本文针对高校非计算机专业的学生,从计算机的基础知识、程序设计以及互联网+知识三个方面阐述改革的策略,进而指出了改革中的重点和难点,强调对非计算机专业学生的计算机通识教育的本质和核心应该是培养和发展学生的计算思维,通过提高他们应用计算机知识分析和解决问题的能力,从而培养大学生潜移默化地养成用计算思维方式解决专业问题的能力。 叶双 叶剑虹 蒋文贤关键词:计算思维 创新思维 基于P2P的自组织网络路由算法研究 被引量:4 2009年 针对传统的P2P采用泛洪的信息传输方式,网络带宽开销耗费较大,而结构化P2P覆盖网又难以在开销和效率方面做到较好的权衡。根据网络的动态性,有效地建立起一个可分层的树型自治系统,详细描述了该系统的构建目标和体系结构,并基于P2P计算模式动态构建该模型,给出相应的路由发现和更新算法。在理论及仿真实验的基础上对该路由模型的性能进行了验证。结果表明,该网络是一种可运行于任何环境,不受限于系统规模大小、节点能力强弱、节点出入频率,可通过动态调节保证路由效率的广域分布式系统。 叶剑虹 孙世新 张运生 周益民关键词:对等网络 网络结构 动态性 路由算法