[发明专利]一种基于时态逻辑的多来源围术期时序数据的治理方法

摘要

本发明涉及一种基于时态逻辑的多来源围术期时序数据的治理方法，属于计算机领域。该方法为：将多来源数据进行同一时间维度上的融合，根据数据搜索获得关系集；使用线性时态逻辑LTL将关系表示为逻辑公式；在手术过程的时态模型σ中，求解公式的可满足性；根据专家建议确定两个时间点记录的误差假服从正态分布的参数μ,δ；根据手术视频识别并统计关系中事件的时间间隔所服从的泊松分布的参数；设定时间间隔阈值，并结合时间间隔的概率确定最合适的因果关系配对。本发明使用LTL逻辑更加清楚全面表达了围术期中的时序关系，同时对时序关系在手术过程中进行了准确的验证。将系统误差纳入评估中，实现了对于有时间间隔的时序关系更准确的计算。