论文部分内容阅读
本文主要对基于最左深度优先遍历的工作流模型悬挂节点验证进行了探讨。首先介绍了工作流模型中的一些标记符号进行了介绍。其次，对悬挂节点进行了分析介绍。再次，对最左深度优先遍历算法进行了分析，最后通过对实例路径和循环路径中的非悬挂节点的遍历筛选出非悬挂节点。
基于最左深度优先遍历的工作流模型悬挂节点验证
【摘 要】
：
本文主要对基于最左深度优先遍历的工作流模型悬挂节点验证进行了探讨。首先介绍了工作流模型中的一些标记符号进行了介绍。其次，对悬挂节点进行了分析介绍。再次，对最左深度优
【机 构】
：
陕西警官职业学院
【出 处】
：
计算机光盘软件与应用
【发表日期】
：
2011年12期
其他文献
伴随着社会的不断发展,中小企业在经济及社会稳定等多方面都将发挥越来越重要的作用。尤其是中小企业的投资、融资等金融环境,直接影响着其健康平稳发展。本文通过分析当前我
从某炼油厂废水和油泥样中经富集培养、蓝色凝胶平板和发酵液表面张力的测定筛选出生物表面活性剂产生菌8株.选择其中2株BS-03和BS-01作进一步研究.经初步鉴定2株菌均属于假
改革开放近四十年的时间里,我国经济得到了快速发展,并一跃成为仅次于美国的世界第二大经济体,在世界范围内的影响力与日俱增。然而,随着全球经济形势的不断恶化,我国所面临
三网合一的背景下企业数据库的安全问题变得日益突出，本文就针对三网合一形势下企业数据库的安全环境变化和安全威胁进行分析，并提出了相应的安全策略。
为了解决高校有线局域网构建中接入模式存在网线错综复杂、接入不灵活、无法实时获取信息的问题，根据高校分布的特点，采用无线网络之一的无线局域网WLAN，就建设中遇到技术要求及
南水北调工程移民分布在湖北省潜江、襄阳等地,移民地区的产业结构以第一产业为主,第二、三产业发展受限,发展不充分;第一产业对移民增收的贡献率不高,第二产业、第三产业的
运用多李雅普诺夫函数方法研究了离散时延线性切换系统的镇定问题,给出了状态反馈控制器的设计方法;而后将该方法推广到基于状态观测器的离散时延切换系统控制器设计中。同时给出了求解文中双线性矩阵不等式(BMI)的巡回算法。最后通过一个仿真例子证明了设计方法的有效性。
利用差示扫描量热法和密闭爆发器测试方法对含有NX燃速改良剂的高能硝胺发射药的热分解和燃烧性能及燃速温度系数进行研究.研究结果表明,NX燃速改良剂对改善硝胺发射药的燃烧
应用受体模式的化学质量平衡法对玉溪市中心城区大气颗粒物的来源进行解析.分别采集玉溪市监测站、大营街和东风水库3个监测点大气中总悬浮颗粒物(TSP)样品,同时采集了土壤尘