四种线性代数模型