SAS^® Optimization

Lista de recursos do SAS Optimization

Linguagem de modelagem algébrica e simbólica de otimização

Sintaxe algébrica flexível para a formulação de modelos intuitivos.
Apoio para o uso transparente das funções SAS.
Invocação direta de lineares, inteiros lineares mistos, quadráticos, não lineares, cônicos, caixa preta, programação de restrição e solucionadores de rede.
Suporte para a prototipagem rápida de algoritmos de otimização personalizados, incluindo suporte para problemas e sub-problemas nomeados.
Uso de conjuntos de dados de entrada no formato MPS/QPS padrão da indústria.
Pré-solventes agressivos para reduzir o tamanho efetivo do problema.
Solucionar problemas independentes simultaneamente em uma máquina ou em uma grade computacional.
Linearização automatizada e restrições de indicadores.

Poderosos solucionadores de otimização

Algoritmos de solução de programação linear:
- Primal e dual simplex.
- Sifting.
- Rede simplex.
- Ponto interior com crossover.
- Capacidade de resolução simultânea.
Algoritmos de solução de programação linear inteira mista:
- Branch-and-bound com planos de corte.
- Heurística primordial.
- Busca de conflitos.
- Sintonia de opções.
- Opções de algoritmo de nó raiz (relaxamento LP).
- Relate até as melhores soluções K viáveis inteiras ou até soluções K ótimas.
Algoritmo de decomposição (Dantzig-Wolfe automatizado) para programação linear e problemas de programação linear inteira mista com estrutura de blocos especificados pelo usuário ou detectados automaticamente.
Algoritmo de solução de programação quadrática: ponto interior com solucionador de última geração adaptado para problemas de otimização em larga escala.
Algoritmos de solução de programação não linear: conjunto ativo, ponto interior. Capacidade de resolução simultânea. Algoritmo Multistart para problemas não-convexos.

Otimização de redes

Otimização da caixa preta

Resolve problemas com funções não lineares que podem ser não suaves, descontínuas, não continuamente diferenciáveis e assim por diante.
Algoritmo paralelo híbrido, incluindo algoritmos genéricos, heurística do tipo GA global e busca de padrões. Otimização multiobjetivo.

Programação de restrição

Resolve problemas de restrição de satisfação utilizando programação de restrição de domínio finito, com redução de domínio/propagação de restrição e uma escolha de estratégias de busca (olhar para frente e retroceder). Encontre uma, várias ou todas as soluções viáveis. Opcionalmente, especifique uma função objetivo e encontre uma solução ótima (método de pesquisa de bisseção).

Distribuído, acessível & pronto para a nuvem

Os solvers de otimização são executados no SAS Viya, uma plataforma analítica in-memory escalável e distribuída.
Distribui tarefas de análise e dados através de múltiplos nós de computação.
Características de computação distribuídas:
- Opção Multistart para solver não-linear (PNL) no PROC OPTMODEL.
- Algoritmo de decomposição (MILP) em PROC OPTMODEL, PROC OPTMILP.
- Resolução de cenários de otimização independentes: Loop COFOR no PROC OPTMODEL.
- Modo concorrente para solver MILP (PROC OPTMODEL, PROC OPTMILP).
- Algoritmo de solvente MILP ramificado e vinculado (PROC OPTMODEL, PROC OPTMILP).
- Otimização de caixas pretas no PROC OPTMODEL.
- Enumeração do caminho, caminho mais curto e algoritmos de rede de componentes conectados em PROC OPTNETWORK.
- Processamento por grupo em algoritmos de rede em PROC OPTNETWORK.
- Fornece acesso rápido, simultâneo e multiusuário aos dados na memória.
- Inclui tolerância a falhas para alta disponibilidade.
- Permite adicionar o poder do analytics do SAS a outras aplicações, utilizando SAS Viya REST APIs.

Linguagem de modelagem algébrica e simbólica de otimização