Hybrid constraint programming and metaheuristic methods for large scale optimization problems

This work presents hybrid Constraint Programming (CP) and metaheuristic methods for the solution of Large Scale Optimization Problems; it aims at integrating concepts and mechanisms from the metaheuristic methods to a CP-based tree search environment in order to exploit the advantages of both approaches. The modeling and solution of large scale combinatorial optimization problem is a topic which has arisen the interest of many researcherers in the Operations Research field; combinatorial optimization problems are widely spread in everyday life and the need of solving difficult problems is more and more urgent. Metaheuristic techniques have been developed in the last decades to effectively handle the approximate solution of combinatorial optimization problems; we will examine metaheuristics in detail, focusing on the common aspects of different techniques. Each metaheuristic approach possesses its own peculiarities in designing and guiding the solution process; our work aims at recognizing components which can be extracted from metaheuristic methods and re-used in different contexts. In particular we focus on the possibility of porting metaheuristic elements to constraint programming based environments, as constraint programming is able to deal with feasibility issues of optimization problems in a very effective manner. Moreover, CP offers a general paradigm which allows to easily model any type of problem and solve it with a problem-independent framework, differently from local search and metaheuristic methods which are highly problem specific. In this work we describe the implementation of the Local Branching framework, originally developed for Mixed Integer Programming, in a CP-based environment. Constraint programming specific features are used to ease the search process, still mantaining an absolute generality of the approach. We also propose a search strategy called Sliced Neighborhood Search, SNS, that iteratively explores slices of large neighborhoods of an incumbent solution by performing CP-based tree search and encloses concepts from metaheuristic techniques. SNS can be used as a stand alone search strategy, but it can alternatively be embedded in existing strategies as intensification and diversification mechanism. In particular we show its integration within the CP-based local branching. We provide an extensive experimental evaluation of the proposed approaches on instances of the Asymmetric Traveling Salesman Problem and of the Asymmetric Traveling Salesman Problem with Time Windows. The proposed approaches achieve good results on practical size problem, thus demonstrating the benefit of integrating metaheuristic concepts in CP-based frameworks.

Sets and Supersets

Peer reviewed

Sets and Supersets

Peer reviewed

Diversity of accuracy profiles for absolute pitch recognition

Most advanced musicians are able to identify and label a heard pitch if given an opportunity to compare it to a known reference note. This is called ‘relative pitch’ (RP). A much rarer skill is the ability to identify and label a heard pitch without the need for a reference. This is colloquially referred to as ‘perfect pitch’, but appears in the academic literature as ‘absolute pitch’ (AP). AP is considered by many as a remarkable skill. As people do not seem able to develop it intentionally, it is generally regarded as innate. It is often seen as a unitary skill and that a set of identifiable criteria can distinguish those who possess the skill from those who do not. However, few studies have interrogated these notions. The present study developed and applied an interactive computer program to map pitch-labelling responses to various tonal stimuli without a known reference tone available to participants. This approach enabled the identification of the elements of sound that impacted on AP. Pitch-labelling responses of 14 participants with AP were recorded for their accuracy. Each participant’s response to the stimuli was unique. Their accuracy of labelling varied across dimensions such as timbre, range and tonality. The diversity of performance between individuals appeared to reflect their personal musical experience histories.

Legal, cultural and practical developments in responding to female genital mutilation : can an absolute human right emerge?

Female genital mutilation (FGM) is a cultural practice involving the deliberate, non-therapeutic physical modification of young girls’ genitalia. FGM can take several forms, ranging from smaller incisions, to removal of the clitoris and labia, and narrowing or even closing of the vagina. FGM predates and has no basis in the Koran, or any other religious text. Rather, it is a cultural tradition, particularly common in Islamic societies in regions of Africa, motivated by a patriarchal society’s desire to control female bodies and lives. The primary reason for this desire for control is to ensure virginity at marriage, thereby preserving family honour, within a patriarchal social structure where females’ value as persons is intrinsically connected to, and limited to, their worth as virgin brides. Recent efforts at legal prohibition and practical eradication in a growing number of African nations mark a significant turning point in how societies treat females. This shift in cultural power has been catalysed by a concern for female health, but it has also been motivated by an impulse to promote the human rights of girls and women. Although FGM remains widely practiced and there is much progress yet to be made before its eradication, the rights-based approach which has grown in strength embodies a marked shift in cultural power which reflects progress in women’s and children’s rights in the Western world, but which is now being applied in a different cultural context. This chapter reviews the nature of FGM, its prevalence, and health consequences. It discusses recent legal, cultural and practical developments, especially in African nations. Finally, this chapter raises the possibility that an absolute human right against FGM may emerge.

An examination of MS candidate genes identified as differentially regulated in multiple sclerosis plaque tissue, using absolute and comparative real-time Q-PCR analysis

In our laboratory, we have developed methods in real-time detection and quantitative-polymerase chain reaction (Q-PCR) to analyse the relative levels of gene expression in post mortem brain tissues. We have then applied this method to examine differences in gene activity between normal white matter (NWM) and plaque tissue from multiple sclerosis (MS) patients. Genes were selected based on their association with pathology and through identification by previously conducted global gene expression analysis. Plaque tissue was obtained from secondary progressive (SP) patients displaying chronic active, as well as acute pathologies; while NWM from the same location was obtained from age- and sex-matched controls (normal patients). In this study, we used both SYBR Green I supplementation and commercially available mixes to assess both comparative and absolute levels of gene activity. The results of both methods compared favourably for four of the five genes examined (P < 0.05, Pearsons), while differences in gene expression between chronic active and acute pathologies were also identified. For example, a >50-fold increase in osteopontin (Spp1) and inositol 1-4-5 phosphate 3 kinase B (Itpkb) levels in acute plaques contrasted with the 5-fold or less increase in chronic active plaques (P < 0.05, unpaired t test). By contrast, there was no significant difference in the levels of the MS marker and calcium-dependent protease (Calpain, Capns1) in MS plaque tissue. In summary, Q-PCR analysis using SYBR Green I has allowed us to economically obtain what may be clinically significant information from small amounts of the CNS, providing an opportunity for further clinical investigations.

A case study of the Iranian national railway and its absolute capacity expansion using analytical models

Identifying railway capacity is an important task that can identify "in principal" whether the network can handle an intended traffic flow, and whether there is any free capacity left for additional train services. Capacity determination techniques can also be used to identify how best to improve an existing network, and at least cost. In this article an optimization approach has been applied to a case study of the Iran national railway, in order to identify its current capacity and to optimally expand it given a variety of technical conditions. This railway is very important in Iran and will be upgraded extensively in the coming years. Hence the conclusions in this article may help in that endeavor. A sensitivity analysis is recommended to evaluate a wider range of possible scenarios. Hence more useful lower and upper bounds can be provided for the performance of the system

Multi-objective models and techniques for analysing the absolute capacity of railway networks

Railway capacity determination and expansion are very important topics. In prior research, the competition between different entities such as train services and train types, on different network corridors however have been ignored, poorly modelled, or else assumed to be static. In response, a comprehensive set of multi-objective models have been formulated in this article to perform a trade-off analysis. These models determine the total absolute capacity of railway networks as the most equitable solution according to a clearly defined set of competing objectives. The models also perform a sensitivity analysis of capacity with respect to those competing objectives. The models have been extensively tested on a case study and their significant worth is shown. The models were solved using a variety of techniques however an adaptive E constraint method was shown to be most superior. In order to identify only the best solution, a Simulated Annealing meta-heuristic was implemented and tested. However a linearization technique based upon separable programming was also developed and shown to be superior in terms of solution quality but far less in terms of computational time.

Incorporating complex train paths to an analysis of absolute capacity

Railways are an important mode of transportation. They are however large and complex and their construction, management and operation is time consuming and costly. Evidently planning the current and future activities is vital. Part of that planning process is an analysis of capacity. To determine what volume of traffic can be achieved over time, a variety of railway capacity analysis techniques have been created. A generic analytical approach that incorporates more complex train paths however has yet to be provided. This article provides such an approach. This article extends a mathematical model for determining the theoretical capacity of a railway network. The main contribution of this paper is the modelling of more complex train paths whereby each section can be visited many times in the course of a train’s journey. Three variant models are formulated and then demonstrated in a case study. This article’s numerical investigations have successively shown the applicability of the proposed models and how they may be used to gain insights into system performance.

VFT performance of a 180/110 mm co-axial gap in SF6 up to 4 bar absolute

Disconnector switch operation in GIS generates VFT voltages in the system. It is important, for insulation co-ordination purposes, to obtain accurate VFT V-t data for typical gap geometries found in GIS. This paper presents experimentally obtained VFT V-t data for a 180/1 lOmm co-axial gap. The VFT has a time to first peak of 35 ns and a oscillation frequency of 13,6 MHz. Due to the location of the voltage divider in a compartment adjacent to the gap, a correction factor of 1.1 is used to relate the measured breakdown voltage to that in the gap. Positive polarity VFT V-t data is presented for 1, 2, 3 and 4 bar absolute and negative polarity VFT data for 3 and 4 bar absolute. Two methods of generating the VFT's are used. The first is to power up the test transformer at power frequency. The second is to generate a switching impulse by discharging a capacitor into the primary of the test transformer.

Use of observed within-person variation of cardiac troponin in emergency department patients for determination of biological variation and percentage and absolute reference change values

BACKGROUND Many patients presenting to the emergency department (ED) for assessment of possible acute coronary syndrome (ACS) have low cardiac troponin concentrations that change very little on repeat blood draw. It is unclear if a lack of change in cardiac troponin concentration can be used to identify acutely presenting patients at low risk of ACS. METHODS We used the hs-cTnI assay from Abbott Diagnostics, which can detect cTnI in the blood of nearly all people. We identified a population of ED patients being assessed for ACS with repeat cTnI measurement who ultimately were proven to have no acute cardiac disease at the time of presentation. We used data from the repeat sampling to calculate total within-person CV (CV(T)) and, knowing the assay analytical CV (CV(A)), we could calculate within-person biological variation (CV(i)), reference change values (RCVs), and absolute RCV delta cTnI concentrations. RESULTS We had data sets on 283 patients. Men and women had similar CV(i) values of approximately 14%, which was similar at all concentrations <40 ng/L. The biological variation was not dependent on the time interval between sample collections (t = 1.5-17 h). The absolute delta critical reference change value was similar no matter what the initial cTnI concentration was. More than 90% of subjects had a critical reference change value <5 ng/L, and 97% had values of <10 ng/L. CONCLUSIONS With this hs-cTnI assay, delta cTnI seems to be a useful tool for rapidly identifying ED patients at low risk for possible ACS.

An absolute method for the determination of surface tension of liquids using pendent drop profiles

Drop formation at conical tips which is of relevance to metallurgists is investigated based on the principle of minimization of free energy using the variational approach. The dimensionless governing equations for drop profiles are computer solved using the fourth order Runge-Kutta method. For different cone angles, the theoretical plots of XT and ZT vs their ratio, are statistically analyzed, where XT and ZT are the dimensionless x and z coordinates of the drop profile at a plane at the conical tip, perpendicular to the axis of symmetry. Based on the mathematical description of these curves, an absolute method has been proposed for the determination of surface tension of liquids, which is shown to be preferable in comparison with the earlier pendent-drop profile methods.

Absolute quantitation of Marek's disease virus and Herpesvirus of turkeys in chicken lymphocyte, feather tip and dust samples using real-time PCR

The further development of Taqman quantitative real-time PCR (qPCR) assays for the absolute quantitation of Marek's disease virus serotype 1 (MDV1) and Herpesvirus of turkeys (HVT) viruses is described and the sensitivity and reproducibility of each assay reported. Using plasmid DNA copies, the lower limit of detection was determined to be 5 copies for the MDV1 assay and 75 copies for the HVT assay. Both assays were found to be highly reproducible for Ct values and calculated copy numbers with mean intra- and inter-assay coefficients of variation being less than 5% for Ct and 20% for calculated copy number. The genome copy number of MDV1 and HVT viruses was quantified in PBL and feather tips from experimentally infected chickens, and field poultry dust samples. Parallelism was demonstrated between the plasmid-based standard curves, and standard curves derived from infected spleen material containing both viral and host DNA, allowing the latter to be used for absolute quantification. These methods should prove useful for the reliable differentiation and absolute quantitation of MDV1 and HVT viruses in a wide range of samples.