摘要：上下文感知计算是普适计算研究领域中最为重要的一个方面,针对上下文感知计算中缺乏与自动推理支持的问题,提出了一种基于本体描述语言(web ontology language,OWL)的上下文感知建模与推理方法。OWL是以描述逻辑为基础的本体形式化语言,可以满足上下文知识共享与上下文本体自动推理的需要。该方法首先提出了一种本体引导的上下文模型框架,根据抽象层次的不同将上下文分为元模型与领域特定模型两层结构,然后采用OWL形式化描述该上下文模型,设计了上下文模型到OWL的转换算法,并利用本体自动推理工具完成了上下文推理,并以一个实际案例说明该方法的可行性。

摘要：为了解决C4ISR,系统效能需求的获取与验证问题,从C4ISR,系统的软目标分析出发,构造了C4ISR系统能力元本体,提出了一种本体引导的C4ISR系统效能需求获取算法;利用UML Profile扩展机制,设计了效能概念的对象建模方法;探讨了基于本体概念推理的效能概念模型一致性检验算法,研究了从UML模型到描述逻辑本体的映射算法;最后以一个防空系统效能分析案例,说明方法的理论可行性.

摘要：为了实现指挥信息系统自适应的决策支持,将上下文感知技术融入指挥信息系统的分析与设计,首先提出了C4ISR系统上下文元本体,借此定义指挥信息系统上下文环境的基本语义框架。在此基础上,结合元本体以及面向目标的需求分析方法思想,提出了C4ISR系统上下文环境信息获取和建模表示方法。此外,将模糊本体推理技术引入指挥信息系统上下文环境推理分析环节,通过设计上下文环境模型到本体的形式化规约算法,有效地将指挥信息系统的上下文环境信息形式化,并通过本体推理技术,实现了对系统上下文环境的推理分析。

摘要：针对在C4ISR能力需求分析中,UML对象建模语言领域适用性弱的问题.在能力元本体的基础上,从领域概念化入手,提出一种面向C4ISR能力分析的领域特定描述语言构建方法,并利用UML Profile扩展机制,设计了适用于该语言的对象建模方法,在此基础上,研究了基于描述逻辑符号推理系统的领域特定模型一致性、完整性验证方法.最终,采用一个野战装甲车维修领域特定模型验证案例,说明了该方法的有效性和可用性.

摘要：为解决传统教学系统资源调度效率偏低的问题,提出基于数据挖掘的数学课程辅助教学系统。首先,设计数学课程辅助资源管理模块,为教师与学生提供对应的课程资源信息;其次,采用模糊关联特征匹配方法设计系统资源调度功能,提高资源调度的质量与效率;最后,利用数据挖掘技术设计数学课程教学数据库,存储各项教学信息与资源。通过系统测试可知,该教学系统的准确率较高,优于传统系统。

摘要：针对复杂系统早期验证评估过程中,由于模型不可执行造成的问题,提出了一种复杂系统可执行模型仿真方法。从复杂系统的精确模型定义入手,将复杂系统模型分为结构模型和行为模型,扩展fUML元模型得到复杂系统的可执行元模型,使用这些元模型来构建复杂系统的可执行模型,并为可执行模型定义了行为语义。为了支持可执行模型的仿真,设计了相应的仿真执行系统,定义模型仿真所需要的仿真语言和执行规约,将行为模型转换为可执行的进程项,依据执行规约对进程项进行仿真执行来实现复杂系统的可执行模型仿真。最后以区域防空系统为例说明了方法的可行性。

摘要：为提高资源推荐系统的运行性能,为用户提供更高品质的教学资源推荐服务,应用大数据技术设计思政课程线上教学资源推荐系统。硬件部分研究了数据库服务器选型及底层物理主机选型,软件部分分析了线上教学资源读取与检索及基于用户行为偏好的教学资源推荐。实验结果表明,设计的推荐系统运行性能更强,且用户对推荐结果的偏好度更高,有利于提升教学资源推荐服务水平。

摘要：针对上下文感知计算中缺乏清晰统一的模型与自动推理支持的问题,提出一种基于描述逻辑的上下文知识获取与推理方法。该方法首先提出了一种本体引导的上下文模型框架,根据抽象层次的不同将上下文模型分为元模型与领域特定模型两层结构;然后采用描述逻辑表示语言SHOIN(D)形式化描述该上下文模型,设计上下文模型向描述逻辑知识库的转换算法。最后以一个实际案例说明该方法的可行性。

摘要：从指挥信息系统对指挥所不同人员、不同岗位需求出发,结合实战化教学特点需要,提出充分利用现有一体化指挥平台系统搭建实战化教学、演训硬件环境,同时注重与之配套的软件平台建设,合理设计演训的背景、内容和评判标准,为形成基于指挥信息系统的多专业实战化教学环境提供理论依据和实践参考。

摘要：将军事游戏引入战术指挥教学与训练中,对提高初级指挥员的作战指挥能力具有重要意义。分析了传统指挥教学模式在指挥能力培养方面存在的局限性,阐述了基于军事游戏的指挥教学概念和特点,梳理了美军运用军事游戏开展战术训练的现状。针对战术指挥教学的实际情况,设计了基于军事游戏《武装突袭3》的战术指挥教学模式,并对相关教学实践进行了论述。军事游戏的引入进一步丰富了战术指挥教学模式,提升了教学与训练质量的效果。