dse using alloy project part. 1 contents assignment meta-modeling using alloy creating solutions...
TRANSCRIPT
![Page 1: DSE using Alloy Project part. 1 Contents Assignment Meta-modeling using Alloy Creating solutions using Alloy Exporting solutions to Modelica Simulation](https://reader035.vdocument.in/reader035/viewer/2022081515/551b3b6a550346dd1a8b53b2/html5/thumbnails/1.jpg)
DSE using AlloyProject part
![Page 2: DSE using Alloy Project part. 1 Contents Assignment Meta-modeling using Alloy Creating solutions using Alloy Exporting solutions to Modelica Simulation](https://reader035.vdocument.in/reader035/viewer/2022081515/551b3b6a550346dd1a8b53b2/html5/thumbnails/2.jpg)
2
Contents
• Assignment
• Meta-modeling using Alloy
• Creating solutions using Alloy
• Exporting solutions to Modelica
• Simulation
![Page 3: DSE using Alloy Project part. 1 Contents Assignment Meta-modeling using Alloy Creating solutions using Alloy Exporting solutions to Modelica Simulation](https://reader035.vdocument.in/reader035/viewer/2022081515/551b3b6a550346dd1a8b53b2/html5/thumbnails/3.jpg)
3
Assignment
![Page 4: DSE using Alloy Project part. 1 Contents Assignment Meta-modeling using Alloy Creating solutions using Alloy Exporting solutions to Modelica Simulation](https://reader035.vdocument.in/reader035/viewer/2022081515/551b3b6a550346dd1a8b53b2/html5/thumbnails/4.jpg)
4
Assignment
![Page 5: DSE using Alloy Project part. 1 Contents Assignment Meta-modeling using Alloy Creating solutions using Alloy Exporting solutions to Modelica Simulation](https://reader035.vdocument.in/reader035/viewer/2022081515/551b3b6a550346dd1a8b53b2/html5/thumbnails/5.jpg)
5
Meta-modeling using Alloyone sig Filter{
input : InputNode,
output : OutputNode,
mass : MassNode,
circuit : set Component
}some sig CompLink {
fromC : NegNode,
toC : PosNode
}
abstract sig Component {
pos : one PosNode,
neg : one NegNode
}
abstract sig Resistor, Capacitor extends Component {
value : Int
}
//Resistor of 12 Ohm
sig Resistor12 extends Resistor {
}
{ //Appended fact => constraint: value of the resistor
value = 12
}
![Page 6: DSE using Alloy Project part. 1 Contents Assignment Meta-modeling using Alloy Creating solutions using Alloy Exporting solutions to Modelica Simulation](https://reader035.vdocument.in/reader035/viewer/2022081515/551b3b6a550346dd1a8b53b2/html5/thumbnails/6.jpg)
6
Meta-modeling using Alloy
• Constrain by using facts:- Floating components- Floating nodes- Self links- Duplicate links- Not linked nodes
![Page 7: DSE using Alloy Project part. 1 Contents Assignment Meta-modeling using Alloy Creating solutions using Alloy Exporting solutions to Modelica Simulation](https://reader035.vdocument.in/reader035/viewer/2022081515/551b3b6a550346dd1a8b53b2/html5/thumbnails/7.jpg)
7
Work flow
![Page 8: DSE using Alloy Project part. 1 Contents Assignment Meta-modeling using Alloy Creating solutions using Alloy Exporting solutions to Modelica Simulation](https://reader035.vdocument.in/reader035/viewer/2022081515/551b3b6a550346dd1a8b53b2/html5/thumbnails/8.jpg)
8
Creating solutions using Alloy
![Page 9: DSE using Alloy Project part. 1 Contents Assignment Meta-modeling using Alloy Creating solutions using Alloy Exporting solutions to Modelica Simulation](https://reader035.vdocument.in/reader035/viewer/2022081515/551b3b6a550346dd1a8b53b2/html5/thumbnails/9.jpg)
9
Work flow
![Page 10: DSE using Alloy Project part. 1 Contents Assignment Meta-modeling using Alloy Creating solutions using Alloy Exporting solutions to Modelica Simulation](https://reader035.vdocument.in/reader035/viewer/2022081515/551b3b6a550346dd1a8b53b2/html5/thumbnails/10.jpg)
10
Exporting solutions to Modelica
• Parser1. Retrieve the filters2. For each filter, retrieve its components3. For each filter, retrieve the links
=> Stored in multi-dimensional arrays
![Page 11: DSE using Alloy Project part. 1 Contents Assignment Meta-modeling using Alloy Creating solutions using Alloy Exporting solutions to Modelica Simulation](https://reader035.vdocument.in/reader035/viewer/2022081515/551b3b6a550346dd1a8b53b2/html5/thumbnails/11.jpg)
11
Exporting solutions to Modelica
• Creation of the Modelica-file1. Look-up table
[‘Resistor100$0', '100', `PosNode$1', 'NegNode$0']
[‘R1', '100', `R1.p', ‘R1.n']
2. Creation of the dynamic part 3. Creation of the static part
![Page 12: DSE using Alloy Project part. 1 Contents Assignment Meta-modeling using Alloy Creating solutions using Alloy Exporting solutions to Modelica Simulation](https://reader035.vdocument.in/reader035/viewer/2022081515/551b3b6a550346dd1a8b53b2/html5/thumbnails/12.jpg)
12
Work flow
![Page 13: DSE using Alloy Project part. 1 Contents Assignment Meta-modeling using Alloy Creating solutions using Alloy Exporting solutions to Modelica Simulation](https://reader035.vdocument.in/reader035/viewer/2022081515/551b3b6a550346dd1a8b53b2/html5/thumbnails/13.jpg)
13
Simulation
Vsource = 220V @ 10 Hz Vsource = 220V @ 100 Hz
![Page 14: DSE using Alloy Project part. 1 Contents Assignment Meta-modeling using Alloy Creating solutions using Alloy Exporting solutions to Modelica Simulation](https://reader035.vdocument.in/reader035/viewer/2022081515/551b3b6a550346dd1a8b53b2/html5/thumbnails/14.jpg)
14
Future work
• Reduce the human interaction- Alloy API- Jmodelica Python Interpreter
• Integrate performance measurement
![Page 15: DSE using Alloy Project part. 1 Contents Assignment Meta-modeling using Alloy Creating solutions using Alloy Exporting solutions to Modelica Simulation](https://reader035.vdocument.in/reader035/viewer/2022081515/551b3b6a550346dd1a8b53b2/html5/thumbnails/15.jpg)
15