运筹学非基变量检验数怎么算