针对陆上战术空域管控系统软件研发,在对联合作战指挥控制流程及战术空域管控业务流程进行分析的基础上,提出了系统的软件功能需求,并研究了空域建模与冲突检测技术。针对传统的连续空域模型,提出了冲突检测的排除法。为进一步提升空域使用效率,提出了空域的离散建模方法,并给出了相应的冲突检测算法;针对空域的程序管控方法,借鉴美军相关条令条例,提出了研究的基本思路。