空间逻辑与模型检测在医学影像中的应用（扩展版）
计算机科学中的逻辑
2018-11-16 v1 计算机视觉与模式识别
摘要
近期关于空间与时空模型检测的研究提供了新颖的图像分析方法，其根源在于拓扑空间的逻辑方法。医学影像（MI）是此类方法显示出突破性创新潜力的领域。我们的出发点是 SLCS，即闭包空间空间逻辑——闭包空间是拓扑空间的一种推广，也涵盖离散空间结构——以及 topochecker，一个用于 SLCS（及其扩展）的模型检测器。我们引入了逻辑语言 ImgQL（“图像查询语言”）。ImgQL 用描述距离和区域相似性的逻辑算子扩展了 SLCS。时空模型检测器 topochecker 相应地增强了来自计算图像处理的先进算法，以高效实现基于距离的算子，即距离变换。区域间的相似性通过基于统计纹理分析概念的统计相似性算子来定义。我们通过两个磁共振图像分析的例子来说明我们的方法：胶质母细胞瘤及其水肿的分割，以及直肠癌的分割。
引用
@article{arxiv.1811.06065,
title = {Spatial Logics and Model Checking for Medical Imaging (Extended Version)},
author = {Fabrizio Banci Buonamici and Gina Belmonte and Vincenzo Ciancia and Diego Latella and Mieke Massink},
journal= {arXiv preprint arXiv:1811.06065},
year = {2018}
}