论文部分内容阅读
完备日志是过程挖掘算法设计和算法评价的前提条件,基于行为分析的Petri网模型完备日志生成算法存在状态空间爆炸的问题。提出了基于结构分解的算法,通过生成完备日志次序关系集,构造Petri网模型完备日志。结构分解方法降低了算法时间复杂度,日志次序关系组合计数使得量化评价日志完备性成为可能。
一种Petri网模型完备日志生成算法
【摘 要】
：
完备日志是过程挖掘算法设计和算法评价的前提条件,基于行为分析的Petri网模型完备日志生成算法存在状态空间爆炸的问题。提出了基于结构分解的算法,通过生成完备日志次序关
【机 构】
：
清华大学计算机系 北京 100084
【出 处】
：
第十一届全国Petri网理论与应用学术年会
【发表日期】
：
2007年期
其他文献
以邻苯二甲酸酐、偏苯三酸酐、间苯二酚及其衍生物为起始原料,合成得到12个含氨基的荧光化合物,通过核磁确认了化合物的结构,所有化合物均为首次合成。测定了化合物在不同p H
以间氨基酚、氯甲酸乙酯为起始原料,以H2SO4为催化剂,在溶剂中经三步反应合成了氨基香豆素染料.然后通过温和的曼尼烯反应合成得到8个荧光苯酚化合物,所有化合物通过核磁确认
苝二酰亚胺(PBI)是一种有着强发射和高光学稳定性的荧光染料.本文在介绍PBI特点、功能的基础上,综述了PBIs在环境和生物分析领域的应用近况.这种探针灵敏度高、操作简便,荧光
通过对还原藏青LH染色工艺中烧碱和保险粉用量、浸染染色温度和时间,及轧染汽蒸工艺条件的试验,确定了最佳浸轧染的染色工艺参数.与还原深蓝BO、还原深蓝VB、还原藏青YBB、还
用带禁止/容许弧的增广Petri网结合自控网技术构建一类模拟六相位的交通信号控制系统。系统设有专用的行人相位以分离行人与行驶车辆,避免它们之间的冲突。此系统便于实现对区域内多路口的交通信号进行协调控制。考虑到路口意外事件的发生,系统采用中断技术对交通信号进行中断处理。最后对模型进行了正确性的分析。
本文以2,4-二硝基苯肼为衍生试剂,与甲醛生成2,4-二硝基苯腙,用高效液相色谱法对2,4-二硝基苯腙进行测定,换算成甲醛含量,用该方法检测纺织品中甲醛的含量。
针对运用解析法对车辆电子系统进行性能建模分析困难这一问题，运用SPN构建基于Petri网的综合电子系统模型。提出了系统的性能分析方法,运用SPNP仿真软件进行系统建模,得出了某
无证书公钥密码体制消除了PKI(公钥基础设施)中的证书,同时解决了基于身份的公钥密码体制中的密钥托管问题。文中对文献[9]提出的无证书代理签名方案进行了安全性分析,通过分
本文研究了多支活性染料在GTA阳离子化改性棉织物上的无盐拼染效果.通过测定染料的S、R、E、F值,绘制染料的渐进上染曲线,分析不同类型三原色染料间的配伍性能好坏,选择一组