Package org.bigraphs.framework.simulation.modelchecking

Class SimulatedAnnealingFrontierStrategy<B extends Bigraph<? extends Signature<?>>>

java.lang.Object

org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport<B>

org.bigraphs.framework.simulation.modelchecking.SimulatedAnnealingFrontierStrategy<B>

All Implemented Interfaces:

ModelCheckingStrategy<B>

public abstract class SimulatedAnnealingFrontierStrategy<B extends Bigraph<? extends Signature<?>>>
extends ModelCheckingStrategySupport<B>

Author:

Dominik Grzelak

Nested Class Summary

Nested classes/interfaces inherited from class org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport

ModelCheckingStrategySupport.MatchResult<B extends Bigraph<? extends Signature<?>>>

Field Summary

Fields

Modifier and Type	Field	Description
protected double	energyEps
int	maxEpoch

Fields inherited from class org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport

decoder, encoder, logger, modelChecker, occurrenceCounter, predicateChecker

Constructor Summary

Constructors

Constructor	Description
SimulatedAnnealingFrontierStrategy(List<B> goalExemplars, double initialTemperature, int epochSize, int fairnessK)

Method Summary

Modifier and Type	Method	Description
protected void	addToWorklist(Collection<B> worklist, B bigraph)
protected double	cool_geometric(double currentT, int epoch)	Geometric cooling schedule: T invalid input: '<'- alpha * T
protected double	cool_linear(double t, int epoch)
protected double	cool_log(double t0, int epoch)
protected Collection<B>	createWorklist()
protected double	graphKernel(B graphA, B graphB)	A bigraph kernel (e.g., Weisfeiler–Lehman) over the encoded graphs.
protected double	kTilde(B s, B g)	Normalized bigraph kernel for two bigraphs.
protected B	removeNext(Collection<B> worklist)	Called when the framework wants the next state to expand.
SimulatedAnnealingFrontierStrategy<B>	withModelChecker(BigraphModelChecker<B> modelChecker)

Methods inherited from class org.bigraphs.framework.simulation.modelchecking.ModelCheckingStrategySupport

evaluatePredicates, getBigraphMatches, resetOccurrenceCounter, synthesizeTransitionSystem

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

energyEps

protected double energyEps

maxEpoch

public int maxEpoch

Constructor Details

SimulatedAnnealingFrontierStrategy

public SimulatedAnnealingFrontierStrategy(List<B> goalExemplars,
 double initialTemperature,
 int epochSize,
 int fairnessK)

Method Details

withModelChecker

public SimulatedAnnealingFrontierStrategy<B> withModelChecker(BigraphModelChecker<B> modelChecker)

createWorklist

protected Collection<B> createWorklist()

Specified by:

createWorklist in class ModelCheckingStrategySupport<B extends Bigraph<? extends Signature<?>>>

removeNext

protected B removeNext(Collection<B> worklist)

Called when the framework wants the next state to expand. State is picked from worklist using either fairness FIFO or SA Boltzmann sampling.

Specified by:

removeNext in class ModelCheckingStrategySupport<B extends Bigraph<? extends Signature<?>>>

addToWorklist

protected void addToWorklist(Collection<B> worklist,
 B bigraph)

Specified by:

addToWorklist in class ModelCheckingStrategySupport<B extends Bigraph<? extends Signature<?>>>

graphKernel

protected double graphKernel(B graphA,
 B graphB)

A bigraph kernel (e.g., Weisfeiler–Lehman) over the encoded graphs. Return a non-negative similarity value.

kTilde

protected double kTilde(B s,
 B g)

Normalized bigraph kernel for two bigraphs.

The specific kernel specified in graphKernel(Bigraph, Bigraph) must be implemented via subclassing.

Parameters:

s - left bigraph

g - right bigraph

cool_geometric

protected double cool_geometric(double currentT,
 int epoch)

Geometric cooling schedule: T invalid input: '<'- alpha * T

cool_linear

protected double cool_linear(double t,
 int epoch)

cool_log

protected double cool_log(double t0,
 int epoch)