MINOS(IIS) 软件 -用于线性问题的不可行解分析
来源:互联网 发布:淘宝优惠券怎么发放 编辑:程序博客网 时间:2024/05/14 17:27
本软件:
结合了MINOS 5.4 solver 和 IISLOC infeasibility analysis routines 用来做线性问题的不可行解分析。
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 .
- MINOS(IIS) 软件 -用于线性问题的不可行解分析
- 穷游 的危险。不可行。
- webView loadData 中文乱码问题快速解决(API提供的标准用法不可行)
- IIS应用程序池 CPU 100% 分析软件,找出具体有问题的ASP程序URL(免费软件,无功能限制)
- IIS应用程序池w3wp.exe CPU 占用100% 分析软件,找出具体有问题的ASP程序URL
- IIS提示:服务器应用程序不可用问题的解决!!
- IIS性能优化 - 用于 IIS 的 Http.sys 注册表设置
- IIS日志分析及IIS日志分析软件下载
- 排序。。。用于排序的线性表
- IIS网站不可用:同一 IIS 进程中运行两个不同的 ASP.NET 版本问题
- 装载问题(记录可行解)
- BZOJ 3097(Hash Killer I-哈希%u64的不可行)
- 真正可行的canon ip1000清零软件使用方法.
- 使用ArcSDE10软件创建ArcSDE9 Schema的服务是否可行
- 【实战】IIS的NSIISLOG.DLL溢出问题分析
- Python强制关闭线程的一种办法(可行已用于项目)
- 特征共线性问题分析
- R软件做线性回归分析
- Poj 2115 C Looooops (模线性方程)
- Leetcode: Sqrt(x)
- 农夫过河问题(一个有趣的问题-位运算)
- 大话数据结构五:线性表的链式存储结构(双向链表)
- 最长公共子字符串
- MINOS(IIS) 软件 -用于线性问题的不可行解分析
- 关于b=++b和b = b += 1的问题探讨
- HTTP协议详解
- 【VC++6.0】getline需要输入2次回车才会结束的BUG修复方法
- 静态链接与动态链接的区别
- 游戏-CCAction
- poj2096 Collecting Bugs(概率dp)
- HTTP 协议简介
- 常见开源协议大白话说明