CMSlv - Revision history

Jpye at 10:54, 1 April 2015

2015-04-01T10:54:39Z

← Older revision		Revision as of 10:54, 1 April 2015
Line 1:		Line 1:
	{{solvers}}		{{solvers}}
	{{stub}}		{{stub}}
	This is the [[conditional modelling]] solver implemented by Vicente Rico-Ramirez<ref>http://ascend.cheme.cmu.edu/ftp/pdfThesis/victhesis.pdf</ref>. Currently this solver is fully operational -- it solves the sample models given in Vicente's thesis, and these have been incorporated in the the [[TestSuite]]. You need to have [[CONOPT]] installed before CMSlv will work; it's used as part of the boundary-crossing algorithm.		This is the [[conditional modelling]] solver implemented by Vicente Rico-Ramirez<ref>http://ascend.cheme.cmu.edu/ftp/pdfThesis/victhesis.pdf</ref>. Currently this solver is fully operational -- it solves the sample models given in Vicente's thesis, and these have been incorporated in the the [[TestSuite]]. You need to have [[CONOPT]] installed before CMSlv will work; it's used as part of the boundary-crossing algorithm. CMSlv also makes use of a subsidiary logical-expression-solvers called [[LRSlv]].

	[[File:cmslv.png\|thumb\|500px\|none\|Implementation of CMSlv (from Vicente Rico-Ramirez' thesis, see our [[publications]]).]]		[[File:cmslv.png\|thumb\|500px\|none\|Implementation of CMSlv (from Vicente Rico-Ramirez' thesis, see our [[publications]]).]]

Jpye at 10:50, 1 April 2015

2015-04-01T10:50:00Z

← Older revision		Revision as of 10:50, 1 April 2015
Line 2:		Line 2:
	{{stub}}		{{stub}}
	This is the [[conditional modelling]] solver implemented by Vicente Rico-Ramirez<ref>http://ascend.cheme.cmu.edu/ftp/pdfThesis/victhesis.pdf</ref>. Currently this solver is fully operational -- it solves the sample models given in Vicente's thesis, and these have been incorporated in the the [[TestSuite]]. You need to have [[CONOPT]] installed before CMSlv will work; it's used as part of the boundary-crossing algorithm.		This is the [[conditional modelling]] solver implemented by Vicente Rico-Ramirez<ref>http://ascend.cheme.cmu.edu/ftp/pdfThesis/victhesis.pdf</ref>. Currently this solver is fully operational -- it solves the sample models given in Vicente's thesis, and these have been incorporated in the the [[TestSuite]]. You need to have [[CONOPT]] installed before CMSlv will work; it's used as part of the boundary-crossing algorithm.

			[[File:cmslv.png\|thumb\|500px\|none\|Implementation of CMSlv (from Vicente Rico-Ramirez' thesis, see our [[publications]]).]]

	== Example ==		== Example ==

Jpye at 01:41, 26 December 2011

2011-12-26T01:41:37Z

← Older revision		Revision as of 01:41, 26 December 2011
Line 7:		Line 7:
	Here is an extract of a full example called {{src\|models/linmassbal.a4c}}:		Here is an extract of a full example called {{src\|models/linmassbal.a4c}}:

	<source lang="a4c">(* Boundaries *)		<source lang="a4c">
			(* Boundaries *)
	CONDITIONAL		CONDITIONAL
	cond1: Fmain <= B[1];		cond1: Fmain <= B[1];

	cond2: Fmain >= B[2];		cond2: Fmain >= B[2];
	END CONDITIONAL;		END CONDITIONAL;
Line 19:		Line 19:
	(* Variant Equations *)		(* Variant Equations *)
	eq1a: Fsub1 = a[1] * Fmain;		eq1a: Fsub1 = a[1] * Fmain;

	eq1b: Fsub2 = b[1] * Fmain;		eq1b: Fsub2 = b[1] * Fmain;

	eq2a: Fsub1 = a[2] * Fmain;		eq2a: Fsub1 = a[2] * Fmain;

	eq2b: Fsub2 = b[2] * Fmain;		eq2b: Fsub2 = b[2] * Fmain;

	eq3a: Fsub1 = a[3] * Fmain;		eq3a: Fsub1 = a[3] * Fmain;

	eq3b: Fsub2 = b[3] * Fmain;		eq3b: Fsub2 = b[3] * Fmain;

	(* Disjunctive Statements *)		(* Disjunctive Statements *)

	WHEN (bol1,bol2)		WHEN (bol1,bol2)
	CASE TRUE,FALSE:		CASE TRUE,FALSE:

	USE eq1a;		USE eq1a;
	USE eq1b;		USE eq1b;
	CASE FALSE,FALSE:		CASE FALSE,FALSE:

	USE eq2a;		USE eq2a;
	USE eq2b;		USE eq2b;
	CASE FALSE,TRUE:		CASE FALSE,TRUE:

	USE eq3a;		USE eq3a;
	USE eq3b;		USE eq3b;

Jpye at 01:40, 26 December 2011

2011-12-26T01:40:35Z

← Older revision		Revision as of 01:40, 26 December 2011
Line 9:		Line 9:
	<source lang="a4c">(* Boundaries *)		<source lang="a4c">(* Boundaries *)
	CONDITIONAL		CONDITIONAL
	cond1: Fmain ~~<~~= B[1];		cond1: Fmain <= B[1];

	cond2: Fmain ~~>~~= B[2];		cond2: Fmain >= B[2];
	END CONDITIONAL;		END CONDITIONAL;

Line 45:		Line 45:
	USE eq3a;		USE eq3a;
	USE eq3b;		USE eq3b;
	END WHEN;</source>		END WHEN;
			</source>

	== References ==		== References ==

Jpye at 22:23, 14 December 2010

2010-12-14T22:23:17Z

← Older revision		Revision as of 22:23, 14 December 2010
Line 50:		Line 50:
	<references/>		<references/>

	[[Category:Solvers]]		[[Category:NLA Solvers]]
	~~[[Category:Stubs~~]]

Jpye at 08:03, 2 August 2010

2010-08-02T08:03:47Z

← Older revision		Revision as of 08:03, 2 August 2010
Line 1:		Line 1:
	{{solvers}}		{{solvers}}
	{{stub}}		{{stub}}
	This is the [[conditional modelling]] solver implemented by Vicente Rico-Ramirez<~~sup id="_ref-0" class="reference"~~>~~<a href="#_note-0" title="">[1]<~~/a></~~sup~~>. Currently this solver is fully operational -- it solves the sample models given in Vicente's thesis, and these have been incorporated in the the [[TestSuite]]. You need to have [[CONOPT]] installed before CMSlv will work; it's used as part of the boundary-crossing algorithm.		This is the [[conditional modelling]] solver implemented by Vicente Rico-Ramirez<ref>http://ascend.cheme.cmu.edu/ftp/pdfThesis/victhesis.pdf</ref>. Currently this solver is fully operational -- it solves the sample models given in Vicente's thesis, and these have been incorporated in the the [[TestSuite]]. You need to have [[CONOPT]] installed before CMSlv will work; it's used as part of the boundary-crossing algorithm.

	== Example ==		== Example ==
Line 48:		Line 48:

	== References ==		== References ==
			<references/>

			[[Category:Solvers]]

	[[Category:Solvers]]
	[[Category:Stubs]]		[[Category:Stubs]]

Jpye at 15:05, 13 May 2010

2010-05-13T15:05:48Z

@@ Line 1: / Line 1: @@
-{| class="wikitable"
+{{solvers}}
-|-
+{{stub}}
 This is the [[conditional modelling]] solver implemented by Vicente Rico-Ramirez<sup id="_ref-0" class="reference"><a href="#_note-0" title="">[1]</a></sup>.  Currently this solver is fully operational -- it solves the sample models given in Vicente's thesis, and these have been incorporated in the the [[TestSuite]]. You need to have [[CONOPT]] installed before CMSlv will work; it's used as part of the boundary-crossing algorithm.
 == Example ==

UploadBot: Restored page from Google Cache, uploaded by John Pye

2010-05-13T13:56:44Z

Restored page from Google Cache, uploaded by John Pye

New page

{| class="wikitable"
|-
! '''[[NLA]]'''
|-
| '''[[QRSlv]]'''
|-
| '''<strong class="selflink">CMSlv</strong>'''
|-
| '''[[IPSlv]]'''
|-
| '''[[Opt]]'''
|-
! '''[[NLP]]'''
|-
| '''[[CONOPT]]'''
|-
| '''[[IPOPT]]'''
|-
| '''[[TRON]]'''
|-
| '''[[MINOS]]'''
|-
| '''[[NGSlv]]'''
|-
| '''[[OptSQP]]'''
|-
! '''[[DAE]]/[[ODE]]'''
|-
| '''[[IDA]]'''
|-
| '''[[LSODE]]'''
|-
| '''[[DOPRI5]]'''
|-
! '''[[LA]]'''
|-
| '''[[linsolqr]]'''
|-
| '''[[linsol]]'''
|-
! '''[[LP]]'''
|-
| '''[[MakeMPS]]'''
|-
! '''[[Logic_Solvers|Logic]]'''
|-
| '''[[LRSlv]]'''
|}
<div class="notice metadata" id="stub">''This article is a '''stub'''. You can help out by <span class="plainlinks">[http://ascendwiki.cheme.cmu.edu/index.php?title=CMSlv&action=edit expanding it]</span>. ''</div>

This is the [[conditional modelling]] solver implemented by Vicente Rico-Ramirez<sup id="_ref-0" class="reference"><a href="#_note-0" title="">[1]</a></sup>. Currently this solver is fully operational -- it solves the sample models given in Vicente's thesis, and these have been incorporated in the the [[TestSuite]]. You need to have [[CONOPT]] installed before CMSlv will work; it's used as part of the boundary-crossing algorithm.

== Example ==

Here is an extract of a full example called {{src|models/linmassbal.a4c}}:

<source lang="a4c">(* Boundaries *)
CONDITIONAL
cond1: Fmain <= B[1];

cond2: Fmain >= B[2];
END CONDITIONAL;

bol1 == SATISFIED(cond1,1e-08{lb_mole/hour});
bol2 == SATISFIED(cond2,1e-08{lb_mole/hour});

(* Variant Equations *)
eq1a: Fsub1 = a[1] * Fmain;

eq1b: Fsub2 = b[1] * Fmain;

eq2a: Fsub1 = a[2] * Fmain;

eq2b: Fsub2 = b[2] * Fmain;

eq3a: Fsub1 = a[3] * Fmain;

eq3b: Fsub2 = b[3] * Fmain;

(* Disjunctive Statements *)

WHEN (bol1,bol2)
CASE TRUE,FALSE:

USE eq1a;
USE eq1b;
CASE FALSE,FALSE:

USE eq2a;
USE eq2b;
CASE FALSE,TRUE:

USE eq3a;
USE eq3b;
END WHEN;</source>

== References ==

[[Category:Solvers]]
[[Category:Stubs]]