Constraint programming for planning test campaigns of communications satellites View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2017-01

AUTHORS

Emmanuel Hebrard, Marie-José Huguet, Daniel Veysseire, Ludivine Boche Sauvan, Bertrand Cabon

ABSTRACT

The payload of communications satellites must go through a series of tests to assert their ability to survive in space. Each test involves some equipment of the payload to be active, which has an impact on the temperature of the payload. Sequencing these tests in a way that ensures the thermal stability of the payload and minimizes the overall duration of the test campaign is a very important objective for satellite manufacturers. The problem can be decomposed in two sub-problems corresponding to two objectives: First, the number of distinct configurations necessary to run the tests must be minimized. This can be modeled as packing the tests into configurations, and we introduce a set of implied constraints to improve the lower bound of the model. Second, tests must be sequenced so that the number of times an equipment unit has to be switched on or off is minimized. We model this aspect using the constraint Switch, where a buffer with limited capacity represents the currently active equipment units, and we introduce an improvement of the propagation algorithm for this constraint. We then introduce a search strategy in which we sequentially solve the sub-problems (packing and sequencing). Experiments conducted on real and random instances show the respective interest of our contributions. More... »

PAGES

73-89

References to SciGraph publications

  • 2012. Activity-Based Search for Black-Box Constraint Programming Solvers in INTEGRATION OF AI AND OR TECHNIQUES IN CONTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMZATION PROBLEMS
  • 2014. Buffered Resource Constraint: Algorithms and Complexity in INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING
  • 2009-06. Compiling finite linear CSP into SAT in CONSTRAINTS
  • 2004. Impact-Based Search Strategies for Constraint Programming in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING – CP 2004
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s10601-016-9254-x

    DOI

    http://dx.doi.org/10.1007/s10601-016-9254-x

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1038032164


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0914", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Resources Engineering and Extractive Metallurgy", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/09", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Engineering", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "French National Centre for Scientific Research", 
              "id": "https://www.grid.ac/institutes/grid.4444.0", 
              "name": [
                "LAAS-CNRS, Universit\u00e9 de Toulouse, CNRS, INSA, Toulouse, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Hebrard", 
            "givenName": "Emmanuel", 
            "id": "sg:person.013555504353.31", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013555504353.31"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "French National Centre for Scientific Research", 
              "id": "https://www.grid.ac/institutes/grid.4444.0", 
              "name": [
                "LAAS-CNRS, Universit\u00e9 de Toulouse, CNRS, INSA, Toulouse, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Huguet", 
            "givenName": "Marie-Jos\u00e9", 
            "id": "sg:person.011573217141.48", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011573217141.48"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "French National Centre for Scientific Research", 
              "id": "https://www.grid.ac/institutes/grid.4444.0", 
              "name": [
                "LAAS-CNRS, Universit\u00e9 de Toulouse, CNRS, INSA, Toulouse, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Veysseire", 
            "givenName": "Daniel", 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Airbus (France)", 
              "id": "https://www.grid.ac/institutes/grid.424413.4", 
              "name": [
                "LAAS-CNRS, Universit\u00e9 de Toulouse, CNRS, INSA, Toulouse, France", 
                "Airbus Defence and Space, Toulouse, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Sauvan", 
            "givenName": "Ludivine Boche", 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Airbus (France)", 
              "id": "https://www.grid.ac/institutes/grid.424413.4", 
              "name": [
                "Airbus Defence and Space, Toulouse, France"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Cabon", 
            "givenName": "Bertrand", 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-319-07046-9_23", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1010039005", 
              "https://doi.org/10.1007/978-3-319-07046-9_23"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-29828-8_15", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016303224", 
              "https://doi.org/10.1007/978-3-642-29828-8_15"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-30201-8_41", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021571811", 
              "https://doi.org/10.1007/978-3-540-30201-8_41"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-30201-8_41", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1021571811", 
              "https://doi.org/10.1007/978-3-540-30201-8_41"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10601-008-9061-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027173210", 
              "https://doi.org/10.1007/s10601-008-9061-0"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10601-008-9061-0", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027173210", 
              "https://doi.org/10.1007/s10601-008-9061-0"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "https://doi.org/10.1016/j.artint.2006.03.002", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1045447753"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2017-01", 
        "datePublishedReg": "2017-01-01", 
        "description": "The payload of communications satellites must go through a series of tests to assert their ability to survive in space. Each test involves some equipment of the payload to be active, which has an impact on the temperature of the payload. Sequencing these tests in a way that ensures the thermal stability of the payload and minimizes the overall duration of the test campaign is a very important objective for satellite manufacturers. The problem can be decomposed in two sub-problems corresponding to two objectives: First, the number of distinct configurations necessary to run the tests must be minimized. This can be modeled as packing the tests into configurations, and we introduce a set of implied constraints to improve the lower bound of the model. Second, tests must be sequenced so that the number of times an equipment unit has to be switched on or off is minimized. We model this aspect using the constraint Switch, where a buffer with limited capacity represents the currently active equipment units, and we introduce an improvement of the propagation algorithm for this constraint. We then introduce a search strategy in which we sequentially solve the sub-problems (packing and sequencing). Experiments conducted on real and random instances show the respective interest of our contributions.", 
        "genre": "research_article", 
        "id": "sg:pub.10.1007/s10601-016-9254-x", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": true, 
        "isPartOf": [
          {
            "id": "sg:journal.1043977", 
            "issn": [
              "1383-7133", 
              "1572-9354"
            ], 
            "name": "Constraints", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "1", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "22"
          }
        ], 
        "name": "Constraint programming for planning test campaigns of communications satellites", 
        "pagination": "73-89", 
        "productId": [
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "b52bf5c9c338a53c36e857a689c3e015d3b9da5a6ea70dd0ee44601be777ed15"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s10601-016-9254-x"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1038032164"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s10601-016-9254-x", 
          "https://app.dimensions.ai/details/publication/pub.1038032164"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2019-04-11T12:36", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000363_0000000363/records_70031_00000001.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://link.springer.com/10.1007%2Fs10601-016-9254-x"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/s10601-016-9254-x'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/s10601-016-9254-x'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10601-016-9254-x'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10601-016-9254-x'


     

    This table displays all metadata directly associated to this object as RDF triples.

    109 TRIPLES      21 PREDICATES      32 URIs      19 LITERALS      7 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s10601-016-9254-x schema:about anzsrc-for:09
    2 anzsrc-for:0914
    3 schema:author N54d08478394e46479e079a2cf021918f
    4 schema:citation sg:pub.10.1007/978-3-319-07046-9_23
    5 sg:pub.10.1007/978-3-540-30201-8_41
    6 sg:pub.10.1007/978-3-642-29828-8_15
    7 sg:pub.10.1007/s10601-008-9061-0
    8 https://doi.org/10.1016/j.artint.2006.03.002
    9 schema:datePublished 2017-01
    10 schema:datePublishedReg 2017-01-01
    11 schema:description The payload of communications satellites must go through a series of tests to assert their ability to survive in space. Each test involves some equipment of the payload to be active, which has an impact on the temperature of the payload. Sequencing these tests in a way that ensures the thermal stability of the payload and minimizes the overall duration of the test campaign is a very important objective for satellite manufacturers. The problem can be decomposed in two sub-problems corresponding to two objectives: First, the number of distinct configurations necessary to run the tests must be minimized. This can be modeled as packing the tests into configurations, and we introduce a set of implied constraints to improve the lower bound of the model. Second, tests must be sequenced so that the number of times an equipment unit has to be switched on or off is minimized. We model this aspect using the constraint Switch, where a buffer with limited capacity represents the currently active equipment units, and we introduce an improvement of the propagation algorithm for this constraint. We then introduce a search strategy in which we sequentially solve the sub-problems (packing and sequencing). Experiments conducted on real and random instances show the respective interest of our contributions.
    12 schema:genre research_article
    13 schema:inLanguage en
    14 schema:isAccessibleForFree true
    15 schema:isPartOf N3e534bc8c4004a568a0e010253edf5d4
    16 Nc18fd9f0184a48949dc1f9774deb1111
    17 sg:journal.1043977
    18 schema:name Constraint programming for planning test campaigns of communications satellites
    19 schema:pagination 73-89
    20 schema:productId N4d63a178db374646b470a49985331048
    21 N576634d466714fa899b3b7a5cc56af6f
    22 N75fec4b6e06c4068bd9dcad57c64cd48
    23 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038032164
    24 https://doi.org/10.1007/s10601-016-9254-x
    25 schema:sdDatePublished 2019-04-11T12:36
    26 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    27 schema:sdPublisher N87b0de66cfc344369e4b213f33037bdc
    28 schema:url https://link.springer.com/10.1007%2Fs10601-016-9254-x
    29 sgo:license sg:explorer/license/
    30 sgo:sdDataset articles
    31 rdf:type schema:ScholarlyArticle
    32 N38ad22530b21489184fd4c0235f9803f schema:affiliation https://www.grid.ac/institutes/grid.4444.0
    33 schema:familyName Veysseire
    34 schema:givenName Daniel
    35 rdf:type schema:Person
    36 N3e534bc8c4004a568a0e010253edf5d4 schema:volumeNumber 22
    37 rdf:type schema:PublicationVolume
    38 N428e020ff72c44c2be484ca12ab58ff2 rdf:first N38ad22530b21489184fd4c0235f9803f
    39 rdf:rest Ne87947647cfb4628bc4866d8db58e70f
    40 N4d63a178db374646b470a49985331048 schema:name dimensions_id
    41 schema:value pub.1038032164
    42 rdf:type schema:PropertyValue
    43 N54d08478394e46479e079a2cf021918f rdf:first sg:person.013555504353.31
    44 rdf:rest Nfaffc2f7a41f4f2b9f3fb2643865f8cc
    45 N576634d466714fa899b3b7a5cc56af6f schema:name doi
    46 schema:value 10.1007/s10601-016-9254-x
    47 rdf:type schema:PropertyValue
    48 N74bea47ff1604b438379f55001967ff0 schema:affiliation https://www.grid.ac/institutes/grid.424413.4
    49 schema:familyName Cabon
    50 schema:givenName Bertrand
    51 rdf:type schema:Person
    52 N75fec4b6e06c4068bd9dcad57c64cd48 schema:name readcube_id
    53 schema:value b52bf5c9c338a53c36e857a689c3e015d3b9da5a6ea70dd0ee44601be777ed15
    54 rdf:type schema:PropertyValue
    55 N87b0de66cfc344369e4b213f33037bdc schema:name Springer Nature - SN SciGraph project
    56 rdf:type schema:Organization
    57 Nc18fd9f0184a48949dc1f9774deb1111 schema:issueNumber 1
    58 rdf:type schema:PublicationIssue
    59 Nd26293f01d7549c0be222650fc12edba schema:affiliation https://www.grid.ac/institutes/grid.424413.4
    60 schema:familyName Sauvan
    61 schema:givenName Ludivine Boche
    62 rdf:type schema:Person
    63 Ne4c790a642054cf383eb8e204eb2cd41 rdf:first N74bea47ff1604b438379f55001967ff0
    64 rdf:rest rdf:nil
    65 Ne87947647cfb4628bc4866d8db58e70f rdf:first Nd26293f01d7549c0be222650fc12edba
    66 rdf:rest Ne4c790a642054cf383eb8e204eb2cd41
    67 Nfaffc2f7a41f4f2b9f3fb2643865f8cc rdf:first sg:person.011573217141.48
    68 rdf:rest N428e020ff72c44c2be484ca12ab58ff2
    69 anzsrc-for:09 schema:inDefinedTermSet anzsrc-for:
    70 schema:name Engineering
    71 rdf:type schema:DefinedTerm
    72 anzsrc-for:0914 schema:inDefinedTermSet anzsrc-for:
    73 schema:name Resources Engineering and Extractive Metallurgy
    74 rdf:type schema:DefinedTerm
    75 sg:journal.1043977 schema:issn 1383-7133
    76 1572-9354
    77 schema:name Constraints
    78 rdf:type schema:Periodical
    79 sg:person.011573217141.48 schema:affiliation https://www.grid.ac/institutes/grid.4444.0
    80 schema:familyName Huguet
    81 schema:givenName Marie-José
    82 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011573217141.48
    83 rdf:type schema:Person
    84 sg:person.013555504353.31 schema:affiliation https://www.grid.ac/institutes/grid.4444.0
    85 schema:familyName Hebrard
    86 schema:givenName Emmanuel
    87 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013555504353.31
    88 rdf:type schema:Person
    89 sg:pub.10.1007/978-3-319-07046-9_23 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010039005
    90 https://doi.org/10.1007/978-3-319-07046-9_23
    91 rdf:type schema:CreativeWork
    92 sg:pub.10.1007/978-3-540-30201-8_41 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021571811
    93 https://doi.org/10.1007/978-3-540-30201-8_41
    94 rdf:type schema:CreativeWork
    95 sg:pub.10.1007/978-3-642-29828-8_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016303224
    96 https://doi.org/10.1007/978-3-642-29828-8_15
    97 rdf:type schema:CreativeWork
    98 sg:pub.10.1007/s10601-008-9061-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027173210
    99 https://doi.org/10.1007/s10601-008-9061-0
    100 rdf:type schema:CreativeWork
    101 https://doi.org/10.1016/j.artint.2006.03.002 schema:sameAs https://app.dimensions.ai/details/publication/pub.1045447753
    102 rdf:type schema:CreativeWork
    103 https://www.grid.ac/institutes/grid.424413.4 schema:alternateName Airbus (France)
    104 schema:name Airbus Defence and Space, Toulouse, France
    105 LAAS-CNRS, Université de Toulouse, CNRS, INSA, Toulouse, France
    106 rdf:type schema:Organization
    107 https://www.grid.ac/institutes/grid.4444.0 schema:alternateName French National Centre for Scientific Research
    108 schema:name LAAS-CNRS, Université de Toulouse, CNRS, INSA, Toulouse, France
    109 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...