LISTA DE SOFTWARES DE OTIMIZAO:

http://en.wikipedia.org/wiki/Category:Mathematical_optimizatio
n_software

LISTA DE SOFTWARES DE SATISFAO DE RESTRIES:

http://pt.wikipedia.org/wiki/Satisfa%C3%A7%C3%A3o_de_restr
i%C3%A7%C3%B5es
Open Source

ADMB

Logo:

Criador: David Fournier

Desenvolvedor: ADMB Core Team

Plataforma: mltiplas plataformas

Linguagem: principalmente C++

Licena: BSD

web Site: http://admb-project.org/

Foco: Modelagem Estatstica e modelos no-lineares

Importncia: Possui propsitos similares, porm utiliza mtodos diferentes e de difcil

utilizao.

DESCRIO OFICIAL:

A sute de software ADMB um ambiente para modelagem estatstica no-linear

permitindo o rpido desenvolvimento do modelo, estabilidade numrica, computao rpida e
eficiente, e estimativa dos parmetros de alta preciso. ADModel Builder uma linguagem de
alto nvel construdo em torno da Biblioteca AUTODIF, uma extenso da linguagem C ++ que
transparentemente implementa diferenciao automtica de modo reverso. Um pacote de
software intimamente relacionados, ADMB-RE, implementa efeitos aleatrios em modelos no
lineares.Gesto dos sistemas humanos e naturais, muitas vezes requer entendimento das
relaes no-lineares entre variveis e suites de variveis independentes dependentes. Off-
the-shelf pacotes de software geralmente exigem muitas concesses para se adaptar modelos
adequados para software no-apropriado. Modelos no lineares confiveis, eficientes que
podem ser aplicadas rapidamente a dados reais far sistemas naturais mais passveis de
previso. A misso do projeto-ADMB promover a aplicao mais ampla da ADMB para
problemas prticos e para auxiliar os usurios ADMB atuais para se tornar mais eficiente.
ADModel Builder, ADMB-RE e AUTODIF foram criados por David Fournier de Otter Research
Ltd.

TANGO

Logo:

Criador: J. M. Martnez

Desenvolvedor: Instituto de Matemtica e Estatstica USP

Plataforma: mltiplas plataformas

Linguagem: Fortran

Licena: GNU

web Site: http://www.ime.usp.br/~egbirgin/tango/index.php#project

Foco: Principalmente otimizao por programao no-linear com muitas variveis

Importncia: Possui propsitos similares, porm utiliza quase inteiramente mtodos exatos.
Os mtodos so programados de forma extremamente otimizada, por isso, podem resolver
problemas muito complexos. Est em constante evoluo, mas foca principalmente na
evoluo dos mtodos e no na facilidade de uso dos mtodos. Completamente inacessvel a
pessoas sem profundos conhecimentos matemticos.

DESCRIO OFICIAL:

TANGO (Trustable Algorithms for Nonlinear Geral Optimization) um conjunto de rotinas em

Fortran para Otimizao desenvolvida no Departamento de Matemtica Aplicada da
Universidade Estadual de Campinas e do Departamento de Cincia da Computao da
Universidade de So Paulo, sob a coordenao do Professor JM Martnez. Apenas mtodos
bem estabelecidos esto includos. Os cdigos so fceis de usar e exigem conhecimento
mnimo anterior. fornecido apoio On-line. TANGO software livre; voc pode redistribu-lo e
/ ou modific-lo sob os termos da GNU General Public License tal como publicada pela Free
Software Foundation. As verses no-livres do tango esto disponveis sob termos diferentes
daqueles da Licena Pblica Geral. Professores JM Martnez (martinez@ime.unicamp.br,
martinezimecc@gmail.com) ou EG Birgin (egbirgin@ime.usp.br, egbirgin@gmail.com) deve ser
contatado para obter mais informaes relacionadas a tal licena, desenvolvimentos futuros e
/ ou suporte tcnico.
APMonitor

Logo:

Criador: APMonitor

Desenvolvedor: APMonitor

Plataforma: mltiplas plataformas

Linguagem: MATLAB Toolbox e API de Python

Licena: BSD e proprietrio

web Site: http://www.apmonitor.com/

Foco: Otimizao linear, quadrtica, no-linear e programao inteira mista

Importncia: Extremamente bem feito. Possui muitos recursos visuais que facilitam a
utilizao. Como possui apenas mtodos exatos possvel que s consiga resolver problemas
at de meio porte e sem muitas restries. S est disponvel para matlab e python, ento
limita o uso a profissionais qualificados.

DESCRIO OFICIAL:

O APMonitor Modeling Language um software de otimizao de equaes algbricas integro

diferenciais. Ele acoplado com solucionadores de grande escala para linear, quadrtica, no-
linear e programao inteira mista (LP, QP, PNL, PLIM, MINLP). Modos de operao incluem a
reconciliao de dados, otimizao em tempo real, simulao dinmica e controle preditivo
no-linear. Ele est disponvel atravs de MATLAB, Python, ou a partir de uma interface de
navegador web.
ASCEND

Logo:

Criador: Carnegie Mellon University

Desenvolvedor: Carnegie Mellon University

Plataforma: Linux, Windows e funes parciais no MAC-OS

Linguagem: C, Python, Tcl/Tk, C++

Licena: open-source

web Site: ascend4.org

Foco: pode resolver sistemas de equaes no-lineares, linear e problemas de otimizao no-
linear, e sistemas dinmicos expressas na forma de diferenciais / equaes algbricas.
Principalmente sistemas de controle em indstrias qumicas.

Importncia: Existe h muito tempo e se adaptou as necessidades do mercado. Possui quase

inteiramente mtodos exatos mas que foram programados de forma que possam resolver
problemas de grande porte. No focado em otimizao e possui muitos recursos para
resoluo de sistemas equaes algbricas e diferenciais.

DESCRIO OFICIAL:

ASCEND um programa de software livre de cdigo aberto para a soluo de pequenos a

grandes modelos matemticos que vem sendo desenvolvido na Carnegie Mellon University
desde o final de 1978. ASCEND pode resolver sistemas de equaes no-lineares, linear e
problemas de otimizao no-linear, e sistemas dinmicos expressas na forma de diferenciais
equaes algbricas. ASCEND uma sigla que significa Sistema Avanado de Clculos em
engenharia de projeto. Seus principais usos tm sido na rea de modelagem de processos
qumicos, embora as suas capacidades sejam gerais. Era um pedao de software pioneiro na
rea de modelagem de processo qumico, com suas convenes de linguagem singular de
modelagem e poderoso solver, embora nunca tenha sido comercializada e permanece como
um projeto de software de fonte aberta.

ASCEND difere dos sistemas de modelagem anteriores porque separa a estratgia de resoluo
do modelo de construo. Assim, os especialistas de domnio (pessoas que escrevem os
modelos) e engenheiros computacionais (pessoas que escrevem o cdigo solver) podem
trabalhar separadamente no desenvolvimento de ascender. Juntamente com uma srie de
outras ferramentas de modelagem cedo, sua arquitetura ajudou a inspirar novas linguagens,
como Modelica.
BOBYQA

Logo: ?

Criador: Michael J. D. Powell

Desenvolvedor: Michael J. D. Powell

Plataforma: ?

Linguagem: Fortran 77

Licena: ?

web Site: ?

Foco: Otimizao por aproximao quadrtica

Importncia: No um programa e sim um algoritmo para resoluo de uma classe de

problemas e escrito em Fortran 77. Exige muito conhecimento de programao e de
matemtica para sua utilizao.

DESCRIO OFICIAL:

BOBYQA (Bound Optimization BY Quadratic Approximation) um algoritmo de otimizao

numrica criado pelo professor Michael J. D. Powell.

COBYLA

Logo: ?

Criador: Michael J. D. Powell

Desenvolvedor: Michael J. D. Powell

Plataforma: ?

Linguagem: Fortran 77

Licena: ?

web Site: ?

Foco: Otimizao de restries por aproximao linear sem uso de gradiente

Importncia: No um programa e sim um algoritmo para resoluo de uma classe de

problemas e escrito em Fortran 77. Exige muito conhecimento de programao e de
matemtica para sua utilizao.

DESCRIO OFICIAL:
Otimizao com restries por aproximao linear (COBYLA) um mtodo de otimizao
numrica para problemas restritos onde a derivada da funo objetivo no conhecida,
inventado por Michael JD Powell.

NEWUOA

Logo: ?

Criador: Michael J. D. Powell

Desenvolvedor: Michael J. D. Powell

Plataforma: ?

Linguagem: Fortran 77

Licena: ?

web Site: ?

Foco: Otimizao sem restries de interpolao quadrtica

Importncia: No um programa e sim um algoritmo para resoluo de uma classe de

problemas e escrito em Fortran 77. Exige muito conhecimento de programao e de
matemtica para sua utilizao.

DESCRIO OFICIAL:

NEWUOA [1] um algoritmo de otimizao numrica desenvolvido por Michael JD Powell. Ele
tambm o nome da implementao em Fortran 77 do algoritmo de Powell. NEWUOA
resolve problemas de otimizao sem restries e sem o uso de derivadas. O algoritmo
iterativo, e explora a tcnica da regio confiana. Em cada iterao, o algoritmo define uma
funo modelo Q_k por interpolao quadrtica, e em seguida, minimiza Q_k dentro de uma
regio de confiana.

Software NEWUOA foi lanado em 16 de dezembro de 2004 [7] Ele pode resolver problemas
de otimizao sem restries de algumas centenas de variveis com alta preciso sem o uso de
derivadas

LINCOA

Logo: ?

Criador: Michael J. D. Powell

Desenvolvedor: Michael J. D. Powell

Plataforma: ?

Linguagem: Fortran 77

Licena: ?
web Site: ?

Foco: Otimizao com restries lineares atravs de interpolao e aproximao numrica

Importncia: No um programa e sim um algoritmo para resoluo de uma classe de

problemas e escrito em Fortran 77. Exige muito conhecimento de programao e de
matemtica para sua utilizao.

DESCRIO OFICIAL:

LINCOA (Algoritmo de otimizao com restries lineares) um algoritmo de otimizao

numrica por Michael JD Powell. LINCOA resolve problemas de otimizao com restries
lineares sem o uso de derivados da funo objetivo, o que o torna um algoritmo livre de
derivadas. O algoritmo resolve o problema usando um mtodo de regio de confiana que
forma modelos quadrticos por interpolao. O Software LINCOA escrito em Fortran 77 foi
lanado em 6 de dezembro de 2013. No comentrio do cdigo-fonte, diz-se que LINCOA no
adequado para um grande nmero de variveis (que normalmente verdadeiro para os
algoritmos que no utilizam derivados), mas "alguns clculos com 1000 variveis, no entanto,
ter sido executado com xito durante a noite, e o desempenho de LINCOA satisfatria
geralmente para pequenos nmeros de variveis".

Proprietrios

pSeven

http://www.datadvance.net/product/pseven/

VisSim

http://en.wikipedia.org/wiki/VisSim

SmartDo

http://en.wikipedia.org/wiki/SmartDO

SNOPT

http://en.wikipedia.org/wiki/SNOPT
ModelCenter

http://en.wikipedia.org/wiki/ModelCenter

OpitY

http://en.wikipedia.org/wiki/OptiY

Optimus Plataform

http://en.wikipedia.org/wiki/Optimus_platform

IOSO

http://en.wikipedia.org/wiki/IOSO

Nexus

http://en.wikipedia.org/wiki/Nexus_(Process_integration_and_optimization)

OptimalComputing

http://www.optimalcomputing.be/index.php