Prolog 编译器中暂时变量分配方法研究

文中研究对prolog 编译器的暂时变量的分配,介绍了回溯分配法,着重介绍了一种高效的无回溯分配法的实现原理及其优点。     

另一类分配问题及其求解方法

本文对规划论中分配问题的目标要求稍作变动,产生了另一类分配问题,并提出了在特定的求解数表中,通过找闭回路即可求得最优分配方案的一种有效的求解方法。     

面向动态毁伤概率和目标价值的武器目标分配方法

面向毁伤和目标价值动态变化条件下的大规模武器目标动态分配问题,提出了一种基于深度强化学习的武器目标分配求解方法。该方法采用双神经网络结构,基于武器目标分配目标函数设计了一套简单、直观的状态与奖励建模方法。通过仿真实验对所提方法进行了验证,结果表明,所提方法能够较快实现收敛,且整体毁伤和计算效率上优于基于粒子群的方法。所提方法能够有效应对毁伤概率和目标价值动态变化条件下的武器目标分配问题,说明了其良好的拓展性。该方法可应用于作战任务规划、仿真单元自动交火等场景下的武器目标分配快速求解。     

装备在役考核数据采集与处理方法研究

针对基层部队在开展装备在役考核数据采集工作中遇到的"采集什么数据"、"怎么采集数据"、"如何分析处理数据"等一系列问题进行了研究,围绕装备在役考核数据采集的分类、方法和流程进行了系统阐述,对在役考核数据采集工作中遇到的问题进行了合理的解答,并对定量指标数据处理、定性指标数据处理和异常指标数据处理的方法进行了研究,提出了...     

DSOCC：面向区分服务的拥塞控制

在区分服务(DiffServ)中使用确保转发(AssuredForwarding)进行TCP传输,存在带宽分配不公平问题。已有的工作没有综合考虑订购带宽、报文大小、RTT(RoundTripTime)对TCP性能的影响。为了解决TCP在DiffServ中的公平性问题,提出了面向区分服务的拥塞控制算法DSOCC(DiffServ OrientedCongestionControl)。通过模拟验证了该算法的有效性。     

评估C4ISR系统的目标分配质量

分析了影响防空C4ISR系统目标分配质量的主要因素,并以此定义了5个基本指标.利用线性加权法给出了一架歼击机对一架目标机的分配能力的计算方法,以此为基础提出了不同机场的多类歼击机对多批目标的分配能力的算法.最后通过实例计算验证了模型的正确性和实用性.     

军队预算组织结构效率及其实现机制

军队预算权力的合理分配是确保军费资源得到有效配置与利用的制度基础。在军队预算权力的分配上应注意权力均衡与制约,解决矛盾与冲突,防止预算权力的滥用与虚置。文章以新时期军事财政体制改革理论与实践为基础,探讨了实现军队预算组织结构效率的机制。     

坦克分队遭遇战斗火力运用研究

根据遭遇战斗的特点,运用随机格斗、微分对策数理战术模型,研究坦克分队遭遇战斗最优火力运用策略问题.研究得出的结论符合坦克分队战术特点,为坦克分队指挥决策提供辅助作用.     

作战辅助决策模型设计及评估方法

作战辅助决策模型是在复杂战场态势下,辅助指挥人员科学、高效决策的重要工具.针对当前辅助决策模型功能分散、可信性不足、缺乏工程化设计与管理等问题,从系统工程角度出发,开展作战辅助决策模型构建与评估通用方法的研究,提出辅助决策模型工程化设计与评估分级的一般流程与方法,并结合实例进行说明.