四种虚拟力模型在传感器网络覆盖中的性能分析