在大规模计算系统内对物理飞行空间进行离散化建模与数字化编码，构建由数字空域网格单元有序衔接而成的数字化模型，是开展空域赋值计算的基础，为动态管理空中交通运行与测度用空安全线等提供了一种全新的时空框架。本书提出了一套现代空域管理关键技术框架与空域网格单元数字化建模方法，阐述其基础概念、研究进展及赋值计算思路，并重点展开交通空域描述测度法则、交通航迹运行控制及飞行安全风险模型等研究，创新发展了数字化空域建模与数值计算方法，为构建现代数字化空域系统理论体系提供参考。本书内容新颖，体系完整，深入浅出，理论性强，注重实际应用，充分反映了近年来国际国内空域管理领域的基础理论研究成果。 本书可作为高等院校空域管理专业研究生教材使用，也可供从事交通信息工程与控制、航空运输规划与管理、战场空域管制工作的科研与工程技术人员参考阅读。

前言
第1章 概述
1.1 研究背景与需求
1.1.1 研究背景
1.1.2 科学需求
1.2 数字化空域理念
1.2.1 基本内涵
1.2.2 关键技术
1.3 国内外研究进展
1.3.1 进展综述
1.3.2 发展趋势
1.4 本书的主要内容
参考文献
第2章 空域网格单元建模
2.1 基本概念定义
2.2 网格划分编码
2.2.1 相关研究概述
2.2.2 球面划分模型
2.2.3 高度划分模型
2.3 编码转换关系
2.3.1 全局与局部转换
2.3.2 编码与矩阵转换
参考文献
第3章 空域描述测度方法
3.1 空域描述方法
3.1.1 空域结构对象
3.1.2 空域航迹对象
3.1.3 空域数据对象
3.2 空间代数法则
3.2.1 代数法则定义
3.2.2 空间关系判断
3.2.3 计算方法应用
3.3 空域赋值计算
3.3.1 赋值计算法则
3.3.2 空域网格赋值
3.3.3 计算方法应用
参考文献
第4章 交通航迹运行控制
4.1 交通航迹预测模型
4.1.1 飞机性能模型构建
4.1.2 航迹预测具体方法
4.1.3 基于大气模型修正
4.1.4 基于机载数据修正
4.2 战术阶段航迹规划
4.2.1 航迹规划理论模型
4.2.2 规划机器学习算法
4.3 战术阶段间隔控制
4.3.1 冲突识别消减模型
4.3.2 冲突决策机器学习
参考文献
第5章 安全风险评估模型
5.1 安全风险测量
5.1.1 危险因素识别
5.1.2 风险指标体系
5.1.3 无量纲化处理
5.1.4 确立指标权重
5.2 安全风险识别
5.2.1 风险瓶颈识别
5.2.2 航迹数据处理
5.3 安全间隔评估
5.3.1 危险碰撞概率
5.3.2 间隔评估算例
5.4 紧密包络模型
5.4.1 紧密包络概念
5.4.2 建模计算方法
参考文献