partage
Class SpotComplexInstanceGenerator

java.lang.Object
  partage.SpotComplexInstanceGenerator

public class SpotComplexInstanceGenerator
extends java.lang.Object

This class generates a random instance of the resource allocation problem with logical constraints and preferences, that aims at simulating an instance of the real-world problem of sharing the Earth Observation Satellites constellation Spot.

• The objects represent the acquisition opportunities
• The preferences are weighted logical formulae in conjunctive normal forms, with random weights and sizes (with clauses of random lengths) :
  • Each disjunction represents an area that can be acquired in several ways (due to the fact that there are several satellites, and that the problem is considered over several orbital periods).
  • Each conjunction represents a complex photography: large area.
  • Some acquisition opportunities can be stereographic pictures: in that case, two pictures must be taken by the same satellite during the same orbit (only one object is generated, but it changes a bit the physical constraints).
• The constraints can be of two kinds:
  • Incompatibility constraints: two acquisitions opportunities are incompatible (due to the physical constraints: time windows, transition times, ...).
  • Limited amount of onboard resource: each acquisition is endowed with a number representing the amount of resource consumed by this acquisition; and there is a maximal number of available resource on the satellite. The total sum of resource consumed by the acquired images must not exceed the maximal number of available resource.

Version:

July 07

Author:

Sylvain Bouveret

Nested Class Summary

static class	SpotComplexInstanceGenerator.ConstellationParameters This static class represents the parameters of the constellation considered.
static class	SpotComplexInstanceGenerator.RequestsParameters A static class for representing the requests parameters of the Spot instance.
static class	SpotComplexInstanceGenerator.ResourceConsumptionParameters This static class represents the parameters for the resource consumption constraints.

Field Summary

SpotComplexInstanceGenerator.ConstellationParameters	constellation The parameters of the constellation of Spot satellites.
SpotComplexInstanceGenerator.ResourceConsumptionParameters	consumption The resource consumption parameters for generating the Spot instance.
int	nA The number of agents of the problem to be generated.
int	nOMax The maximal number of objects of the problem to be generated.
SpotComplexInstanceGenerator.RequestsParameters	requests The requests parameters for generating the Spot instance.
long	seed The seed of the random instance generator.

Constructor Summary

SpotComplexInstanceGenerator(int _nA, int _nOMax)
Instantiates a SpotComplexInstanceGenerator by specifying the number of agents, the number of objects.

SpotComplexInstanceGenerator(int _nA, int _nOMax, long _seed)
Instantiates a SpotComplexInstanceGenerator by specifying the number of agents, the number of objects and the seed of the random numbers generator.

SpotComplexInstanceGenerator(int _nA, int _nOMax, SpotComplexInstanceGenerator.RequestsParameters _req, SpotComplexInstanceGenerator.ResourceConsumptionParameters _conso, SpotComplexInstanceGenerator.ConstellationParameters _const, long _seed)
Instantiates a SpotComplexInstanceGenerator by specifying the number of agents, the maximal number of objects (approximately the actual number of objects), the requests parameters, and the seed of the random numbers generator.

Method Summary

ComplexInstance

generate() This method generates an instance of the allocation problem with complex preferences and constraints.

Methods inherited from class java.lang.Object

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

Field Detail

nA

public int nA

The number of agents of the problem to be generated.

nOMax

public int nOMax

The maximal number of objects of the problem to be generated.

requests

public SpotComplexInstanceGenerator.RequestsParameters requests

The requests parameters for generating the Spot instance.

consumption

public SpotComplexInstanceGenerator.ResourceConsumptionParameters consumption

The resource consumption parameters for generating the Spot instance.

constellation

public SpotComplexInstanceGenerator.ConstellationParameters constellation

The parameters of the constellation of Spot satellites.

seed

public long seed

The seed of the random instance generator.

Constructor Detail

SpotComplexInstanceGenerator

public SpotComplexInstanceGenerator(int _nA,
                                    int _nOMax,
                                    SpotComplexInstanceGenerator.RequestsParameters _req,
                                    SpotComplexInstanceGenerator.ResourceConsumptionParameters _conso,
                                    SpotComplexInstanceGenerator.ConstellationParameters _const,
                                    long _seed)

Instantiates a SpotComplexInstanceGenerator by specifying the number of agents, the maximal number of objects (approximately the actual number of objects), the requests parameters, and the seed of the random numbers generator.

Parameters:

_nA - The number of agents.

_nOMax - The maximal number of objects.

_req - The requests parameters.

_conso - The resource consumption parameters.

_const - The constellation parameters.

_seed - The seed of the random numbers generator.

SpotComplexInstanceGenerator

public SpotComplexInstanceGenerator(int _nA,
                                    int _nOMax,
                                    long _seed)

Instantiates a SpotComplexInstanceGenerator by specifying the number of agents, the number of objects and the seed of the random numbers generator. The defaults parameters are the following ones:

• Requests parameters: 4 hot areas of size 45, a probability of 50% for a request to concern a hot area, a probability of 20% for a request to be stereo, and 20% for a request to concern a wide area. Wide areas can be made of between 2 and 6 images. Each acquisition can be made from 1 to 3 different positions. The weights of the requests are between 1 and 20.
• Resource consumption parameters: expressed in term of available memory. 600 Gbits available. A square image (which lasts 3 seconds) consumes about 2.5Gbits.

Parameters:

_nA - The number of agents.

_nOMax - The maximal number of objects.

_seed - The seed of the random numbers generator.

SpotComplexInstanceGenerator

public SpotComplexInstanceGenerator(int _nA,
                                    int _nOMax)

Instantiates a SpotComplexInstanceGenerator by specifying the number of agents, the number of objects. See the default parameters in the description of the other constructor.

Parameters:

_nA - The number of agents.

_nOMax - The maximal number of objects.

Method Detail

generate

public ComplexInstance generate()

This method generates an instance of the allocation problem with complex preferences and constraints.

Returns:

An instance of ComplexInstance generated according to the generator's parameters set (the Spot generator).