时空大数据及其应用

首先从哲学时空观、国家管理和社会治理的时空观、作战指挥和军事行动的时空观、非线性复杂地理世界科学表达的时空观和大数据本质的时空观5个方面分析了时空大数据的理论依据,论述了时空大数据的内涵、构成和特征。在此基础上,给出了时空大数据应用的基础平台--时空大数据平台的内涵和功能,着重从内涵、功能、关键技术、采用标准、技术架构、服务共享特点及发展趋势等方面,综合分析比较了现行基于网络服务空间信息共享与空间数据互操作、基于网格服务的信息资源共享与协同工作和基于云计算的地理信息服务3种服务模式各自的特点。提出了基于“网格集成”与“弹性云”相结合的时空大数据平台的技术体制、关键技术及“共用时空大数据平台+”的应用概念模型,讨论了时空大数据平台在数字中国建设与数字经济发展及国家一体化算力网工程中的作用。

基于描述逻辑的能力需求模型验证方法

针对C4ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言OWLDL精确描述能力需求分析中的元概念模型和应用概念模型,然后在元概念模型和应用概念模型之上附加一定的模型验证推理规则,并通过符号推理系统验证了能力概念的完整性以及目标的一致性。