Authors:
Luis Diogo Couto
1
;
Peter W. V. Tran-Jørgensen
1
and
Gareth T. C. Edwards
2
Affiliations:
1
Aarhus University, Denmark
;
2
Agro Inteligence ApS, Denmark
Keyword(s):
Harvesting Operations, Optimisation, Strategy Pattern, Design Patterns, VDM, Formal Methods, Model Architecture.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Business Analytics
;
Cardiovascular Technologies
;
Case Studies
;
Computing and Telecommunications in Cardiology
;
Data Engineering
;
Decision Support Systems
;
Decision Support Systems, Remote Data Analysis
;
Discrete-Event Simulation
;
e-Business
;
Enterprise Information Systems
;
Formal Methods
;
Health Engineering and Technology Applications
;
Knowledge-Based Systems
;
Logistics
;
Neural Rehabilitation
;
Neurotechnology, Electronics and Informatics
;
Optimization Issues
;
Simulation and Modeling
;
Simulation Tools and Platforms
;
Symbolic Systems
Abstract:
Modelling and simulation assist in decision support or planning activities by allowing efficient exploration
of multiple scenarios in a situation where testing in a real setting is impractical. This exploration is often
done by varying numerical parameters in the model such as physical dimensions or speed in order to find
the optimal configuration. However, for certain problems, in order to find optimal solutions it is beneficial to
vary the algorithms that are used to implement the behaviour of the model. For example, when calculating
optimised routes for harvesters and other vehicles in a harvest operation, the choice of optimisation algorithms
is an important part of the problem. Traditional modelling and simulation techniques do not allow us to
vary algorithms across simulations effectively. In this paper, we address this issue by applying the strategy
pattern from software engineering to the construction of a formal model that enables different combinations of
harvest optimisati
on algorithms to be analysed effectively. This approach can be generalised to other planning
activities where multiple algorithms need to be considered.
(More)