论文部分内容阅读
粒计算理论之一——商空间理论,是张铃、张钹教授模拟人类智能解决问题思路而提出的人工智能求解问题的计算模型。商空间理论通过论域、属性和结构三元组(X,f,T)来描述问题,通过取不同粒,从而建立不同粒度的商空间,形成的一套问题求解的数学模型。其特色是用结构将论域中元素间的联系进行了清晰描述,将论域中的复杂问题转化到不同粒度世界上进行分析,在不同粒度世界之间进行求解,对不同粒度上的解进行合成得到原问题的解,以达到降低问题复杂度的效果。商空间理论作为粒计算的理论方法主要讨论的问题:(1)如何选择合适的粒——投影问题?(2)如何在不同的粒上进行问题求解——推理问题?(3)如何实现不同粒度空间上的解转化到原问题的解——粒度合成问题?商空间理论给出了两个标志性的原理:保假原理和保真原理,保障了问题(2)和(3),对于问题(1)只能在实际应用中具体问题需要具体对待。对于网络路径问题,是图论、人工智能领域的经典问题,其网络的规模决定了其问题的复杂度,也是路径算法的“瓶颈”,近年不少学者通过不同方式分解网络规模来降低计算复杂度,实现网络路径搜索。本文针对网络路径问题应用商空间理论,应用粒度分解方法将网络路径问题分解到不同粒度商空间中,从不同粒度空间形成的分层递阶商空间链中获取网络路径的解。对于网络路径分析,针对不同类型的网络讨论粒的选取问题,提出其路径算法,为网络路径分析提供一个商空间理论问题求解模型。本文的主要工作包括:1.研究商空间理论中粒的选取。在商空间理论中,其取粒度方式有根据论域、属性或结构进行划分三种方法来形成商空间。商空间理论区别于其他粒计算理论,引入了结构作为研究对象的拓扑信息。本文讨论网络结构中的粒的选取问题,针对不同基本类型的网络(无权网络、加权网络、有向网络)的粒的选取进行了讨论。2.提出加权网络的最佳路径。针对加权网络的结构类型的路径问题,根据边权的不同构建等价关系,作为基本粒,将加权网络粒度分解到不同边权上的商空间上,形成分层递阶商空间链,并基于分层递阶商空间链提出加权网络的最佳路径搜索算法。最佳路径通过局部最优实现全局最优,逼近最短路径。通过模拟数据实验验证其最佳路径逼近最短路径,并就成都市交通网络的行车路线对最佳路径和最短路径进行了比较,体现出最佳路径的特色。3.提出基于商空间理论的最短路径方法针对无向无权网络,以极大完全子图作为基本粒,形成相容关系商空间,构造出分层递阶商空间,实现无向无权网络的最短路径搜索。由于极大完全子图的求解具有高计算复杂度,不适合于大中型网络的最短路径求解。就一般网络,基于经典的Dijkstra和Floyd算法改进,提出一种根据网络最短路径步数来求解网络中所有最短路径的方法。4.提出大规模网络的社团最短路径算法。针对大规模网络的网络分析,其网络规模是图论路径算法的瓶颈,本文提出以社团为基本粒的多粒度网络分解方法,将大规模网络粒化为分层递阶商空间,实现大规模网络的预处理。利用分层递阶商空间中的数据信息来计算启发式路径搜索方法的估计函数,以实现大规模网络的点对点最短路径搜索。就多粒度网络分解中的大规模网络分割问题,本文提出的方法是以模块度作为评价准则,以节点网络属性作为启发式信息对网络进行分割,使得子图规模相当且具有社团群聚特征。社团子图规模相当使得经典的图论算法(如最小生成树算法)充分发挥其作用。通过美国不同规模的城市交通网络的实验,证实了以社团为基本粒的多粒度网络分解方法的实用性,并就网络点对点最短路径搜索同A*和ALT算法进行了比较,有一定地优越性。