基于三维行为关系图的模型一致性检测方法

在业务流程模型的相似性分析过程中,有时会出现环结构。已有的方法一般不考虑环结构,忽略了环结构对模型一致性分析的影响。以Petri网的多重变迁集为基础,提出一种新的一致性度测量方法。首先通过分析5种行为序列关系来刻画Petri网的变迁之间的相互关系,给出了三维行为关系图的概念;然后对Petri网的三维行为关系图间的关系进行研究,提出了基于Petri网的三维行为关系图的一致性检测方法。理论分析和实例测试均表明了该方法的有效性。

新旧桥连接中桩基沉降时域分析

结合武汉竹叶海立交的拓宽工程,分析了新旧桥梁的相关沉降理论,并根据荷载传递法及剪切位移法,建立了voigt土体模型的桩基微单元静力平衡微分方程,求解了桩顶位移响应函数,得出在规定荷载、规定时间下的沉降预测解析解,绘制了荷载—位移—沉降的三维关系图,直观展示出了变量间的相互关系。