使用持续时间演算探索树突状细胞算法
人工智能
2010-07-05 v1 计算机科学中的逻辑
摘要
作为人工免疫系统(AIS)的最新成员之一，树突状细胞算法(DCA)已被应用于一系列问题。这些应用主要属于异常检测领域。然而，实时检测作为异常检测的一个新挑战，要求改进DCA的实时能力。为了评估这种能力，可以采用实时系统研究中的形式化方法。评估结果可为算法的未来发展提供指导。因此，在本文中，我们使用一种基于区间逻辑的方法，即持续时间演算(DC)，来指定DCA的一个简化单细胞模型。基于DC规约并进一步归纳，我们发现DCA中的每个单个细胞都能实时执行其作为检测器的功能。由于DCA可被视为许多此类细胞并行运行，因此它潜在地具备执行实时检测的能力。然而，标准DCA的分析过程限制了其实时能力。因此，我们得出结论：标准DCA的分析过程应被一个实时分析组件所取代，该组件可以执行周期性分析以实现实时检测。
引用
@article{arxiv.1003.0404,
title = {Exploration Of The Dendritic Cell Algorithm Using The Duration Calculus},
author = {Feng Gu and Julie Greensmith and Uwe Aickelin},
journal= {arXiv preprint arXiv:1003.0404},
year = {2010}
}
备注
13 pages, 2 figures, 8th International Conference on Artificial Immune Systems (ICARIS 2009), Lecture Notes in Computer Science 5666, York, UK