升降横移式立体车库电气系统软件设计说明书是对该系统软件设计的详细阐述。