专利名称：：航班计划验证方法及装置的制作方法
技术领域：
：本发明涉及空中交通管理领域，特别涉及航班计划验证方法及装置。
背景技术：
：随着国民经济的进一步增强，我国航空运输业飞速发展，航班计划量也随之大幅提高。为了确保航班正常、稳定、安全地运行，需要对航班计划的正确性进行验证。目前，对航班计划的验证完全依靠人工验证航班常规信息、航班执行期信息、航班起降信息等信息的正确性。由于航班计划的数量较大，依靠人工验证工作效率很低，而且难以保证航班计划的正确性。
发明内容本发明实施例提供一种航班计划验证方法及装置，用以验证航班计划的完整性和合理性，提高工作效率，保证航班计划的正确性。本发明实施例提供了一种航班计划验证方法，包括根据预设的航班计划标准数据类型，获取航班计划的特征信息；验证所述特征信息的完整性和合理性。本发明实施例还提供了一种航班计划验证装置，包括获取模块用于根据预设的航班计划标准数据类型，获取航班计划的特征信息；验证模块用于验证所述特征信息的完整性和合理性。由上述技术方案可知，本发明实施例根据预设的航班计划标准数据类型，验证航班计划的完整性和合理性，提高了工作效率，保证了航班计划的正确性。图1为本发明提供的航班计划验证方法实施例一的流程示意图；图2为本发明提供的航班计划验证方法实施例二的流程示意图；图3为本发明提供的航班计划验证装置实施例三的结构示意图。具体实施例方式下面结合附图对本发明的具体实施例作进一步详细的说明。图l为本发明提供的航班计划验证方法实施例一的流程示意图。如图l所示，本实施例可以包括以下步骤步骤IOI、根据预设的航班计划标准数据类型，获取航班计划的特征信息；步骤102、-验证所述特征信息的完整性和合理性。本实施例中，如表1所示，为航班计划标准元素模型的元素信息表，该航班计划标准元素模型(StandardElementsModelofFlightPlan)用以描述航班运行的基本信息，包括了航班计划标准数据类型以及各航班计划标准数据类型的格式。表1为航班计划标准元素模型的元素信息表<table>tableseeoriginaldocumentpage5</column></row><table><table>tableseeoriginaldocumentpage6</column></row><table>本实施例中，航班计划标准数据类型包括航班常规信息元素组、航班执行期元素组和航班起降信息元素组等，其中，航班常规信息元素组的元素包括航班号(FlightID，以下简称FID)、航空器型号(AircraftType,以下简称ATYPE)和航线(Route);航班执行期元素组的元素包括航班执行周期(DAYS)、航班有效期起始(ValidPeriodBegin,以下简称VPB)、航班有效期截止(ValidPeriodEnd,以下简称VPE)和航班执行日(ExecuteDays,以下简称ED);航班起降信息元素组包括表l中序号为8-20号元素，可分为起飞信息和降落信息，该起飞信息包括起飞机场(Airport,以下简称AP)和起飞时间(D印artureTime,以下简称DT)，该降落信息包括降落机场(Airport,以下简称AP)和降落时间(ArrivalTime,以下简称AT),相对于同一航班号的航班起降信息元素组而言，需要同时具备起飞信息和降落信息。航班计划标准数据类型的格式为规定的航班计划标准元素模型中各元素内容的格式，用以区分各元素不同的数据类型，例如航班号的格式为所含英文字母为大写，总字符长度在8个字符以内、起飞时间的格式为"HHMM"时间格式等，上述航班计划标准元素模型中各元素内容的格式将在下一实施例中进行详细说明，此处不在赘述。取航班计划信息，该航班计划信息为指导航班运行的信息，可以保存在航班计划数据库中，也可以由人工录入到航班计划数据库外部的存储设备中，所班计划数据库外部读取人工录入的航班计划信息。该航班计划信息中包括了部分冗余信息，且该航班计划信息中航班计划标准数据类型的格式可能不符合航班计划标准模型预设的格式。因此，需要按照航班计划标准数据类型，从航班计划信息中提取航班计划的特征信息，并将该特征信息转换成与航班计划标准模型对应的数据格式。经过转换后的特征信息对应于航班计划标准数据类型，同样包括航班常规信息元素组、4元班起降信息元素组和航班执行期元素组中的一项或多项的组合。此后，验证该特征信息的完整性和合理性。其中验证该特征信息的完整性包括验证该特征信息中各元素内容的格式正确性和验证该特征信息中各元素内容的逻辑合理性。进一步地，验证该特征信息中各元素内容的逻辑合理性包括验证特征信息中包括的航班起降信息元素组的逻辑合理性和验证特征信息中包括的航班执行期元素组的逻辑合理性。对该特征信息的完整性和合理性验证的流程将在下一实施例中进行详细说明，此处不在赘述。本实施例根据预设的航班计划标准数据类型，验证航班计划的完整性和合理性，提高了工作效率，保证了航班计划的正确性。图2为本发明提供的航班计划验证方法实施例二的流程示意图，本实施例以上述实施例一提供的航班计划验证方法为基础，进一步对航班计划的特征信息的完整性和合理性验证的流程进行详细说明。如图2所示，本实施例可以包括以下步骤在本实施例的步骤执行之前，需要预先设置航班计划标准元素模型用以描述航班运行的基本信息，包括了航班计划标准数据类型以及航班计划标准数据类型的格式。其中，航班计划标准数据类型包括航班常规信息元素组、航班执行期元素组和航班起降信息元素組等。步骤201、读取航班计划信息。其中，航班计划信息的含义已在上述实施例一中进行了详细说明，此处不在赘述。在实际应用中可以从航班计划数据库中读取该航班计划信息，也可以从航班计划数据库外部读取人工录入的航班计划信息；步骤202、从航班计划信息中提取航班计划的特征信息。按照航班计划标准数据类型，从航班计划信息中提取航班计划的特征信息，并将该特征信息转换成与航班计划标准模型对应的数据格式。其中，经过转换后的航班计划的特征信息与航班计划标准数据类型相似，包括航班常规信息元素组、航班起降信息元素组和航班执行期元素组中的一项或多项的组合。航班常规信息元素组、航班起降信息元素组和航班执行期元素组中包括的元素已在上述实施例一中进行了详细说明，此处不在赘述；步骤203、验证特征信息中各元素的格式正确性。验证特征信息中各元素的格式是否符合航班计划标准数据类型规定的格式，若是，则执行步骤204;若否，则验证失败，结束验证。其中，航班计划标准数据类型规定的格式为航班计划标准模型中定义了每种数据类型的格式，例如航班号的格式为所含英文字母为大写，总字符长度在8个字符以内、起飞时间的格式为"HHMM"时间格式等。具体地，对特征信息中各元素的格式正确性验证的步骤包括步骤211、验证FID所含英文字母是否为大写，且FID长度是否在3至8个字符长度(含)之间，若是，则执行步骤212;若否，则验证失败，结束验证。其中，FID为每个航班的唯一标识，用于区分不同的航班，例如FID:3W8837;步骤212、验证ATYPE所含英文字母是否为大写，且ATYPE是否在1至30个字符长度(含)以内，若是，则执行步骤213;若否，则验证失败，结束验证。其中，ATYPE用于表示航班号所对应的飞行器的型号，例如FID:3W8837,对应的ATYPE:737;步骤213、验证航班执行周期所是否仅包含1至7之间的数字和"."，航班执行周期长度是否为7个字符，航班执行周期所包含的内容是否按照正确顺序排列，若是，则执行步骤214;若否，则验证失败，结束验证。其中，航班执行周期表示航班在1周7天每日是否执行，采用7位字符占位表示，例如"123.567"表示航班只在周4不执行，其余天均执行；步骤214、验证VPB和VPE是否符合"YYYY-MM-DD"的日期格式，且验证VPB是否小于VPE，若是，则执行步骤215;若否，则验证失败，结束验证。其中，VPB与VPE之间的日期定义为航班有效期(ValidPeriod,以下筒称VP),VP表示航班可以执行的日期，VPB表示航班可以执行的开始日期，VPE表示航班可以执行的截止日期；步骤215、验证ED是否符合"YYYY-MM-DD"的日期格式，且ED包含多个日期时是否使用"，"分隔多个日期，若是，则执行步骤216;若否，则验证失败，结束验证。其中，ED为航班执行的日期，例如ED:2009-01-01,表示该航班在2009年1月1日执行；步骤216、验证航线所含的英文字母是否为大写，若是，则执行步骤217;若否，则验证失败，结束验证。其中，航线为航班执行的路线名称，用于区分不同的路线，例如航线ZBAASOSDIW75BEGRIW76NONITG212ODZLXY，表示从北京到西安的航线；步骤217、验证航班起降信息元素组中的机场信息元素组，例如表l中的AP1、AP2、AP3、AP4、AP5,是否为4位大写字母，若是，则执行步骤218;若否，则验证失败，结束验证。其中，起飞机场表示航班执行的起始地点，降落机场表示航班执行的终止地点，例如API:ZLXY,表示起飞才几场为西安；步骤218、验证航班起降信息元素组中的时间信息元素组，例如表l中的DT1、AT2、DT2、AT3、DT3、AT4、DT4、AT5，是否符合"HHMM"的时间格式，若是，则特征信息中各元素的格式正确性验证成功；若否，则验i正失败，结束-睑^正。其中，DT表示航班离开起飞机场的时间，AT表示航班到达降落机场的时间；步骤204、验证航班起降信息元素组的逻辑合理性。验证所述航班起降信息元素组中是否同时包括起飞信息和降落信息，若是，则执行步骤205;若否，则验证失败，结束验证。其中，起飞信息包括起飞机场和DT,该降落信息包括降落机场和AT,由于航班每执行一次航班计划，需要包含起飞信息和降落信息，因此，当航班期间信息元素组中同时包括起飞信息和降落信息时，该航班起降信息元素组的逻辑合理性才能验证成功；步骤205、验证航班执行期元素组的逻辑合理性。首先，通过航班执行期元素组中的航班执行周期、VP计算得出航班有效期周期合成日(CompoundDays,以下简称CD)，CD为航班执行周期与航班有效期的交叠日的集合，即在VP范围内找出符合航班执行周期的执行曰集合。此后，当航班执行期元素组中存在ED时，比较CD和ED是否交叠，若是，则完整性验证成功，执行步骤206;若否，则验证失败，结束验证。进一步地，当航班执行期元素组中不存在ED时，通过比较航班执行周期和VP,验证VP中的日期是否与航班执行周期存在二义性；步骤206、验证特征信息的合理性。根据航班常规元素组中的FID,在航班计划数据库中查找与该FID对应的原有航班执行日，并建立4充班计划对比集合(ComparativeCollection,以下简称CC)。该CC为FID对应的原有航班执行日的集合，该原有航班执行曰为已经制定的航班计划中FID对应的ED。此后，根据航班执行周期、VP和ED,计算得到三者的交叠日期，即FID对应的航班执行日集合(ExecuteDaysCollection,以下简称EDC)。最后，比对CC与EDC是否交叠，若是，则验证失败，结束验证；若否，则合理性验证成功。进一步地，通过CC与EDC的比对，能够验证出待验证航班计划与原有的航班计划是否存在冲突，避免了同一FID重复安排计划的情况发生。本实施例根据预先建立的航班计划标准元素模型，对航班计划进行完整性和合理性验证，提高了航班计划验证的效率，保证了航班计划的正确性。图3为本发明提供的航班计划验证装置实施例三的结构示意图，本实施例提供的航班计划验证装置可用于实现图l和图2所示本发明提供的航班计划验证方法的流程。如图3所示，本实施例航班计划验证装置包括顺序相连的获取模块11和验证模块12。其中，获取模块ll用于根据预设的航班计划标准数据类型，获取航班计划的特征信息；验证模块12用于验证所述特征信息的完整性和合理性。当本实施例的航班计划验证装置工作时，首先，获取模块ll从航班计划数据库中读取该航班计划信息，或者从航班计划数据库外部读取人工录入的航班计划信息。并由该获取模块ll按照航班计划标准数据类型，从航班计划信息中提取航班计划的特征信息，并将该特征信息转换成与航班计划标准模型对应的数据格式。此后，该获取模块ll将转换后的特征信息提供给验证模块12进行验证。该验证模块12接收到特征信息后，首先对特征信息的完整性进行验证。对特征信息的完整性验证包括验证特征信息中各元素的格式正确性；验证航班起降信息元素组的逻辑合理性；验证航班执行期元素组的逻辑合理性。当特征信息的完整性验证成功后，该验证模块12对特征信息的合理性进行验证。本实施例中验证模块12根据预设的航班计划标准数据类型验证航班计划的完整性和合理性，提高了工作效率，保证了航班计划的正确性。本领域普通技术人员可以理解实现上述方法实施例的全部或部分步骤可以通过程序指令相关的硬件来完成，前述的程序可以存储于一计算机可读取存储介质中，该程序在执行时，执行包括上述方法实施例的步骤；而前述的存储介质包括ROM、RAM、磁碟或者光盘等各种可以存储程序代码的介质。最后应说明的是以上实施例仅用以说明本发明的技术方案，而非对其限制；尽管参照前述实施例对本发明进行了详细的说明，本领域的普通技术人员应当理解其依然可以对前述各实施例所记载的技术方案进行修改，或者对其中部分技术特征进行等同替换；而这些修改或者替换，并不使相应技术方案的本质脱离本发明各实施例技术方案的精神和范围。权利要求1、一种航班计划验证方法，其特征在于包括根据预设的航班计划标准数据类型，获取航班计划的特征信息；验证所述特征信息的完整性和合理性。2、根据权利要求l所述的方法，其特征在于所述根据预设的航班计划标准数据类型，获取航班计划的特征信息包括读取航班计划信息；按照所述航班计划标准数据类型，从所述航班计划信息中提取航班计划的特征信息。3、根据权利要求2所述的方法，其特征在于所述读取4元班计划信息包括从航班计划数据库中读取所述航班计划信息；或从航班计划数据库外部读取人工录入的所述航班计划信息。4、根据权利要求2所述的方法，其特征在于所述特征信息包括航班常规信息元素组、航班起降信息元素组和航班执行期元素组中的一项或多项的組合。5、根据权利要求4所述的方法，其特征在于所述验证所述特征信息的完整性包括验证所述特征信息的格式是否符合航班计划标准数据类型规定的格式，若是，则验证所述航班起降信息元素组的逻辑合理性；若否，则验证失败，结束验证。6、根据权利要求5所述的方法，其特征在于所述验证所述航班起降信息元素组的逻辑合理性包括验证所述航班起降信息元素组中是否同时包括起飞信息和降落信息，若是，则验证所述航班执行期元素组的逻辑合理性；若否，则4全证失败，结束验证。7、根据权利要求6所述的方法，其特征在于所述验证所述航班执行期元素组的逻辑合理性包括计算所述航班执行期元素组中的航班执行周期与航班有效期交叠的航班有效期周期合成曰；比较所述航班有效期周期合成日与所述航班执行期元素组中的航班执行曰是否交叠，若是，则完整性验证成功；若否，则验证失败，结束验证。8、根据权利要求6所述的方法，其特征在于所述验证所述航班执行期元素组的逻辑合理性包括验证所述航班有效期与航班执行周期是否存在二义性，若是，则验证失败，结束验证；若否，则完整性验证成功。9、根据权利要求4所述的方法，其特征在于所述验证所述特征信息的合理性包括根据所述航班常规元素组中的航班号，建立包含有在航班计划数据库中与所述航班号对应的原有航班执行日的航班计划比对集合；根据所述航班执行周期、航班有效期和航班执行日，计算包含有与所述航班号对应的航班执行日的航班执行日集合；比较所述航班计划比对集合与所述航班执行日集合是否交叠，若是，则验证失败，结束^i正；若否，则合理性验证成功。10、一种航班计划验证装置，其特征在于包括获取模块用于根据预设的航班计划标准数据类型，获取航班计划的特征信息；验证模块用于验证所述特征信息的完整性和合理性。全文摘要本发明涉及一种航班计划验证方法及装置，该方法包括根据预设的航班计划标准数据类型，获取航班计划的特征信息；验证所述特征信息的完整性和合理性。该装置包括获取模块用于根据预设的航班计划标准数据类型，获取航班计划的特征信息；验证模块用于验证所述特征信息的完整性和合理性。本发明实施例根据预设的航班计划标准数据类型，验证航班计划的完整性和合理性，提高了工作效率，保证了航班计划的正确性。文档编号G08G5/00GK101533562SQ20091007844公开日2009年9月16日申请日期2009年2月23日优先权日2009年2月23日发明者军张,晶方,朱衍波,翁晓垒,然闫申请人:民航数据通信有限责任公司;北京航空航天大学