寻找高维可积模型(特别是3+1维可积模型)是非线性物理中的一个非常重要的问题.建立了一种利用广义Virasoro对称性的高维实现首先找到了一些(3+1)维Virasoro可积模型,并证明(3+1)维Virasoro可积模型均具有KacMoodyVirasoro对称代数.更进一步,利用WeissTaborCarnevale的奇性分析方法,证明了其中一个Virasoro可积模型也是Painlev啨可积的.