The multi-vehicle profitable pick up and delivery routing problem with uncertain travel times

Abstract This paper addresses a variant of the known selective pickup and delivery problem with time windows. In this problem, a fleet composed of several vehicles with a given capacity should satisfy a set of customers requests consisting in transporting goods from a supplier (pickup location) to a customer (delivery location). The selective aspect consists in choosing the customers to be served on the basis of the profit collected for the service. Motivated by urban settings, wherein road congestion is an important issue, in this paper, we address the profitable pickup and delivery problem with time windows with uncertain travel times. The problem under this assumption, becomes much more involved. The goal is to find the solution that maximizes the net profit, expressed as the difference between the collected revenue, the route cost and the cost associated to the violation the time windows. This study introduces the problem and develops a solution approach to solve it. Very preliminary tests are performed in order to show the efficiency of developed method to cope with the problem at hand

Coordination of Dynamic Software Components with JavaBIP

JavaBIP allows the coordination of software components by clearly separating the functional and coordination aspects of the system behavior. JavaBIP implements the principles of the BIP component framework rooted in rigorous operational semantics. Recent work both on BIP and JavaBIP allows the coordination of static components defined prior to system deployment, i.e., the architecture of the coordinated system is fixed in terms of its component instances. Nevertheless, modern systems, often make use of components that can register and deregister dynamically during system execution. In this paper, we present an extension of JavaBIP that can handle this type of dynamicity. We use first-order interaction logic to define synchronization constraints based on component types. Additionally, we use directed graphs with edge coloring to model dependencies among components that determine the validity of an online system. We present the software architecture of our implementation, provide and discuss performance evaluation results.Comment: Technical report that accompanies the paper accepted at the 14th International Conference on Formal Aspects of Component Softwar

Adaptability checking in complex systems

A hierarchical approach for modelling the adaptability features of complex systems is introduced. It is based on a structural level S, describing the adaptation dynamics of the system, and a behavioural level B accounting for the description of the admissible dynamics of the system. Moreover, a unified system, called S[B]S[B], is defined by coupling S and B. The adaptation semantics is such that the S level imposes structural constraints on the B level, which has to adapt whenever it no longer can satisfy them. In this context, we introduce weak and strong adaptability, i.e. the ability of a system to adapt for some evolution paths or for all possible evolutions, respectively. We provide a relational characterisation for these two notions and we show that adaptability checking, i.e. deciding if a system is weakly or strongly adaptable, can be reduced to a CTL model checking problem. We apply the model and the theoretical results to the case study of a motion controller of autonomous transport vehicles

Soil organic carbon models need independent time-series validation for reliable prediction

Numerical models are crucial to understand and/or predict past and future soil organic carbon dynamics. For those models aiming at prediction, validation is a critical step to gain confidence in projections. With a comprehensive review of ~250 models, we assess how models are validated depending on their objectives and features, discuss how validation of predictive models can be improved. We find a critical lack of independent validation using observed time series. Conducting such validations should be a priority to improve the model reliability. Approximately 60% of the models we analysed are not designed for predictions, but rather for conceptual understanding of soil processes. These models provide important insights by identifying key processes and alternative formalisms that can be relevant for predictive models. We argue that combining independent validation based on observed time series and improved information flow between predictive and conceptual models will increase reliability in predictions

Angular and Current-Target Correlations in Deep Inelastic Scattering at HERA

Correlations between charged particles in deep inelastic ep scattering have been studied in the Breit frame with the ZEUS detector at HERA using an integrated luminosity of 6.4 pb-1. Short-range correlations are analysed in terms of the angular separation between current-region particles within a cone centred around the virtual photon axis. Long-range correlations between the current and target regions have also been measured. The data support predictions for the scaling behaviour of the angular correlations at high Q2 and for anti-correlations between the current and target regions over a large range in Q2 and in the Bjorken scaling variable x. Analytic QCD calculations and Monte Carlo models correctly describe the trends of the data at high Q2, but show quantitative discrepancies. The data show differences between the correlations in deep inelastic scattering and e+e- annihilation.Comment: 26 pages including 10 figures (submitted to Eur. J. Phys. C

Plastisol Foaming Process. Decomposition of the Foaming Agent, Polymer Behavior in the Corresponding Temperature Range and Resulting Foam Properties

The decomposition of azodicarbonamide, used as foaming agent in PVC - plasticizer (1/1) plastisols was studied by DSC. Nineteen different plasticizers, all belonging to the ester family, two being polymeric (polyadipates), were compared. The temperature of maximum decomposition rate (in anisothermal regime at 5 K min-1 scanning rate), ranges between 434 and 452 K. The heat of decomposition ranges between 8.7 and 12.5 J g -1. Some trends of variation of these parameters appear significant and are discussed in terms of solvent (matrix) and viscosity effects on the decomposition reactions. The shear modulus at 1 Hz frequency was determined at the temperature of maximum rate of foaming agent decomposition, and differs significantly from a sample to another. The foam density was determined at ambient temperature and the volume fraction of bubbles was used as criterion to judge the efficiency of the foaming process. The results reveal the existence of an optimal shear modulus of the order of 2 kPa that corresponds roughly to plasticizer molar masses of the order of 450 ± 50 g mol-1. Heavier plasticizers, especially polymeric ones are too difficult to deform. Lighter plasticizers such as diethyl phthalate (DEP) deform too easily and presumably facilitate bubble collapse

SLITRK2, an X-linked modifier of the age at onset in C9orf72 frontotemporal lobar degeneration

The G4C2-repeat expansion in C9orf72 is the most common cause of frontotemporal dementia and of amyotrophic lateral sclerosis. The variability of age at onset and phenotypic presentations is a hallmark of C9orf72 disease. In this study, we aimed to identify modifying factors of disease onset in C9orf72 carriers using a family-based approach, in pairs of C9orf72 carrier relatives with concordant or discordant age at onset. Linkage and association analyses provided converging evidence for a locus on chromosome Xq27.3. The minor allele A of rs1009776 was associated with an earlier onset (P = 1 × 10-5). The association with onset of dementia was replicated in an independent cohort of unrelated C9orf72 patients (P = 0.009). The protective major allele delayed the onset of dementia from 5 to 13 years on average depending on the cohort considered. The same trend was observed in an independent cohort of C9orf72 patients with extreme deviation of the age at onset (P = 0.055). No association of rs1009776 was detected in GRN patients, suggesting that the effect of rs1009776 was restricted to the onset of dementia due to C9orf72. The minor allele A is associated with a higher SLITRK2 expression based on both expression quantitative trait loci (eQTL) databases and in-house expression studies performed on C9orf72 brain tissues. SLITRK2 encodes for a post-synaptic adhesion protein. We further show that synaptic vesicle glycoprotein 2 and synaptophysin, two synaptic vesicle proteins, were decreased in frontal cortex of C9orf72 patients carrying the minor allele. Upregulation of SLITRK2 might be associated with synaptic dysfunctions and drives adverse effects in C9orf72 patients that could be modulated in those carrying the protective allele. How the modulation of SLITRK2 expression affects synaptic functions and influences the disease onset of dementia in C9orf72 carriers will require further investigations. In summary, this study describes an original approach to detect modifier genes in rare diseases and reinforces rising links between C9orf72 and synaptic dysfunctions that might directly influence the occurrence of first symptoms