膝骨性关节炎(knee osteoarthritis，KOA)是骨科常见病，中老年人较多发，具有发病率高、病程长、难治愈等特点，严重影响患者生活质量

    。目前，临床多予以康复联合止痛药治疗为主，虽能有效改善患者症状，但其治疗效果易受患者耐受及治疗依从性等因素影响。中医理论认为KOA属“痹症”“骨痹”等范畴，筋骨失养，肝肾不足，气血亏虚为其基本病机，治以通经活络、活血化瘀、养肝益肾为则

    。温通针法具有祛寒除湿、活络止痛之效

    。防风膝痹汤全方共由防风、川芎、独活、当归、黄芪、川艽、牛膝等中药共同组成，具有活血化瘀、通络止痛、祛风除湿、养肝益肾之效

    。本研究选取鲁山县中医院KOA患者106例，旨在研究防风膝痹汤联合温通针法治疗效果及对血清炎性因子水平的影响。现报告如下。

    本文的验证问题可描述为：给定系统状态转换模型TS，系统安全属性φsafe以及系统运行时的观测序列o1,…,ot，目标是 (1)计算在t时刻系统满足安全属性的概率Prt(TS φsafe|o1,…,ot;TS)，(2)当系统违背安全属性时，求解系统最大可能的执行路径作为系统违背安全属性的反例.针对该问题，图1给出了本文验证方法的框架.

    1 资料与方法

    1.1 一般资料 选取鲁山县中医院2019年1月至2021年1月KOA患者106例，依据治疗方案不同分为观察组53例、对照组53例。对照组男33例，女20例，年龄37～75岁，平均年龄(57.59±5.32)岁，病程6个月～9年，平均病程(5.54±1.23)年；观察组男29例，女24例，年龄32～73岁，平均年龄(58.24±5.26)岁，病程9个月～11年，平均病程(5.72±1.34)年。比较两组一般资料(性别、年龄、病程)，差异无统计学意义(

    >0.05)。

    1.2 选取标准 纳入标准：西医参照《骨关节炎诊治指南》

    KOA相关诊断标准，晨僵时间≤30 min，有骨摩擦音，反复膝痛；中医参照《中医骨伤科常见病诊疗指南》

    KOA辨证标准，主证：关节肿痛、肢酸膝软、肿胀积液；次证：畏寒怕冷、活动不利、骨节肥大；舌脉：质暗紫或瘀痕，苔薄白或腻，脉弦。患者及家属知情同意，且签订知情同意书。排除标准：严重肢体畸形者；严重肝肾功能障碍者；伴有传染病者；类风湿性关节炎者；严重创伤史者；痛风者；膝关节手术史者；创伤性关节炎者；中途退出本研究治疗者。

    1.3 方法 两组均给予常规康复训练。 ......