Propositional logic provides a convenient language for expressing real-world originated problems such as AI planning, automated test pattern generation, bounded model checking and cryptanalysis. The interest in SAT solving has increased mainly due to improvements in the solving algorithms, which recently have increasingly focused on using parallelism offered by multi-CPU computers.
Partly orthogonally to these improvements this work studies several novel approaches to parallel solving of SAT instances in a grid of widely distributed "virtual" computers instead of workstations or supercomputers.
The doctoral dissertation of Licentiate of Science (Technology) Antti Hyvärinen examines the solving of hard structured problems using cloud computing. According to Hyvärinen, cloud computing can significantly speed up problem solving and save energy. Cloud computing means decentralising IT services so that tens, hundreds or thousands of distributed computers can be used simultaneously.
Hyvärinen says that solving practical problems often requires going through large amounts of data efficiently and performing automatic inference based on the material. For instance, when the link between certain genes and the onset of a disease is studied, the material from which correlations should be found can be extremely extensive.
− Cloud computing speeds up solving a problem because it is possible to use thousands of computers instead of just one. Instead of spending ten years looking for a solution, the computers may solve the problem in a matter of hours.
Hyvärinen explains that decentralising computers also saves energy.
− Computers produce a lot of heat and there is a major demand for computing capacity in large cities in the south. Due to the warm climate in these areas, cooling the heat produced by the computers consumes a lot of electricity.
Speed requires parallel computing
Hyvärinen says that the speed of computer processors, which execute program commands, will no longer increase significantly. If we want faster results in the future, all computing should be performed in parallel by several computers.
However, parallel programming is difficult. The dissertation presents several analytical and experimental results that offer solutions to the problems related to parallel processes. These new methods can be used to solve several previously unsolved problems for the first time. In practice, certain algorithms have been developed so that they can more efficiently make use of several processors simultaneously, decreasing the computational time.
Hyvärinen uses a propositional logic to model structured problems. Due to its general nature, this logic enables the modelling of different types of problems from bioinformatics to artificial intelligence design.
The doctoral dissertation of Antti Hyvärinen, “Grid Based Propositional Satisfiability Solving”, will be examined at the School of Science Department of Information and Computer Science on 28 November 2011 at noon (lecture hall T2, Konemiehentie 2, Espoo).The dissertation is available online at: http://lib.tkk.fi/Diss/
Terhi Arvela | alfa
Open source software helps researchers extract key insights from huge sensor datasets
22.03.2019 | Universität des Saarlandes
Touchscreens go 3D with buttons that pulsate and vibrate under your fingertips
14.03.2019 | Universität des Saarlandes
DESY and MPSD scientists create high-order harmonics from solids with controlled polarization states, taking advantage of both crystal symmetry and attosecond electronic dynamics. The newly demonstrated technique might find intriguing applications in petahertz electronics and for spectroscopic studies of novel quantum materials.
The nonlinear process of high-order harmonic generation (HHG) in gases is one of the cornerstones of attosecond science (an attosecond is a billionth of a...
Nano- and microtechnology are promising candidates not only for medical applications such as drug delivery but also for the creation of little robots or flexible integrated sensors. Scientists from the Max Planck Institute for Polymer Research (MPI-P) have created magnetic microparticles, with a newly developed method, that could pave the way for building micro-motors or guiding drugs in the human body to a target, like a tumor. The preparation of such structures as well as their remote-control can be regulated using magnetic fields and therefore can find application in an array of domains.
The magnetic properties of a material control how this material responds to the presence of a magnetic field. Iron oxide is the main component of rust but also...
Due to the special arrangement of its molecules, a new coating made of corn starch is able to repair small scratches by itself through heat: The cross-linking via ring-shaped molecules makes the material mobile, so that it compensates for the scratches and these disappear again.
Superficial micro-scratches on the car body or on other high-gloss surfaces are harmless, but annoying. Especially in the luxury segment such surfaces are...
The Potsdam Echelle Polarimetric and Spectroscopic Instrument (PEPSI) at the Large Binocular Telescope (LBT) in Arizona released its first image of the surface magnetic field of another star. In a paper in the European journal Astronomy & Astrophysics, the PEPSI team presents a Zeeman- Doppler-Image of the surface of the magnetically active star II Pegasi.
A special technique allows astronomers to resolve the surfaces of faraway stars. Those are otherwise only seen as point sources, even in the largest telescopes...
Researchers at Chalmers University of Technology and the University of Gothenburg, Sweden, have proposed a way to create a completely new source of radiation. Ultra-intense light pulses consist of the motion of a single wave and can be described as a tsunami of light. The strong wave can be used to study interactions between matter and light in a unique way. Their research is now published in the scientific journal Physical Review Letters.
"This source of radiation lets us look at reality through a new angle - it is like twisting a mirror and discovering something completely different," says...
11.03.2019 | Event News
01.03.2019 | Event News
28.02.2019 | Event News
22.03.2019 | Life Sciences
22.03.2019 | Life Sciences
22.03.2019 | Information Technology