[发明专利]一种机位分配系统及方法

权利要求书

1.一种机位分配系统，其特征在于，包括数据验证模块、规则文件生成模块、动态建模求解模块、配置文件管理模块、结果验证模块、指标计算模块、封装模块、日志记录模块和人工修改模块；

所述数据验证模块，用于对用户输入的机位数据、组合机位数据、航班数据以及任务数据进行校验，所述校验包括：对输入数据中每一条规则进行数据自验证，若有错误则返回该条规则及相应的自验证错误类型代码；对输入数据中每一条规则进行数据交叉验证，若有错误则返回该条规则及相应的交叉验证错误类型代码；

所述规则文件生成模块，用于将用户输入的机位分配必须满足的约束转换为规则文件；

所述动态建模求解模块，用于根据输入数据和规则文件，建立机位分配数学模型并进行求解，获得对机位分配的求解结果；

所述配置文件管理模块，用于管理求解参数配置文件、规则文件、数据库配置文件和期望计算指标文件，所述管理包括删除文件和修改文件中的参数；

所述结果验证模块，用于验证所述求解结果是否满足所有规则文件中的规则，如所述求解结果不满足所有规则文件中的规则，则将所述求解结果中发生冲突的分配结果发送到人工修改模块；

所述指标计算模块，用于根据所述求解结果和期望计算指标文件计算各个指标值；

所述封装模块，用于将求解结果和所述指标计算模块计算得到的指标值进行封装；

所述日志记录模块，用于记录规则文件生成记录、求解过程时间记录、求解结果记录；

所述人工修改模块，用于将发生冲突的分配结果进行人工调整机位分配，并作为规则数据输入到规则生成模块。

2.如权利要求1所述的一种机位分配系统，其特征在于，

所述自验证错误类型包括：字段缺失；字段为空；数据格式错误；数据字段错误；数据字段值不合法；任务数据中，某航班可分配机位重复；航班数据、组合机位技术、机位数据各字段存在重复值；任务数据存在重复的任务唯一标识；任务数据中，多个航班只能停靠同一机位且时间冲突；机位数据中，某个近机位未在航站楼所有机位中出现；机位数据中，同一个机位在多个航站楼中出现；

所述交叉验证错误类型包括：任务数据中，航班字段值在航班数据中不存在；任务数据中，可分配机位在机位数据中不存在；组合机位数据中，某组合机位在机位数据中不存在；任务数据中，航站楼字段与可分配机位所属航站楼不匹配；非可靠桥航班可分配机位有近机位。

3.如权利要求1所述的一种机位分配系统，其特征在于，所述动态建模求解模块包括：

规则文件加载单元，用于从配置文件管理模块处加载规则文件作为模型的约束条件；

数据加载单元，用于从数据库中加载机位数据、组合机位数据、航班数据和任务数据；

求解参数加载单元，用于从配置文件管理模块处加载求解参数配置文件；

模型建立单元，用于根据机位数据、组合机位数据、航班数据、任务数据建立决策变量矩阵，再设定优化目标函数，从而建立起数学模型；

模型求解单元，用于根据求解参数配置文件配置好模型求解单元，再根据建立好的数学模型和约束条件进行模型求解，输出求解结果。

4.如权利要求3所述的一种机位分配系统，其特征在于，所述模型求解单元包括：

参数初始化子单元，用于读取求解参数配置文件中的参数，配置求解单元中的参数；

第一求解子单元，用于采用首次适应算法或者最佳适应算法快速得到一个初始解；

第二求解子单元，用于基于所述初始解采用元启发式算法进行求解，得到中间解；

第三求解子单元，用于基于所述中间解采用元启发式算法进行求解，将优化目标函数值最大的解作为最优解；

所述元启发式算法包括禁忌搜索算法、模拟退火算法和延迟接受算法；

所述求解单元中的参数包括第一求解子单元使用的算法、第二求解子单元、第三求解子单元使用的元启发式算法和元启发式算法的迭代终止条件；

所述迭代终止条件可以是达到迭代次数或达到迭代时长；

所述第三求解子单元采用的元启发式算法与第二求解子单元中采用的元启发式算法不同。