为了克服不可压约束条件数值计算困难,引入人工压缩方法,利用Lévy型伊藤公式、一致先验估计、局部单调性和弱收敛方法,由经典的Minty-Browder方法得到人工压缩Navier-Stokes方程强解的存在唯一性.