УПРАВЛЕНИЕ БОЛЬШИМИ СИСТЕМАМИ
на главную написать письмо карта сайта


јвтор:  «аикин ќ. —., —еменов ј. ј., ѕосыпкин ћ. ј.
Ќазвание:  ѕроцедуры построени€ декомпозиционных множеств дл€ распределенного решени€ SAT-задач в проекте добровольных вычислений SAT@HOME
¬ыпуск:  43
–убрика:  »нформационные технологии в управлении
√од:  2013
Ѕиблиографи€:  «аикин ќ. —., —еменов ј. ј., ѕосыпкин ћ. ј. ѕроцедуры построени€ декомпозиционных множеств дл€ распределенного решени€ SAT-задач в проекте добровольных вычислений SAT@HOME / ”правление большими системами. ¬ыпуск 43. ћ.: »ѕ” –јЌ, 2013. —.138-156.
 лючевые слова:  ¬ыполнимость булевых формул, метод имитации отжига, добровольные распределенные вычислени€, SAT@home.
 лючевые слова (англ.):  Boolean satisfiability problem, simulated annealing, volunteer computing, SAT@home.
јннотаци€:  ¬ статье предложен новый подход к построению декомпози-ционных множеств, используемых дл€ крупноблочного распа-раллеливани€ SAT-задач и их решени€ в распределенных вычис-лительных средах. ѕредложенные алгоритмы используетс€ в проекте добровольных распределенных вычислений SAT@home.
јннотаци€ (англ.):  We suggest an approach to construct decomposition sets for coarse-grained parallelization of SAT problems. Decomposition sets are used for distributed solving of hard SAT problems. The proposed algorithms are used in the volunteer computing project SAT@home.

в формате PDF
ќбсудить статью в »нтернет-конференции по проблемам управлени€

ѕросмотров: 2662, загрузок: 1019, за мес€ц: 14.

Ќазад

»ѕ” –јЌ © 2007. ¬се права защищены