分布式约束管理系统的设计与实现

介绍了一种并行工程中分布式约束管理系统的设计与实现的方法。该系统采用约束满足问题的求解算法作为核心，可以求解约束网络中连续变量的可行值域。采用Ｃ／Ｓ结构及分布式数据库产品，具有分布式的特点，以支持ＩＰＴ地理位置的分布特点。它可及时地发现冲突，针对冲突信息，可从冲突仲裁系统的实例库中获得可行的解决方案。最后通过一个转向架设计的应用实例说明了该系统的有效性。