最短路算法在物流辅助决策系统中的应用

近年来物流企业网点快速增加,客户资料数据海量存储,科学决策越来越显得重要。本文讨论了辅助决策系统在物流企业中的建立与应用,并就其中的配送子系统进行讨论,给出了运输问题的模型及解法。     

基于Tableau算法的本体模型验证方法研究

文章首先介绍了本体模型的Tbox术语检验和Abox实例检验,将本体模型的一致性检验简化为术语的可满足性检验。通过引入Tableau算法的思想,对本体模型的概念定义以及概念间的关系进行可满足性测试,最后采用Racer推理机结合海军军械保障实例对基于描述逻辑的本体模型可满足性检验的有效性算法进行了验证。     

导弹定时更换周期决策建模及仿真

为了提高导弹预防性维修的质量,以最少的维修资源消耗保持和恢复导弹固有的安全性和可靠性水平,论文分别从费用和可用度两个角度对导弹定时更换周期的确定方法进行了分析,建立了数学模型,并且利用蒙特卡罗法进行了仿真分析.研究结果表明,当按总费用最小为目标进行确定时,最佳维修周期为80天；当按可用度最大为目标进行确定时,最佳维修周期为60天.论文的研究结果对于决策层制定合理而高效的导弹维修计划具有重要指导意义.