半向量分析