Forum for Science, Industry and Business

Sponsored by:     3M 
Search our Site:

 

Cloud computing speeds up problem solving and saves energy

28.11.2011
This work studies how grid and cloud computing can be applied to efficiently solving propositional satisfiability problem (SAT) instances.

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/
http://lib.tkk.fi/Diss/2011/isbn9789526043685/isbn9789526043685.pdf

Terhi Arvela | alfa
Further information:
http://www.aalto.fi

More articles from Information Technology:

nachricht Quantum Technology for Advanced Imaging – QUILT
24.04.2018 | Fraunhofer-Institut für Lasertechnik ILT

nachricht Paint job transforms walls into sensors, interactive surfaces
24.04.2018 | Carnegie Mellon University

All articles from Information Technology >>>

The most recent press releases about innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: BAM@Hannover Messe: innovative 3D printing method for space flight

At the Hannover Messe 2018, the Bundesanstalt für Materialforschung und-prüfung (BAM) will show how, in the future, astronauts could produce their own tools or spare parts in zero gravity using 3D printing. This will reduce, weight and transport costs for space missions. Visitors can experience the innovative additive manufacturing process live at the fair.

Powder-based additive manufacturing in zero gravity is the name of the project in which a component is produced by applying metallic powder layers and then...

Im Focus: Molecules Brilliantly Illuminated

Physicists at the Laboratory for Attosecond Physics, which is jointly run by Ludwig-Maximilians-Universität and the Max Planck Institute of Quantum Optics, have developed a high-power laser system that generates ultrashort pulses of light covering a large share of the mid-infrared spectrum. The researchers envisage a wide range of applications for the technology – in the early diagnosis of cancer, for instance.

Molecules are the building blocks of life. Like all other organisms, we are made of them. They control our biorhythm, and they can also reflect our state of...

Im Focus: Spider silk key to new bone-fixing composite

University of Connecticut researchers have created a biodegradable composite made of silk fibers that can be used to repair broken load-bearing bones without the complications sometimes presented by other materials.

Repairing major load-bearing bones such as those in the leg can be a long and uncomfortable process.

Im Focus: Writing and deleting magnets with lasers

Study published in the journal ACS Applied Materials & Interfaces is the outcome of an international effort that included teams from Dresden and Berlin in Germany, and the US.

Scientists at the Helmholtz-Zentrum Dresden-Rossendorf (HZDR) together with colleagues from the Helmholtz-Zentrum Berlin (HZB) and the University of Virginia...

Im Focus: Gamma-ray flashes from plasma filaments

Novel highly efficient and brilliant gamma-ray source: Based on model calculations, physicists of the Max PIanck Institute for Nuclear Physics in Heidelberg propose a novel method for an efficient high-brilliance gamma-ray source. A giant collimated gamma-ray pulse is generated from the interaction of a dense ultra-relativistic electron beam with a thin solid conductor. Energetic gamma-rays are copiously produced as the electron beam splits into filaments while propagating across the conductor. The resulting gamma-ray energy and flux enable novel experiments in nuclear and fundamental physics.

The typical wavelength of light interacting with an object of the microcosm scales with the size of this object. For atoms, this ranges from visible light to...

All Focus news of the innovation-report >>>

Anzeige

Anzeige

VideoLinks
Industry & Economy
Event News

Invitation to the upcoming "Current Topics in Bioinformatics: Big Data in Genomics and Medicine"

13.04.2018 | Event News

Unique scope of UV LED technologies and applications presented in Berlin: ICULTA-2018

12.04.2018 | Event News

IWOLIA: A conference bringing together German Industrie 4.0 and French Industrie du Futur

09.04.2018 | Event News

 
Latest News

Industrial Maturity of Electrically Conductive Adhesives for Silicon Solar Cells Demonstrated

25.04.2018 | Power and Electrical Engineering

Electrode shape improves neurostimulation for small targets

25.04.2018 | Medical Engineering

Silicon as a new storage material for the batteries of the future

25.04.2018 | Power and Electrical Engineering

VideoLinks
Science & Research
Overview of more VideoLinks >>>