从数学建模开始的对应用数学教学的反思

本文讨论了在数学建模中暴露出的若干应用数学中的教学问题,其中一些问题涉及到某些数学基础     

引入攻防树思想的“软目标”恐怖袭击风险建模

为评估"软目标"恐怖袭击风险,提高"软目标"防恐安全性,以供反恐部门决策参考,设计了一种基于攻防树的"软目标"恐怖袭击风险评估模型。针对不同的袭击方式和防御策略,构建了各类攻击结点和防御结点,对两类结点的动态交互影响因素进行了参数设定,生成了攻击防御树,引入了攻击回报(ROA)、防御回报(ROD)的概念,通过计算各场景下遇袭概率、攻防成本、攻防回报值,对有安检区域和无安检区域的人群遇袭风险进行了仿真、评估和比较。仿真结果表明,要降低"软目标"恐怖袭击风险,需要提高防御措施效率。在无安检区域实施有效的人防、物防、技防策略,可显著降低遇袭风险。     

基于直觉模糊时间Petri网的不确定性时间推理方法

针对Petri网模型在对复杂不确定性时间信息描述和推理方面的局限性,在定义直觉模糊时间函数以及网络变迁约减规则的基础上,融合直觉模糊时序逻辑(IFTL)、直觉模糊Petri网(IFPN)以及线性逻辑推理的理论优势,构建了直觉模糊时间Petri网(IFTPN)推理模型,并提出了基于IFTPN的不确定性时间推理算法,较好地解决了态势评估中冲突事件间的不确定性时间推理问题。最后,通过典型的战场想定验证了该时间推理方法的有效性和优越性。     

基于案例推理的指挥实体任务规划高维解空间适应性问题研究?

利用案例推理对指挥实体任务规划过程中决策问题求解方法的修正过程是该方法推理过程中最困难的阶段,尤其当决策问题解空间是多维的情况下。讨论了指挥实体任务规划过程中高维决策空间的修正问题,并提出了可行的解决方法。首先,利用自组织匹配法清晰展现问题空间与决策空间的映射过程,然后,利用反向传播神经网络分析匹配结果间的相关性问题,最后,选取一个简化的军事剧情对该方法的合理性进行验证。     

一种可伸缩拓展的指挥训练考核系统体系架构

针对当前考核系统存在的与指挥信息系统脱离,难以开展远程组训等问题,提出可伸缩拓展的指挥训练考核系统体系架构,为集成调用指挥信息系统相关组件、开展大规模组训提供技术支撑。首先,提出多系统融合的组件集成框架以及一体化考核课目评判模式,用以实现包括指挥技能在内的各课目的考核;接着,设计多层级服务端考核结构,在此基础上,通过虚拟化集群等技术的应用,实现多样化条件下的系统快速部署以及远程异地的大规模组训应用。     

基于事故树分析法的火灾致灾因素分析

基于事故树分析法对火灾中的致灾因素进行分析,通过对近十年51起重、特大火灾进行归纳、统计,利用火灾调查理论知识与事故树相结合,将火灾中的致灾因素分为起火原因、火灾中人员伤亡因素、造成财产损失原因进行分类统计,并利用最小割集和最小径集,计算出顶上事件的发生概率。最后对事故树进行分析讨论,找出避免顶上事件发生的措施,得出减少或消除火灾致灾的对策,为做好重、特大火灾的预防工作提供了参考。     

基于Petri网的案例推理研究

介绍Petri网的知识表示方法以及案例推理机制的相关内容,提出了一种基于Petri网的案例推理模型,给出了相应的案例检索匹配算法,并将该模型和检索算法应用到网络攻防态势推演系统中,最后重点介绍了该系统的案例库的知识表示。     

基于事例推理的装备软件成本估算研究

采用基于事例推理的估算方法可以很好地解决传统经验函数估算软件成本时的局限性。讨论了装备软件成本估算和基于事例推理研究的特点,从总体上描述了基于事例推理装备软件成本估算系统结构和实现流程,阐述了主要的研究内容,包括影响软件成本因素、系统的事例表示方法以及相似度的基本算法及事例的改写,并通过实例验证了事例推理在装备软件成本估算实践中的具体应用。     

基于主观贝叶斯方法的装备故障概率分析

由于造成武器装备故障的环境因素以及装备自身结构特征的不同,导致装备发生故障的不确定性。本文讨论了基于主观贝叶斯方法的装备故障概率分析方法,旨在事先预测武器装备在执行任务过程中的故障概率,为合理制定装备保障方案提供辅助决策依据。