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

权利要求书

1.一种基于时态逻辑的多来源围术期时序数据的治理方法，其特征在于：该方法包括以下步骤：

S1：将多来源数据进行同一时间维度上的融合，根据中文一体化医学语言系统CUMLS对数据进行统一化和标准化；

S2：读入数据包括时间信息，在规则库搜索相应的时序关系，获得关系集

S3：使用线性时态逻辑LTL将关系表示为逻辑公式

逻辑公式为：

S4：在手术过程的时态模型σ中，求解公式的可满足性；若公式的可满足性获得验证，数据中的时序关系与关系集中时序关系一致，数据满足要求；反之数据不满足要求；

手术过程的时态模型是有限的时间序列，序列长度为i，即最后一个时刻为i；每个时刻的标签是原子命题集合的元素，由属性序列Γ₀,...,Γ_i决定；

S5：若前后关系中的两个事件发生有时间间隔长度的要求，进行S6以后的步骤；

S6：综合专家意见估计不同事件类型的时间记录误差服从的正态分布的参数μ,δ；

S7：通过统计手术视频中四种带有时间间隔的围术期医疗事件前后关系中，前后两个事件的时间间隔，计算前后关系所服从的泊松分布的参数；相同类前后关系服从相同的泊松分布；

所述围术期医疗事件前后关系具体为：

关系代码为R1，前继事件为麻醉诱导E1，后继事件为气管插管E2；

关系代码为R2，前继事件为气管插管E2，后继事件为麻醉维持E3；

关系代码为R3，前继事件为麻醉维持E3，后继事件为手术开始E4；

关系代码为R4，前继事件为血压下降幅度基础血压的20％E4，后继事件为去甲肾上腺素E5，时间间隔10min；

关系代码为R5，前继事件为室性心动过速PULSE100E6，后继事件为胺碘酮E7，时间间隔10min；

关系代码为R6，前继事件为室性心动过缓PULSE50E8，后继事件为异丙肾/肾上腺E9，时间间隔10min；

其中，四种带有时间间隔的围术期医疗事件前后关系为R3～R6；

S8：考察数据中两个事件e₁，e₂对应的时间记录(t₁，t₂)的时间间隔；根据S5中获得的误差参数抽样生成时间记录误差值∈₁，∈₂，计算出两个时间点的时间差T＝t₂+∈₂-t₁+∈₁，根据T和时间关系服从的泊松分布中计算P(X＝T)；

S9：若手术过程其他时间点t′₂也出现了事件e₂，对每个事件e₂重复S7，计算出T以及P(X＝T′)；

S10：设定概率阈值γ，P(X＝T)γ，对系统反馈出数据不符合要求；排除之后如果存在一个事件e₁对应多个事件e₂的情况，认定最大P(X＝T)的事件对有因果关系。

2.根据权利要求1所述的一种基于时态逻辑的多来源围术期时序数据的治理方法，其特征在于：所述时态模型σ具体为：

令σ是长度为i线性时态模型，σ从0时刻开始到i时刻结束，其属性序列为Γ0,…,Γi；

定义ψ1,…,ψk是公式的k个子公式，而且ψ1,…,ψk按照公式长度增序排列；其中表示为公式本身是公式的子公式；ψ₁是一个原子命题或者常数；

设有k个子公式；

输入：一个线性时态逻辑公式

输出：是否存在一个模型，符合╞表示σ满足公式