Научно-исследовательский институт управляющих вычислительных машин, Отдельная проблемная лаборатория