AMPL: Математикалық модельдеу тілінің тарихы мен мүмкіндіктері
AMPL
AMPL – жоғары күрделі математикалық есептерді шешуге арналған алгебралық модельдеу тілі. Оптимизация, жоспарлау үшін қолданылады. Шешуге CBC, CPLEX сияқты құралдар бар.
Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Мазмұны
Кіріспе
AMPL (A Mathematical Programming Language) – үлкен көлемдегі математикалық есептеулер үшін жоғары күрделі мәселелерді сипаттау және шешуге арналған алгебралық модельдеу тілі (мысалы, ірі масштабты оптимизация және жоспарлау сияқты мәселелер). Оны Роберт Фурэр, Дэвид Гей және Брайан Керниган Bell Laboratories зертханасында жасаған. AMPL ондаған шешімдерді қолдайды, олардың ішінде ашық кодты және коммерциялық бағдарламалық қамтамасы бар, соның ішінде CBC, CPLEX, FortMP, MOSEK, MINOS, IPOPT, SNOPT, KNITRO және LGO. Мәселелер шешімдерге .nl файлдары түрінде жіберіледі. AMPL 100-ден астам корпоративтік клиент, мемлекеттік органдар және академиялық институттар қолданады. AMPL-дің бір артықшылығы – оның синтаксисі оптимизациялау мәселелерінің математикалық жазбасына ұқсас келеді. Бұл оптимизациялау саласындағы мәселелерді өте қысқа және оқуға қолайлы түрде анықтауға мүмкіндік береді. NEOS серверінде (бұрын Argonne ұлттық зертханасында, қазір Висконсин университетінде, Мэдисон қаласында орналасқан) қол жетімді көптеген заманауи шешімдер AMPL кірісін қабылдайды. NEOS статистикасы бойынша AMPL математикалық бағдарламалау мәселелерін бейнелеу үшін ең танымал формат болып табылады.
AMPL (A Mathematical Programming Language) is an algebraic modeling language to describe and solve high complexity problems for large scale mathematical computing (e. g. large scale optimization and scheduling type problems). It was developed by Robert Fourer, David Gay, and Brian Kernighan at Bell Laboratories. AMPL supports dozens of solvers, both open source and commercial software, including CBC, CPLEX, FortMP, MOSEK, MINOS, IPOPT, SNOPT, KNITRO, and LGO. Problems are passed to solvers as nl files. AMPL is used by more than 100 corporate clients, and by government agencies and academic institutions. One advantage of AMPL is the similarity of its syntax to the mathematical notation of optimization problems. This allows for a very concise and readable definition of problems in the domain of optimization. Many modern solvers available on the NEOS Server (formerly hosted at the Argonne National Laboratory, currently hosted at the University of Wisconsin, Madison) accept AMPL input. According to the NEOS statistics AMPL is the most popular format for representing mathematical programming problems.
Қолжетімділік
AMPL көптеген танымал 32 және 64 биттік операциялық жүйелерде қолжетімді, оның ішінде Linux, macOS, Solaris, AIX және Windows. Аудармашы – AMPL Optimization LLC компаниясының меншік бағдарламалық құралы. Дегенмен, AMPL-ді пайдаланып, тегін модельдеу және мәселелерді шешу мүмкіндігін ұсынатын бірнеше онлайн қызметтер бар. Студенттерге арналған, мүмкіндіктері шектеулі тегін нұсқасы, сондай-ақ академиялық курстар үшін толық мүмкіндіктерге ие тегін нұсқасы да қолжетімді. AMPL-ді Microsoft Excel-де SolverStudio Excel қосымшасы арқылы пайдалануға болады. AMPL Solver Library (ASL), nl файлдарын оқуға және автоматты дифференциалдауды жүзеге асыруға мүмкіндік береді, ол ашық кодты құрал. Ол көптеген шешімдерде AMPL байланысын іске асыру үшін қолданылады.
AMPL is available for many popular 32 & 64 bit operating systems including Linux, macOS, Solaris, AIX, and Windows. The translator is proprietary software maintained by AMPL Optimization LLC. However, several online services exist, providing free modeling and solving facilities using AMPL. A free student version with limited functionality and a free full featured version for academic courses are also available. AMPL can be used from within Microsoft Excel via the SolverStudio Excel add in. The AMPL Solver Library (ASL), which allows reading nl files and provides the automatic differentiation, is open source. It is used in many solvers to implement AMPL connection.
Қалып-күйдің тарихы
Бұл кесте AMPL тарихындағы маңызды қадамдарды көрсетеді. Жыл Ерекше оқиғалар 1985 AMPL жобаланып, іске асырылды. 1991 AMPL сызықтық емес бағдарламалау және автоматты дифференциацияны қолдай бастады. 1993 Роберт Фурер, Дэвид Гей және Брайан Керниган Американың Операциялық зерттеулер қоғамынан математикалық бағдарламалау жүйелерінің дизайны және AMPL модельдеу тілі туралы жазбалары үшін ORSA/CSTS сыйлығымен марапатталды. 1995 Кесімдік сызықты және желілік құрылымдарды бейнелеуге арналған кеңейтімдер енгізілді. 1995 Скрипт құрылымдары пайда болды. 1997 Сызықтық емес шешімдерге қолдау күшейтілді. 1998 AMPL толықтыру теориясының мәселелерін қолдайды. 2000 Реляциялық деректер базасы мен электрондық кестелерге қол жеткізу мүмкіндігі пайда болды. 2002 Шектеулерді бағдарламалау қолдауы енгізілді. 2008 Kestrel: NEOS Server-ге AMPL интерфейсі ұсынылды. 2012 Роберт Фурер, Дэвид Гей және Брайан Керниган ең маңызды алгебралық модельдеу тілдерінің бірін жасаушылар ретінде 2012 жылғы INFORMS Impact Prize сыйлығымен марапатталды. 2012 AMPL кітабы онлайн тегін қолжетімді болды. 2013 AMPL үшін жаңа кросс-платформалық интеграцияланған даму ортасы (IDE) қолжетімді болды.
This table present significant steps in AMPL history. Year Highlights 1985 AMPL was designed and implemented 1991 AMPL supports nonlinear programming and automatic differentiation 1993 Robert Fourer, David Gay and Brian Kernighan were awarded ORSA/CSTS Prize by the Operations Research Society of America, for writings on the design of mathematical programming systems and the AMPL modeling language 1995 Extensions for representing piecewise linear and network structures 1995 Scripting constructs 1997 Enhanced support for nonlinear solvers 1998 AMPL supports complementarity theory problems 2000 Relational database and spreadsheet access 2002 Support for constraint programming 2008 Kestrel: An AMPL Interface to the NEOS Server introduced 2012 Robert Fourer, David Gay, and Brian Kernighan were awarded the 2012 INFORMS Impact Prize as the originators of one of the most important algebraic modeling languages. 2012 AMPL book becomes freely available online 2013 A new cross platform integrated development environment (IDE) for AMPL becomes available