seeso: a semantically enriched environment for simulation optimization
DESCRIPTION
SEESO: A Semantically Enriched Environment for Simulation Optimization. Jun Han John A. Miller Department of Computer Science University of Georgia Gregory A Silver College of Business, Anderson University. Outline. Introduction Simulation Optimization (SO) Using SO for Glycomics - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/1.jpg)
Jun HanJohn A. Miller
Department of Computer ScienceUniversity of Georgia
Gregory A SilverCollege of Business, Anderson University
![Page 2: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/2.jpg)
Introduction Simulation Optimization (SO) Using SO for Glycomics
◦ Overview of Glycomics◦ Glycan Quantification◦ Metabolic Pathways
Techniques for Simulation Optimization SESSO Framework Two Scenarios Conclusions
![Page 3: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/3.jpg)
Conceptual model Domain Modeling Simulation Designing
and Execution Decision Parameter
Optimization
![Page 4: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/4.jpg)
History of Simulation Optimization from 1987◦ 1987: “An art, not a science”◦ 1998: Systematic survey and introduction
◦ 2000: A sub-chapter in simulation textbooks◦ Numerous application and research on how to
integrate optimization and simulation◦ 2011: Regular track on Simulation Optimization in
WSC 2011
Decision parameter Discrete Continuous
Solution Random Search Gradient methods
![Page 5: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/5.jpg)
Random search methods◦ Random walk, Simulated Annealing
Gradient based methods◦ Steepest descent, Conjugate gradient, BFGS
Heuristic methods◦ Genetic algorithm, Particle Swarm Optimization
Meta-modeling methods◦ Response surface methodology
Sample path optimization◦ Monte Carlo Simulation
![Page 6: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/6.jpg)
Glycan◦ produced by linking saccharides and attached to
proteins and lipids Possible Applications
◦ Cell differentiation◦ Disease processes◦ Cancer Markers
Glycomics◦ “an integrated systems approach to structure-
function relationships of glycans” ◦ Identification◦ Quantification
![Page 7: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/7.jpg)
Omics Overview.http://jdr.sagepub.com/citmgr?gca=spjdr;90/5/561 7
![Page 8: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/8.jpg)
Experiments Analysis
Label-free methods Isotopic labeling
◦ Static IDAWG™◦ Dynamic IDAWG™
Mass Spectrometry
Modeling Simulation Optimization Statistics
![Page 9: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/9.jpg)
9
MS Raw data
Raw data processing
Glycan Structures
Isotopic distribution calculation
Simulator OptimizerQuantification
and visualization
Yesoptimized?No
Pathway model
Mass Spectrum
model
![Page 10: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/10.jpg)
Metabolism Biochemical reactions Metabolic Network
GalNAc (mucin-type) core synthesis/branchinghttp://www.ccrc.uga.edu/~moremen/glycomics/OglycanBranching/OglycanBranching/OglycanBranching.htm
![Page 11: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/11.jpg)
SEESO: A Semantically Enriched Environment for Simulation Optimization
Bootstrapped by◦ JSIM: web-based simulation environment◦ ScalaTion: simulation environment using
domain-specific language (DSL)◦ DeMO: Discrete-event Modeling Ontology◦ SoPT: Simulation oPTimization ontology
![Page 12: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/12.jpg)
SEESO
ScalaTion
JSIM
SoPT
DeMO
DomainModelerDomainModeler
Conceptual model
and Optimization
requirement
Optimization
result and
visualization
![Page 13: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/13.jpg)
Problem Our Solution
Communication and sharing of domain model and optimization problem
Ontology
Transformation from domain Model to optimization algorithm
Domain Specific language (DSL)
Selection of proper optimization algorithms
Rule inferencing
![Page 14: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/14.jpg)
![Page 15: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/15.jpg)
Simulator, Optimizer and (possible) Cost Analyzer
Loosely Coupled Iterative approach
Simulator
CostAnalyzer
Optimizer
{x}0 {(x, Y=R(x))}i
{(x, Y=R(x), Z=c(Y))}i
(x*, Z*)
{x}i+1
![Page 16: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/16.jpg)
Objective Function Steepest Descent, etc.
def solve (x0: VectorD): VectorD = {
var x = x0 // current point var xx: VectorD = null // next point var gr: VectorD = null // gradient
breakable { for (k <- 1 to MAX_ITER) { // determine direction search gr = if (usePartials) gradientD (df, x) // use functions for partials else gradient (fg, x)
xx = lineSearch (x, gr) if (abs (fg(xx) - fg(x)) < EPSILON) break x = xx}} // for
x} // solve
![Page 17: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/17.jpg)
Establish connection between numerous real world problems and optimization algorithms
Top level classes:◦ Optimization Component◦ Optimization Problem◦ Optimization Method
Optimization Component
Optimization Problem
Optimization Method
has-componentcan-solve
![Page 18: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/18.jpg)
Optimization Goal Constraint
Nonlinear Constraint
Quadratic Constraint
Linear Programming
is-a
Objective Function
Nonlinear Objective Function
Quadratic Objective Function
Linear Objective Function
is-a
is-a
is-a
Solution
Restriction
Binary Restriction
Integer Restriction
Real Restriction
Mixed Restriction
is-a
Solution Quality
Approximate Solution Exact Solution
Heuristic Solution
is-a
is-ais-a
is-a
is-a
is-ais-a
is-ais-a
Optimization component
is-ais-ais-ais-a is-a
![Page 19: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/19.jpg)
Nonlinear Programming
Quadratic Programming
Linear Programming
is-a
is-a
Stochastic Programming
Optimization Problem
has-Constrainthas-Restriction
has-OptimizationGoal
Objective Function Constraint Optimization
GoalRestriction
has-ObjectiveFunction
![Page 20: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/20.jpg)
Derivative Free
Optimization Method
Gradient based
Heuristic Method
Meta-Modeling Method
Random Search Method
Hooke and
Jeeves Direct Search
Simplex Method
Simplex Algorithm
Nelder Mead
Method
Conjugate Gradient Descent
Polak Ribiere
Conjugate Gradient
Interior Point
Method
Newton Method
Steepest Descent
Quasi Newton Method
BFGS Method
L-BFGS Method
Ant Colony Optimization
Genetic Algorithm
Bacterial Foraging
Optimization Algorithm
Particle Swarm
Optimization
Kriging RSM
Response Surface
Methodology
Quadratic Fit
Sample Path Optimization
Local Search
Simulated Annealing
Tabu Search
DFP Formula
![Page 21: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/21.jpg)
![Page 22: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/22.jpg)
A set of Rules Rule inferencing (Rete algorithm)
if (ObjectiveFunction is quadratic_objective_function) and (SolutionQuality is exact_solution) and (Constraint is none) and (Restriction is real_restriction) then (OptimizationAlgorithm is Steepest_Descent)
if (ObjectiveFunction is linear_objective_function) and (SolutionQuality is exact_solution) and (Constraint is integer_constraint) and (Restriction is integer_restriction) then (OptimizationAlgorithm is Simplex_Algorithm)
if (ObjectiveFunction is nonlinear_objective_function) and (SolutionQuality is heuristic_solution) and (Constraint is none) and (Restriction is real_restriction) then (OptimizationAlgorithm is Genetic_Algorithm)
![Page 23: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/23.jpg)
Automatic Algorithm Configuration Algorithm execution using DSL
Rule Inference Engine
Optimization Algorithm Selection
Algorithm Configuration
Algorithm Execution
OptimizationOntology
RuleVisualization
![Page 24: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/24.jpg)
Model definition using DeMO Code generation using ScalaTion DSL Optimization algorithm selection using SoPT Optimization execution using DSL
entry: Source
nurseQ:WaitQueuetoNurseQ
doctorQ:WaitQueue
toDoctorQ
nurse: Resource
doctor: Resource
door: Sink
toDoor
![Page 25: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/25.jpg)
![Page 26: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/26.jpg)
Gal1GalNAc1 Neu5Ac1Gal1GalNAc1 Neu5Ac2Gal1GalNAc1
β3 β3α3β3
α3
α6St6GalNAc2St6GalNAc1St3Gal1
CMP CMP CMP CMP
1 2
4 5
3
E + S ES E + Pkfkr
kcat
![Page 27: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/27.jpg)
Gal1GalNAc1
St3Gal1
Neu5Ac1Gal1GalNAc1
St6GalNAc1
St6GalNAc2
Neu5Ac2Gal1GalNAc1
27
![Page 28: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/28.jpg)
Quantitative glycomics needs simulation optimization
Integration of ontology and DSL can facilitate modeling, simulation and application of simulation optimization for domain modelers
![Page 29: SEESO: A Semantically Enriched Environment for Simulation Optimization](https://reader036.vdocument.in/reader036/viewer/2022062422/56812c07550346895d907749/html5/thumbnails/29.jpg)