MINOS(IIS) 软件 -用于线性问题的不可行解分析
2013-10-07 21:56
423 查看
本软件:
结合了MINOS
5.4 solver 和 IISLOC infeasibility analysis routines 用来做线性问题的不可行解分析。
并附有如何使用方法,不大于300个约束。用于检测不可行集的方法:
deletion filtering,
sensitivity filtering, elastic filtering, IIS set-covering, column protection, constraint prioritizing via guide codes, etc.
MINOS(IIS): A Software Tool for Analyzing Infeasible Linear Programs
MINOS(IIS) is an LP solver which incorporates special routines for analyzing infeasible linear programs. It uses two main tools for infeasibility analysis:The identification of an Irreducible Infeasible Subset (IIS) of constraints. An IIS is usually a very small subset of the complete set of constraints defining the model. It has an interesting property: the IIS is infeasible, but any proper subset of it
is feasible. Finding an IIS allows the analyst to focus diagnostic effort on a small portion of the original model. Special features include the ability to guide the IIS search, and heuristics which help to find IISs having few row constraints.
The heuristic identification of the smallest number of constraints to remove such that the remaining constraints form a feasible set. This is also known as a minimum-cardinality IIS set cover because the set of constraints removed must contain
at least one member of every IIS. Finding the minimum-cardinality IIS set cover also gives you the maximum-cardinality feasible subset of constraints. This is an NP-complete problem, but the heuristic has been 100% accurate over a test set, though this behaviour
cannot be guaranteed in general.
MINOS(IIS) is a combination of two codes: the linear programming routines from the MINOS 5.4 solver
developed at Stanford University by Bruce Murtagh and Michael Saunders at Stanford University, and the IISLOC infeasibility analysis routines developed by John
Chinneck at the Department of Systems and Computer Engineering at Carleton University .
MINOS(IIS) allows the user to select various combinations of the basic IIS routines, including deletion filtering, sensitivity filtering, elastic filtering, IIS set-covering,
column protection, constraint prioritizing via guide codes, etc. A complete trace of algorithm activity is also available on user request.
For further information on infeasibility analysis of mathematical programs see the author's list of publications .
Obtaining a Student/Demo Copy of MINOS(IIS)
A student/demo edition of MINOS(IIS) version 5.2 is available for download. It is distributed as a DOS executable file, and has limits on the maximum model size as follows: no more than 300 constraints, no more
than 300 variables. A user's manual is included.
As you should expect with any free software, this student/demo version of MINOS(IIS) is provided without warranty of any kind. All risks are assumed by you, the user.
There are two ways to obtain the software; if one method does not work well for you, try one of the others.
1. by browser automatic ftp connection:
minosiis.zip (274334 bytes)
2. by non-browser ftp connection:
Make an ftp connection to ftp.sce.carleton.ca, login as anonymous, then change directories to pub/chinneck/minosiis and retrieve the file minosiis.zip.
The minosiis.zip file has been archived and compressed using the shareware PKZIP. After decompression you will have the following files:
man52sm.txt: This is the user's manual. Read this first to learn how to use the program.
ver52sm.bat: This is a batch file which manages the various files needed by MINOS(IIS). See the user's manual for details.
inf52sm.exe: The actual DOS executable for MINOS(IIS). It is called by the batch file ver52sm.bat.
itest2.mps: The MPS file for a small test model.
itest2.spc: The specs file for a small test model.
Contact
For further information, or to inquire about a professional edition of MINOS(IIS) contact John W. Chinneck at Carleton
University (email: chinneck@sce.carleton.ca). To acquire a professional edition, you will first need a license for MINOS 5.4, available from Stanford
Business Software.
To Reference MINOS(IIS)
If you need to reference MINOS(IIS) in research papers, technical reports, etc., the suggested reference is:
J.W. Chinneck, (1994), "MINOS(IIS): Infeasibility Analysis Using MINOS", Computers and Operations Research, Vol. 21, No. 1, pp. 1-9.
Other possible references can be seen here .
Back to author's homepage .
相关文章推荐
- C++中重载、覆盖和隐藏
- 拥有最小高度能自适应高度,IE、FF全兼容的div设置
- Chrome浏览器下CSS字体大小设置小于12px无效问题
- 关于b=++b和b = b += 1的问题探讨
- So cute are you python 1
- 单引号引发的血案
- 4-3
- 转贴:气管切开术与噎住时的急救
- 静态链接与动态链接的区别
- 最长公共子字符串
- activity之间使用Intent传值
- iOS的三种多线程技术:
- 浏览器小览【欢迎讨论】
- HTTP协议详解
- 6410的存储空间分配
- oracle的nvl函数的使用解析
- 七天美音英标学习总结
- 做个标记!
- Linux 系统调用
- hdu 3853 LOOPS(基础DP求期望)