/[ascend]/trunk/models/system.a4l
ViewVC logotype

Contents of /trunk/models/system.a4l

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1 - (show annotations) (download) (as text)
Fri Oct 29 20:54:12 2004 UTC (19 years, 6 months ago) by aw0a
File MIME type: text/x-ascend
File size: 4084 byte(s)
Setting up web subdirectory in repository
1 REQUIRE "basemodel.a4l";
2 (* => basemodel.a4l *)
3 PROVIDE "system.a4l";
4
5 (*
6 * system.a4l
7 * by Benjamin A. Allan
8 * Part of the ASCEND Library
9 * $Date: 1998/06/17 19:31:48 $
10 * $Revision: 1.7 $
11 * $Author: mthomas $
12 * $Source: /afs/cs.cmu.edu/project/ascend/Repository/models/system.a4l,v $
13 *
14 * This file is part of the ASCEND Modeling Library.
15 *
16 * Copyright (C) 1994-1998 Carnegie Mellon University
17 *
18 * The ASCEND Modeling Library is free software; you can redistribute
19 * it and/or modify it under the terms of the GNU General Public
20 * License as published by the Free Software Foundation; either
21 * version 2 of the License, or (at your option) any later version.
22 *
23 * The ASCEND Modeling Library is distributed in hope that it will be
24 * useful, but WITHOUT ANY WARRANTY; without even the implied
25 * warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
26 * See the GNU General Public License for more details.
27 *
28 * You should have received a copy of the GNU General Public License
29 * along with the program; if not, write to the Free Software
30 * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139 USA. Check
31 * the file named COPYING.
32 *)
33
34 (*============================================================================*
35
36 S Y S T E M . A 4 L
37 ----------------------
38
39 AUTHOR: Benjamin A. Allan
40
41 DATES: 06/94 - Original Code
42 02/95 - Definitions for discrete variables added by
43 Craig Schmidt (CWS).
44
45 CONTENTS: Basic definitions for relation, solver_var,
46 and generic_real. This file is necessary for all
47 other ASCEND models to work on ASCEND3C.
48 If integration with the new DAE interface (blsode)
49 is desired, ivpsystem.a4l should be loaded instead.
50 This file is strictly for algebraic modeling.
51
52 *============================================================================*)
53
54 DEFINITION relation
55
56 included IS_A boolean;
57 message IS_A symbol;
58
59 included := TRUE;
60 message := 'none';
61 END relation;
62
63
64 DEFINITION logic_relation
65
66 included IS_A boolean;
67 message IS_A symbol;
68
69 included := TRUE;
70 message := 'none';
71
72 END logic_relation;
73
74 ATOM solver_var REFINES real
75 DEFAULT 0.5 {?};
76
77 lower_bound IS_A real;
78 upper_bound IS_A real;
79 nominal IS_A real;
80 fixed IS_A boolean;
81 message IS_A symbol;
82
83 fixed := FALSE;
84 lower_bound := -1e20 {?};
85 upper_bound := 1e20 {?};
86 nominal := 0.5 {?};
87 message := 'none';
88
89 END solver_var;
90
91 ATOM boolean_var REFINES boolean
92 DEFAULT TRUE;
93
94 nominal IS_A boolean;
95 fixed IS_A boolean;
96 fixed := FALSE;
97 nominal := TRUE;
98
99 END boolean_var;
100
101 ATOM generic_real REFINES solver_var
102 DIMENSIONLESS
103 DEFAULT 0.5;
104 lower_bound := -1e20;
105 upper_bound := 1e20;
106 nominal := 0.5;
107 END generic_real;
108
109
110 ADD NOTES IN solver_int;
111 'purpose' SELF {
112 solver_int is an integer variable for an MILP solver
113 lower bound almost always 0
114 relaxed indicates if the var should be treated as a normal solver_var
115 }
116 END NOTES;
117 ADD NOTES IN solver_binary;
118 'purpose' SELF {
119 solver_binary is a binary variable for a MILP solver
120 lower bound must be 0, and upper bound must be 1
121 }
122 END NOTES;
123 ADD NOTES IN solver_semi;
124 'purpose' SELF {
125 solver_semi is a semicontinous variable for use in SCICONIC
126 this var can have a value between 1 and the arbitrary upper bound, or 0.
127 (note that SCICONIC requires the lower bound to be 1)
128 if is_zero = true, then the current value is taken as 0
129 }
130 END NOTES;
131
132
133 ATOM solver_int REFINES solver_var
134 DIMENSIONLESS
135 DEFAULT 0.0;
136
137 relaxed IS_A boolean;
138
139 lower_bound := 0.0;
140 upper_bound := 1000000.0;
141 nominal := 0.5;
142 END solver_int;
143
144 ATOM solver_binary REFINES solver_int
145 DIMENSIONLESS
146 DEFAULT 0.0;
147
148 lower_bound := 0.0;
149 upper_bound := 1.0;
150 nominal := 0.5;
151
152 END solver_binary;
153
154 ATOM solver_semi REFINES solver_var
155 DEFAULT 1.0 {?};
156
157 is_zero IS_A boolean;
158 relaxed IS_A boolean;
159
160 lower_bound := 1 {?};
161 upper_bound := 1e20 {?};
162 nominal := 1.0 {?};
163
164 END solver_semi;

john.pye@anu.edu.au
ViewVC Help
Powered by ViewVC 1.1.22