排序方式: 共有6条查询结果,搜索用时 0 毫秒
1
1.
为了有效求解无冲突Petri网系统活标识的判定及配置优化问题,提出无冲突Petri网系统活标识判定的一种结构化方法。该方法首先求取无冲突Petri网的各强连通分支;然后对每一含有元素个数大于2的强连通分支求取其无同步变迁库所索引集合;最终得到无冲突Petri网系统的无前置库所索引集合,基于该库所元素集合即可实现对活标识的快速判定及配置优化。通过例子具体说明了该方法的实现及应用。分析结果表明,所提方法具有多项式时间复杂度,较易于操作和程序化实现。 相似文献
2.
动态描述逻辑动作间关系的Petri网分析方法研究 总被引:1,自引:0,他引:1
针对动态描述逻辑动作理论在描述和分析多个动作间关系(尤其并发关系)时能力的不足, 提出对多个动态描述逻辑动作间关系描述和分析的 Petri 网方法. 首先讨论了动态描述逻辑动作的等价 Petri 网描述, 进一步通过对动作描述的推理和各个动作的 Petri 网共享合成操作, 得到多个动态描述逻辑动作的 Petri 网系统. 在此基础上, 应用 Petri 网的相关理论与方法, 如可达图分析方法, 研究了多个动态描述逻辑动作间关系的分析与判定方法, 对动态描述逻辑动作理论的描述和分析能力进行了必要的扩充. 相似文献
3.
结构活性作为Petri网的重要结构性质,在Petri网活性判定领域具有较高的研究价值.从Petri网有向回路对结构活性的影响入手,分析与判定无冲突Petri网的结构活性,讨论库所元素及其后置变迁之间是否存在有向回路对Petri网结构活性的影响,研究该类Petri网结构活性判定方法的相关条件与结论,得到无冲突Petri网... 相似文献
4.
5.
6.
研究推进轴系橡胶艉轴承刚度等效方法,给出重力作用下的轴系艉轴承的等效支承位置及刚度。建立转轴-轴承非线性接触有限元模型,获得轴承表面压力和位移分布,然后采用单点、多点支承模型进行刚度等效。结果表明,单点支承等效可以较为准确地描述转轴位移,但转角不够准确;5点支承等效较单点支承等效具有更高的精度,可以较为准确地描述轴系变形,而且动刚度等效也能较准确地描述频响特性(微幅振动条件下),尤其对于低频区域(小于60 Hz),与转轴-轴承接触模型的计算结果几乎一致。 相似文献
1