基于布尔可满足性的动态路径优化算法

在对现有的经典路径优化算法性能进行分析基础上,指出现有算法的缺点。通过对布尔可满足性理论的研究,提出基于布尔可满足性的路径优化算法,并结合记忆机制,将其应用在动态路径优化中,减少最短路径的搜索时间和不必要的重复搜索,体现该算法的优势。最后,利用该算法对一简单路网进行验证。     

泰来嫩江大桥桥位方案比选

泰来嫩江大桥是国道主干线京加公路上跨越嫩江的一座特大桥,介绍了该桥的4个桥位方案,并以在拟建新铁路桥下游800 m桥位方案为推荐方案。