城市交通是城市发展和进步的决定性因素,与社会经济的发展相辅相成。交通超前于社会经济的发展,是发达国家保持经济长期快速发展的一个重要因素,反之交通问题则会成为制约经济发展的主要瓶颈。为此,如何做好交通规划是我国当前急需解决的迫切问题,也是保障未来发展不可忽视的重要问题。交通调查作为交通规划的主要内容之一,是获取交通数据的基本方法和必要手段。通过交通调查获得的数据是未来需求预测、规划方案制定的主要依据,其真实性和可靠性直接决定着规划结果。由于交通源的数量巨大,交通调查一般以交通小区作为空间统计单元,要求确定合理的统计单元,不能过细而造成资源浪费,又不能过粗而影响后续的规划结果,这就要求使用科学的方法制定这些统计单元。有鉴于此,本文以城市交通规划为研究背景,运用整数规划建模求解理论与方法,分别针对交通小区划分问题的数据抽象和最优化建模、空间邻接约束的建模、分区个数已知的交通小区划分问题(基本交通小区划分问题)以及考虑分区个数决策的交通小区划分问题(扩展的交通小区划分问题)的建模与求解开展了系统的研究,主要研究工作如下文所述。(1)围绕交通规划中交通小区的实际划分方法、理论研究中最优交通小区划分问题的数据抽象过程、优化目标的选择与建立以及优化框架与求解方法等几个方面,开展了较全面的综述研究工作,并在此基础上针对空间单元的邻接矩阵构造方法、空间单元的可达性计算方法以及基于可达性的交通小区划分的优化目标建立等问题开展了算法设计与建模工作。该项研究工作的具体内容包括：针对交通活动实践中的交通小区,以文献资料为依据阐述了优化划分交通小区的意义,并概述了交通规划管理实践中交通小区划分的原则及方法；从微观角度,针对交通小区划分问题的理论研究,重点围绕使用优化技术解决交通小区划分问题时设立何种优化目标以及如何抽象构建优化目标的问题,分别针对建立优化目标前对连续的空间研究区域进行离散化的方法、离散化后面状空间单元的可达性度量方法、现实与文献中划分交通小区最优目标的内容与形式以及基于可达性构建的交通小区划分最优目标的内容与表达形式四个方面,开展了文献综述工作；在此基础上分别提出了基于Z型顺序编码的基本地理单元邻接矩阵的构造算法、使用路段局部深度值度量基本地理单元可达性的方法以及两个交通小区划分优化目标的数学表达形式—最小化总区内加权出行费用目标和最小化总区内可达性差异目标；从宏观角度,针对交通小区划分问题研究中的理论优化框架与方法,综述了最优交通小区划分问题的相关研究成果,将其优化问题的框架概括为分区依据数据、最优目标、基本分区约束、问题约束、算法以及评价分区解的指标这五个要素；并分别从不同类型的分区依据数据和求解方法两个方面对交通小区划分问题的理论研究进行了进一步的综述。(2)围绕使用整数规划技术对最优交通小区空间邻接约束建模的方法,针对文献中保障最优交通小区分区解满足空间邻接约束的方法进行了简要的综述,在此基础上,针对空间邻接约束整数规划建模方法以及不同建模方法对问题求解效率的影响这两个方面的问题开展了建模求解与算例分析等研究工作。该项研究工作的具体内容包括：在综述最优交通小区空间邻接约束建模的方法的基础上,修正文献中邻接约束整数规划建模的方法以适用于交通小区划分问题,给出了最小生成树表示、顺序路径表示以及网络流表示三种对空间邻接约束建模的方法；提出了基于邻接矩阵表示的保障分区一阶邻接约束的一种新建模方法；分别从模型的决策变量规模与模型的约束规模两个角度,给出了四种模型的变量、约束数量的推算过程以及理论计算表达式；基于对四种模型决策变量与约束规模的理论值估算,讨论并比较与分析了四种模型的求解复杂度；基于两个小规模仿真算例对四种模型的求解过程及原理、求解效率进行了比较与分析,并简要探讨了本文所提出的基于邻接矩阵的建模方法的适用范围。(3)围绕基本交通小区划分问题,研究了在分区个数已知的情景下,基于P中位问题模型的交通小区划分问题的0-1整数规划建模及求解方法。该项研究工作的具体内容包括：根据P中位问题模型,在假设分区决策参数已知的条件下,建立了以最小异质性为优化目标,满足空间邻接约束的整数规划模型的基本形式—最优交通小区划分问题的P中位问题模型(TAZ-PMP模型),并分析与探讨了模型的性质；将空间邻接约束与TAZ-PMP模型分离,由此将最优交通小区划分问题分解为构造列池以及求解最优下料问题两个过程,基于此,将邻接约束作为隐枚举规则,给出了通过构造TAZ-PMP模型主问题的初始化列池进而将TAZ-PMP模型转化为求解最优下料问题的精确求解算法(TAZ-IE算法)；使用拉格朗日替代松弛技术对TAZ-PMP模型进行分解,结合近似求解拉格朗日对偶问题的搜索算法、优化求解拉格朗日对偶问题的下降梯度算法以及TAZH算法给出了基于拉格朗日替代松弛的局部搜索启发式算法(TAZ-LSLSH算法)；通过识别、推导拉格朗日替代松弛和下降花费问题中的共同优化的子问题,将拉格朗日替代松弛与列生成过程相结合,给出了基于拉格朗日替代松弛方法的主问题与价格子问题的分解过程,并基于此设计了基于拉格朗日替代松弛技术的列生成算法(TAZ-LSCG算法)：使用基于OR-Library和Pcb3038修改的仿真数值算例对三种算法的求解过程及求解效率进行了比较与分析。(4)对基本交通小区划分问题进行扩展,围绕考虑分区个数未知的情景下,交通小区划分问题的非线性混合整数规划建模、模型的解析求解特征以及模型的求解算法等内容,开展了建模、算法设计与算例分析等研究工作。该项研究工作的具体内容包括：考虑分区组成、分区中心设置以及分区个数三个决策变量,建立了以最小地理误差为目标,以各分区空间可达性同质、各分区面积同质为主要约束条件的最优交通小区划分问题的混合整数规划模型(K-TAZ模型)；在分析了基本地理单元设置与最优分区问题之间关系的基础上给出了影响区的定义,给出了构造影响区的三个核心要素为邻接关系谓词、同质性度量的划分谓词以及影响区构成规则,设计了构造影响区的启发式搜索算法；将最优交通小区划分问题的求解空间离散单元由基本地理单元改为影响区,对提出的K-TAZ模型进行了改进,使最优分区问题更容易求解；对K-TAZ模型进行了解析推导,给出了关于模型最优分区个数解下界的引理与定理,以缩小分区个数取值范围为目标,提出了确定最大分区个数下界的方法；基于K-TAZ模型中与分区个数决策变量相关的同质性约束,作为搜索可行分区个数的限制条件,结合引理给出了可行分区个数的隐枚举算法；分析了K-TAZ模型无解情景以及导致K-TAZ模型无解的理论原因；设计了包含两个阶段的聚合式聚类启发式算法以重构求解空间使K-TAZ模型可解；通过对比仅包含一阶段的聚合式聚类启发过程与所提出算法的启发式过程中求解空间结构的变化,说明了所提出算法的有效性；将最大Kmin域缩减方法与约束规划模型求解过程结合,给出了求解K-TAZ模型的约束规划方法；将可行分区个数隐枚举域缩减方法与P中位问题模型求解过程结合,给出了求解K-TAZ模型的P中位模型方法；使用基于Pcb3038修改的仿真数值算例对两种算法的求解过程及求解效率进行了比较与分析。(5)结合苏州工业园区公交规划中最优交通小区划分的实际案例,开展了抽象建模与算例分析等应用研究。该项研究工作的具体内容包括：基于本文提出的抽象建模与计算方法,给出了案例的数据模型及其建立过程；考虑分区个数固定的情景,将案例的最优交通小区划分问题抽象为最小化分区异质性的TAZ-PMP模型；分别使用IE算法、LSLSH算法以及LSCG算法给出了案例最小化分区异质性TAZ-PMP模型的最优交通小区划分方案,并对算法求解实例的效率进行了讨论与分析；考虑分区个数未知的情景,将案例的最优交通小区划分问题抽象为最小化地理误差的K-TAZ模型；分别使用CP方法以及PMP方法给出了最小化地理误差K-TAZ模型的最优交通小区划分方案,并对算法求解实例的效率进行了相关的讨论与分析。