可达问题相关论文
本文提出一种解决人工势场法目标不可达问题的方法.通过分析传统势场法中的固有缺陷:目标不可达及在障碍物附近或通过狭小通道时的......
Petri网是一种广泛应用于描述异步并发现象的图形化建模和分析工具,Petri网的可达性判定问题是进行Petri网建模和分析的基础。判定P......
在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型......