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 Bursting the clouds for better communication
18.10.2018 | Université de Genève

nachricht Research on light-matter interaction could improve electronic and optoelectronic devices
11.10.2018 | Rensselaer Polytechnic Institute

All articles from Information Technology >>>

The most recent press releases about innovation >>>

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

Im Focus: Goodbye, silicon? On the way to new electronic materials with metal-organic networks

Scientists at the Max Planck Institute for Polymer Research (MPI-P) in Mainz (Germany) together with scientists from Dresden, Leipzig, Sofia (Bulgaria) and Madrid (Spain) have now developed and characterized a novel, metal-organic material which displays electrical properties mimicking those of highly crystalline silicon. The material which can easily be fabricated at room temperature could serve as a replacement for expensive conventional inorganic materials used in optoelectronics.

Silicon, a so called semiconductor, is currently widely employed for the development of components such as solar cells, LEDs or computer chips. High purity...

Im Focus: Storage & Transport of highly volatile Gases made safer & cheaper by the use of “Kinetic Trapping"

Augsburg chemists present a new technology for compressing, storing and transporting highly volatile gases in porous frameworks/New prospects for gas-powered vehicles

Storage of highly volatile gases has always been a major technological challenge, not least for use in the automotive sector, for, for example, methane or...

Im Focus: Disrupting crystalline order to restore superfluidity

When we put water in a freezer, water molecules crystallize and form ice. This change from one phase of matter to another is called a phase transition. While this transition, and countless others that occur in nature, typically takes place at the same fixed conditions, such as the freezing point, one can ask how it can be influenced in a controlled way.

We are all familiar with such control of the freezing transition, as it is an essential ingredient in the art of making a sorbet or a slushy. To make a cold...

Im Focus: Micro energy harvesters for the Internet of Things

Fraunhofer IWS Dresden scientists print electronic layers with polymer ink

Thin organic layers provide machines and equipment with new functions. They enable, for example, tiny energy recuperators. In future, these will be installed...

Im Focus: Dynamik einzelner Proteine

Neue Messmethode erlaubt es Forschenden, die Bewegung von Molekülen lange und genau zu verfolgen

Das Zusammenspiel aus Struktur und Dynamik bestimmt die Funktion von Proteinen, den molekularen Werkzeugen der Zelle. Durch Fortschritte in der...

All Focus news of the innovation-report >>>

Anzeige

Anzeige

VideoLinks
Industry & Economy
Event News

Conference to pave the way for new therapies

17.10.2018 | Event News

Berlin5GWeek: Private industrial networks and temporary 5G connectivity islands

16.10.2018 | Event News

5th International Conference on Cellular Materials (CellMAT), Scientific Programme online

02.10.2018 | Event News

 
Latest News

Nanocages in the lab and in the computer: how DNA-based dendrimers transport nanoparticles

19.10.2018 | Life Sciences

Thin films from Braunschweig on the way to Mercury

19.10.2018 | Physics and Astronomy

App-App-Hooray! - Innovative Kits for AR Applications

19.10.2018 | Trade Fair News

VideoLinks
Science & Research
Overview of more VideoLinks >>>