患者女，37岁。反复腹胀、腹泻、腹痛1年，加重2周来诊。近几年经常有口腔溃疡，关节痛。查体见面部蝶形红斑，手指指端红色痛性结节，浅表淋巴结轻度增大，心肺无异常，腹部查体轻度压痛，无固定压痛点，无包块，双下肢无水肿。与该患血栓形成相关的自身抗体是（）