Search

In situ satellite exploration of the lower thermosphere-ionosphere system (LTI) as anticipated in the recent Daedalus mission proposal to ESA will be essential to advance the understanding of the interface between the Earth's atmosphere and its space environment. To address physical processes also below perigee, in situ measurements are to be extrapolated using models of the LTI. Motivated by the need for assessing how cost-critical mission elements such as perigee and apogee distances as well as the number of spacecraft affect the accuracy of scientific inference in the LTI, the Daedalus Ionospheric Profile Continuation (DIPCont) project is concerned with the attainable quality of in situ measurement extrapolation for different mission parameters and configurations. This report introduces the methodological framework of the DIPCont approach. Once an LTI model is chosen, ensembles of model parameters are created by means of Monte Carlo simulations using synthetic measurements based on model predictions and relative uncertainties as specified in the Daedalus Report for Assessment. The parameter ensembles give rise to ensembles of model altitude profiles for LTI variables of interest. Extrapolation quality is quantified by statistics derived from the altitude profile ensembles. The vertical extent of meaningful profile continuation is captured by the concept of extrapolation horizons defined as the boundaries of regions where the deviations remain below a prescribed error threshold. To demonstrate the methodology, the initial version of the DIPCont package presented in this paper contains a simplified LTI model with a small number of parameters. As a major source of variability, the pronounced change in temperature across the LTI is captured by self-consistent non-isothermal neutral-density and electron density profiles, constructed from scale height profiles that increase linearly with altitude. The resulting extrapolation horizons are presented for dual-satellite me

In situ satellite exploration of the lower thermosphere-ionosphere system (LTI) as anticipated in the recent Daedalus mission proposal to ESA will be essential to advance the understanding of the interface between the Earth's atmosphere and its space environment. To address physical processes also below perigee, in situ measurements are to be extrapolated using models of the LTI. Motivated by the need for assessing how cost-critical mission elements such as perigee and apogee distances as well as the number of spacecraft affect the accuracy of scientific inference in the LTI, the Daedalus Ionospheric Profile Continuation (DIPCont) project is concerned with the attainable quality of in situ measurement extrapolation for different mission parameters and configurations. This report introduces the methodological framework of the DIPCont approach. Once an LTI model is chosen, ensembles of model parameters are created by means of Monte Carlo simulations using synthetic measurements based on model predictions and relative uncertainties as specified in the Daedalus Report for Assessment. The parameter ensembles give rise to ensembles of model altitude profiles for LTI variables of interest. Extrapolation quality is quantified by statistics derived from the altitude profile ensembles. The vertical extent of meaningful profile continuation is captured by the concept of extrapolation horizons defined as the boundaries of regions where the deviations remain below a prescribed error threshold. To demonstrate the methodology, the initial version of the DIPCont package presented in this paper contains a simplified LTI model with a small number of parameters. As a major source of variability, the pronounced change in temperature across the LTI is captured by self-consistent non-isothermal neutral-density and electron density profiles, constructed from scale height profiles that increase linearly with altitude. The resulting extrapolation horizons are presented for dual-satellite me

In situ satellite exploration of the lower thermosphere-ionosphere system (LTI) as anticipated in the recent Daedalus mission proposal to ESA will be essential to advance the understanding of the interface between the Earth's atmosphere and its space environment. To address physical processes also below perigee, in situ measurements are to be extrapolated using models of the LTI. Motivated by the need for assessing how cost-critical mission elements such as perigee and apogee distances as well as the number of spacecraft affect the accuracy of scientific inference in the LTI, the Daedalus Ionospheric Profile Continuation (DIPCont) project is concerned with the attainable quality of in situ measurement extrapolation for different mission parameters and configurations. This report introduces the methodological framework of the DIPCont approach. Once an LTI model is chosen, ensembles of model parameters are created by means of Monte Carlo simulations using synthetic measurements based on model predictions and relative uncertainties as specified in the Daedalus Report for Assessment. The parameter ensembles give rise to ensembles of model altitude profiles for LTI variables of interest. Extrapolation quality is quantified by statistics derived from the altitude profile ensembles. The vertical extent of meaningful profile continuation is captured by the concept of extrapolation horizons defined as the boundaries of regions where the deviations remain below a prescribed error threshold. To demonstrate the methodology, the initial version of the DIPCont package presented in this paper contains a simplified LTI model with a small number of parameters. As a major source of variability, the pronounced change in temperature across the LTI is captured by self-consistent non-isothermal neutral-density and electron density profiles, constructed from scale height profiles that increase linearly with altitude. The resulting extrapolation horizons are presented for dual-satellite me

In situ satellite exploration of the lower thermosphere-ionosphere system (LTI) as anticipated in the recent Daedalus mission proposal to ESA will be essential to advance the understanding of the interface between the Earth's atmosphere and its space environment. To address physical processes also below perigee, in situ measurements are to be extrapolated using models of the LTI. Motivated by the need for assessing how cost-critical mission elements such as perigee and apogee distances as well as the number of spacecraft affect the accuracy of scientific inference in the LTI, the Daedalus Ionospheric Profile Continuation (DIPCont) project is concerned with the attainable quality of in situ measurement extrapolation for different mission parameters and configurations. This report introduces the methodological framework of the DIPCont approach. Once an LTI model is chosen, ensembles of model parameters are created by means of Monte Carlo simulations using synthetic measurements based on model predictions and relative uncertainties as specified in the Daedalus Report for Assessment. The parameter ensembles give rise to ensembles of model altitude profiles for LTI variables of interest. Extrapolation quality is quantified by statistics derived from the altitude profile ensembles. The vertical extent of meaningful profile continuation is captured by the concept of extrapolation horizons defined as the boundaries of regions where the deviations remain below a prescribed error threshold. To demonstrate the methodology, the initial version of the DIPCont package presented in this paper contains a simplified LTI model with a small number of parameters. As a major source of variability, the pronounced change in temperature across the LTI is captured by self-consistent non-isothermal neutral-density and electron density profiles, constructed from scale height profiles that increase linearly with altitude. The resulting extrapolation horizons are presented for dual-satellite me

In situ satellite exploration of the lower thermosphere-ionosphere system (LTI) as anticipated in the recent Daedalus mission proposal to ESA will be essential to advance the understanding of the interface between the Earth's atmosphere and its space environment. To address physical processes also below perigee, in situ measurements are to be extrapolated using models of the LTI. Motivated by the need for assessing how cost-critical mission elements such as perigee and apogee distances as well as the number of spacecraft affect the accuracy of scientific inference in the LTI, the Daedalus Ionospheric Profile Continuation (DIPCont) project is concerned with the attainable quality of in situ measurement extrapolation for different mission parameters and configurations. This report introduces the methodological framework of the DIPCont approach. Once an LTI model is chosen, ensembles of model parameters are created by means of Monte Carlo simulations using synthetic measurements based on model predictions and relative uncertainties as specified in the Daedalus Report for Assessment. The parameter ensembles give rise to ensembles of model altitude profiles for LTI variables of interest. Extrapolation quality is quantified by statistics derived from the altitude profile ensembles. The vertical extent of meaningful profile continuation is captured by the concept of extrapolation horizons defined as the boundaries of regions where the deviations remain below a prescribed error threshold. To demonstrate the methodology, the initial version of the DIPCont package presented in this paper contains a simplified LTI model with a small number of parameters. As a major source of variability, the pronounced change in temperature across the LTI is captured by self-consistent non-isothermal neutral-density and electron density profiles, constructed from scale height profiles that increase linearly with altitude. The resulting extrapolation horizons are presented for dual-satellite me

The two standard branching schemes for CSPs are d-way and 2-way branching. Although it has been shown that in theory the latter can be exponentially more effective than the former, there is a lack of empirical evidence showing such differences. To investigate this, we initially make an experimental comparison of the two branching schemes over a wide range of benchmarks. Experimental results verify the theoretical gap between d-way and 2-way branching as we move from a simple variable ordering heuristic like dom to more sophisticated ones like dom/ddeg. However, perhaps surprisingly, experiments also show that when state-of-the-art variable ordering heuristics like dom/wdeg are used then d-way can be clearly more efficient than 2-way branching in many cases. Motivated by this observation, we develop two generic heuristics that can be applied at certain points during search to decide whether 2-way branching or a restricted version of 2-way branching, which is close to d-way branching, will be followed. The application of these heuristics results in an adaptive branching scheme. Experiments with instantiations of the two generic heuristics confirm that search with adaptive branching outperforms search with a fixed branching scheme on a wide range of problems., Comment: To appear in Proceedings of the 19th European Conference on Artificial Intelligence - ECAI 2010

The search strategy of a CP solver is determined by the variable and value ordering heuristics it employs and by the branching scheme it follows. Although the effects of variable and value ordering heuristics on search effort have been widely studied, the effects of different branching schemes have received less attention. In this paper we study this effect through an experimental evaluation that includes standard branching schemes such as 2-way, d-way, and dichotomic domain splitting, as well as variations of set branching where branching is performed on sets of values. We also propose and evaluate a generic approach to set branching where the partition of a domain into sets is created using the scores assigned to values by a value ordering heuristic, and a clustering algorithm from machine learning. Experimental results demonstrate that although exponential differences between branching schemes, as predicted in theory between 2-way and d-way branching, are not very common, still the choice of branching scheme can make quite a difference on certain classes of problems. Set branching methods are very competitive with 2-way branching and outperform it on some problem classes. A statistical analysis of the results reveals that our generic clustering-based set branching method is the best among the methods compared., Comment: To appear in the 3rd workshop on techniques for implementing constraint programming systems (TRICS workshop at the 16th CP Conference), St. Andrews, Scotland 2010

Max Restricted Path Consistency (maxRPC) is a local consistency for binary constraints that can achieve considerably stronger pruning than arc consistency. However, existing maxRRC algorithms suffer from overheads and redundancies as they can repeatedly perform many constraint checks without triggering any value deletions. In this paper we propose techniques that can boost the performance of maxRPC algorithms. These include the combined use of two data structures to avoid many redundant constraint checks, and heuristics for the efficient ordering and execution of certain operations. Based on these, we propose two closely related algorithms. The first one which is a maxRPC algorithm with optimal O(end^3) time complexity, displays good performance when used stand-alone, but is expensive to apply during search. The second one approximates maxRPC and has O(en^2d^4) time complexity, but a restricted version with O(end^4) complexity can be very efficient when used during search. Both algorithms have O(ed) space complexity. Experimental results demonstrate that the resulting methods constantly outperform previous algorithms for maxRPC, often by large margins, and constitute a more than viable alternative to arc consistency on many problems.

A key factor that can dramatically reduce the search space during constraint solving is the criterion under which the variable to be instantiated next is selected. For this purpose numerous heuristics have been proposed. Some of the best of such heuristics exploit information about failures gathered throughout search and recorded in the form of constraint weights, while others measure the importance of variable assignments in reducing the search space. In this work we experimentally evaluate the most recent and powerful variable ordering heuristics, and new variants of them, over a wide range of benchmarks. Results demonstrate that heuristics based on failures are in general more efficient. Based on this, we then derive new revision ordering heuristics that exploit recorded failures to efficiently order the propagation list when arc consistency is maintained during search. Interestingly, in addition to reducing the number of constraint checks and list operations, these heuristics are also able to cut down the size of the explored search tree., Comment: To appear in the Journal Fundamenta Informaticae (FI) IOS Press