72,596 research outputs found
Integer programming based solution approaches for the train dispatching problem
Railroads face the challenge of competing with the trucking industry in a fastpaced environment. In this respect, they are working toward running freight trains on schedule and reducing travel times. The planned train schedules consist of departure and arrival times at main stations on the rail network. A detailed timetable, on the other hand, consists of the departure and arrival times of each train in each track section of its route. The train dispatching problem aims to determine detailed timetables over a rail network in order to minimize deviations from the planned schedule. We provide a new integer programming formulation for this problem based on a spacetime network; we propose heuristic algorithms to solve it and present computational results of these algorithms. Our approach includes some realistic constraints that have not been previously considered as well as all the assumptions and practical issues considered by the earlier works
A Molecular Biology Database Digest
Computational Biology or Bioinformatics has been defined as the application of mathematical
and Computer Science methods to solving problems in Molecular Biology that require large scale
data, computation, and analysis [18]. As expected, Molecular Biology databases play an essential
role in Computational Biology research and development. This paper introduces into current
Molecular Biology databases, stressing data modeling, data acquisition, data retrieval, and the
integration of Molecular Biology data from different sources. This paper is primarily intended
for an audience of computer scientists with a limited background in Biology
Quantum Annealing Applied to De-Conflicting Optimal Trajectories for Air Traffic Management
We present the mapping of a class of simplified air traffic management (ATM)
problems (strategic conflict resolution) to quadratic unconstrained boolean
optimization (QUBO) problems. The mapping is performed through an original
representation of the conflict-resolution problem in terms of a conflict graph,
where nodes of the graph represent flights and edges represent a potential
conflict between flights. The representation allows a natural decomposition of
a real world instance related to wind-optimal trajectories over the Atlantic
ocean into smaller subproblems, that can be discretized and are amenable to be
programmed in quantum annealers. In the study, we tested the new programming
techniques and we benchmark the hardness of the instances using both classical
solvers and the D-Wave 2X and D-Wave 2000Q quantum chip. The preliminary
results show that for reasonable modeling choices the most challenging
subproblems which are programmable in the current devices are solved to
optimality with 99% of probability within a second of annealing time.Comment: Paper accepted for publication on: IEEE Transactions on Intelligent
Transportation System
Evaluation of IoT-Based Computational Intelligence Tools for DNA Sequence Analysis in Bioinformatics
In contemporary age, Computational Intelligence (CI) performs an essential
role in the interpretation of big biological data considering that it could
provide all of the molecular biology and DNA sequencing computations. For this
purpose, many researchers have attempted to implement different tools in this
field and have competed aggressively. Hence, determining the best of them among
the enormous number of available tools is not an easy task, selecting the one
which accomplishes big data in the concise time and with no error can
significantly improve the scientist's contribution in the bioinformatics field.
This study uses different analysis and methods such as Fuzzy, Dempster-Shafer,
Murphy and Entropy Shannon to provide the most significant and reliable
evaluation of IoT-based computational intelligence tools for DNA sequence
analysis. The outcomes of this study can be advantageous to the bioinformatics
community, researchers and experts in big biological data
- …