为了处理系统验证中大量存在的不确定性,国内学者将可能性理论引入到模型检测中,提出了广义可能性Kriple结构。广义可能性Kriple结构有着较好的应用前景,但有许多问题需要解决。其中的一个问题是,如何高效便捷地建立广义可能性Kriple结...为了处理系统验证中大量存在的不确定性,国内学者将可能性理论引入到模型检测中,提出了广义可能性Kriple结构。广义可能性Kriple结构有着较好的应用前景,但有许多问题需要解决。其中的一个问题是,如何高效便捷地建立广义可能性Kriple结构的数学模型。为了给广义可能性Kriple结构中的模糊事件提供一种便捷方便的建模方法,在建模的过程中引入具有三种否定的广义模糊集(Generalized Fuzzy Sets with Contradictory,Opposite and Medium negation,GFScom),给出了广义可能性Kriple结构中的模糊事件的建模方法。应用实例表明所提方法是有效、可行的。展开更多
在时间窗与载货量约束下,以局部区域物流配送成本为目标,建立物流配送成本最小路径规划数学模型,针对该模型,在果蝇优化算法中,引入模拟退火机制、邻域搜索策略,建立适合于物流配送成本路径最小化问题的混合果蝇优化算法,在果蝇优化算...在时间窗与载货量约束下,以局部区域物流配送成本为目标,建立物流配送成本最小路径规划数学模型,针对该模型,在果蝇优化算法中,引入模拟退火机制、邻域搜索策略,建立适合于物流配送成本路径最小化问题的混合果蝇优化算法,在果蝇优化算法框架下引入遗传算法和模拟退火算法(Hybrid Fly Fruit Optimization Algorithm,HFFOA)。在比较性的数值实验显示,对于求解小规模物流配送问题,搜索效率高,获得的物流配送方案具有明显优势。展开更多
文摘为了处理系统验证中大量存在的不确定性,国内学者将可能性理论引入到模型检测中,提出了广义可能性Kriple结构。广义可能性Kriple结构有着较好的应用前景,但有许多问题需要解决。其中的一个问题是,如何高效便捷地建立广义可能性Kriple结构的数学模型。为了给广义可能性Kriple结构中的模糊事件提供一种便捷方便的建模方法,在建模的过程中引入具有三种否定的广义模糊集(Generalized Fuzzy Sets with Contradictory,Opposite and Medium negation,GFScom),给出了广义可能性Kriple结构中的模糊事件的建模方法。应用实例表明所提方法是有效、可行的。
文摘在时间窗与载货量约束下,以局部区域物流配送成本为目标,建立物流配送成本最小路径规划数学模型,针对该模型,在果蝇优化算法中,引入模拟退火机制、邻域搜索策略,建立适合于物流配送成本路径最小化问题的混合果蝇优化算法,在果蝇优化算法框架下引入遗传算法和模拟退火算法(Hybrid Fly Fruit Optimization Algorithm,HFFOA)。在比较性的数值实验显示,对于求解小规模物流配送问题,搜索效率高,获得的物流配送方案具有明显优势。
