摘要：为了弥补用经纬度作为地理位置标识存在的描述复杂、无区域特征、计算复杂度高等不足,以北京大学提出的GeoSOT网格为基础,构建一套全球空间参考网格系统。该系统以等度、等分、等秒的完美四叉树剖分网格为基础,建立适合协调空地联合行动的网格体系,设计了简单实用、可距离计算的定位编码方法,可实现多部门、多源异构地理空间数据的统一检索,并发展出高效编码代数运算、地理空间管理与计算框架、三维地球空间剖分框架等新方法,将在未来的地理空间大数据应用中发挥重要作用。

摘要：为提高作战指挥效能评估的合理性和准确性,分析了现代战争中作战指挥活动内涵,探索作战指挥效能评估内容构成要素,构建准确反映作战指挥效能水平的评估指标体系,设计了基于灰色层次分析法的评估模型及其求解算法,运用实际算例验证作战指挥效能评估模型的合理性以及评估方法的有效性。

摘要：随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加。本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间。

摘要：谣言的肆意扩散容易造成社会心理恐慌和非理性反应,进而引发比突发事件本身更严重的后果。针对谣言传播的特点,将疾病传播SIR模型与Agent建模理论相结合,从社会影响力、受教育程度等方面分析个体差异,引入个体记忆机制,设计相应的交互规则,构建谣言传播的涌现模型,并设置了5种情况进行仿真实验,为探索突发事件下谣言传播的扩散规律与消解对策提供理论支持。

摘要：基于Agent建模理论的提出打破了传统方法的局限,为复杂的群体行为建模提供了一条新的途径。将仿真群体中的个体看作独立自主、智能适应的Agent,从微观行为和局部规则入手,重点论述了Agent模型的感知、决策和运动3个方面的设计与实现。实验表明:在没有整体规则的作用下,整个模型能够以涌现的方式生成不同场景中的群体行为仿真,且模型易于构建实现,仿真效果逼真生动。

摘要：为科学有效地开展武器装备体系效能预测,解决传统上依赖专家提取特征、人为认定特征间关系带来的主观性过强等问题,提出了基于数据驱动的武器装备体系效能预测模式,并在此基础上,设计了堆栈自编码神经网络和支持向量回归机的混合预测模型。针对大样本、高维仿真数据,利用深度学习良好的特征抽取能力,选用堆栈自编码神经网络先对问题进行非线性特征降维,自主发现关键特征及其关联关系,然后利用支持向量回归机对降维后的关键特征开展预测。最后,通过作战实例验证了该模型的可行性和有效性。

摘要：针对战略对抗演习中的战略态势不同于一般作战模拟系统中战场态势的特点，将战略态势分为初始态势、战略决策态势、演化态势3类，并提出用电视新闻对战略态势进行表现。设计了虚拟新闻系统，研究了3类态势表现的方法和技术途径。态势表现的结果在实际演习中进行了应用，结果表明，电视新闻能够很好地解决战略对抗演习中态势表现的问题。

摘要：设计了大型模拟对抗演习辅助讲评系统的回放系统,分析了系统的数据流程与可视化表现模式,明晰了系统实现的关键技术,并实现了该系统。系统通过对大型模拟对抗演习过程中产生的大量历史数据进行回放或展示,能够在演习结束或者阶段结束后辅助导演部或指挥员对演习过程作出全面客观的评价,从而达到帮助参演人员对演习过程进行分析评估、查找问题、总结经验和教训的目的。

摘要：近年来随着实时嵌入式系统自动化程度的不断提升,其设计复杂度不断加大,在设计中大量的使用了并发程序设计方法。但在实时嵌入式系统测试的过程中,由于实时嵌入式系统中中断和线程相互交叠,始终缺乏有效的并发程序测试工具。为此本文设计了针对VXWORKS系统并发程序动态测试工具,提出以标记迁移系统作为并发程序的系统模型,对常见的并发错误给出了形式化定义,使用偏序化简算法缩减程序的状态空间,实现了对多线程、多重中断的并发程序错误检测。

摘要：针对工业光纤网络通信故障检测过程繁琐、效率低的问题,设计了一种基于优化的决策树数据挖掘算法的光纤网络通信故障检测系统。系统以减少检测器重复工作和准确定位为目标,引入以决策树为核心的故障数据挖掘模块,降低了对非己空间的故障挖掘时间。将第一阶光纤网络故障分类时仅以IP地址作为参量变成第二阶分类时使用指定的网络指标为基础构建决策树,进一步提高故障检测精度。对某车辆制造企业现有的光纤网络应用结果表明,与标准决策树方法相比,该算法将精度从69.0%提升到99.9%,将误报率从3.14%降低到0.48%,优化效果明显。