Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
Full Text
See detailAutomates et vérification
Wolper, Pierre ULg

in Encyclopédie de l'informatique et des systèmes d'information (2006)

La vérification de programmes consiste à analyser les comportements possibles de programmes en vue de déterminer s’ils seront toujours conformes à ce qui est attendu. Pour ce faire, les caractéristiques ... [more ▼]

La vérification de programmes consiste à analyser les comportements possibles de programmes en vue de déterminer s’ils seront toujours conformes à ce qui est attendu. Pour ce faire, les caractéristiques souhaitées des comportements sont exprimées formellement et confrontées, par des techniques mathématiques rigoureuses, à l’ensemble des comportements du programme à analyser. Dans ce contexte, les automates jouent un triple rôle. Tout d’abord, ils sont fréquemment utilisés en tant que langage de programmation simplifié pour décrire les programmes à analyser. Ensuite, ils servent de formalisme de description de propriétés de comportements, soit directement, soit par traduction à partir d’un langage logique. Finalement, ils s’avèrent très utiles en tant que formalisme de description d’ensembles infinis de valeurs. [less ▲]

Detailed reference viewed: 79 (20 ULg)
Full Text
Peer Reviewed
See detailAutomatic 1958-2007 daily weather pattern classification applied to an analysis of climatic conditions of wildfires in eastern Belgium
Erpicum, Michel ULg; Fettweis, Xavier ULg; Mabille, Georges ULg et al

Poster (2008, April)

The daily atmospheric circulation patterns classification is founded on a 100 km regular grid centred on Belgium. The geopotential heights of 500, 850 and 1000 hPa levels were extracted <br />from the ERA ... [more ▼]

The daily atmospheric circulation patterns classification is founded on a 100 km regular grid centred on Belgium. The geopotential heights of 500, 850 and 1000 hPa levels were extracted <br />from the ERA-40 database on the period 1958-2002 and from ECMWF operational analysis until the end of year 2007. The classification was based on a similarity index calculated on the orientation of exaggerated slopes of different daily geopotential fields. Wildfire occurrences were analyzed in April and September (which are the two months with the most frequent wildfire-days in Belgium) together with monthly frequencies and persistences of daily atmospheric circulation pattern classes as well as with yearly variability of weather climate conditions. [less ▲]

Detailed reference viewed: 36 (5 ULg)
Full Text
Peer Reviewed
See detailAn automatic adaptative remeshing for modelling of shear band
Bille, Jean Philippe; Charlier, Robert ULg; Dyduch, Marek

in Proc. of the 3rd European Conf. on Num. Meth. in Geotechnical Eng., ECONMIG'94 (1994, September)

Detailed reference viewed: 13 (4 ULg)
Peer Reviewed
See detailAutomatic adaptive remeshing for numerical simulation of forging
Dyduch, M.; Habraken, Anne ULg

in Actes de la Conférence européenne sur les nouvelles avancées en calcul des structures (1991)

Detailed reference viewed: 11 (3 ULg)
Peer Reviewed
See detailAutomatic adaptive remeshing for numerical simulations of metalforming
Dyduch, M.; Habraken, Anne ULg; Cescotto, Serge ULg

in Computer Methods in Applied Mechanics & Engineering (1992), 101

Detailed reference viewed: 10 (3 ULg)
Full Text
Peer Reviewed
See detailAutomatic Aircraft Cargo Load Planning with Pick-up and Delivery
Lurkin, Virginie ULg; Schyns, Michael ULg

Conference (2013, March 15)

This research aims to develop a new mixed integer linear program to solve the containers assignment problem when pickup and deliveries are considered. Given a pool of ULDs and an aircraft with multiple ... [more ▼]

This research aims to develop a new mixed integer linear program to solve the containers assignment problem when pickup and deliveries are considered. Given a pool of ULDs and an aircraft with multiple destinations, we want to obtain a loading plan determining at which positions the ULDs must be assigned in order to minimize simultaneous the quantity of fuel consumed and the number of re-handles. The loading plan should also ensure a number of structural, safety and manoeuvrability constraints. The model has been tested on real instances and provides encouraging results. [less ▲]

Detailed reference viewed: 76 (24 ULg)
See detailAutomatic Aircraft Cargo Load Planning with Pick-up and Delivery
Lurkin, Virginie ULg; Schyns, Michael ULg

Conference (2013, February 07)

This research aims to develop a new mixed integer linear program to solve the containers assignment problem when pickup and deliveries are considered. Given a pool of ULDs and an aircraft with multiple ... [more ▼]

This research aims to develop a new mixed integer linear program to solve the containers assignment problem when pickup and deliveries are considered. Given a pool of ULDs and an aircraft with multiple destinations, we want to obtain a loading plan determining at which positions the ULDs must be assigned in order to minimize simultaneous the quantity of fuel consumed and the number of re-handles. The loading plan should also ensure a number of structural, safety and manoeuvrability constraints. The model has been tested on real instances and provides encouraging results. [less ▲]

Detailed reference viewed: 88 (19 ULg)
Full Text
Peer Reviewed
See detailAutomatic Aircraft Load Planning
Limbourg, Sabine ULg; Schyns, Michael ULg; Laporte, Gilbert

in Journal of the Operational Research Society (2012), 63

The goal of this paper is the development of a new mixed integer linear program designed for optimally loading a set of containers and pallets into a compartmentalised cargo aircraft. It is based on real ... [more ▼]

The goal of this paper is the development of a new mixed integer linear program designed for optimally loading a set of containers and pallets into a compartmentalised cargo aircraft. It is based on real-world problems submitted by a professional partner. This model takes into account strict technical and safety constraints. In addition to the standard goal of optimally positioning the centre of gravity, we also propose a new approach based on the moment of inertia. This double goal implies an increase in aircraft efficiency and a decrease in fuel consumption. Cargo loading generally remains a manual, or at best a computer assisted, and time consuming task. A fully automatic software was developed to quickly compute optimal solutions. Experimental results show that our approach achieves better solutions than manual planning, within only a few seconds. [less ▲]

Detailed reference viewed: 374 (76 ULg)
Full Text
Peer Reviewed
See detailAutomatic artifact detection for whole-night polysomnographic sleep recordings
Coppieters't Wallant, Dorothée ULg; Chellappa, Sarah Laxhmi ULg; Gaggioni, Giulia ULg et al

Poster (2014, September 17)

Detecting of bad channels and artifacts for whole-night polysomnographic recordings is very time consuming and tedious. We therefore developed an automatic procedure to automatize this job.

Detailed reference viewed: 14 (8 ULg)
Full Text
Peer Reviewed
See detailAutomatic biorythms description from actigraphic data
González y Viagas, Miguel ULg; Ly, Julien ULg; Gaggioni, Giulia ULg et al

Poster (2014, September)

Detailed reference viewed: 24 (2 ULg)
Full Text
Peer Reviewed
See detailAutomatic brain image reading for the differential diagnosis between atypical parkinsonian syndromes & Parkinson's disease
Garraux, Gaëtan ULg; Phillips, Christophe ULg; Lemaire, Christian ULg et al

in Movement Disorders : Official Journal of the Movement Disorder Society (2010), 25(7), 379-379

Detailed reference viewed: 65 (5 ULg)
Peer Reviewed
See detailAutomatic Building and Supervised Discrimination Learning of Appearance Models of 3-D Object
Delanoy, Richard L.; Verly, Jacques ULg; Dudgeon, Dan E.

Conference (1992, April)

Detailed reference viewed: 3 (0 ULg)
See detailAUTOMATIC CARGO LOAD PLANNING
Limbourg, Sabine ULg

Conference (2010, December 14)

The aircraft loading problem is a real-world combinatorial optimisation problem highly constrained. Indeed, loading the aircraft so the gross weight is less than the maximum allowable is not enough. This ... [more ▼]

The aircraft loading problem is a real-world combinatorial optimisation problem highly constrained. Indeed, loading the aircraft so the gross weight is less than the maximum allowable is not enough. This weight must be distributed to keep the centre of gravity (CG) within specified limits. Balance control refers to the location of the CG. Both lateral and longitudinal balances are important in order to minimize fuel consumption and to satisfy stability and safety requirements. Moreover, an aircraft has usually several cargo compartments with specific contours and structural limitations such as floor loading, combined load limits and cumulative load limitations. The topic of this talk is the description of a mixed integer linear program for the problem of loading a set of Unit Loading Devices (ULDs) and bulk into an aircraft. An ULD can be a container or a pallet and is characterised by the type, contour, weight and height. Experimental results for real data sets show that the model achieves better balanced solutions in only a few seconds compared to the solution obtained by load masters. [less ▲]

Detailed reference viewed: 45 (1 ULg)
Full Text
Peer Reviewed
See detailAutomatic Cargo Load Planning
Limbourg, Sabine ULg; Schyns, Michael ULg; Laporte, Gilbert

in Proceedings (2011, March 02)

The goal of this paper is the development of a new mixed integer linear pro- gram designed for optimally loading a set of containers and pallets into a compartmentalised cargo aircraft. It is based on ... [more ▼]

The goal of this paper is the development of a new mixed integer linear pro- gram designed for optimally loading a set of containers and pallets into a compartmentalised cargo aircraft. It is based on real-world problems submitted by a professional partner. This model takes into account strict technical and safety constraints. In addition to the standard goal of optimally positioning the centre of gravity, we also propose a new approach based on the moment of inertia. This double goal implies an increase in aircraft efficiency and a decrease in fuel consumption. Cargo loading generally remains a manual, or at best a computer assisted, and time consuming task. A fully automatic software was developed to quickly compute optimal solutions. Experimental results show that our approach achieves better solutions than manual planning, within only a few seconds. [less ▲]

Detailed reference viewed: 70 (12 ULg)
Full Text
Peer Reviewed
See detailAutomatic Cargo Load Planning: Special shipments
Kleyntssens, Thomas ULg; Limbourg, Sabine ULg; Schyns, Michael ULg

in ILS 2012 Proceedings (2012, August 28)

The aircraft loading problem is a real-world combinatorial optimisation problem highly constrained. Indeed, loading the aircraft so the gross weight is less than the maximum allowable is not enough. This ... [more ▼]

The aircraft loading problem is a real-world combinatorial optimisation problem highly constrained. Indeed, loading the aircraft so the gross weight is less than the maximum allowable is not enough. This weight must be distributed to keep the centre of gravity within specified limits. Moreover, an aircraft has usually several cargo compartments with specific contours and structural limitations such as floor loading, combined load limits and cumulative load limitations. Finally, some shipments are particularly restrictive to transport, like dangerous goods, live animals and perishable goods. This paper is concerned with the incorporation of these latter constraints in a mixed integer linear program for the problem of loading a set of Unit Loading Devices and bulk into an aircraft. Experimental results show that our method achieves optimal solutions within only few seconds. [less ▲]

Detailed reference viewed: 78 (8 ULg)
Full Text
See detailAutomatic Cargo Load Planning: Special shipments
Limbourg, Sabine ULg; Schyns, Michael ULg

Scientific conference (2011, May 25)

The aircraft loading problem is a real-world combinatorial optimisation problem highly constrained. Indeed, loading the aircraft so the gross weight is less than the maximum allowable is not enough. This ... [more ▼]

The aircraft loading problem is a real-world combinatorial optimisation problem highly constrained. Indeed, loading the aircraft so the gross weight is less than the maximum allowable is not enough. This weight must be distributed to keep the centre of gravity (CG) within specified limits. Moreover, an aircraft has usually several cargo compartments with specific contours and structural limitations such as floor loading, combined load limits and cumulative load limitations. Finally, some shipments are particularly restrictive to transport, like dangerous goods, live animals and perishable goods. This paper is concerned with the incorporation of these latter constraints in a mixed integer linear program for the problem of loading a set of Unit Loading Devices (ULDs) and bulk into an aircraft. Experimental results for real data sets show that the model achieves better balanced solutions in only a few seconds compared to the solution obtained by load masters. [less ▲]

Detailed reference viewed: 32 (0 ULg)
Full Text
See detailAutomatic Cargo Load Planning: Special shipments
Limbourg, Sabine ULg; Schyns, Michael ULg

in Cornelis, Eric (Ed.) Proceedings of the BIVEC-GIBET Transport Research Day 2011 (2011)

The aircraft loading problem is a real-world combinatorial optimisation problem highly constrained. Indeed, loading the aircraft so the gross weight is less than the maximum allowable is not enough. This ... [more ▼]

The aircraft loading problem is a real-world combinatorial optimisation problem highly constrained. Indeed, loading the aircraft so the gross weight is less than the maximum allowable is not enough. This weight must be distributed to keep the centre of gravity (CG) within specified limits. Moreover, an aircraft has usually several cargo compartments with specific contours and structural limitations such as floor loading, combined load limits and cumulative load limitations. Finally, some shipments are particularly restrictive to transport, like dangerous goods, live animals and perishable goods. This paper is concerned with the incorporation of these latter constraints in a mixed integer linear program for the problem of loading a set of Unit Loading Devices (ULDs) and bulk into an aircraft. Experimental results for real data sets show that the model achieves better balanced solutions in only a few seconds compared to the solution obtained by load masters. [less ▲]

Detailed reference viewed: 50 (8 ULg)